定義
A を可換環とする。
a を A の元とする。
x ∈ A に ax ∈ A を対応させる写像 λ_a：A → A が単射のとき a を A の正則元と言う。