>>17 訂正

「剰余類群(Z/p^nZ)*の構造が (Z/p^(n-1) Z)/(Z/(p-1) Z)である」
 ↓
「剰余類群(Z/p^nZ)*の構造が (Z/p^(n-1) Z)x(Z/(p-1) Z)である」(つまり (Z/p^(n-1) Z)と(Z/(p-1) Z)との直積)

大チョンボやった(^^;