Proving the product of any # of commutators can be written as an "extended commutator" (commutator of 3+ elements)
105170
About product of $k$ commutators
19285
simplifying $ (h^2_2-h^2_3)\over ({1\over h_3})-({1\over h_2})$
54294
Can the product $AB$ be computed using only $+, -,$ and reciprocal operators?
16548
Prove $(x+y) \text{ mod } n = ((x \text{ mod } n)+(y \text{ mod } n)) \text{ mod } n,\,$ and product analog
108930
Show that an operation being commutative is a structural property
116936
Commutator subgroup and subgroup generated by square.
113708
Correspondence between Ext group and extensions (from Weibel's book)
48524
Existence proof of the tensor product using the Adjoint functor theorem.
128896
The special linear group $\text{SL}_n(\mathbb{R})$ is its own commutator
43020
If $I+J=R$, where $R$ is a commutative rng, prove that $IJ=I\cap J$.
156878
If every commutator is idempotent, then the ring is commutative
15452
Proving determinant product rule combinatorially
105717
Trace of a commutator is zero - but what about the commutator of $x$ and $p$?
112080
Proving the Product Rule for exponents with the same base
125613
Free idempotent semigroup with 3 generators
123044
Commutative matrices are multiples of the identity
6398
Can the product of an $4\times 3$ matrix and a $3\times 4$ matrix be invertible?