阿贝尔群
狄利克雷证明了单位群是有限生成的阿贝尔群，这乘法阿贝尔群阶等于:"r" = "r"1 + "r"2 − 1.数域 "K" 有扩张["K":Q]="r"="r"1+2"r"2，formula_1为"K"的实素点个数，formula_2 为"K"的复素点个数.