|
|
| 1行目: |
1行目: |
| − | [[数学]]において、[[アーベル群]] ''A'' の'''ランク''' (rank)、'''階数'''、'''プリューファーランク''' (Prüfer rank)、あるいは'''捩れなしランク''' (torsion-free rank) は極大[[線型独立]]部分集合の[[濃度 (数学)|濃度]]である。''A'' のランクは ''A'' に含まれる最大の[[自由アーベル群]]のサイズを決定する。''A'' が[[捩れ (代数学)|捩れなし]]であれば次元がランク ''A'' の[[有理数]]体上の[[ベクトル空間]]に埋め込まれる。[[有限生成アーベル群]]に対して、ランクは強い不変量でありすべてのそのような群はそのランクと[[捩れ部分群]]によって同型を除いて決定される。{{仮リンク|ランク1の捩れなしアーベル群|en|Torsion-free abelian groups of rank 1}}は完全に分類されている。しかしながら、より高いランクのアーベル群の理論はより難解である。
| + | {{テンプレート:20180815sk}} |
| − | | |
| − | 用語ランクは[[基本アーベル群]]の文脈では異なる意味を持つ。
| |
| − | | |
| − | == 定義 ==
| |
| − | | |
| − | アーベル群の部分集合 {''a''<sub>''α''</sub>} が（'''Z''' 上）'''[[線型独立]]''' (linearly independent) であるとは、これらの元の線型結合で0になるのは自明なものしかないということである。つまり、
| |
| − | | |
| − | : <math>\sum_\alpha n_\alpha a_\alpha = 0, \quad n_\alpha\in\mathbb{Z},</math>
| |
| − | | |
| − | ただし有限個を除くすべての係数 ''n''<sub>''α''</sub> は 0 （なので和は実質有限）であれば、すべての係数は 0 である。''A'' における任意の 2 つの極大線型独立集合は同じ[[濃度 (数学)|濃度]]をもち、''A'' の'''ランク'''、'''階数''' (rank) と呼ばれる。
| |
| − | | |
| − | アーベル群のランクは[[ベクトル空間]]の[[ベクトル空間の次元|次元]]に類似である。ベクトル空間の場合との主な違いは[[捩れ (代数)|捩れ]]の存在である。アーベル群 ''A'' の元は[[位数 (群論)|位数]]が有限であるときに捩れと分類される。すべての捩れ元からなる集合は部分群であり、[[捩れ部分群]] (torsion subgroup) と呼ばれ ''T''(''A'') と表記される。群は非自明な捩れ元をもたないときに捩れなし (torsion-free) と呼ばれる。剰余群 ''A''/''T''(''A'') は ''A'' の唯一の極大捩れなし商であり、そのランクは ''A'' のランクと一致する。
| |
| − | | |
| − | 類似の性質をもったランクの概念は任意の[[整域]]上の[[環上の加群|加群]]に対して定義できる。アーベル群のケースは '''Z''' 上の加群に対応する。
| |
| − | | |
| − | == 性質 ==
| |
| − | | |
| − | * アーベル群 ''A'' のランクは '''Q'''-ベクトル空間 ''A'' ⊗ '''Q''' の次元と一致する。''A'' が捩れなしであれば自然な写像 ''A'' → ''A'' ⊗ '''Q''' は[[単射]]であり ''A'' のランクはアーベル部分群として ''A'' を含む '''Q'''-ベクトル空間の最小の次元である。とくに、任意の中間群 '''Z'''<sup>''n''</sup> < ''A'' < '''Q'''<sup>''n''</sup> はランク ''n'' をもつ。
| |
| − | | |
| − | * ランク 0 のアーベル群はちょうど[[周期的群|周期的アーベル群]]である。
| |
| − | | |
| − | * 有理数の群 '''Q''' はランク 1 をもつ。{{仮リンク|ランク 1 の捩れなしアーベル群|en|Torsion-free abelian groups of rank 1}}は '''Q''' の部分群として実現され、それらの同型を除いた十分な分類が存在する。対照的に、ランク 2 の捩れなしアーベル群の十分な分類は存在しない{{Citation needed|date=July 2010}}。
| |
| − | | |
| − | * ランクは[[短完全列]]上加法的である：
| |
| − | | |
| − | ::<math>0\to A\to B\to C\to 0\;</math>
| |
| − | | |
| − | :がアーベル群の短完全列であれば、rk ''B'' = rk ''A'' + rk ''C'' である。これは '''Q''' の[[平坦性]]とベクトル空間の対応する事実から従う。
| |
| − | | |
| − | * ランクは任意の[[直和]]上加法的である：
| |
| − | | |
| − | ::<math>\operatorname{rank}\left(\bigoplus_{j\in J}A_j\right) = \sum_{j\in J}\operatorname{rank}(A_j),</math>
| |
| − | | |
| − | : ただし右辺の和は[[濃度 (数学)#基数の演算|濃度演算]]を使う。 | |
| − | | |
| − | == より高いランクの群 ==
| |
| − | | |
| − | ランクが 1 よりも大きいアーベル群は面白い例の源である。例えば、すべての濃度 ''d'' に対して[[直既約加群|直既約]]すなわち真の部分群のペアの直和として書けないランク ''d'' の捩れなしアーベル群が存在する。これらの例はランクが 1 よりも大きい捩れなしアーベル群は理論がよく理解されているランク 1 の捩れなしアーベル群から直和によって単純には構成できないということを示している。さらに、すべての整数 ''n'' ≥ 3 に対して、2つの直既約群の和であると同時に ''n'' 個の直既約群の和でもあるランク 2''n'' − 2 の捩れなしアーベル群が存在する{{Citation needed|date=July 2010}}。 したがって 4 以上の偶数ランクの群の直既約成分の個数でさえ well-defined でない。
| |
| − | | |
| − | 直和分解の非一意性の別の結果は A.L.S. Corner による。整数 ''n'' ≥ ''k'' ≥ 1 が与えられると、ランク ''n'' の捩れなしアーベル群 ''A'' が存在して ''k'' 個の自然数の和への任意の分割 ''n'' = ''r''<sub>1</sub> + ... + ''r''<sub>''k''</sub> に対して群 ''A'' はランク ''r''<sub>1</sub>, ''r''<sub>2</sub>, ..., ''r''<sub>''k''</sub> の ''k'' 個の直既約部分群の直和である{{Citation needed|date=July 2010}}。したがって有限ランクの捩れなしアーベル群のある直和分解における直既約成分のランクの列はとても ''A'' の不変量とは言えない。
| |
| − | | |
| − | 他の驚くべき例に次のものがある。捩れなしランク 2 の群 ''A''<sub>''n'',''m''</sub> と ''B''<sub>''n'',''m''</sub> であって ''A''<sup>''n''</sup> が ''B''<sup>''n''</sup> に同型であることと ''n'' が ''m'' で割り切れることが同値である。
| |
| − | | |
| − | 無限ランクのアーベル群に対して、次を満たす群 ''K'' と部分群 ''G'' の例がある。
| |
| − | * ''K'' は直既約で、
| |
| − | * ''K'' は ''G'' と別の 1 つの元で生成され、
| |
| − | * ''G'' のすべての 0 でない直和成分は直可約である。
| |
| − | | |
| − | ==一般化==
| |
| − | ランクの概念は[[整域]] ''R'' 上の任意の加群 ''M'' に対して加群の体との[[テンソル積]]の[[商体]] ''R''<sub>0</sub> 上の次元として一般化することができる：
| |
| − | ::<math>\text{rank} (M)=\dim_{R_0} M\otimes_R R_0</math>
| |
| − | ''R''<sub>0</sub> は体だから意味をなし、したがってそれ上の任意の加群（あるいはより明確には[[ベクトル空間]]）は自由である。
| |
| − | | |
| − | 任意のアーベル群は整数環上の加群であるからそれは一般化である。'''Q''' 上の積の次元が極大線型独立部分集合の濃度であることは容易に従う、なぜならば任意の捩れ元 ''x'' と任意の有理数 ''q'' に対して
| |
| − | ::<math>x\otimes_{\mathbf Z} q = 0</math>
| |
| − | | |
| − | == 関連項目 ==
| |
| − | *{{仮リンク|群のランク|en|Rank of a group}}
| |
| − | | |
| − | == 参考文献 ==
| |
| − | {{Refimprove|date=September 2008}}
| |
| − | * Page 46 of {{Lang Algebra|edition=3}}
| |
| − | | |
| − | {{DEFAULTSORT:ああへるくんのらんく}}
| |
| − | [[Category:アーベル群論]]
| |
| − | [[Category:数学に関する記事]]
| |