# Cancellation property

﻿
Cancellation property

In mathematics, the notion of cancellative is a generalization of the notion of invertible.

An element a in a magma (M,*) has the left cancellation property (or is left-cancellative) if for all b and c in M, a * b = a * c always implies b = c.

An element a in a magma (M,*) has the right cancellation property (or is right-cancellative) if for all b and c in M, b * a = c * a always implies b = c.

An element a in a magma (M,*) has the two-sided cancellation property (or is cancellative) if it is both left- and right-cancellative.

A magma (M,*) has the left cancellation property (or is left-cancellative) if all a in the magma are left cancellative, and similar definitions apply for the right cancellative or two-sided cancellative properties.

A left-invertible element is left-cancellative, and analogously for right and two-sided.

For example, every quasigroup, and thus every group, is cancellative.

## Interpretation

To say that an element a in a magma (M,*) is left-cancellative, is to say that the function g: xa * x is injective, so a set monomorphism but as it is a set endomorphism it is a set section, i.e. there is a set epimorphism f such f(g(x)) = f(a *x ) = x for all x, so f is a retraction. Moreover, we can be "constructive" with f taking the inverse in the range of g and sending the rest precisely to a.

## Examples of cancellative monoids and semigroups

The positive (equally non-negative) integers form a cancellative semigroup under addition. The non-negative integers form a cancellative monoid under addition.

In fact any free semigroup or monoid obeys the cancellative law, and in general any semigroup or monoid embedding into a group (as the above examples clearly do) will obey the cancellative law.

## Non-cancellative algebras

Although, with the single exception of multiplication by zero and division of zero by another number, the cancellation law holds for addition, subtraction, multiplication and division of real and complex numbers, there are a number of algebras where the cancellation law is not valid.

The cross product of two vectors does not obey the cancellation law. If a×b = a×c, then it does not follow that b=c even if a0.

Matrix multiplication also does not necessarily obey the cancellation law. If AB=AC and A≠O, then one must show that matrix A is invertible (i.e. has det(A)≠0) before one can conclude that B=C. If det(A)=0, then B might not equal C, because the matrix equation AX=B will not have a unique solution for a non-invertible matrix A.

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• cancellation — can·cel·la·tion also can·cel·a·tion n 1: the act or an instance of cancelling 2: a mark made to cancel something (as a check) Merriam Webster’s Dictionary of Law. Merriam Webster. 1996 …   Law dictionary

• cancellation of indebtedness income — (COD income/CODI) USA If a debt is cancelled or forgiven, other than as a gift or bequest, the debtor generally must include the cancelled amount in gross income for tax purposes (IRC § 61(a)(12)). A debt includes any indebtedness for which the… …   Law dictionary

• cancellation-of-indebtedness income — (COD income/CODI) USA If a debt is cancelled or forgiven, other than as a gift or bequest, the debtor generally must include the cancelled amount in gross income for tax purposes (IRC § 61(a)(12)). A debt includes any indebtedness for which the… …   Law dictionary

• Cancellation of Debt (COD) Income — Part of a series on Taxation Taxation in the United States …   Wikipedia

• Cancellation Provision Clause — It is a provision in an insurance policy that permits an insurer or an insurance company to cancel a property and casualty or a health insurance policy at any time before its expiration date. Life insurance policies do not contain cancellation… …   Investment dictionary

• Intellectual property in Iran — Iran is a member of the WIPO since 2001 and has acceded to several WIPO intellectual property treaties.[1] Iran joined the Convention for the Protection of Industrial Property (Paris Convention) in 1959. In December 2003 Iran became a party to… …   Wikipedia

• certificate of cancellation — USA certificate of dissolution, Also known as articles of dissolution or certificate of cancellation in certain states. The certificate filed with the state once a company no longer wishes to continue in existence in its domiciled state. Even… …   Law dictionary

• Monoid — This article is about the mathematical concept. For the alien creatures in the Doctor Who adventure, see The Ark (Doctor Who). Coherence law for monoid unit In abstract algebra, a branch of mathematics, a monoid is an algebraic structure with a… …   Wikipedia

• Cancel — may refer to: *Cancellation (mail), in mail, a postal marking applied to a stamp or stationery indicating that the item has been used *Cancellation (television), the termination of a television series * canceled (South Park) an episode of South… …   Wikipedia

• Trace monoid — In mathematics and computer science, a trace is a set of strings, wherein certain letters in the string are allowed to commute, but others are not. It generalizes the concept of a string, by not forcing the letters to always be in a fixed order,… …   Wikipedia