Ideal class (source code)

= Ideal class

An ideal class is an element of the <ideal class group>, represented by a nonzero <fractional ideal>. Two fractional ideals represent the same class exactly when their quotient is a <principal ideal>.