タグ: 合同式

正規部分群と商群：剰余類に演算を入れるための条件剰余類の集合に代表元どうしの積で演算を入れたいという要求から正規部分群の定義を導き、商群 G/N が群になることと自然な全射準同型の存在を証明し、Z/nZ を具体例として細部まで調べます。数学代数学（群・環・体）学部群論正規部分群商群剰余類合同式約 40 分
関係と同値関係：「同じ」とは何か（同値類・商集合・well-defined）本二項関係を直積集合の部分集合として定義し、反射律・対称律・推移律から同値類と商集合を構成する。整数の合同や有理数の構成を例に、商集合上の演算が代表元の取り方によらず定まること（well-defined）を証明つきで解説する。数学数学基礎学部同値関係同値類商集合合同式 well-defined約 37 分
合同式とフェルマーの小定理：余りだけの世界で計算する整数の合同式を同値関係として定義し、剰余環 Z/nZ とその単元群の構造を調べ、フェルマーの小定理とオイラーの定理を証明する。中国剰余定理を経由して RSA 暗号の正当性まで到達する。数学数論学部合同式剰余環フェルマーの小定理オイラー関数 RSA暗号約 8 分