Element Commutes with Square in Group/Proof 1

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $\left({G, \circ}\right)$ be a group.

Let $x \in G$.


Then $x$ commutes with $x \circ x$.


Proof

\(\ds x \circ \paren {x \circ x}\) \(=\) \(\ds \paren {x \circ x} \circ x\) Group Axiom $\text G 1$: Associativity

$\blacksquare$


Sources