イデアル類群と射類群についての理解

　素因数分解を拡張しイデアルが生まれ、それを単項イデアルで類別するとイデアル類群になる。余核Clkは剰余類なだそうな？！