What type of object can belong in a group?
So far I've only seen integers and matrices. Can vectors be in a group? Can operators be in a group?
Someone please help stretch my mind a bit as online notes does not help in this respect. Thanks!
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It only takes a minute to sign up.
Sign up to join this communityWhat type of object can belong in a group?
So far I've only seen integers and matrices. Can vectors be in a group? Can operators be in a group?
Someone please help stretch my mind a bit as online notes does not help in this respect. Thanks!
Any object at all can be in a group. What makes a set a group is the operations with which one endows it, namely, the multiplication map $$G \times G \to G$$ and inverse map $$G \to G$$ satisfying the usual group axioms.
For example, the vector space axioms imply that for any vector space $(\mathbb{V}, +, \cdot)$, the underlying set $\mathbb{V}$ is an (abelian) group under the given addition operation $+$.
And of course, we can think of elements of a matrix group (for example) $G \subseteq GL(n, \mathbb{R})$ as unary operators that act on $\mathbb{R}^n$, e.g., by left multiplication.
As long as you have a nonempty set of stuff, which we call $G$, and some operator $*$ on the set such that for all $a, b, c \in G$,
then you have a group.
One of my favorite topics of research is the application of musical set theory (very different from mathematical set theory, by the way), which involves the group structure of the set of twelve musical notes $S$. One would think that musical notes are far removed from math, but for a very long time, 20th-century music theorists have treated $S$ as "essentially being the same" as the integers mod 12, $\mathbb{Z}_{12}$, creating an isomorphism - and then we write $S \cong \mathbb{Z}_{12}$.
Any collection of objects can be made into a group. For example, the set consisting of a Teddy bear and an apple can be made into a group as follows:
Let $G$ be the set $\{$ ʕ•͡ᴥ•ʔ, $\}$. Define a binary operation $+: G \times G \to G$ as follows:
ʕ•͡ᴥ•ʔ $+$ $=$ $+$ ʕ•͡ᴥ•ʔ $=$ ʕ•͡ᴥ•ʔ
and
ʕ•͡ᴥ•ʔ $+$ ʕ•͡ᴥ•ʔ $=$
and
$+$ $=$
The definition of a group is merely a blue print that you can use to spot objects that are groups. That elements of groups are denoted by integers and other collections of numbers is just for convenience:
One reason is that it is easier to write $1$ than it is to write ʕ•͡ᴥ•ʔ.
Another reason is that we expect $1$ and $-1$ etc. to behave in certain familiar ways and the notation delivers this intuition to us at no additional cost.
But these two reasons don't mean that we couldn't write $\mathbb Z / 6 \mathbb Z$ entirely using funny symbols of our own choice.
Anything can be in a group, so long as an associative binary operation with identity (and inverses for each element) is defined. If $V$ is a vector space, then the set of vectors in $V$ is a group under addition. Nonzero rationals, reals, and complexes form a group under multiplication. Invertible linear operators on a vector space form a group under composition. Bijective functions from a set to itself also form a group under composition. Given an alphabet of symbols $a$, $b$, $c$, ..., the collection of all "words" using these letters and these letters with superscript "$-1$"s forms a group under concatenation.
Groups are phrased in terms of set theory, and in ZF set theory "being in" is a relation that holds between two sets.
So, the elements of any set (being a group has nothing to do with it) can potentially be any sets whatsoever.
This matters little in everyday mathematics, though. It is usually safe to think of elements like "points" in geometry.