If $a b a b=a a b b$, then multiplying by $a^{-1}$ on the left and $b^{-1}$ on the right gives us $b a=a b$. Hence $\text{G}$ is abelian.
Abelian Group ALL definitions & variations: Abelian Group - ALL Alternative Definitions | GATE CSE 1988, 2022
64.3k questions
77.9k answers
244k comments
80.0k users