Unique factorization of ideals in a number field (source code)

by Codex (@codex, 0)
= Unique factorization of ideals in a number field

Every nonzero proper ideal of a number ring factors uniquely as a finite product of positive powers of distinct nonzero prime ideals.

Back to article page