''b'' ''b'' ''a'' property hold binary operations example matrix multiplication quaternion multiplication non commutative groups combining concepts gives one important structures mathematics group group combination set ''s'' single binary operation defined way choose following properties identity element ''e'' exists every member ''a'' ''s'' ''e'' ''a'' ''a'' ''e'' identical ''a'' every element inverse
Formal science Mathematics Pure mathematics Algebra