Structure

構造 — 代数・群論・圏論

抽象代数学は数学的対象の「構造」そのものを研究する。群・環・体・モジュールから圏論まで、 異なる数学的対象に共通するパターンを見出す。

デモを見る トピック一覧

トピック

G

群論

結合律・単位元・逆元を持つ代数系。対称性の数学。

ℤ/nℤ

環・体

加法と乗法の両方を持つ代数系。有限体と暗号理論への応用。

𝑀

モノイド

単位元を持つ結合的代数系。計算機科学への応用。

𝑝

数論

整数の性質の研究。フェルマーの最終定理・素数分布。

𝒞

圏論

数学の「数学」。対象と射による統一的な抽象化。

𝑉

線型代数学

ベクトル空間・行列・固有値。応用数学の基盤。

𝒢

代数幾何学

代数方程式の解集合を幾何学的に研究する分野。

𝜏

位相幾何学 (代数)

基本群・ホモロジー・コホモロジー。空間の代数的不変量。

インタラクティブ可視化

群の乗積表 (ケイリー表)

群論

合同算術 — ℤ/nℤ の構造

数論
7
3

線型変換 — 行列の幾何学的意味

線型代数
1.0
0.5
0.0
1.0

圏論 — 対象と射の図式

圏論

正多角形の対称群 Dₙ

群論・対称性
6

固有値・固有ベクトルの幾何学的意味

線型代数
2.0
1.0

RSA暗号 — 数論の応用

数論・暗号

楕円曲線 y² = x³ + ax + b — 代数幾何・暗号の基盤

代数幾何
-1.0
0.0
-1.00

ガロア理論 — 方程式の根と対称群

ガロア理論

複素平面上の根(単位根)をガロア群の作用(置換)で入れ替える。5次以上の一般方程式は対称群S₅が可解でないため根号解なし

テンソル積 u⊗v — 外積と行列表現

線形代数
30°
80°

テンソル積 u⊗v は rank-1 行列。行列の各セルが uᵢvⱼ に対応し、ヒートマップで表示

スペクトル系列 — コホモロジーの計算過程

代数的トポロジー

E²ページ: Eᵖ'ᵍ₂ = Hᵖ(B; Hq(F)) から出発し、微分 dᵣ: Eᵖ'ᵍᵣ→Eᵖ⁺ʳ'ᵍ⁻ʳ⁺¹ᵣ でページが進むごとにコホモロジー群が確定する

主要な公式・定理

ラグランジュの定理

|H| ∣ |G|

有限群の部分群の位数は群の位数を割り切る

第一同型定理

G/Ker(φ) ≅ Im(φ)

群準同型の像と核の関係を示す基本定理

フェルマーの小定理

ap ≡ a (mod p)

p が素数で gcd(a,p)=1 なら a^(p-1) ≡ 1

米田の補題

Nat(Hom(A,−), F) ≅ FA

圏論の最重要補題。「対象はその射によって決まる」

応用分野

「構造」の数学が現代社会のどこで活きているか

🔐

現代暗号学

AES暗号は有限体 GF(2⁸) 上の演算。楕円曲線暗号(ECC)はアーベル群の構造を活用。RSAは環論(ℤ/nℤ)の性質が理論的基盤。

AES楕円曲線RSA格子暗号
📡

誤り訂正符号

ハミング符号・リード–ソロモン符号・BCH符号はすべて有限体(ガロア体)上の多項式環の理論から構築。CDやQRコードに応用。

ハミング符号リード–ソロモンQRコード
🤖

機械学習・データ表現

テンソル積はCNNの畳み込み演算・注意機構(Attention)の数学的基礎。行列の固有値分解(PCA)は次元削減に。表現論はグループ対称性を持つデータの学習に活用。

テンソルPCA等変NN
⚛️

素粒子物理学

標準模型の対称性は Lie 群 U(1)×SU(2)×SU(3) で記述。素粒子の分類は群の表現論(ゲルマン–八道説)から生まれた。

Lie群標準模型素粒子
🎵

音楽・信号処理

音階の構造は ℤ/12ℤ の加法群(12音平均律)。ウェーブレット変換の理論的根拠はマルチスケール解析の代数構造から来ている。

音楽理論ウェーブレット信号処理
🧬

生物・化学

分子の対称性は点群(群論)で分類し、赤外吸収スペクトルを予測。DNAの相補性・タンパク質の折り畳み対称性の解析にも群論的視点が有効。

結晶学分子対称性分光学