Category:Class Groups

This category contains results about Class Groups.
Definitions specific to this category can be found in Definitions/Class Groups.

Let $F$ be a field of algebraic numbers.

Let $H$ be the set of ideals of the elements of $F$.

Let $\RR$ be the equivalence relation on $H$ defined as:

$\forall I, J \in H: I \mathrel \RR J \iff \exists S, T, \in H: I S = J T$

where $S$ and $T$ are principal ideals of $F$.

Let $G$ be the group of equivalence classes of $\RR$ such that the group operation is that the product of the equivalence classes containing $I$ and $J$ is the equivalence class containing $I J$.

This group is known as the class group of $F$.