Ideal classes are torsion
ID: ideal-classes-are-torsion
Every element of a finite ideal class group has finite order. Therefore every nonzero ideal has a positive power that is principal.
New to topics? Read the docs here!
New to topics? Read the docs here!