Additive group of a commutative unital ring implies commutator-realizable
Statement
Suppose is an abelian group that is isomorphic to the additive group of a commutative unital ring. Then, is a commutator-realizable group. In other words, there exists a group containing such that the commutator subgroup of equals .
Proof
Given: An abelian group that is the additive group of a commutative unital ring .
To prove: There exists a group such that the commutator subgroup equals .
Proof: Consider the group of upper-triangular matrices with s on the diagonal under multiplication. is a group of nilpotency class two, whose commutator subgroup and cneter are both the group of matrices of the form:
which is isomorphic to the additive group of .