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

Fredg999 (トーク | 投稿記録)
英語版Xen Wikiからの移行
 
Furcht968 (トーク | 投稿記録)
編集の要約なし
6行目: 6行目:
}}
}}
== 定義 ==
== 定義 ==
'''純正律サブグループ'''、あるいは'''純正律部分群'''は、有限個の有理数から任意の乗算と除算によって生成されるアーベル群([https://ja.wikipedia.org/wiki/%E8%87%AA%E7%94%B1%E3%82%A2%E3%83%BC%E3%83%99%E3%83%AB%E7%BE%A4 Wikipedia])である。どんな群も、部分群の素数リミットをpとすると、その最小値のためのp-リミット群に含まれる。
'''純正律サブグループ'''、あるいは'''純正律部分群'''は、有限個の有理数から任意の乗算と除算によって生成される[[wiki:アーベル群|アーベル群]]である。どんな群も、部分群の素数限界をpとすると、その最小値のための素数限界群に含まれる。


注意深く純正律サブグループを検討するのは、議題の群が、完全なp-リミット群ではないときだけである。そのような部分群は、有限なインデックス([https://ja.wikipedia.org/wiki/%E9%83%A8%E5%88%86%E7%BE%A4%E3%81%AE%E6%8C%87%E6%95%B0 index])と無限のインデックスの2つで、直感的に話される。そのインデックスは、完全なp-リミットグループの中で、部分群の関連あるサイズを計算する。たとえば、4と3、2と9、4と6で生成された部分群は、完全なピタゴラスの[[3リミット]]の中でインデックス2を持つ。3リミットが作る音程の半分は、それらのどれか1つに所属し、そして半分は所属せず、そしてすべての3つの群は異なっている。一方、2と3と7で生成された部分群は、2と3と5と7で生成される完全な7リミット群の無限インデックスを作る。そのインデックスは、マトリックスの決定要因から計算される。マトリックスは生成元の[[モンゾ]]の列を持つ。
注意深く純正律部分群を検討するのは、議題の群が、完全な素数限界群ではないときだけである。そのような部分群は、有限な[[wiki:部分群の指数|指数]]と無限の指数の2つで、直感的に話される。その指数は、完全な素数限界群の中で、部分群の関連あるサイズを計算する。たとえば、4と3、2と9、4と6で生成された部分群は、完全なピタゴラスの[[3リミット|3限界]]の中で指数2を持つ。3限界が作る音程の半分は、それらのどれか1つに所属し、そして半分は所属せず、そしてすべての3つの群は異なっている。一方、2と3と7で生成された部分群は、2と3と5と7で生成される完全な7限界群の無限な指数を作る。その指数は、行列式から計算される。行列は生成元の[[モンゾ]]の列を持つ。


純正律部分群に使用するネーミングシステムの原則は、[[標準音程リスト]]を部分群の生成元に適用することである。それはまた、リストにおける生成元の数による群の[https://ja.wikipedia.org/wiki/%E3%82%A2%E3%83%BC%E3%83%99%E3%83%AB%E7%BE%A4%E3%81%AE%E3%83%A9%E3%83%B3%E3%82%AF 階数]を与える。下により興味深い部分群システムを示す。もしシステムによって音階が与えられるなら、それは音階の音で生成された部分群を示す。純正律部分群は生成元の間のドッツのリスト化によって述べられる。ドッツを使うことの目的は、部分群を参照するという事実のフラグ化である。このネーミングの慣習は以下に従事する。
純正律部分群に使用するネーミングシステムの原則は、[[標準音程リスト]]を部分群の生成元に適用することである。それはまた、リストにおける生成元の数による群の[https://ja.wikipedia.org/wiki/%E3%82%A2%E3%83%BC%E3%83%99%E3%83%AB%E7%BE%A4%E3%81%AE%E3%83%A9%E3%83%B3%E3%82%AF 階数]を与える。下により興味深い部分群システムを示す。もしシステムによって音階が与えられるなら、それは音階の音で生成された部分群を示す。純正律部分群は生成元の間のドッツのリスト化によって述べられる。ドッツを使うことの目的は、部分群を参照するという事実のフラグ化である。このネーミングの慣習は以下に従事する。