純粋・応用数学・数学隣接分野（含むガロア理論）17

クレレ誌：
https://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%AC%E3%83%AC%E8%AA%8C
クレレ誌はアカデミーの紀要ではない最初の主要な数学学術誌の一つである（Neuenschwander 1994, p. 1533）。ニールス・アーベル、ゲオルク・カントール、ゴットホルト・アイゼンシュタインらの研究を含む著名な論文を掲載してきた。
(引用終り)

そこで
現代の純粋・応用数学・数学隣接分野（含むガロア理論）スレとして
新スレを立てる（＾＾；

＜前スレ＞
純粋・応用数学・数学隣接分野（含むガロア理論）16
https://rio2016.5ch.net/test/read.cgi/c/math/1692935804/
＜関連姉妹スレ＞
ガロア第一論文と乗数イデアル他関連資料スレ5
https://rio2016.5ch.net/test/read.cgi/math/1687778456/
スレタイ 箱入り無数目を語る部屋14
https://rio2016.5ch.net/test/read.cgi/math/1696677610/
Inter-universal geometry と ABC予想 (応援スレ) 69
https://rio2016.5ch.net/test/read.cgi/math/1688883767/
IUTを読むための用語集資料スレ2
https://rio2016.5ch.net/test/read.cgi/math/1606813903/
現代数学の系譜 カントル 超限集合論他 3
https://rio2016.5ch.net/test/read.cgi/math/1595034113/

＜過去スレの関連（含むガロア理論）＞
・現代数学の系譜 工学物理雑談 古典ガロア理論も読む84
https://rio2016.5ch.net/test/read.cgi/math/1582200067/
・現代数学の系譜 工学物理雑談 古典ガロア理論も読む83
https://rio2016.5ch.net/test/read.cgi/math/1581243504/

つづく

>>319 補足
>クロネッカー・ウェーバーの定理と証明のあらすじ（その１）

下記
「1 の（複素）n 乗根の全体は複素数の乗法に関して位数 n の巡回群を成す」
なので、ガロア理論によれば
任意のアーベル拡大に対して、十分大きなnをとって、位数 n の巡回群の中に
アーベル拡大によるアーベル群が実現できるかを調べるべし

これが、すぐ思いつく筋です
調べると、”有限生成アーベル群の基本定理”（下記）なるものがあって、これが使える
かつ、巡回群の基本定理の基本定理もあり、これも使える

実際、tsujimotter氏は、ほぼこの線で話を進めています

(参考)
https://ja.wikipedia.org/wiki/%E5%B7%A1%E5%9B%9E%E7%BE%A4
巡回群

性質
巡回群の基本定理は、「G が位数 n の巡回群ならば G の任意の部分群はそれ自身巡回群であること」、さらには「 G の任意の部分群の位数は n の約数であって、n の各正の約数 k に対して G が位数 k の部分群をちょうど一つ持つこと」[1]を主張するものである。この性質によって有限巡回群が特徴付けられる。すなわち「位数 n の群が巡回群となるための必要十分条件は、n の任意の約数 d に対して位数 d の部分群をちょうど一つ持つこと」[1]である。これは「位数 n の群が巡回群となるための必要十分条件は、n の任意の約数 d に対して位数 d の部分群を高々一つ持つこと」[1]としても同じであり、しばしばこの形で用いられる。

つづく

つづき

任意の位数 n の有限巡回群は n を法とする加法を備えた群 { [0], [1], [2], ..., [n − 1] } に同型であり、任意の無限巡回群は整数全体の成す集合 Z に加法を考えた加法群 (Z, +) に同型である。したがって、巡回群の性質について理解するには、これらの群だけを調べれば十分である。それゆえ巡回群は調べるのが容易な群の一つであり、巡回群の満たすさまざまな良い性質が知られている。

位数 n の巡回群（n は無限大でもよい）G と G の任意の元 g について、以下のようなことが言える。

G はアーベル群である[2]。つまり、任意の h ∈ G に対して gh = hg が成り立つ。これは g + h ≡ h + g (mod n) の成立から従う。
n が有限ならば gn = g0 は群 G の単位元である。これは任意の整数 k に対して kn ≡ 0 (mod n) となることに対応する。
n = ∞ ならば G はちょうど二つの生成元をもつ。それらは Z における 1 および −1 に対応する元である[3]。
n が有限ならば G を生成する元の総数はちょうど φ(n) に等しい。ここで φ はオイラーのトーシェント函数である[4]。
もっと一般に、d が n の約数ならば Z/nZ の位数 d の元の個数は φ(d) である。また、m の属する剰余類の位数は n/gcd(n,m) で与えられる。
p が素数ならば、位数 p の群は（同型の違いを除き）巡回群 Cp（あるいは加法的に書くならば Z/pZ）しかない[5]。
二つの巡回群 Z/nZ, Z/mZ の直積群がふたたび巡回群となるための必要十分条件は n と m が互いに素であることである[6]。従って例えば Z/12Z は Z/3Z と Z/4Z との直積に分解されるが Z/6Z と Z/2Z との直積とはならない。
巡回群の定義から直ちにわかることだが、巡回群は非常に簡素な生成元と基本関係による表示を持つ。すなわち

つづく

つづき

C_{∞}=< x| >
かつ有限な n に対しては
C_{n}=< x| x^{n}>
と書ける。

基本巡回群（英語版） とは任意の素数 p と任意の正の整数 k に対して Z/pkZ の形に表される群（素冪位数の群）のことである。有限生成アーベル群の基本定理は、任意の有限生成アーベル群 A が有限個の（有限）基本巡回群と有限個の無限巡回群との直積になることを主張するものである[7]。

基本巡回群（英語版） とは任意の素数 p と任意の正の整数 k に対して Z/pkZ の形に表される群（素冪位数の群）のことである。有限生成アーベル群の基本定理は、任意の有限生成アーベル群 A が有限個の（有限）基本巡回群と有限個の無限巡回群との直積になることを主張するものである[7]。
A=Z/p_0^k_0Z x Z/p_1^k_1Z x ・・・ x Z/p_m^k_mZ x Z^n.}
Z/nZ および Z は（可換群の構造のみならず）可換環の構造ももつ。p が素数ならば Z/pZ は有限体であり、Fp や GF(p) などとも記される[8]。p 個の元を持つ体は必ずこの Fp に同型となる[8]

例
二次元および三次元の n 回対称変換の成す対称変換群（英語版） Cn は抽象群として Z/nZ に同型である。他にも対称変換群で代数的には同じく巡回群になっているようなものが存在する
円周上の回転全体の成す群（円周群）S1 は非可算ゆえに巡回群ではないことに注意。

1 の（複素）n 乗根の全体は複素数の乗法に関して位数 n の巡回群を成す
たとえば、n = 3 のとき
0=z^{3}-1=(z-s^{0})(z-s^{1})(z-s^{2}) (s=e^{2πi/3})}
であり、{ s0, s1, s2 } は群となるが、これが巡回的なのは見ての通りである
(引用終り)
以上

>>325 訂正

基本巡回群（英語版） とは任意の素数 p と任意の正の整数 k に対して Z/pkZ の形に表される群（素冪位数の群）のことである。有限生成アーベル群の基本定理は、任意の有限生成アーベル群 A が有限個の（有限）基本巡回群と有限個の無限巡回群との直積になることを主張するものである[7]。

基本巡回群（英語版） とは任意の素数 p と任意の正の整数 k に対して Z/pkZ の形に表される群（素冪位数の群）のことである。有限生成アーベル群の基本定理は、任意の有限生成アーベル群 A が有限個の（有限）基本巡回群と有限個の無限巡回群との直積になることを主張するものである[7]。

ダブりがあるので、一つ消す

追記
なお、ここらの基本的な事項は
ガウスは、だいたい知っていた可能性がある
”知っているが書かない”というのが、ガウスの流儀らしい（当たり前のことをいちいち書いたら切りが無いと思っていたかもね ；ｐ））