Does a set consisting only of the Identity element under a given operation form a group (under the given operation)?
Am I correct in thinking that it would:
1) Identity element exists by assumption
2) All g in G have an inverse (the identity is its own inverse)
3) composition under the operation of the identity is associative