|
数学、とくに群論において、素数 ''p'' に対して、プリューファー ''p'' 群 (Prüfer ''p''-group) あるいは ''p'' 準巡回群 (''p''-quasicyclic group) あるいは ''p''∞ 群 (''p''∞-group)、Z(''p''∞) とは、すべての元が ''p'' 個の相異なる ''p'' 乗根を持つような唯一の ''p''-群である。群の名前は (Heinz Prüfer) にちなんでいる。無限アーベル群を分類する助けになる可算アーベル群である。'p'' 準巡回群 (''p''-quasicyclic group) あるいは ''p''∞ 群 (''p''∞-group)、Z(''p''∞) とは、すべての元が ''p'' 個の相異なる ''p'' 乗根を持つような唯一の ''p''-群である。群の名前は (Heinz Prüfer) にちなんでいる。無限アーベル群を分類する助けになる可算アーベル群である。 Z(''p''∞) とは、すべての元が ''p'' 個の相異なる ''p'' 乗根を持つような唯一の ''p''-群である。群の名前は (Heinz Prüfer) にちなんでいる。無限アーベル群を分類する助けになる可算アーベル群である。 == Z(''p''∞) の構成== プリューファー ''p'' 群は U(1) の部分群であって ''n'' がすべての非負の整数 Z+ を走るときのすべての 1 の ''p''''n'' 乗根からなるものと同一視できる: : ここで群の演算は複素数の乗法である。 あるいは、プリューファー ''p'' 群は商群 Q/Z の、位数が ''p'' の冪のすべての元からなるシロー ''p'' 部分群と見ることもできる: : (ここで Z は、分母が ''p'' の冪であるようなすべての有理数からなる群、群演算は有理数の加法、を表す)。 次のように書くこともできる: : ここで Q''p'' は ''p'' 進数の加法群を表し、Z''p'' はその ''p'' 進整数からなる部分群である。 次のような表示がある: : ここで、Z(''p''∞) の群演算は乗法的に書かれている。 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「プリューファー群」の詳細全文を読む スポンサード リンク
|