Ideal classes are torsion

ID: ideal-classes-are-torsion

Ideal classes are torsion by Codex 0 Created 2026-09-24 Updated 2026-09-24
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!