Abstract algebra is a branch of mathematics that studies algebraic structures, which are sets equipped with operations that satisfy certain axioms. The main algebraic structures studied in abstract algebra include: 1. **Groups**: A group is a set equipped with a single binary operation that satisfies four properties: closure, associativity, the existence of an identity element, and the existence of inverses. Groups can be finite or infinite and are foundational in many areas of mathematics.