#交換法則
#群論入門_中心化群と類等式編 19

Q.
#群 の #中心 の大きさの意味

A.
その群の「アーベル性の強さ」
(#交換法則 が成り立つ度合い).

G内で,#単位元 を除くどの要素も
交換法則が成り立たない場合
群の中心は最も小さく
Z(G)={e}.

Gが #アーベル群 なら
群の中心は最も大きく
Z(G)=G.
October 24, 2026 at 9:38 PM
#群論入門_中心化群と類等式編 22

Q.
#中心 Z(G)の大きさの意味は
#群 Gの「アーベル性の強さ」
(#交換法則 が成り立つ度合い).
↑
似たような概念が他にもある?

A.
既出だが
群Gの #交換子群 D(G)の大きさの意味は
「群G内で交換法則の成り立たない度合い
(非可換性の強さ)」を表す.
October 25, 2026 at 3:08 AM
#群論入門_中心化群と類等式編 23

Q.
#中心 Z(G)の大きさは
#群 Gで #交換法則 が【成り立つ】度合い.

#交換子群 D(G)の大きさは
群Gで交換法則が【成り立たない】度合い.

↑
D(G)の定義を忘れた

A.
D(G)=[ G, G ]=‹ [g1,g2] | g1,g2∈G ›
自分自身との #交換子 の全体が #生成 する群.
October 25, 2026 at 3:39 AM
#群論入門_中心化群と類等式編 34

#群 Gのある元 a を1つ考える時,
Gの元 g に対して
ag=ga ①
という #交換法則 は
常に成り立つとは限らない.

Gの #単位元 eは①を満たし
g=eとおくと
ae=ea

a自身も①を満たし
g=aとおくと
aa=aa

よって,
aの #中心化群 C(a)は
eとaを含む.
October 26, 2026 at 4:39 AM
#群論入門_中心化群と類等式編 26

Z(G) = {e} の場合は自明なケースと考え
「#群 G は #中心 を持たない」という.

これは,Z(G) が
非自明な( e 以外の)元を含まないという意味.

G 内で e 以外のいかなる元も
#交換法則 を満たせない,
もっとも #非可換 の度合いが強い場合である.
October 25, 2026 at 9:08 AM
#群論入門_中心化群と類等式編 16

Q.
#群 G の #中心 Z(G) は
#アーベル群 である事を示せ.

A.
前ツイまでで確認したように
Z(G) は G の #部分群 として
群の3 #公理 を満たす.
また Z(G) 上では #交換法則 が成り立つ.
よって
Z(G) はアーベル群(#可換群)の4公理を満たす.
October 24, 2026 at 3:08 PM
#群論入門_中心化群と類等式編 4

「#中心」という語で連想するのは…
①図形的に円や球を描く?
②#点対称 な #回転 操作?

#群 の「中心」は②の
#対称性 のアナロジーで理解するとよい.

ab=baなる #交換法則 が,
=を境目に
鏡に映したように
「左右対称」である事に注目すると…?
(続)
October 23, 2026 at 11:39 AM
#群論入門_中心化群と類等式編 15

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 が成立.
October 24, 2026 at 1:38 PM
#群論入門_中心化群と類等式編 41

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
どことなく #交換法則 の式に似ている.
October 26, 2026 at 7:08 PM
酒と食費を削り本を錬成する これが等価交換の法則
October 10, 2026 at 1:21 PM
朝からトーストを焼いてもらうかわりに掃除機をかけた。これすなわち等価交換の法則
October 7, 2026 at 11:05 PM
#群論入門_正規部分群編 50

Q.
#群 Gの #交換子群 D(G)
という集合の大きさの意味

A.
Gが #アーベル群 ならD(G)={e}.

D(G)が #単位元 e以外の元も持つ時
Gの #部分群(部分集合)であるD(G)の大きさは
「群G内で #交換法則 の成り立たない度合い
(非可換性の強さ)」を表す
と解釈できる.
October 9, 2026 at 4:09 AM
#群論入門_正規部分群編 53

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). …
October 9, 2026 at 10:08 AM
#群論入門_正規部分群編 42

#交換子(commutator)
https://ja.wikipedia.org/wiki/...

・数学における交換子は
「#二項演算 がどの程度
#可換 性(#交換法則)からかけ離れているか?」
を測る指標の役割を果たす.

・「交換子全体の成す集合」は #群 にならない.
かわりに,#生成 される部分群を考える.
October 8, 2026 at 8:38 AM
足し算とは?意味や性質、日常生活での使われ方までわかりやすく解説

#とは #算数数学
足し算とは?意味や性質、日常生活での使われ方までわかりやすく解説
足し算の基本的な意味や、交換法則・結合法則といった性質、日常生活での使われ方、小学校で学ぶ内容の広がりまで、具体例を交えてじっくりと丁寧にわかりやすく解説します。
toha.jp
October 7, 2026 at 6:00 AM
#群論入門_正規部分群編 31

Q.
#群 Gの2つの元a,bの
#交換子 とは…
1) 定義
2) 何に役立つか

A.
1)
演算結果
a^{-1} b^{-1} a b ∈ G
のこと.
[a, b] と書く.

2)
[a, b] = e (#単位元)
である事と
a,bが #可換 である事は同値.

a^{-1} b^{-1} a b=e
⇔
ab=ba
2元に #交換法則 が成立.
October 7, 2026 at 11:09 AM
#群論入門_正規部分群編 17

Q.
#アーベル群 Gの
#部分群 Nは,
Gの #正規部分群 でもある事を示せ

A.
Nの元nの
Gの元gによる #共役変換 は
f(n)
=g^{-1} n g
GとNは #二項演算 が共通で
nはGの元でもあり
G内とN内で #交換法則 が成立するので
=g^{-1} g n
=n ∈N

∴NはGの正規部分群.
October 6, 2026 at 9:08 AM
量子コンパイレーション中の古典メモリとマジック状態間の根本的トレードオフを確立:遅延メモリの各ビットは2以上のコミットされたT-ゲートの代償を要し、提案された等分布予想の下でレート3を支持する証拠がある。

#量子コンパイル #マジック状態 #量子リソース
ストリーミング Clifford+T コンパイレーションにおけるメモリ-マジック交換法則
arxiv.org
October 6, 2026 at 9:04 AM
#群論入門_正規部分群編 10

Q.
#群 Gが #アーベル群 なら
G内の #共役変換 は
どんな意味を持つか.

A.
Gの2要素x, aに対し
x の共役変換は
f(x)
= a^{-1} x a
G内の任意の2元に
#交換法則 が成り立つので
= a^{-1} a x
= x

つまり,可換群では
任意の共役変換は #恒等変換.
October 5, 2026 at 6:09 PM
小学4年で学ぶ計算のきまりと四則混合計算を解説する。交換法則、結合法則、分配法則の意味を具体例から整理し、括弧、乗除、加減の計算順序を確認する。TeX表記、命令一覧、よくある間違い、コピー例、練習問題を通して、途中式を正しく読み書きする力を養う。 https://www.pahoo.org/e-soul/webtech/tex01/tex01-02-18.html
2.18 計算のきまりと四則混合計算(小学4年)
小学4年で学ぶ計算のきまりと四則混合計算を解説する。交換法則、結合法則、分配法則の意味を具体例から整理し、括弧、乗除、加減の計算順序を確認する。TeX表記、命令一覧、よくある間違い、コピー例、練習問題を通して、途中式を正しく読み書きする力を養う。
www.pahoo.org
September 29, 2026 at 3:06 AM
「左様でございますか、坊ちゃん。」
 その背後に控えるのは、仕立ての良いスーツに身を包んだ暗黒老剣士スミスだ。その白髪を揺らしながら、彼は手際よくトーストに何かを塗りたくっている。

「ああ。だってそうだろう?コーヒーを1杯頼んだだけで、なぜトーストとゆで卵が無料(タダ)でついてくる?等価交換の法則を完全に無視している。魔界の禁忌目録に載せるべきだね。」

「坊ちゃん。それは『モーニング』というナゴヤ独自の慈悲深き結界術の一種かと・・・それより、本日の小倉の仕上がりも実に見事でございます。」

#王都ナゴヤの魔法探偵と暗黒老剣士
September 30, 2026 at 11:29 PM
#巡回群とは 6

Q.
#巡回群 は
#アーベル群 である事を示せ.

A.
#群 Gが
aを #生成元 とする巡回群 ‹ a › ならば
Gの任意の2元x,yは
x=a^m
y=a^n
という #べき の形である.(m,n∈ℤ)
xy=(a^m)(a^n)=a^{m+n}
yx=(a^n)(a^m)=a^{n+m}=a^{m+n}=xy
なので,#交換法則 が成り立つ.
September 29, 2026 at 5:38 AM
#代数系の初歩 17

Q.
マグマから
アーベル群までの5段階で
1つずつ条件を増やせ

A.
  #マグマ: 閉
   #半群: 閉 結
 #モノイド: 閉 結 単
    #群: 閉 結 単 逆
#アーベル群: 閉 結 単 逆 換 

閉 #二項演算 が #閉じている
結 #結合法則
単 #単位元
逆 #逆元
換 #交換法則
September 27, 2026 at 7:39 PM
#群論の初歩 90
↑
このハッシュタグの復習:

▶#群 の定義(#公理)
・#結合法則,#単位元,#逆元
・#簡約法則

▶#アーベル群(#可換群)
・#交換法則

▶#加法群
・#零元

▶#部分群
・#真部分群
・#行列群(#古典群。#一般線形群 とその部分群)

全部思い出せますかな
September 26, 2026 at 2:39 PM
#群論の初歩 46

Q.
n 次 #正方行列 全体の集合 M から
#群 を構成せよ.

A.
演算として #行列 の和(加法)を考えれば
#単位元 はO(n次の正方零行列).
行列Aの #逆元 は-A.
演算が閉じており
#結合法則 を満たすので群.

#交換法則 も成立するので #アーベル群.
加法の群なので #加法群.
September 22, 2026 at 8:10 AM