「純正律サブグループ」の版間の差分

Furcht968 (トーク | 投稿記録)
英語版から幾つか輸入
Furcht968 (トーク | 投稿記録)
編集の要約なし
19行目: 19行目:
どんな群も、部分群の素数限界をpとすると、その最小値のための素数限界群に含まれる。
どんな群も、部分群の素数限界をpとすると、その最小値のための素数限界群に含まれる。


注意深く純正律部分群を検討するのは、議題の群が、完全な素数限界群ではないときだけである。そのような部分群は、有限な[[wiki:部分群の指数|指数]]と無限の指数の2つで、直感的に話される。その指数は、完全な素数限界群の中で、部分群の関連あるサイズを計算する。たとえば、4と3、2と9、4と6で生成された部分群は、完全なピタゴラスの[[3リミット|3限界]]の中で指数2を持つ。3限界が作る音程の半分は、それらのどれか1つに所属し、そして半分は所属せず、そしてすべての3つの群は異なっている。一方、2と3と7で生成された部分群は、2と3と5と7で生成される完全な7限界群の無限な指数を作る。その指数は、[[部分群基底行列]]の行列式から計算される。その行列は生成元の[[モンゾ]]の列を持つ。
注意深く純正律部分群を検討するのは、議題の群が、完全なp-リミット群ではないときだけである。そのような部分群は、有限な[[wiki:部分群の指数|指数]]と無限の指数の2つで、直感的に話される。その指数は、完全なp-リミット群の中で、部分群の関連あるサイズを計算する。たとえば、4と3、2と9、4と6で生成された部分群は、完全なピタゴラスの[[3リミット]]の中で指数2を持つ。3リミットが作る音程の半分は、それらのどれか1つに所属し、そして半分は所属せず、そしてすべての3つの群は異なっている。一方、2と3と7で生成された部分群は、2と3と5と7で生成される完全な7リミット群の無限な指数を作る。その指数は、[[部分群基底行列]]の行列式から計算される。その行列は生成元の[[モンゾ]]の列を持つ。


== 部分群のリスト ==
== 部分群のリスト ==