家华罗庚命名。给定两个除环formula_1使得对于所有formula_2中非零的formula_3都有formula_4（亦即，formula_5的单位群是formula_2的单位群的正规子群），则要么formula_5被包含在formula_2的中心，要么formula_9。