定義
２次体 Q(√m) の整数環 Z[ω] の可逆元を Q(√m) の単数と呼ぶ。