Additive group of a commutative unital ring implies commutator-realizable

From Groupprops

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 .