Set of all fractional ideals of K form finite abelian group, it's order is known as the class number