Ένα από τα βασικά αποτελέσματα της αλγεβρικής θεωρίας αριθμών είναι το γεγονός ότι η ομάδα των κλάσεων των ιδεωδών σε ένα αλγεβρικό αριθμητικό σώμα Κ, είναι πεπερασμένη. Η τάξη της ομάδας των κλάσεων ονομάζεται Αριθμός κλάσεων και συνήθως συμβολίζεται με το γράμμα h.