Cancellation Laws/Corollary 2/Proof 1

From ProofWiki
Jump to navigation Jump to search

Corollary to Cancellation Laws

$h g = g \implies h = e$


Proof

\(\displaystyle h g\) \(=\) \(\displaystyle g\)
\(\displaystyle \leadsto \ \ \) \(\displaystyle h g\) \(=\) \(\displaystyle e g\) Group Axiom $\text G 2$: Existence of Identity Element
\(\displaystyle \leadsto \ \ \) \(\displaystyle h\) \(=\) \(\displaystyle e\) Right Cancellation Law

$\blacksquare$