@GWOMaths One might say that physicists study the symmetry of nature, while mathematicians study the nature of symmetry.
1/
Observing symmetry in nature, such as noting the similarity between the symmetries of a snowflake and a hexagon, is readily comprehensible. What does it mean then to study "the nature of symmetry"?
2/
Mathematicians define a "group", G, as a set of elements {a,b,c, ...} with a binary operation ⊡ and a distinguished element e (the identity of G) satisfying these specific properties:
3/
For all a, b, c in G
1) Closure: a⊡b is in G.
2) Associativity: (a⊡b)⊡c = a⊡(b⊡c)
3) Identity: e⊡a = a⊡e = a.
4) Inverse: There exists an element a* such that a*⊡a = a⊡a* = e.
4/
Just as functions on the integers, rationals, or reals are defined as mappings, mathematicians define a *group morphism* μ as a mapping from one group to another that preserves the group structure:
5/