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>.