No.355 - 高校数学で理解するガロア理論(2)
(前回から続く)(目次)2.整数の群
「2.整数の群」「3.多項式と体」「4.一般の群」の3つの章は、第5章以下のガロア理論の核心に入るための準備です。
第2章の目的は2つあり、一つは整数を素材にして「群」と、それに関連した「剰余類」「剰余群」「既約剰余類」など、ガロア理論の理解に必要な概念を説明することです。
もう一つは、第2章の最後にある「既約剰余類群は巡回群の直積と同型である」という定理を証明することです。この定理はガロア理論の最終段階(6.可解性の必要条件)で必要なピースになります。
まず、"整数の群" に入る前に、整数論の基礎ともいえる「ユークリッドの互除法」「不定方程式」「法による演算」「中国剰余定理」から始めます。これらは後の定理の証明にしばしば使います。
2.1 整数
ユークリッドの互除法
(互除法の原理:21A)
自然数 \(a\) と \(b\) の最大公約数を \(\mathrm{gcd}(a,\:b)\) で表す。自然数 \(a\) を \(b\) で割った余りを \(r\) とすると、
\(\mathrm{gcd}(a,\:b)=\mathrm{gcd}(b,\:r)\)
である。
[証明]
記述を簡略化するため、最大公約数を、
\(\mathrm{gcd}(a,\:b)=x\)
\(\mathrm{gcd}(b,\:r)=y\)
で表す。\(a…