簡約律
数学において、簡約律 (かんやくりつ、 英:cancellation property) の概念は可逆 (invertible) の概念の一般化である。消去律(しょうきょりつ)、消約律(しょうやくりつ)の訳が充てられることもある。
マグマ (M, ∗) の元 a が左簡約性質 (left cancellation property) をもつ(あるいは左簡約可能 (left-cancellative)である)とは、M のすべての b と c に対して、a ∗ b = a ∗ c は常に b = c を意味するということである。
マグマ (M, ∗) の元 a が右簡約性質 (right cancellation property) をもつ(あるいは右簡約可能 (right-cancellative)である)とは、M のすべての b と c に対して、b ∗ a = c ∗ a が常に b = c を意味するということである。
マグマ (M, ∗) の元 a が両側簡約性質 (two-sided cancellation property) をもつ(あるいは簡約可能 (cancellative)である)とは、左右両方簡約可能であるということである。
マグマ (M, ∗) が左簡約性質をもつ(あるいは左簡約可能である)とは、マグマのすべての元 a が左簡約可能であるということであり、同様の定義は右簡約あるいは両側簡約に対しても適用する。
左可逆元は左簡約可能であり、右と両側についても同様である。
例えば、すべての準群、したがってすべての群では簡約律が成り立つ。