其完备化后，得到的空间称为formula_1进复数，记作formula_281。formula_281和复数域formula_4是代数同构的，可以视为装备了另一种拓扑结构（超度量）的复数域。如果formula_1是奇数，那么formula_107次单位根属于formula_68当且仅当formula_107整除formula_1-1。换句话说，formula_68中由单位根构成的群只有formula_290及其子群。formula_291时，单位根只有1和-1。
应用.Sect