Original: Identity element There exists an element e in G, such that for all elements a in G, the equation e • a = a • e = a holds.
Simplified: There exists an element e in G, such that for all elements a in G, the equation e • a = a • e = a holds.