「簡約律」の版間の差分
削除された内容 追加された内容
編集の要約なし |
|||
1行目:
{{Unreferenced|date=December 2009}}
[[数学]]において、'''簡約''' (cancellative) の概念は[[可逆元|可逆]] ([[:en:invertible|invertible]]) の概念の一般化である。
[[マグマ (数学)|マグマ]] {{nowrap|(''M'', ∗)}} の元 ''a'' が'''左簡約性質''' (left cancellation property) ともつ（あるいは'''左簡約可能''' (left-cancellative)）であるとは、''M'' のすべての ''b'' と ''c'' に対して、{{nowrap|1=''a'' ∗ ''b'' = ''a'' ∗ ''c''}} は常に {{nowrap|1=''b'' = ''c''}} を意味するということである。
| |||