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

Furcht968 (トーク | 投稿記録)
編集の要約なし
Furcht968 (トーク | 投稿記録)
編集の要約なし
8行目: 8行目:
'''純正律サブグループ'''、あるいは'''純正律部分群'''は、有限個の有理数から任意の乗算と除算によって生成される[[wiki:アーベル群|アーベル群]]である。どんな群も、部分群の素数限界をpとすると、その最小値のための素数限界群に含まれる。
'''純正律サブグループ'''、あるいは'''純正律部分群'''は、有限個の有理数から任意の乗算と除算によって生成される[[wiki:アーベル群|アーベル群]]である。どんな群も、部分群の素数限界をpとすると、その最小値のための素数限界群に含まれる。


注意深く純正律部分群を検討するのは、議題の群が、完全な素数限界群ではないときだけである。そのような部分群は、有限な[[wiki:部分群の指数|指数]]と無限の指数の2つで、直感的に話される。その指数は、完全な素数限界群の中で、部分群の関連あるサイズを計算する。たとえば、4と3、2と9、4と6で生成された部分群は、完全なピタゴラスの[[3リミット|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 階数]を与える。下により興味深い部分群システムを示す。もしシステムによって音階が与えられるなら、それは音階の音で生成された部分群を示す。純正律部分群は生成元の間のドッツのリスト化によって述べられる。ドッツを使うことの目的は、部分群を参照するという事実のフラグ化である。このネーミングの慣習は以下に従事する。