a ∼ b ⟺ a − b ∈ I {\displaystyle a\sim b\iff a-b\in I} によって二項関係 ～ を定義すると、これは同値関係になる。
この同値関係による商集合には自然に演算が定義できて、環になることが分かる。
新しく作られたこの環を R のイデアル I による剰余環と呼び、R/I と書く。商環と呼ばれる場合もある。
環の準同型の核はイデアルであり、逆にイデアルはある環準同型の核になる。
群の場合と同じように、環についても準同型定理が成り立つ。
すなわち、
f : R 1 → R 2 が準同型ならば、R 1 の核による剰余環 R 1/Ker f は準同型の像 Im f と同型である。
イデアルと合同関係
環構造と両立する同値関係である合同関係とイデアルとの間には一対一対応が存在する。 即ち、環 R のイデアル I が与えられたとき、x ～ y ⇔ x − y ∈ I で定義される関係 ～ は R 上の合同関係であり、逆に R 上の合同関係 ～ が与えられたとき I = {x : x ～ 0} は R 上のイデアルになる。
イデアルの生成
R を（必ずしも単位的でない）環とする。
R の空でない左イデアルの族の交わりはまた左イデアルになる。
R の任意の部分集合 X に対し、R の X を含む任意のイデアル全ての交わり I はやはり X を含む左イデアルであって、また明らかにそのようなイデアルの中で最小である。
R が単位的ならば、R の部分集合 X が生成する左、右、両側イデアルは内部的な演算によって記述することができる。即ち、X の生成する左イデアルは
{ r 1 x 1 + ⋯ + r n x n ∣ n ∈ N , r i ∈ R , x i ∈ X } {\displaystyle {r_{1}x_{1}+\dots +r_{n}x_{n}\mid n\in \mathbb {N} ,r_{i}\in R,x_{i}\in X}} によって与えられる。
実際これが左イデアルを成し、これらの元が X を含む任意のイデアルに属することは明らかであるから、確かにこれは X の生成する左イデアルである。同様に X の生成する右、両側イデアルはそれぞれ
{ x 1 r 1 + ⋯ + x n r n ∣ n ∈ N , r i ∈ R , x i ∈ X } , {\displaystyle {x_{1}r_{1}+\dots +x_{n}r_{n}\mid n\in \mathbb {N} ,r_{i}\in R,x_{i}\in X},} { r 1 x 1 s 1 + ⋯ + r n x n s n ∣ n ∈ N , r i ∈ R , s i ∈ R , x i ∈ X } {\displaystyle {r_{1}x_{1}s_{1}+\dots +r_{n}x_{n}s_{n}\mid n\in \mathbb {N} ,r_{i}\in R,s_{i}\in R,x_{i}\in X}} によって与えられる。
規約として、0 は0 項からなる和と見做すことにより、イデアル {0} は空集合 ∅ の生成する R のイデアルと考える。
R の左イデアル I が R の有限集合 F によって生成されるならば、イデアル I は有限生成であるという。有限集合で生成される右イデアル、両側イデアルについても同様である。
生成系 X が R の適当な元 a のみからなる単元集合 {a} とすると、X = {a} の生成する各イデアルは簡単に
R
a
{ r a ∣ r ∈ R } , {\displaystyle Ra={ra\mid r\in R},} a
R
{ a r ∣ r ∈ R } , {\displaystyle aR={ar\mid r\in R},} R a
R
{ r 1 a s 1 + ⋯ + r n a s n ∣ n ∈ N , r i ∈ R , s i ∈ R } {\displaystyle RaR={r_{1}as_{1}+\dots +r_{n}as_{n}\mid n\in \mathbb {N} ,r_{i}\in R,s_{i}\in R}} と言う形に書くことができる。
これらは a によって生成される左、右、両側の主イデアル（単項イデアル）と呼ばれる。a の生成する両側イデアルを簡単に (a ) と書くことも広く行われている。
上で述べたことは、単位的でない環 R に対しては少しく変更が必要である。
X の元の有限積和に加えて、任意の自然数 n と X の元 x に対して、x の n-重和 x + x + … + x および (−x) + (−x) + … + (−x) を考えるのである。単位的環 R に対してはこの余分な仮定は過剰な条件になる。
整数環 Z はその任意のイデアルがただ一つの数で生成され（したがって Z は主イデアル整域）、主イデアル nZ の生成元は n または −n のちょうど二つである
（その意味ではイデアルと整数との差異はこの環ではほぼ分からない）。
任意の整域において aR = bR は、適当な単元 u が存在して au = b を満たすことを意味し、逆に任意の単元 u に対して aR = auu−1R = auR が満たされる。
故に可換主イデアル整域において、主イデアル aR を任意の単元 u に対する au が生成することができる。
Z の単元は 1 と −1 の二つのみであるから、これは Z の場合をも含んでいる。
イデアルの演算
I, J を環 R の左（右）イデアルとする。I, J の和を
I + J := { a + b ∣ a ∈ I , b ∈ J } {\displaystyle I+J:={a+b\mid a\in I,\,b\in J}} で定義すると、これは I, J を含む左（右）イデアルのうち最小のものである。
また、I と J の積集合 I ∩ J は I, J に含まれる左（右）イデアルのうち、最大のものである。
しかし、和集合 I ∪ J は必ずしもイデアルにならない。
I と J が共に両側イデアルのとき、それらの積を
I J := { a 1 b 1 + ⋯ + a n b n ∣ n ∈ N , a i ∈ I , b i ∈ J } {\displaystyle IJ:={a_{1}b_{1}+\cdots +a_{n}b_{n}\mid n\in \mathbb {N} ,\,a_{i}\in I,\,b_{i}\in J}} で定義すると、これはまた両側イデアルであり、I ∩ J に含まれる。
積の定義は、単なる I の元と J の元の積ではなく、その有限和全体の集合であることに注意する必要がある。
これらの間の包含関係をまとめると次のようになる。
I J ⊂ I ∩ J ⊂ I , J ⊂ I ∪ J ⊂ I + J {\displaystyle IJ\subset I\cap J\subset I,\,J\subset I\cup J\subset I+J}
ただし、最初の包含関係は、I, J が両側イデアルの場合である。
性質
任意の環 R において {0} および R はイデアルになる。
R が可除環または体ならば、そのイデアルはこれらのみである。
イデアル R は単位イデアル (unit ideal )、イデアル {0} は零イデアル (zero ideal ) と呼ばれ、これらは自明なイデアル (trivial ideal ) と総称される。イデアル I が真のイデアル (proper ideal ) とはそれが R の真の部分集合となること、つまり R と異なるイデアルとなることを言う[1]。 正規部分群が群準同型の核となることとまったく同じように、イデアルを準同型の核として捉えることができる。R の空でない部分集合 A について A が R のイデアルとなる必要十分条件はそれが適当な環準同型の核となることである。 A が R の右イデアルとなる必要十分条件はそれが右 R –加群 RR から別の適当な右 R –加群への適当な加群準同型の核となることである。 A が R の左イデアルとなる必要十分条件はそれが左 R –加群 RR から別の適当な左 R –加群への適当な加群準同型の核となることである。 剰余類とイデアルとの間の関係は、乗法と加法を剰余環へ写せることとして理解することができる。 環が単位元を持つとき、イデアルが真のイデアルとなる必要十分条件は、それが単位元を含まないこと、従って任意の単元を含まないことである。 任意の環において、そのイデアル全体の成す集合は包含関係に関して半順序集合を成す。実はこれはさらに、完備モジュラー束でイデアルの和を結び演算（英語版）に、集合の交わりを交わり演算（英語版）に持つ。このとき自明なイデアルは最小元（零イデアル）と最大元（単位イデアル）を与える。この束は一般には分配束（英語版）にならない。 R の真のイデアル全体の成す集合を考えるのにはツォルンの補題を必要としないが、R が単位元 1 を持つとき「1 を含まないイデアル全体の成す集合」を考えるならば、ツォルンの補題を適用して、帰結として真の極大イデアルの存在を確かめることができる。より明確に言えば、任意の真のイデアルに対して、それを含む極大イデアルが存在することが示せる（極大イデアルの項のクルルの定理を参照）。 環 R をそれ自身左 R-加群と見做すことができるが、このとき R の左イデアルはその R に含まれる左 R-部分加群と見做される。同様に右イデアルも、自身の上の右加群と見た R の右 R-部分加群であり、両側イデアルは R-両側加群としての R の R-部分加群である。R が可換の時はイデアルがそうであるように、これら三種の加群はすべて一致する。 任意のイデアルは擬環である。 環 R のイデアル全体はイデアルの和と積に関して（R を単位元とする）半環になる。 イデアルの種類 以下簡単のため可換環でのみ考えることにして、非可換版の詳しい話は各項に譲る。 イデアルの重要性は、それが環準同型の核となることであり、また剰余環を定義することができることにある。異なる種類の剰余環が定義できると言うことに従って、様々な種類のイデアルが考えられる。
極大イデアル 真のイデアル I が極大イデアル (maximal ideal) であるとは、I を真に含む真のイデアル J が存在しないことを言う。極大イデアルによる商は一般には単純環、可換環の場合は体になる[2]。 極小イデアル ゼロでないイデアルが極小 (minimal) であるとは、それが零でも自身でもないイデアルを含まないことを言う。 素イデアル 真のイデアル I が素イデアル (prime ideal) であるとは、R の元 a, b が ab ∈ I を満たすならば必ず a と b の少なくとも一方が I に属すことを言う。素イデアルによる商は一般には素環、可換の場合は整域となる。 根基イデアルまたは半素イデアル 真のイデアル I が根基 (radical) または半素 (semiprime) であるとは、R の任意の元 a に対してその適当な冪 an が I に属すならば a ∈ I となることを言う。根基イデアルによる商は、一般には半素環であり、可換の場合は被約環になる。 準素イデアル イデアル I が準素イデアル (primary ideal) とは、R の元 a, b が ab ∈ I を満たすとき、a ∉ I ならば bn ∈ I が適当な正の整数 n に対して成り立つことを言う。任意の素イデアルは準素イデアルだが逆は必ずしも成り立たない。半素な準素イデアルは素イデアルである。 主イデアル 単項生成なイデアル。 有限生成イデアル 加群として有限生成なイデアル。 原始イデアル 左単純加群の零化域を左原始イデアルと呼ぶ。右原始イデアルも同様。しかしその名称にも拘らず、左または右原始イデアルは実は常に両側イデアルになる。原始イデアルは素イデアルである。左（または右）原始イデアルによる商は左（または右）原始環と言う。可換環の場合は原始イデアルは極大であり、従って原始環は体になる。 既約イデアル イデアルが既約 (irreducible) であるとは、それがそれを真に含むイデアルの交わりに書けないことを言う。 互いに素なイデアル 2つのイデアル I, J が互いに素 (coprime または comaximal) であるとは I + J = R となることを言う。 正則イデアル（英語版） いくつか異なる流儀がある。 冪零元イデアル（英語版） イデアルが冪零元イデアル (nil ideal) とは、その任意の元が冪零であることを言う。 必ずしも環の中で閉じているわけではないが、「イデアル」と呼ばれる重要な例を二つ挙げる。詳細はそれぞれの項を参照。
分数イデアル：通常は R が商体 K を持つ可換整域である場合に定義される。名前が示唆する通り、分数イデアル (fractional ideal ) は K の特別な性質を持つ R –部分加群である。分数イデアルが完全に R に含まれる時には、真に R のイデアルを成す。 可逆イデアル：通常は、可逆イデアル (invertible ideal) A は分数イデアルであって、別の分数イデアル B で AB = BA = R を満たすものが取れるものと定義される。文献によっては、R が整域ではなく一般の環で、通常のイデアル A, B が AB = BA = R を満たすときに、「可逆イデアル」と言う呼称を用いるものがある。 歴史 通説にしたがってイデアルの成立史を述べる[3][注釈 1]。19世紀のドイツの数学者であるクンマーはフェルマーの最終定理を証明しようと研究していた[注釈 2]。その中で彼は、代数的整数に関しては有理整数の場合のような素因数分解の一意性が必ずしも成り立たないという問題に直面した。
関連項目 合同算術 ネーターの同型定理 ブールの素イデアル定理（英語版） イデアル論（英語版） イデアル商 イデアルノルム（英語版） アルティンイデアル（英語版） 可換環 非可換環 正則イデアル（英語版） イデアル化半群（英語版） 束 (束論) 脚注 [脚注の使い方] 注釈 ^ ここで述べる通説には細部において批判的意見も提出されているが、それについては適宜脚注にて記載する。理想数も参照のこと。 ^ クンマーの主な動機は高次相互法則であり、フェルマーの最終定理ではなかった、という指摘がある。Harold M. Edwards, Fermat’s Last Theorem: A Genetic Introduction to Algebraic Number Theory, p. 79, – Google ブックス ^ クンマーの論文は「理想数」を「イデアル」に置き換えることで容易に読むことができる、という主張もある。Lemmermeyer, Franz (2011). “Jacobi and Kummer’s Ideal Numbers”. p. 2. arXiv:1108.6066。また、アンドレ・ヴェイユによれば、クンマーの論文は驚くほど間違いが少ない。Mazur, Barry (1977). page = 980 “Review: André Weil, Ernst Edward Kummer, Collected Papers”. Bulletin of the American Mathematical Society 83 (5): 976–988. 出典 ^ Lang 2005, Section III.2 ^ 可換単純環は体である。See Lam (2001), p. 39. ^ 高木 1931, pp. 321-323. ^ a b 高木 1931, p. 323. ^ The Story of Algebraic Numbers in the First Half of the 20th Century: From Hilbert to Tate, p. 43, – Google ブックス ^ Dirichlet; Dedekind (1871). Vorlesungen über Zahlentheorie (2 ed.). p. 452 参考文献 Serge Lang (2005). Undergraduate Algebra (Third ed.). Springer-Verlag. ISBN 978-0-387-22025-3 Michiel Hazewinkel, Nadiya Gubareni, Nadezhda Mikhaĭlovna Gubareni, Vladimir V. Kirichenko (2004). Algebras, rings and modules. 1. Springer–Verlag. ISBN 1-4020-2690-0 高木貞治『初等整数論講義』共立社書店、1931年。NDLJP:1174277。 Marco Fontana, Evan Houston, Thomas Lucas: “Factoring Ideals in Integral Domains”, Springer, ISBN 978-3-642-31711-8 (2013). 典拠管理データベース ウィキデータを編集 全般 FAST 国立図書館 フランスBnF dataドイツイスラエルアメリカ カテゴリ: 環論代数的整数論数学に関する記事 最終更新 2024年2月20日 (火) 12:52 （日時は個人設定で未設定ならばUTC）。 テキストはクリエイティブ・コモンズ 表示-継承ライセンスのもとで利用できます。追加の条件が適用される場合があります。詳細については利用規約を参照してください。』
最もよく知られた環の例は整数全体の成す集合 Z に、通常の加法と乗法を考えたものである。すなわち Z は所謂「環の公理系」と呼ばれる種々の性質を満たす。
整数の集合における基本性質
加法 乗法
演算の閉性 a + b は整数 a × b は整数
結合性 a + (b + c) = (a + b) + c a × (b × c) = (a × b) × c
可換性 a + b = b + a a × b = b × a
中立元の存在性 a + 0 = a （零元） a × 1 = a （単位元）
反数の存在性 a + (−a) = 0
分配性 a × (b + c) = (a × b) + (a × c), および (a + b)× c = a × c + b × c 乗法が可換律を満たすから、整数の全体は可換環である。
厳密な定義
環とは、集合 R とその上の二つの二項演算、加法 +: R × R → R および乗法 ∗: R × R → R の組 (R,+,∗) で、「環の公理系」と呼ばれる以下の条件を満たすものを言う[3]（環の公理系にはいくつか異なる流儀があるが、それについては後で触れる）。
加法群：(R, +) はアーベル群である
加法に関して閉じている：任意の a, b ∈ R に対して a + b ∈ R が成り立つ[注 2]。 加法の結合性：任意の a, b, c ∈ R に対して (a + b) + c = a + (b + c) が成り立つ。 加法単位元（零元）の存在：如何なる a ∈ R に対しても共通して 0 + a = a + 0 = a を満たす 0 ∈ R が存在する。
加法逆元（反元、マイナス元）の存在：各 a ∈ R ごとに a + b = b + a = 0 を満たす b ∈ R が存在する。
加法の可換性：任意の a, b ∈ R に対して a + b = b + a が成立する。
乗法半群：(R,∗) はモノイド（あるいは半群）である
乗法に関して閉じている：任意の a, b ∈ R に対して a ∗ b ∈ R が成り立つ[注 2]。
乗法の結合性：任意の a, b, c ∈ R に対して (a ∗ b) ∗ c = a ∗ (b ∗ c) が成立する。 乗法に関する単位元を持つ[注 1]。
分配律：乗法は加法の上に分配的である
左分配律：任意の a, b, c ∈ R に対して a ∗ (b + c) = (a ∗ b) + (a ∗ c) が成り立つ。
右分配律：任意の a, b, c ∈ R に対して (a + b) ∗ c = (a ∗ c) + (b ∗ c) が成り立つ。
が成り立つものをいう。乗法演算の記号 ∗ は普通省略されて、a ∗ b は、ab と書かれる。
よく知られた整数全体の成す集合 Z, 有理数全体の成す集合 Q, 実数全体の成す集合 R あるいは複素数全体の成す集合は通常の加法と乗法に関してそれぞれ環を成す。
1880年代にデデキントが環の概念を導入し[2]、1892年にヒルベルトが「数環」(Zahlring) という用語を造って「代数的数体の理論」(Die Theorie der algebraischen Zahlkörper, Jahresbericht der Deutschen Mathematiker Vereinigung, Vol. 4, 1897.) を発表した。
0 for all but finitely many i ∈ N } {\displaystyle S={{(f_{i})}{i\in \mathbb {N} }:f{i}\in R{\text{ and }}f_{i}=0{\text{ for all but finitely many }}i\in \mathbb {N} }}とおく。ただし、ここでは非負整数（特に 0 を含む）の意味で N を用いているものと約束する。S の演算 +S : S × S → S および ·S : S × S → S を、a = (ai)i∈N および b = (bi)i∈N を S の任意の元として、 a + S
b
( a i + R b i ) i ∈ N a ⋅ S
b
( ∑
j
0 i a j ⋅ R b i − j ) i ∈ N {\displaystyle {\begin{aligned}a+{S}b&=(a{i}+{R}b{i}){i\in \mathbb {N} }\a\cdot {S}b&={\Bigl (}\textstyle \sum \limits {j=0}^{i}a{j}\cdot {R}b{i-j}{\Bigr )}_{i\in \mathbb {N} }\end{aligned}}} と定めると、(S, +S, ·S) は環となる。これを環 R 上の多項式環と呼ぶ。
S の元 (0, 1, 0, 0, …) を X とすれば、多項式環としての S は R[X] と書くのが通例である。これにより、S の元 f = (fi) は
f
∑ c ∈ C f c ⋅ S X c ,
C
{ i ∈ N : f i ≠ 0 } {\displaystyle f=\textstyle \sum \limits {c\in C}f{c}\cdot {S}X^{c},\quad C={i\in \mathbb {N} :f{i}\neq 0}}と R に係数を持つ多項式の形に書ける。
したがって S は R 上の X を不定元とする多項式全体に、標準的なやり方で加法と乗法を定義したものと見なすことができる。
通常はこれを同一視して、ここでいう S を R[X] と書いて、R における演算も S における演算も特に識別のための符牒を省略する。
行列環 →詳細は「行列環」を参照
r を固定された自然数とし、(R, +R, ·R) を環として、 M r ( R
)
{ ( f i j ) i , j : f i j ∈ R for every i , j ∈ { 1 , 2 , 3 , … , r } } M_{r}(R)={{(f_{ij})}{i,j}:f{ij}\in R{\text{ for every }}i,j\in {1,2,3,\dots ,r}} とおく。演算 +M : Mr(R) × Mr(R) → Mr(R) および ·M : Mr(R) × Mr(R) → Mr(R) を、任意の元 a = (aij)i,j, b = (bij)i,j に対して、 a + M
b
( a i j + R b i j ) i , j a ⋅ M
b
( ∑
k
1 r a i k ⋅ R b k j ) i , j {\displaystyle {\begin{aligned}a+{M}b&=(a{ij}+{R}b{ij}){i,j}\a\cdot {M}b&={\Bigl (}\textstyle \sum \limits {k=1}^{r}a{ik}\cdot {R}b{kj}{\Bigr )}_{i,j}\end{aligned}}} で定めると (Mr(R), +M, ·M) は環となる。これを R 上の r×r 行列環あるいは r次正方行列環という。
環の遍在性
極めて様々な種類の数学的対象が、何らかの意味で付随する環を考えることによって詳しく調べられる。
位相空間のコホモロジー環
任意の位相空間 X に対して、その整係数コホモロジー環
H ∗ ( X , Z
)
⨁
i
0 ∞ H i ( X , Z ) {\displaystyle H^{*}(X,\mathbb {Z} )=\bigoplus {i=0}^{\infty }H^{i}(X,\mathbb {Z} )} を対応させることができる。これは次数付き環になっている。ホモロジー群 H i ( X , Z ) {\displaystyle H{i}(X,\mathbb {Z} )} も定義され（実際にはこちらの方が先に定まるのだが）、球面とトーラスのような点集合位相ではうまい具合に区別することが難しい位相空間の区別に非常に有効な道具として利用される。
すなわち、和と積をとる写像 + : X × X → X , {\displaystyle +:X\times X\to X,} ⋅ : X × X → X {\displaystyle \cdot :X\times X\to X}がともに連続写像となる（ただし、X × X には積位相を入れるものとする）。
したがって明らかに、任意の位相環は加法に関して位相群である。
実数全体の成す集合 R は通常の環構造と位相に関して位相環である。 二つの位相環の直積は直積環の構造と積位相に関して位相環になる。
可換環 →詳細は「可換環」を参照
環は加法に関しては交換法則が成り立つが、乗法に関しては可換性は要求されない。
乗法に関しても交換法則が成り立つならば可換環という[注 5]。
すなわち、環 (R, +, · ) に対して、(R, +, · ) が可換環であるための必要十分条件は R の任意の元 a, b に対して a · b = b · a が成り立つことである。
言い換えれば、可換環 (R, +, · ) は乗法に関して可換モノイドでなければならない。
整数全体の成す集合は通常の加法と乗法に関して可換環を成す。
可換でない環の例は、n > 1 として、非自明な体 K 上の n次正方行列の成す環で与えられる。
特に n = 2 で K = R のときを考えれば、 [ 1 1 0 1 ] ⋅ [ 1 1 1 0
R は整域である。 R の零元でも単元でもない元は、有限個の既約元の積に書ける。 各 ai および bj を R の既約元として ∏
i
1 n a
i
∏
j
1 m b j {\displaystyle \textstyle \prod \limits {i=1}^{n}a{i}=\prod \limits {j=1}^{m}b{j}} と書けるならば n = m かつ、適当な番号の付け替えによって、bi = aiui が全ての i について成立させることができる。
ただし、ui は R の適当な単元である。
2番目の条件は R の「非自明」な元の既約元への分解を保証するものであり、3番目の条件によってそのような分解は「単元を掛ける違いを除いて」一意的である。
一意性について、単元を掛けてもよいという弱い形を採用するのは、そうしないと有理整数環 Z が UFD とならないからというのが理由のひとつとしてある（単元を掛けてはいけないとすると (−2)2 = 22 = 4 は 4 の「相異なる」二つの分解を与えるが、−1 と 1 は Z の単元だから、二つの分解は同値になる）。
ゆえに、整数環 Z が UFD となるというのは、自然数についての（本来の）算術の基本定理からの簡単な帰結である。
^ a b 乗法に関しては半群となることのみを課す（乗法単位元の存在を要求しない）こともある。#定義に関する注意を参照 ^ a b 二項演算の定義に演算の閉性を含める場合も多く、その場合二項演算であるといった時点で閉性も出るから、特に断らないことも多い。 ^ 自明環の意味で「零環」という語を用いることもあるが、零環は一般に「任意の積が 0 に潰れている（擬）環」の意味でも用いるので、ここでは明確化のために自明環を零環と呼ぶのは避けておく。 ^ 逆に任意の環は適当なアーベル群の自己準同型環における部分環として実現できる[8]。これは群論におけるケイリーの定理の環論的類似である。 ^ 文献によっては、可換性まで環の公理に含めて、単に環といえば可換環のことを指しているという場合がある。 出典 ^ Herstein 1964, §3, p.83 ^ a b c d The development of Ring Theory ^ Herstein 1975, §2.1, p.27 ^ Herstein, I. N. Topics in Algebra, Wiley; 2 edition (June 20, 1975), ISBN 0-471-01090-1. ^ Joseph Gallian (2004), Contemporary Abstract Algebra, Houghton Mifflin, ISBN 9780618514717 ^ Neal H. McCoy (1964), The Theory of Rings, The MacMillian Company, p. 161, ISBN 978-1124045559 ^ Raymond Louis Wilder (1965), Introduction to Foundations of Mathematics, John Wiley and Sons, p. 176 ^ Anderson & Fuller 1992, p. 21. ^ Cohn, Harvey (1980), Advanced Number Theory, New York: Dover Publications, p. 49, ISBN 9780486640235 ^ Jacobson (2009), p. 86, footnote 1. ^ Fine, Benjamin (1993), “Classification of finite rings of order p2”, Math. Mag. 66: 248-252, doi:10.1080/0025570X.1993.11996133 ^ Jacobson 1945 ^ Pinter-Lucke 2007 ^ Jacobson (2009), p.162, Theorem 3.2. 関連文献 一般論についてのもの R.B.J.T. Allenby (1991), Rings, Fields and Groups, Butterworth-Heinemann, ISBN 0-340-54440-6 Anderson, Frank W.; Fuller, Kent R. (1992). Rings and Categories of Modules. Graduate Texts in Mathematics. 13 (Second ed.). Springer-Verlag. ISBN 0-387-97845-3. MR1245487. Zbl 0765.16001 Atiyah M. F., Macdonald, I. G., Introduction to commutative algebra. Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont. 1969 ix+128 pp. Beachy, J. A. Introductory Lectures on Rings and Modules. Cambridge, England: Cambridge University Press, 1999. T.S. Blyth and E.F. Robertson (1985), Groups, rings and fields: Algebra through practice, Book 3, Cambridge university Press, ISBN 0-521-27288-2 Dresden, G. “Small Rings.” [1] Ellis, G. Rings and Fields. Oxford, England: Oxford University Press, 1993. Goodearl, K. R., Warfield, R. B., Jr., An introduction to noncommutative Noetherian rings. London Mathematical Society Student Texts, 16. Cambridge University Press, Cambridge, 1989. xviii+303 pp. ISBN 0-521-36086-2 Herstein, I. N., Noncommutative rings. Reprint of the 1968 original. With an afterword by Lance W. Small. Carus Mathematical Monographs, 15. Mathematical Association of America, Washington, DC, 1994. xii+202 pp. ISBN 0-88385-015-X Jacobson, Nathan (2009), Basic algebra, 1 (2nd ed.), Dover, ISBN 978-0-486-47189-1 Nagell, T. “Moduls, Rings, and Fields.” §6 in Introduction to Number Theory. New York: Wiley, pp.19-21, 1951 Nathan Jacobson, Structure of rings. American Mathematical Society Colloquium Publications, Vol. 37. Revised edition American Mathematical Society, Providence, R.I. 1964 ix+299 pp. Nathan Jacobson, The Theory of Rings. American Mathematical Society Mathematical Surveys, vol. I. American Mathematical Society, New York, 1943. vi+150 pp. Kaplansky, Irving (1974), Commutative rings (Revised ed.), University of Chicago Press, ISBN 0226424545, MR0345945 Lam, T. Y., A first course in noncommutative rings. Second edition. Graduate Texts in Mathematics, 131. Springer-Verlag, New York, 2001. xx+385 pp. ISBN 0-387-95183-0 Lam, T. Y., Exercises in classical ring theory. Second edition. Problem Books in Mathematics. Springer-Verlag, New York, 2003. xx+359 pp. ISBN 0-387-00500-5 Lam, T. Y., Lectures on modules and rings. Graduate Texts in Mathematics, 189. Springer-Verlag, New York, 1999. xxiv+557 pp. ISBN 0-387-98428-3 Lang, Serge (2002), Algebra, Graduate Texts in Mathematics, 211 (Revised third ed.), New York: Springer-Verlag, ISBN 978-0-387-95385-4, Zbl 0984.00001, MR1878556 Lang, Serge (2005), Undergraduate Algebra (3rd ed.), Berlin, New York: Springer-Verlag, ISBN 978-0-387-22025-3. Matsumura, Hideyuki (1989), Commutative Ring Theory, Cambridge Studies in Advanced Mathematics (2nd ed.), Cambridge University Press, ISBN 978-0-521-36764-6 McConnell, J. C.; Robson, J. C. Noncommutative Noetherian rings. Revised edition. Graduate Studies in Mathematics, 30. American Mathematical Society, Providence, RI, 2001. xx+636 pp. ISBN 0-8218-2169-5 Pinter-Lucke, James (2007), “Commutativity conditions for rings: 1950–2005”, Expositiones Mathematicae 25 (2): 165-174, doi:10.1016/j.exmath.2006.07.001, ISSN 0723-0869 Rowen, Louis H., Ring theory. Vol. I, II. Pure and Applied Mathematics, 127, 128. Academic Press, Inc., Boston, MA, 1988. ISBN 0-12-599841-4, 0-12-599842-2 Sloane, N. J. A. Sequences A027623 and A037234 in “The On-Line Encyclopedia of Integer Sequences Zwillinger, D. (Ed.). “Rings.” §2.6.3 in CRC Standard Mathematical Tables and Formulae. Boca Raton, FL: CRC Press, pp.141-143, 1995 特定の話題に関するもの Balcerzyk, Stanisław; Józefiak, Tadeusz (1989), Commutative Noetherian and Krull rings, Ellis Horwood Series: Mathematics and its Applications, Chichester: Ellis Horwood Ltd., ISBN 978-0-13-155615-7 Balcerzyk, Stanisław; Józefiak, Tadeusz (1989), Dimension, multiplicity and homological methods, Ellis Horwood Series: Mathematics and its Applications., Chichester: Ellis Horwood Ltd., ISBN 978-0-13-155623-2 Ballieu, R. “Anneaux finis; systèmes hypercomplexes de rang trois sur un corps commutatif.” Ann. Soc. Sci. Bruxelles. Sér. I 61, 222-227, 1947. Berrick, A. J. and Keating, M. E. An Introduction to Rings and Modules with K-Theory in View. Cambridge, England: Cambridge University Press, 2000. Eisenbud, David (1995), Commutative algebra. With a view toward algebraic geometry., Graduate Texts in Mathematics, 150, Berlin, New York: Springer-Verlag, MR1322960, ISBN 978-0-387-94268-1, 978-0-387-94269-8 Fine, B. “Classification of Finite Rings of Order.” Math. Mag. 66, 248-252, 1993 Fletcher, C. R. “Rings of Small Order.” Math. Gaz. 64, 9-22, 1980 Fraenkel, A. “Über die Teiler der Null und die Zerlegung von Ringen.” J. reine angew. Math. 145, 139-176, 1914 Gilmer, R. and Mott, J. “Associative Rings of Order.” Proc. Japan Acad. 49, 795-799, 1973 Harris, J. W. and Stocker, H. Handbook of Mathematics and Computational Science. New York: Springer-Verlag, 1998 Jacobson, Nathan (1945), “Structure theory of algebraic algebras of bounded degree”, Annals of Mathematics (Annals of Mathematics) 46 (4): 695-707, doi:10.2307/1969205, ISSN 0003-486X, JSTOR 1969205 Knuth, D. E. The Art of Computer Programming, Vol. 2: Seminumerical Algorithms, 3rd ed. Reading, MA: Addison-Wesley, 1998 Korn, G. A. and Korn, T. M. Mathematical Handbook for Scientists and Engineers. New York: Dover, 2000 Nagata, Masayoshi (1962), Local rings, Interscience Tracts in Pure and Applied Mathematics, 13, Interscience Publishers, pp. xiii+234, MR0155856, ISBN 978-0-88275-228-0 (1975 reprint) Pierce, Richard S., Associative algebras. Graduate Texts in Mathematics, 88. Studies in the History of Modern Science, 9. Springer-Verlag, New York–Berlin, 1982. xii+436 pp. ISBN 0-387-90693-2 Zariski, Oscar; Samuel, Pierre (1975), Commutative algebra, Graduate Texts in Mathematics, 28, 29, Berlin, New York: Springer-Verlag, ISBN 0387900896 歴史に関するもの History of ring theory at the MacTutor Archive Birkhoff, G. and Mac Lane, S. A Survey of Modern Algebra, 5th ed. New York: Macmillian, 1996 Bronshtein, I. N. and Semendyayev, K. A. Handbook of Mathematics, 4th ed. New York: Springer-Verlag, 2004. ISBN 3-540-43491-7 Faith, Carl, Rings and things and a fine array of twentieth century associative algebra. Mathematical Surveys and Monographs, 65. American Mathematical Society, Providence, RI, 1999. xxxiv+422 pp. ISBN 0-8218-0993-8 Itô, K. (Ed.). “Rings.” §368 in Encyclopedic Dictionary of Mathematics, 2nd ed., Vol. 2. Cambridge, MA: MIT Press, 1986 Kleiner, I. “The Genesis of the Abstract Ring Concept.” Amer. Math. Monthly 103, 417-424, 1996 Renteln, P. and Dundes, A. “Foolproof: A Sampling of Mathematical Folk Humor.” Notices Amer. Math. Soc. 52, 24-34, 2005 Singmaster, D. and Bloom, D. M. “Problem E1648.” Amer. Math. Monthly 71, 918-920, 1964 Van der Waerden, B. L. A History of Algebra. New York: Springer-Verlag, 1985 Wolfram, S. A New Kind of Science. Champaign, IL: Wolfram Media, p.1168, 2002 関連項目 環論 環の圏 環上の多元環 代数的構造 中国の剰余定理 半環 環のスペクトル
さらに準同型 f が全単射であれば、f を同型（写像）という。G1 から G2 への同型が存在するとき、G1 と G2 は同型であるといい、
G 1 ≃ G 2 {\displaystyle G_{1}\simeq G_{2}} あるいは G 1 ≅ G 2 {\displaystyle G_{1}\cong G_{2}} と表す。2つの群 G1, G2 とその間の準同型写像 f: G1 → G2 に対し、準同型 f の核 Ker f は G1 の正規部分群である。このとき f の像 Im f は G を f の核 Ker f で割った剰余群に同型である：
G 1 / K e r f ≃ I m f . {\displaystyle G_{1}/\mathrm {Ker} \,f\simeq \mathrm {Im} \,f.} これを（群の）準同型定理（特に第一同型定理）という。
群 G の自己同型（G から G への同型写像）全体の成す集合を Aut(G) と表すと、 Aut(G) は写像の合成を積として群となる。Aut(G) を G の自己同型群と呼ぶ。
群 G の任意の元 g に対し、写像 Ag: G → G を
Ag(x) = gxg−1 (for all x ∈ G) で定めると、この写像は G の自己同型を定める。
この形で得られる自己同型を G の内部自己同型と呼び、G の内部自己同型全体の成す集合を Inn(G) と表す。
D(G) = ⟨ xyx−1y−1 | x, y ∈ G ⟩ と定め、H1 = D(G), H2 = D(H1), … と帰納的に G の部分群 Hi を定めるとき、Hr = {e} となる自然数 r が存在するならば G を可解群と呼ぶ。
一般に、xyx−1y−1 を x と y の交換子と呼び、[x, y] であらわす。
さらに G の部分群 H, K に対し、[h, k] (h ∈ H, k ∈ K) の形の元で生成される G の部分群を [H, K] で表し、H と K の交換子群という。
この記号を用いれば、D(G) = [G, G] であり、これを G の交換子群と呼ぶ。
D(G) は G の特性部分群、したがって特に正規部分群である。
すぐに分かるように、D(G) = {e} は G がアーベル群となることに同値である。
したがって、剰余群 G/H がアーベル群となるなら H ⊇ D(G) であり、自然に G/H ⊆ G/D(G) と見なせるので、G/D(G) は G の剰余アーベル群の中で最大のものになる。
よって G/D(G) を G の最大剰余アーベル群あるいは G のアーベル化、アーベル商などと呼ぶ。
次の2つの同値な条件を満たす群を冪零群 という。
Γ 1 ( G
)
[ G , G ] {\displaystyle \Gamma _{1}(G)=[G,G]} とし、以下 Γ i + 1 ( G
)
[ G , Γ i ( G ) ] {\displaystyle \Gamma {i+1}(G)=[G,\Gamma {i}(G)]} と定めるとき、ある r が存在して Γ
r
{ e } {\displaystyle \Gamma _{r}={e}} となる。 G の部分群の列 { e
}
G 0 < G 1 < ⋯ < G
n
G {\displaystyle {e}=G_{0}<G_{1}<\cdots <G_{n}=G} であって、各 Gi が G の正規部分群であり、Gi/Gi − 1 が G/Gi − 1 の中心に含まれるようなものが存在する。
可換群および有限 p 群はべき零群である。また、べき零群は可解群である。
可解性・べき零性の遺伝：べき零群の部分群および剰余群はべき零群である。可解群の部分群および剰余群は可解群である。逆に G の正規部分群 N と剰余群 G/N がともに可解群なら G は可解群である。（べき零群の場合には同様の主張は成り立たない。）
群の直積と半直積 群 G と群 H に対し、その直積集合 G × H 上に
( g 1 , h 1 ) ( g 2 , h 2
)
( g 1 g 2 , h 1 h 2 ) {\displaystyle (g_{1},h_{1})(g_{2},h_{2})=(g_{1}g_{2},h_{1}h_{2})} という積を定めることで群となる。これを群の（外部）直積または構成的直積という。また、群 G がその部分群 H1, H2 の（内部）直積である、あるいは直積に分解されるとは、以下の条件
H 1 × H 2 {\displaystyle G=H_{1}\times H_{2}} で表す。右辺の直積を構成的直積と呼ぶこともある。
G の部分群という構造を落として、H1, H2 の外部直積をつくったものと内部直積とは、二つの自然な埋め込み
H 1 → H 1 × H 2 ;
h ↦ ( h , 1 g ) , {\displaystyle H_{1}\to H_{1}\times H_{2};\ h\mapsto (h,1_{g}),} H 2 → H 1 × H 2 ;
h ↦ ( 1 g , h ) {\displaystyle H_{2}\to H_{1}\times H_{2};\ h\mapsto (1_{g},h)} をそれぞれ同一視することで本質的に同じものであることがわかる。
群 H と群 N と準同型写像 f: H → Aut(N) が与えられているとき、直積集合 N × H 上に
( n 1 , h 1 ) ( n 2 , h 2
)
( n 1 f ( h 1 ) ( n 2 ) , h 1 h 2 ) {\displaystyle (n_{1},h_{1})(n_{2},h_{2})=(n_{1}f(h_{1})(n_{2}),h_{1}h_{2})} で積を定めると群となる。これを H と N の f による半直積といい、
G
N ⋊ H {\displaystyle G=N\rtimes H} で表す。なお、この群で N は正規部分群となる。群の拡大も参照。
有限群 →詳細は「有限群 § 主要な定理」を参照
有限アーベル群の基本定理 →詳細は「有限アーベル群の構造定理」を参照
G を有限可換群とすると、2以上の整数
e 1 | e 2 | ⋯ | e n {\displaystyle e_{1}|e_{2}|\cdots |e_{n}} が存在して、G は
G ≅ Z / e 1 Z × ⋯ × Z / e n Z {\displaystyle G\cong \mathbb {Z} /e_{1}\mathbb {Z} \times \cdots \times \mathbb {Z} /e_{n}\mathbb {Z} } と巡回群の直積に分解する。このような ei たちは一意的に定まる。
また、素数 p1, …, pr（重複してもよい）と、正の整数 a1, …, ar が存在して、
G ≅ Z / p 1 a 1 Z × ⋯ × Z / p r a r Z {\displaystyle G\cong \mathbb {Z} /p_{1}^{a_{1}}\mathbb {Z} \times \cdots \times \mathbb {Z} /p_{r}^{a_{r}}\mathbb {Z} } と素数べき位数の巡回群の直積に分解する。
このとき、 p 1 a 1 , p 2 a 2 , ⋯ , p r a r {\displaystyle {p_{1}^{a_{1}},p_{2}^{a_{2}},\cdots ,p_{r}^{a_{r}}}} は順序の差を除き一意的に定まる。
コーシーの定理 →詳細は「コーシーの定理 (群論)」を参照
有限群 G の位数 |G| の素因数を p とするとき、位数 p をもつ G の元が存在する[5]。 シローの定理 →詳細は「シローの定理」を参照
素数 p が与えられているとき、有限群 G の位数を |G| = pam （ただし m は p と互いに素）と表す。このとき位数 pa の G の部分群を p-シロー部分群という。p-シロー部分群について以下が成り立つ[6]。
G のどの p-部分群も、ある位数 pa の部分群に含まれる。特に p-シロー部分群は存在する
相異なる p-シロー部分群の個数 np は p を法として 1 と合同である： np ≡ 1 mod p 任意の p-シロー部分群は G 内で互いに共役である
シューア・ツァッセンハウスの定理 →詳細は「シューア–ツァッセンハウスの定理（英語版）」を参照
N を有限群 G の正規部分群とし、|N| と |G:N| が互いに素であるとき、G の部分群 C が存在して、G は N と C の半直積となる。
^ a b バーコフ & マクレーン 1967, 第VI章 4. 抽象群. ^ McCune, W.W. (1993), “Single axioms for groups and Abelian groups with various operations”, Journal of Automated Reasoning 10: 1–13, doi:10.1007/BF00881862 ^ a b Robinson 1996, p. 2 ^ Robinson 1996, 1.3.1 (The Subgroup Criterion). ^ Robinson 1996, 1.6.17 (Cauchy’s Theorem). ^ Robinson 1996, 1.6.16 (Sylow’s Theorem). ^ Doerk & Hawkes 1992, p. 210. ^ Robinson 1996, 5.2.4.
参考文献
ガーレット・バーコフ、ソンダース・マクレーン『現代代数学概論』（改訂3版）白水社、1967年。NDLJP:2422244。 Doerk, Klaus; Hawkes, Trevor (1992). Finite soluble groups. de Gruyter Expositions in Mathematics. 4. Walter de Gruyter & Co. ISBN 3-11-012892-6. MR1169099. Zbl 0753.20001 Robinson, Derek J. S. (1996). A course in the theory of groups. Graduate Texts in Mathematics. 80 (Second ed.). Springer-Verlag. ISBN 0-387-94461-3. MR1357169. Zbl 0836.20001
関連項目
代数的構造 ガロア理論 物性物理 ガロア アーベル 対称性
外部リンク 『群の定義といろいろな具体例』 – 高校数学の美しい物語 数学と文化人類学の邂逅（川添充、2001年12月11日） – ウェイバックマシン（2004年6月3日アーカイブ分） Rowland, Todd; Weisstein, Eric W. “Group”. mathworld.wolfram.com (英語). group in nLab group – PlanetMath.（英語） Definition:Group at ProofWiki Kargapolov, M.I.; Merzlyakov, Yu.I. (2001), “Group”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4 表話編歴 群論 表話編歴 代数学 典拠管理データベース: 国立図書館 ウィキデータを編集 ドイツ チェコ カテゴリ: 群論抽象代数学数学に関する記事
G を生成系とする R-係数の形式的な（「有限」）線型結合の全体（G 上の R-自由加群、特に R が体のときは自由ベクトル空間）を R[G] と書く（RG とも書かれる[1]）。即ち、任意の元 x ∈ R[G] は
x
∑ g ∈ G a g g ( a g ∈ R ) {\displaystyle x=\sum {g\in G}a{g}\,g\quad (a_{g}\in R)} の形に書ける。
ただし、右辺の和において有限個の例外を除く全ての g に対して ag = 0 でなければならない。G の元と R[G] の元との区別を明確にする場合には、各元 g ∈ G に対応する生成元を eg などと書いて
x
∑ g ∈ G a g e g {\displaystyle x=\sum {g\in G}a{g}\,e_{g}} のようにも書く[2][注 2]。この集合 R[G] 上に項ごとの和
( ∑ g ∈ G a g g ) + ( ∑ g ∈ G b g g ) := ∑ g ∈ G ( a g + b g ) ⋅ g {\displaystyle (\sum {g\in G}a{g}\,g)+(\sum {g\in G}b{g}\,g):=\sum {g\in G}(a{g}+b_{g})\cdot g} を加法とし、G の積を線型に拡張した
( ∑ g ∈ G a g g ) ( ∑ g ∈ G b g g ) := ∑ g , h ∈ G ( a g b h ) ⋅ g
h
∑ g ∈ G ( ∑ h ∈ G a h b h − 1 g ) ⋅ g {\displaystyle (\sum {g\in G}a{g}\,g)(\sum {g\in G}b{g}\,g):=\sum {g,h\in G}(a{g}b_{h})\cdot gh=\sum {g\in G}(\sum {h\in G}a_{h}b_{h^{-1}g})\cdot g} を乗法とする環を成し、さらにスカラー倍
r ⋅ ( ∑ g ∈ G a g g ) := ∑ g ∈ G ( r a g ) ⋅ g {\displaystyle r\cdot (\sum {g\in G}a{g}\,g):=\sum {g\in G}(ra{g})\cdot g} により R 上の多元環（線型環）を成す。この多元環 R[G] を G 上の R-係数の群環、G で生成される R 上の群環などと呼ぶ。
（離散位相に関して）群 G 上の R-値コンパクト台付き連続函数全体の成す空間 Cc(G; R) の元 f は、群 G から可換環 R への写像 f: G → R であって、有限な台を持つ（つまり有限個の例外を除き f(g) = 0 (g ∈ G) となる）ようなものである。点ごとの和 ( f + h ) ( g ) := f ( g ) + h ( g ) ( g ∈ G ) {\displaystyle (f+h)(g):=f(g)+h(g)\quad (g\in G)} と畳み込み ( f ∗ h ) ( g ) := ∑ γ ∈ G f ( γ ) h ( γ − 1 g ) {\displaystyle (f\ast h)(g):=\sum _{\gamma \in G}f(\gamma )h(\gamma ^{-1}g)} およびスカラー倍 ( r f ) ( g ) := r ( f ( g ) ) ( r ∈ R ) {\displaystyle (rf)(g):=r(f(g))\quad (r\in R)} のもと Cc(G; R) は R 上の多元環となる。 G の各元 g に対して、一点集合 {g} の R-値指示函数（ディラックのデルタ函数）
δ g ( h ) := {
1
1 R (
h
g )
0
0 R ( h ≠ g ) {\displaystyle \delta {g}(h):={\begin{cases}1=1{R}&(h=g)\0=0_{R}&(h\neq g)\end{cases}}} を考えるとき、Cc(G; R) は R 上の標準基底として {δg | g ∈ G} を持ち、
R [ G ] → C c ( G ; R ) ; ∑ g ∈ G a g g ↦ ∑ g ∈ G a g δ g {\displaystyle R[G]\to C_{c}(G;R);\;\sum {g\in G}a{g}\,g\mapsto \sum {g\in G}a{g}\delta _{g}} は多元環の同型である。しばしばここでいう Cc(G; R) を（1. の場合と同じく） R[G] などとも書き、G の R 上の群環と呼ぶ[2]。
G が有限群ならば、この Cc(G; R) は G から R への写像全体の成す空間 RG (= R(G) = Hom(G, R)) に他ならない。これは無限群の場合には一般には成り立たないが、それでも以下に示すような意味で群環 R[G] と写像空間 RG は互いに双対の関係にある：
群環の元
x
∑ g ∈ G a g g {\displaystyle x=\sum {g\in G}a{g}\,g} と R-値写像 f: G → R の対に対して、内積
( x , f
)
∑ g ∈ G a g f ( g ) ∈ R {\displaystyle (x,f)=\sum {g\in G}a{g}f(g)\quad \in R} が矛盾なく定まる（右辺が実質有限和であることに注意せよ）。
例 位数 3 の巡回群 G = ⟨ g | g3 = 1 ⟩ を取り、ω = exp(2πi/3) とおく。 このとき
e 1 C G ⊕ e 2 C G ⊕ e 3 C G ≅ ( C 0 0 0 C 0 0 0 C ) {\displaystyle \mathbb {C} G=e_{1}\mathbb {C} G\oplus e_{2}\mathbb {C} G\oplus e_{3}\mathbb {C} G\cong {\begin{pmatrix}\mathbb {C} &0&0\0&\mathbb {C} &0\0&0&\mathbb {C} \end{pmatrix}}} 群環上の加群 →詳細は「群上の加群」を参照 環 K 上の群環 K[G] を環と見るとき、環 K[G] 上の加群は、群 G 上の加群と呼ばれる。群 G の表現は G-加群の言葉で読みかえることができる。特に
単純 G-加群は G-既約表現のことである。 G の表現空間が K-加群 V1, V2 であるとき、表現の間の準同型は、G-加群 V1, V2 の間の K-線型準同型のことであり、その全体は HomG K(V1, V2) などで表される。 古典的な結果として、もともとは係数環 K が複素数体 C で、群 G が有限群の場合に得られたものだが、そのような条件のもとで群環 K[G] が半単純環となることを示すことができて、それは有限群の表現において深い意味を持つ事実である。より一般に、マシュケの定理と呼ばれる以下の定理が成り立つ：
定理 (Maschke) 有限群 G の位数が体 F の標数と互いに素なとき、あるいは標数 0 のとき、群環 FG は半単純である。 特に、群環 C[G] が半単純であることは、それが C に成分をとる行列環の直和として理解することができることを意味する。
G が有限アーベル群ならば、群環は可換環であり、その構造は 1 の冪根を用いて容易に記述することができる。係数環 R が標数 p の体で、その素数 p が有限群 G の位数を割るならば、群環は半単純でなく非自明なジャコブソン根基を持つ。このことは、そのような条件下でのモジュラー表現論における対応する主題において重要な意味を示す。
性質 基本性質 環 R が乗法単位元 1 = 1R を持つとき（群 G の単位元は 1 = 1G と書くことにする）、群環 R[G] は R に環同型な部分環を持ち、またその単元群は G に群同型な部分群を含む。実際、
R → R [ G ] ; r ↦ r ⋅ 1 G ( or r ↦ r δ 1 G ) {\displaystyle R\to R[G];r\mapsto r\cdot 1_{G}\quad ({\text{or }}r\mapsto r\delta {1{G}})} は単射環準同型であり、同様に
G → ( R [ G ] ) × ; g ↦ 1 R ⋅ g ( or g ↦ δ g ) {\displaystyle G\to (R[G])^{\times };\;g\mapsto 1_{R}\cdot g\quad ({\text{or }}g\mapsto \delta _{g})} は乗法群に関する単射群準同型になる。特に、1R⋅1G は R[G] の乗法単位元である。
R が可換環であり、かつ G がアーベル群であるとき、群環 R[G] は可換多元環である。 H が G の部分群ならば、群環 R[H] は R[G] の部分環である。同様に、S が R の部分環であるとき、群環 S[G] は R[G] の部分環である。 群環の中心 →「類函数」も参照 環 K[G] の積の定義の仕方から、その環としての中心は G 上で定義されたK-値類函数（つまり、G の各共軛類上で定数となる函数）の全体に一致する。これは配置集合 KG の部分線型空間で、各共軛類 c ∊ C の指示函数の族 (1c)c∊C を標準基底に持つ（これらの指示函数は KG の標準基底によって1c = ∑s∊cδs と分解できる）。
また、KG 上の非退化な対称双線型形式（内積）を
( f ∣ h
)
1 g ∑ s ∈ G f ( s ) h ( s − 1 ) {\displaystyle (f\mid h)={\frac {1}{g}}\sum _{s\in G}f(s)h(s^{-1})} で定義することができる。
既約指標の全体はこの類函数の空間の正規直交基底を成す これにより、（この部分空間の次元を考えて）
既約表現の（同型類の）総数は、群の共軛類の数 h に等しい ゆえに、群 G の K 上の既約表現 (S1, ρ1), … (Sh, ρh) が（同型を除いて）存在して、それらの指標 χ1, …, χh が群環 K[G] の中心の基底を成す。
アルティン–ウェダーバーンの定理 前節の記号を引き続き用いて以下の基本的な定理が直接的に示せる。
群環 K[G] は群 G の h-個の既約表現 Si の K-自己準同型環 EndK(Si) の直和に同型である: K [ G ] ≃ ⨁
i
1 h End K ( S i ) . {\displaystyle K[G]\simeq \bigoplus {i=1}^{h}\operatorname {End} {K}(S_{i}).} さらに K が代数閉体と仮定すれば、有限次元半単純環に関するアルティン・ウェダーバーンの定理から同じ結果が得られる。 群環 K[G] は KG の部分空間であるから、各Si の次元を di とすれば、群環自身の次元は
g
∑
i
1 h d i 2 {\displaystyle g=\sum {i=1}^{h}d{i}^{2}} で与えられる（K が正標数の場合はfr:Représentation régulière#Identités remarquablesを見よ）。 K[G] の元 f が中心に属するための必要十分条件は、その成分が Si 上の相似拡大 (homothety) となることである。さらに類函数に関する結果を用いれば、その Si における相似比 λi が λ
i
1 d i ∑ s ∈ G f ( s ) χ i ( s ) {\displaystyle \lambda {i}={\frac {1}{d{i}}}\sum {s\in G}f(s)\chi {i}(s)} で与えられる。 正則表現 →詳細は「正則表現 (数学)」を参照 群 G の正則表現 λ は、既に述べた対応により自然に群環 K[G] 上の左 K[G]-加群の構造に対応する。前節で述べた群環の分解に従えば:
G の正則表現は G の既約表現 ρi をその次数 di と同じ数だけ重複したものの直和 ( K G , λ ) ≃ ⨁
i
1 h d i ( S i , ρ i ) {\displaystyle (K^{G},\lambda )\simeq \bigoplus {i=1}^{h}d{i}(S_{i},\rho _{i})} に分解される。即ち、この λ に付随する半単純加群の等型成分（英語版）は d i ( S i , ρ i
)
( S i , ρ i ) ⊕ ⋯ ⊕ ( S i , ρ i ) ⏟ d i summand ( d
応用 フロベニウス相互律 →詳細は「フロベニウス相互律（フランス語版）」を参照 群環の構造を用いるよい例としてフロベニウス相互律を挙げられる。これは G-加群の誘導表現（英語版）を構成する方法とも理解される。有限群 G の部分群 H と K[H]-加群 W に対して、W から誘導される G-加群とは
V ≃ K [ G ] ⊗ K [ H ] W {\displaystyle V\simeq K[G]\otimes _{K[H]}W} のことを言う（⊗K[H] は K[H]-加群としてのテンソル積である）。この誘導表現は、H-加群 W の（環 K[H] から K[G] への）係数拡大に対応する。H が G の正規部分群のときは、この誘導表現は H による半直積に同値である。
フロベニウス相互律は、誘導表現の指標に関する内積を計算するための便法を与える。ψ を H の表現 θ としての H-加群 W の指標とし、χ を G の表現 ρ の指標とする。ψ の G への誘導表現の指標を Ind ψ、ρ の H への制限の指標を Res χ とすれば、フロベニウス相互律とは
⟨ Ind H G ψ ∣ χ ⟩
G
⟨ ψ ∣ Res H G χ ⟩ H {\displaystyle \langle \operatorname {Ind} {H}^{G}\psi \mid \chi \rangle {G}=\langle \psi \mid \operatorname {Res} {H}^{G}\chi \rangle {H}} なる関係が成り立つことを主張するものである。これはそれぞれの付随する K-多元環準同型の空間の同型 HomG(Ind θ, ρ) ≅ HomH(θ, Res ρ) を構成することで（次元を見れば）示される。
代数的整数 →詳細は「整元」を参照 u ∈ K[G] の標準基底に関する座標成分が全てℤ 上で整ならば、u は ℤ 上整である。 実際に標準基底としての G の元 δs は ℤ 上整であり、これらの生成する有限生成 ℤ-加群は実際には ℤ-多元環を成す。
前節からの記号を引き続き使用して、以下が成り立つ:
u が K[G] の中心に属する元で、その座標成分が ℤ 上整ならば以下の K の元 λ
i
1 d i ∑ s ∈ G u s χ i ( s ) {\displaystyle \lambda {i}={\frac {1}{d{i}}}\sum {s\in G}u{s}\chi _{i}(s)} もまた ℤ 上整である。 実際、上記の節によれば、この数は Si 上での相似比 ρi(u) である。先に掲げた命題によりこの相似比は ℤ 上の整元であり、相似拡大の結合は多元環の準同型となるから、もとの数もそうである。
K が標数 0 ならば以下の性質が導かれる:
既約表現の次数 di は群の位数 g を割り切る。 可換群上の調和解析 →詳細は「有限可換群上の調和解析」を参照 有限群 G がアーベル群ならば、その双対群もまた有限で G に（自然でない）同型である。故に（複素係数）群環上の調和解析の道具は有効で、フーリエ変換や畳み込みを定義し、パーシヴァルの等式、プランシュレルの定理、ポントリャーギン双対性などの定理を適用することができる。
注釈 ^ これは少々紛らわしいが、任意の群環は係数環の中心上の群多元環となるから、その文脈で何を係数環としているかが明らかならば混乱の虞は無いであろう。 ^ 特に群 G が加法的に書かれている場合、群環における乗積表は eg⋅eh = eg+h から得られるが、群の元 g を生成元 eg と同一視する記法では、群の演算と群環の形式和の区別が紛らわしい。 出典 ^ Polcino Milies & Sehgal 2002, p.129 and 131. ^ a b Polcino Milies & Sehgal 2002, p. 131. 参考文献 Alperin, J. L.; Bell, Rowen B. (1995). Groups and Representations. Graduate Texts in Mathematics. 162. Springer-Verlag. doi:10.1007/978-1-4612-0799-3. ISBN 0-387-94525-3. MR1369573. Zbl 0839.20001 N. Bourbaki, Éléments de mathématique, Algèbre, chap. VIII Curtis, Charles W.; Reiner, I. (2006) [1962]. Representation Theory of Finite Groups and Associative Algebras. AMS Chelsea Publishing. doi:10.1090/chel/356. ISBN 0-8218-4066-5. MR2215618. Zbl 1093.20003 Hall, Marshall, Jr. [in 英語]. The Theory of Groups (英語). Lang, Serge. Algèbre. Passman, Donald S. (1985) [1977]. The Algebraic Structure of Group Rings. Robert E. Krieger Publishing. ISBN 0-89874-789-9. MR0798076. Zbl 0654.16001 Polcino Milies, C.; Sehgal, Sudarshan K. (2002). An Introduction to Group Rings. Kluwer Academic Publishers. doi:10.1007/978-94-010-0405-3. ISBN 1-4020-0238-6. MR1896125. Zbl 0997.20003 Serre, Jean-Pierre. Représentations linéaires des groupes finis. 関連項目 モノイド代数 フロベニウス代数 外部リンク A. A. Bovdi (2001), “Group algebra”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4 Weisstein, Eric W. “Group Ring”. mathworld.wolfram.com (英語). Barile, Margherita; Moslehian, Mohammad Sal; Weisstein, Eric W. “Group Algebra”. mathworld.wolfram.com (英語). group ring – PlanetMath.（英語） group algebra in nLab カテゴリ: 群の表現論調和解析多元環論数学に関する記事 最終更新 2021年10月12日 (火) 00:18 （日時は個人設定で未設定ならばUTC）。 テキストはクリエイティブ・コモンズ 表示-継承ライセンスのもとで利用できます。追加の条件が適用される場合があります。詳細については利用規約を参照してください。』
環 R 上の左 R-加群もしくは R-左加群とは、アーベル群 (M, +) とスカラー乗法と呼ばれる作用 R × M → M の組であって、その作用（通常は、r ∈ R と x ∈ M に対して x のスカラー r-倍を単に文字を併置して rx と記す）は、r, s ∈ R, x, y ∈ M は任意として、条件
r ( x + y
)
r x + r y , {\displaystyle r(x+y)=rx+ry,} ( r + s )
x
r x + s x , {\displaystyle (r+s)x=rx+sx,} ( r s )
x
r ( s x ) , {\displaystyle (rs)x=r(sx),} 1 R
x
x {\displaystyle 1_{R}x=x} を満足するものでなければならない
（最後の条件は R が乗法単位元を持つときで、それを 1R で表している。環が単位的であることを仮定しない文脈では、R-加群の定義においてこの最後の条件も課されず、特にこの条件をも満足することで定まる構造を単位的左 R-加群、単型 R-左加群などと呼んで区別する。本項では用語の一貫性を図るため、特に断りの無い場合は環も加群も単位的であると仮定する）。
しばしば、スカラーの作用を fr のような形に書くこともあり、もちろん fr(x) = rx なのだが、このように書くと f を R の各元 r を対応する作用素 fr へ移す写像とみることもできて、たとえば先ほどの加群の公理の最初の条件は fr が M 上の自己準同型となることを述べていて、残りの条件は f が R から自己準同型環 End(M) への環準同型となることを要請するものになっている。
通常は演算を省略して、単に「左 R-加群 M」とか、係数環を明示するために RM のように記す。環の作用の向きだけ右からに変更して（つまり M × R → M の形のスカラー乗法があって、左加群の公理でスカラーを左に書いていたところを、スカラー r や s を x, y の右側に書くようにして）、同様に右 R-加群 M, MR が定義される。
R を勝手な環とし n を自然数とするとき、直積 Rn は成分ごとの演算で R 上の左および右加群となる。
したがって特に n = 1 のとき R 自身は環の乗法をスカラー乗法として R-加群であり、これを（左／右）正則加群と呼ぶ。n = 0 とすれば、R の加法単位元のみからなる自明な R-加群 {0} が得られる。
これらの加群は自由加群と呼ばれ、R が（たとえば可換環や体のような）不変基底数を持つ環ならば、直積の個数 n が自由加群の階数となる。
S が空でない集合で M が左 R-加群、MS を写像 f: S → M 全体の成す集合とするとき、MS における加法とスカラー倍を (f + g)(s) = f(s) + g(s) および (rf)(s) = rf(s) で定めると MS は左 R-加群となる。
右 R-加群の場合も同様。特に R が可換ならば R-加群の準同型 h: M → N の全体は R-加群になる（実は NM の部分加群となる）。
X が可微分多様体のとき、X 上の実数に値をとる滑らかな函数の全体は環 C∞(X) を成す。X 上で定義される滑らかなベクトル場全体の成す集合は C∞(X) 上の加群を成す。
X 上のテンソル場の全体や微分形式の全体についても同様である。
もっと一般に、任意のベクトル場の切断の全体は C∞(X) 上の射影加群であり、スワンの定理により、逆に任意の射影加群はあるベクトル束の切断全体の成す加群に同型になる。 すなわち、C∞(X)-加群の圏と X 上のベクトル束の圏は同値である。
成分が実数の n-次正方行列の全体は環を成す。
それを R とし、n-次元ユークリッド空間 Rn（元は縦ベクトルで考える）に対して行列の乗法によって R の作用をさだめれば、これは左 R-加群となる。
R を任意の環、I を R の任意の左イデアルとすると、I は R 上の左加群である。もちろん同様に右イデアルは右加群である。
R を環とし、環 Rop を R から台となる集合と加法はそのままで乗法だけを逆にして得られる環（反対環）とする。つまり、R において ab = c ならば Rop において ba = c である。このとき、任意の左 R-加群 M はそのまま右 Rop-加群と見ることができ、R 上の任意の右加群は Rop 上の左加群と考えることができる。
部分加群と準同型
M を左 R-加群、N を M の部分群とするとき、N が M の部分加群 (submodule) あるいはより明示的に R-部分加群（または部分 R-加群）であるとは、任意の r ∈ R と n ∈ N に対して積 rn がふたたび N に属するときに言う。M が右加群の場合は nr が N に属するとき同様に部分加群という。
与えられた加群 M の部分群全体の成す集合は、ふたつの二項演算 “+” および “∩” に関して束を成しモジュラー法則
M の部分加群 U, N1, N2 で N1 ⊂ N2 が成り立つとき、 (N1 + U) ∩ N2 = N1 + (U ∩ N2) が成立する を満たす。
M および N が左 R-加群のとき、写像 f: M → N が R-加群の準同型であるとは、任意の m, n ∈ M, r, s ∈ R に対して
f ( r m + s n
)
r f ( m ) + s f ( n ) {\displaystyle f(rm+sn)=rf(m)+sf(n)} が満たされるときに言う。ほかの数学的対象に関する準同型が対象の構造を保つのと同じく、加群の準同型も加群の構造を保つ。
有限生成加群 加群 M が有限生成あるいは有限型であるとは、M の有限個の元 x1,…,xn で、それらの R-係数線型結合によって M の任意の元が書き表されるときに言う。 巡回加群 加群が巡回加群であるとは、それが唯一つの元で生成されるときにいう。 自由加群 自由加群は基底を持つ加群である。これは係数環 R のいくつかのコピーの直和に同型である加群といっても同じである。自由加群はベクトル空間とかなり同じように振舞う。 射影加群 射影加群は自由加群の直和因子であり、自由加群とよい性質をたくさん共有している。 入射加群 入射加群は射影加群の双対として定義される。 平坦加群 平坦加群はテンソル積で単射が保たれるような加群である。 単純加群 単純加群 S とは {0} と S 自身しか部分加群を持たないような {0} でない加群のことである。単純加群はしばしば既約加群とも呼ばれる[1]。 半単純加群 半単純加群は単純加群の直和である。 直既約加群 直既約加群とは、{0} でないふたつの部分加群の直和に書くことができない加群のことをいう。任意の既約加群は直既約加群だが逆は必ずしも成立しない。 忠実加群 忠実加群 M とは、R の 0 でない各元 r に対して r の M への作用が自明でない（すなわち、M の元 x で rx ≠ 0 となるものがある）ときに言う。これは M の零化域 (annihilator) が零イデアルであるときといっても同じである。 ネーター加群 ネーター加群は任意の部分加群が有限生成となる加群である。同じことだが、ネーター加群の部分加群からなる任意の昇鎖列は有限の長さで止まる。 アルティン加群 アルティン加群とは、その部分加群からなる任意の降鎖列が有限の長さで止まるような加群をいう。 次数加群 次数付き加群とは、直和分解 M = ⊕x Mx を持つ、次数付き環 R = ⊕x Rx 上の加群であって、任意の添字 x, y に対して RxMy ⊂ Mx+y と成るようなものを言う。
表現論との関係
M を左 R-加群とすると、R の元 r の作用が x を rx へ（右加群の場合は xr へ）うつす写像として定まり、その写像はアーベル群 (M, +) 上の群の自己準同型となる必要がある。EndZ(M) で表される、M の群自己準同型の全体は、加法と合成に関して環となるが、R の元 r にその作用を対応させることにより、R から EndZ(M) への環準同型が定義される。
このような環準同型 R → EndZ(M) は M における R の表現 (representation) と呼ばれる。左 R-加群を定義するもう一つの同値な方法は、アーベル群 M にその上の環 R の表現を考えることである。
表現が忠実 (faithful) であるとは、写像 R → EndZ(M) が単射となることをいう。加群の言葉で言えば、これは R の元 r が M のすべての元 x に対して rx = 0 を満たすならば r = 0 と成ることを言っている。任意のアーベル群は有理整数環または適当な剰余類環 Z/nZ 上の忠実加群である。
一般化
任意の環 R をただひとつの対象から成る前加法圏と看做すことができる。この観点で言えば、左 R-加群とは R からアーベル群の圏 Ab への共変加法的函手に他ならない。右 R-加群は反変加法的函手である。このことが示唆するのは、任意の前加法圏 C に対し、C から Ab への加法的函手は C 上の一般化された左加群と考えるべきであるということである。このような函手の全体は、環上の加群の圏 R-Mod の一般化となる函手圏 C-Mod を成す。
可換環上の加群は別な方向に一般化することができる。まず、環付き空間 (X, OX) をとり、OX-加群の層を考える。これらの全体は代数幾何学のスキーム論的取り扱いで重要な圏 OX-Mod を成す。 X がただ一点からなるならば、これは可換環 OX(X) 上の通常の意味での加群の圏である。
ジジイがあれこれ考えた 