##  [Right Cancellation Law](/right-cancellation-law-0) 

 Definition

A property of a binary operation stating that for a fixed element a, if x · a = y · a then x = y; when this holds for all a in a specified set, the structure is said to satisfy right cancellation for those elements.

 

 

 

 

 

 





## Principle

Principle

Right multiplication by a cancellative element is injective: the map x ↦ x · a preserves distinctness, so equality after right multiplication implies equality beforehand when right cancellation holds.

 

 

 

 

 





## Demonstration

Demonstration

In a group every element is right-cancellative because x·a = y·a implies x = y after multiplying on the right by a^{-1}. In matrix multiplication over a field, right cancellation holds when the right factor is invertible but fails when the right factor is singular.

 

 

 

 

## Misapplication

Misapplication

Assuming right cancellation in general semigroups or rings with zero divisors; confusing right and left cancellation or applying right cancellation to a non-invertible factor in contexts where invertibility is required.

 

 

 

 

 





## Consequence

Consequence

Right cancellation allows removing a common right factor from an equation, facilitating solution of equations, proofs of uniqueness, and analysis of right actions and homomorphisms.

 

 

 

 

## Reversal

Reversal

The opposite phenomenon is right non-cancellativity, where x·a = y·a with x ≠ y; this signals non-injectivity of right multiplication and often reveals zero divisors or singular elements that obstruct solving equations.

 

 

 

 

 





## Boundary

Boundary

Applies in groups, monoids with cancellative elements, and contexts where right factors may be invertible; does not hold in general semirings, rings with zero divisors, or for singular matrices over a ring.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Tension between local right-cancellativity (for specific a) and global cancellativity and between cancellation derived from invertibility versus cancellation assumed axiomatically; also between sidedness of cancellation and symmetric expectations.

 

 

 

 

 





## Synthesis

Synthesis

The Right Cancellation Law formalizes that right multiplication by certain elements is injective; when present it permits canceling common right factors to deduce equality of remaining factors, simplifying algebraic reasoning.