在抽象代数与代数几何的深奥领域中，Artin引理（Artin's Lemma）是一个看似简单却蕴含巨大威力的基础定理。它由著名匈牙利裔美籍数学家埃米尔·阿廷（Emil Artin）提出，是伽罗瓦理论（Galois Theory）的核心支柱之一。简单来说，Artin引理建立了有限群作用与域扩张之间的深刻联系，为理解代数结构的对称性提供了标准化的数学语言。
设 G 是一个有限群，它作用在一个域 K 上（即 G 是 K 的自同构群的一个子群）。令 F 为 K 中在 G 作用下保持不变的所有元素组成的子集，即：
F = { x ∈ K | σ(x) = x, 对于所有 σ ∈ G }
那么：
这一结论的意义在于，它允许数学家通过研究群的对称性来反推域的结构。如果已知一个域 K 的对称群 G，那么通过 Artin引理，我们可以立即确定其不变子域 F，并理解 K 如何作为 F 的扩张存在。这种“由对称性构建代数结构”的思维模式，贯穿了现代代数学的始终。
Artin引理并非孤立存在，它是20世纪初代数革命的一部分。埃米尔·阿廷（Emil Artin, 1898-1962）是维也纳学派的代表人物之一，他在抽象代数、数论和代数几何方面做出了开创性贡献。在阿廷之前，伽罗瓦理论主要局限于多项式方程的可解性问题。阿廷通过引入更抽象的群作用视角，将伽罗瓦理论提升到了一个新的公理化高度。
阿廷在其博士论文及后续研究中，开始系统化地研究域扩张与群论的关系。他引入了“阿廷环”和“阿廷域”等概念，为后来的交换代数奠定基础。
阿廷正式提出了以群作用为核心的伽罗瓦理论框架。Artin引理在此期间被明确表述，成为连接有限群与域扩张的桥梁。这一时期，诺特（Emmy Noether）的影响也渗透其中，强调了结构而非计算。
随着格罗滕迪克（Grothendieck）等人发展出概形理论，Artin引理的思想被推广到平展上同调（Étale Cohomology）中，用于研究有限域上的代数簇，直接推动了韦伊猜想的证明。
Artin引理不仅仅是一个教科书上的定理，它是现代数学研究中的实用工具。以下是它在不同数学分支中的具体应用：
在代数几何中，Artin引理的思想被用于定义和研究平展基本群（Étale Fundamental Group）。类似于拓扑空间中的基本群，代数簇的平展基本群描述了该簇的“覆盖空间”结构。通过应用 Artin引理 的推广形式，数学家能够证明代数簇的覆盖空间与有限群作用之间存在对偶关系。这对于理解代数簇的拓扑性质至关重要，尤其是在特征 p 的域上，经典拓扑方法失效时，平展上同调成为主要工具。
考虑域 K = Q(√2)，其自同构群 G 由两个元素组成：恒等映射 σ₁ 和映射 σ₂: √2 → -√2。根据 Artin引理，不变子域 F 是 Q。因为 K/Q 是二次扩张，且 Gal(K/Q) ≅ G ≅ Z/2Z，这完美验证了引理的结论。
Artin引理在类域论（Class Field Theory）中扮演着角色。类域论旨在描述阿贝尔扩张（即伽罗瓦群为交换群的扩张）的结构。阿廷互反律（Artin Reciprocity Law）是类域论的核心，其证明依赖于对局部和全局伽罗瓦群的深入分析，而这些分析的基础正是 Artin引理 所确立的群-域对应关系。通过这一对应，数学家能够将算术问题（如素数分布）转化为群论问题（如特征标理论）。
在有限群表示论中，Artin引理用于分析群作用在向量空间上的结构。特别是，当研究群代数 C[G] 的表示时，引理帮助确定不变子空间的结构。阿廷的诱导表示理论也深受伽罗瓦理论的影响，他利用域扩张的性质来构建群的表示，从而证明了著名的阿廷定理（关于特征标的有理值性质）。
伽罗瓦基本定理描述了伽罗瓦扩张中子群与中间域的一一对应关系。而 Artin引理 则是证明这个定理的关键步骤，它确保了一个有限群 G 作用在域 K 上时，其不变子域 F 确实使得 K/F 成为一个伽罗瓦扩张，且伽罗瓦群就是 G。简言之，Artin引理 是构建伽罗瓦理论大厦的地基。
标准的 Artin引理 针对的是有限群。如果 G 是无限群，特别是拓扑群（如绝对伽罗瓦群），则需要引入克鲁尔拓扑（Krull topology）进行推广。在这种情况下，K/F 仍然是伽罗瓦扩张，但伽罗瓦群被赋予拓扑结构，对应关系变为闭子群与中间域的对应。这是无限伽罗瓦理论的核心。
想象一个正方形（域 K），它有旋转和反射的对称性（群 G）。Artin引理 中的“不变子域” F 就像是正方形的中心点或对称轴——无论你怎么旋转或反射正方形，这些中心元素都保持不动。F 就是所有“不动”的元素组成的集合，而 K 则是包含所有这些对称操作的全集。
首先，确定你研究的数学对象（通常是域或环）以及作用在其上的对称群 G。例如，在解多项式方程时，G 是伽罗瓦群。
找出所有在 G 作用下保持不变的元素，构成不变子域 F。这通常涉及解方程 σ(x) = x 对于所有 σ ∈ G。
利用 Artin引理，直接得出 K/F 是伽罗瓦扩张，且 Gal(K/F) = G。无需重新证明正规性和可分性。
使用伽罗瓦基本定理，将 G 的子群与 F 和 K 之间的中间域一一对应，从而解决关于中间域结构的问题。