Q.
#中心 Z(G)の大きさの意味は
#群 Gの「アーベル性の強さ」
(#交換法則 が成り立つ度合い).
↑
似たような概念が他にもある?
A.
既出だが
群Gの #交換子群 D(G)の大きさの意味は
「群G内で交換法則の成り立たない度合い
(非可換性の強さ)」を表す.
Q.
#中心 Z(G)の大きさの意味は
#群 Gの「アーベル性の強さ」
(#交換法則 が成り立つ度合い).
↑
似たような概念が他にもある?
A.
既出だが
群Gの #交換子群 D(G)の大きさの意味は
「群G内で交換法則の成り立たない度合い
(非可換性の強さ)」を表す.
#群 Gのある元 a を1つ考える時,
Gの元 g に対して
ag=ga ①
という #交換法則 は
常に成り立つとは限らない.
Gの #単位元 eは①を満たし
g=eとおくと
ae=ea
a自身も①を満たし
g=aとおくと
aa=aa
よって,
aの #中心化群 C(a)は
eとaを含む.
#群 Gのある元 a を1つ考える時,
Gの元 g に対して
ag=ga ①
という #交換法則 は
常に成り立つとは限らない.
Gの #単位元 eは①を満たし
g=eとおくと
ae=ea
a自身も①を満たし
g=aとおくと
aa=aa
よって,
aの #中心化群 C(a)は
eとaを含む.
Z(G) = {e} の場合は自明なケースと考え
「#群 G は #中心 を持たない」という.
これは,Z(G) が
非自明な( e 以外の)元を含まないという意味.
G 内で e 以外のいかなる元も
#交換法則 を満たせない,
もっとも #非可換 の度合いが強い場合である.
Z(G) = {e} の場合は自明なケースと考え
「#群 G は #中心 を持たない」という.
これは,Z(G) が
非自明な( e 以外の)元を含まないという意味.
G 内で e 以外のいかなる元も
#交換法則 を満たせない,
もっとも #非可換 の度合いが強い場合である.
Q.
#群 G の #中心 Z(G) は
#二項演算 が
#交換法則 を満たす事を示せ
A.
中心の定義より
群Gの任意の元gに対し
Z(G)={z∈G | zg=gz (∀g∈G)} …①
Z(G)の任意の2元x, yに対し
yはGの元でもあるから,
Z(G) の定義①を適用すれば
xy=yx が成立.
Q.
#群 G の #中心 Z(G) は
#二項演算 が
#交換法則 を満たす事を示せ
A.
中心の定義より
群Gの任意の元gに対し
Z(G)={z∈G | zg=gz (∀g∈G)} …①
Z(G)の任意の2元x, yに対し
yはGの元でもあるから,
Z(G) の定義①を適用すれば
xy=yx が成立.
Q.
#群 Gのある元 x の #共役類 は
x^G
={x^g | g∈G}
={g^{-1} x g | g∈G}
共役類の1つの元
y ∈ x^G
をとると
xとyの関係は?
A.
xとyが共役なら
あるg∈Gが存在し
g^{-1} x g=y ①
①を変形すると
x g = g y
どことなく #交換法則 の式に似ている.
Q.
#群 Gのある元 x の #共役類 は
x^G
={x^g | g∈G}
={g^{-1} x g | g∈G}
共役類の1つの元
y ∈ x^G
をとると
xとyの関係は?
A.
xとyが共役なら
あるg∈Gが存在し
g^{-1} x g=y ①
①を変形すると
x g = g y
どことなく #交換法則 の式に似ている.
Q.
#群 Gの #交換子群 D(G)を
G内の
「#交換法則 の成り立たない度合い
(非可換性の強さ)」と解釈する場合
#交換子群列
G⊳D_1(G)⊳D_2(G)⊳…
の意味は
A.
Gの非可換性の強さがD_1(G).
D_1(G)の非可換性の強さがD_2(G).
D_i(G)の非可換性の強さがD_{i+1}(G). …
Q.
#群 Gの #交換子群 D(G)を
G内の
「#交換法則 の成り立たない度合い
(非可換性の強さ)」と解釈する場合
#交換子群列
G⊳D_1(G)⊳D_2(G)⊳…
の意味は
A.
Gの非可換性の強さがD_1(G).
D_1(G)の非可換性の強さがD_2(G).
D_i(G)の非可換性の強さがD_{i+1}(G). …
#交換子(commutator)
https://ja.wikipedia.org/wiki/...
・数学における交換子は
「#二項演算 がどの程度
#可換 性(#交換法則)からかけ離れているか?」
を測る指標の役割を果たす.
・「交換子全体の成す集合」は #群 にならない.
かわりに,#生成 される部分群を考える.
#交換子(commutator)
https://ja.wikipedia.org/wiki/...
・数学における交換子は
「#二項演算 がどの程度
#可換 性(#交換法則)からかけ離れているか?」
を測る指標の役割を果たす.
・「交換子全体の成す集合」は #群 にならない.
かわりに,#生成 される部分群を考える.
#量子コンパイル #マジック状態 #量子リソース
その背後に控えるのは、仕立ての良いスーツに身を包んだ暗黒老剣士スミスだ。その白髪を揺らしながら、彼は手際よくトーストに何かを塗りたくっている。
「ああ。だってそうだろう?コーヒーを1杯頼んだだけで、なぜトーストとゆで卵が無料(タダ)でついてくる?等価交換の法則を完全に無視している。魔界の禁忌目録に載せるべきだね。」
「坊ちゃん。それは『モーニング』というナゴヤ独自の慈悲深き結界術の一種かと・・・それより、本日の小倉の仕上がりも実に見事でございます。」
#王都ナゴヤの魔法探偵と暗黒老剣士
その背後に控えるのは、仕立ての良いスーツに身を包んだ暗黒老剣士スミスだ。その白髪を揺らしながら、彼は手際よくトーストに何かを塗りたくっている。
「ああ。だってそうだろう?コーヒーを1杯頼んだだけで、なぜトーストとゆで卵が無料(タダ)でついてくる?等価交換の法則を完全に無視している。魔界の禁忌目録に載せるべきだね。」
「坊ちゃん。それは『モーニング』というナゴヤ独自の慈悲深き結界術の一種かと・・・それより、本日の小倉の仕上がりも実に見事でございます。」
#王都ナゴヤの魔法探偵と暗黒老剣士