Category:Isomorphism Preserves Cancellability

This category contains pages concerning Isomorphism Preserves Cancellability:

Let $\struct {S, \circ}$ and $\struct {T, *}$ be algebraic structures.

Let $\phi: \struct {S, \circ} \to \struct {T, *}$ be an isomorphism.

Then:

$a \in S$ is cancellable in $\struct {S, \circ}$ if and only if $\map \phi a \in T$ is cancellable in $\struct {T, *}$.