法群，记为O，群素元称为O的单位，这个群比2阶循环群Z×阶大。由狄利克雷单位定理可得：单位群是交换群。更确切的有伽罗瓦模形式：有限循环群即为K的单位群O。[1]O单元群的阶大小，O的格结构，类数公式可以求出。
例子.由在线GNU项目sagemath.org可容易看出2次域单位的判别式、类数、因子分解等各种情况。