Namespaces
Variants
Actions

Difference between revisions of "Cancellation law"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Start article: Cancellation law)
 
m (ce)
Line 1: Line 1:
 
{{TEX|done}}
 
{{TEX|done}}
In an algebraic structure $A$ with a [[binary operation]] $\cdot$, the left and right cancellation laws respectively hold if for all $x,y,x$
+
In an algebraic structure $A$ with a [[binary operation]] $\cdot$, the left and right cancellation laws respectively hold if for all $x,y,z$
 
$$
 
$$
 
x \cdot y = x \cdot z \Rightarrow y = z \,,
 
x \cdot y = x \cdot z \Rightarrow y = z \,,
Line 11: Line 11:
 
A [[group]] satisfies the cancellation laws; a finite [[semi-group]] is a group if and only if it satisfies the cancellation laws.  A commutative semi-group embeds in a group if and only if it is cancellative: for non-commutative groups the analogous statement does not hold in general, see [[Imbedding of semi-groups]].
 
A [[group]] satisfies the cancellation laws; a finite [[semi-group]] is a group if and only if it satisfies the cancellation laws.  A commutative semi-group embeds in a group if and only if it is cancellative: for non-commutative groups the analogous statement does not hold in general, see [[Imbedding of semi-groups]].
  
A [ring]] is an [[integral domain]] if it is commutative and satisfies the cancellation laws for non-zero elements,
+
A [[ring]] is an [[integral domain]] if it is commutative and satisfies the cancellation laws for non-zero elements,

Revision as of 19:35, 21 December 2014

In an algebraic structure $A$ with a binary operation $\cdot$, the left and right cancellation laws respectively hold if for all $x,y,z$ $$ x \cdot y = x \cdot z \Rightarrow y = z \,, $$ $$ x \cdot y = z \cdot y \Rightarrow x = z \ . $$ Such a structure is termed "cancellative"

A group satisfies the cancellation laws; a finite semi-group is a group if and only if it satisfies the cancellation laws. A commutative semi-group embeds in a group if and only if it is cancellative: for non-commutative groups the analogous statement does not hold in general, see Imbedding of semi-groups.

A ring is an integral domain if it is commutative and satisfies the cancellation laws for non-zero elements,

How to Cite This Entry:
Cancellation law. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Cancellation_law&oldid=35787