In abstract algebra, which algebraic structure consists of a set, an operation that is both commutative and associative, and an identity element?
1) Group
2) Ring
3) Field
4) Vector Space