ガロア第一論文と乗数イデアル他関連資料スレ10

定理1・11
pを素数、a≢0 mod pとすると
ax-b≡0 modpは唯一つの解を持つ
x=a^(-1) b modp

ax≡1 modp
ax+py=1は(a, p)=1より解(xの逆元)を持つ。
a∈S={1, 2, …, p-1}で、pは素数なので(a, p)=1となる。