In abstract algebra, which algebraic structure consists of a set, an operation that is both commutative and associative, and an identity element?

a) Group
b) Ring
c) Field
d) Monoid