elias001
- 359
- 24
Below in the quoted passage is expressing the definition of group action in terms of the definition of a group and vice versa. Can someone check if it there any mistakes please. I had helped with one of the LLMs. I always want to know for the two definitions, if one can be written in terms of the other. It also includes numerical examples for both cases. I want to know how I reconcile with the definition of a group with the definition for group action. I had my suspicion that the definition of a group is the definition of a group action on the set that a group is defined on, or is it defined via faithful action? I wasn't sure in either case. Another thing is that the examples I requested deliberately avoids any mention of permutation groups. I know about Cayley's theorem, but like I said, I am trying to feel translating between the two different two definitions and having permutation group sandwiched between the two definitions. Also I am not sure about my math English ability to express things precisely.
I am not sure why when I place things within a quoted passage, the displayed LaTex is not respecting default paragraph formatting. Some of the math is running off the pages. I don't know how to fix that. If anyone can provide suggestions, that would be greatly appreciated it.
Thank you in advance.
Definitions and Examples of Groups and Group Actions Definition 1: Group in Terms of a Group Action
A ##\textit{group}## can be defined via a faithful group action. Suppose a set ##G## acts on a set ##X## via a map ##\phi: G \times X \to X##, satisfying the group action axioms:
(Identity) There exists an element ##e \in G## such that for all ##x \in X##, ##\phi(e, x) = x##.
(Compatibility) For all ##g, h \in G## and ##x \in X##, ##\phi(g, \phi(h, x)) = \phi(gh, x)##, where ##gh## denotes a binary operation on ##G##.
The action is ##\textit{faithful}## if for all ##g, h \in G##, if ##\phi(g, x) = \phi(h, x)## for all ##x \in X##, then ##g = h##. If ##\phi## is faithful, then ##G## forms a group under the binary operation induced by the action, with:
Binary operation: The product ##gh## is defined such that ##\phi(gh, x) = \phi(g, \phi(h, x))##.
Identity: The element ##e \in G## satisfying ##\phi(e, x) = x## for all ##x \in X##.
Inverses: For each ##g \in G##, there exists ##g^{-1}\in G## such that ##\phi(g^{-1}, \phi(g, x)) = x## and ##\phi(g, \phi(g^{-1}, x)) = x## for all ##x \in X##.
Associativity: For all ##f, g, h \in G, (fg)h = f(gh)##, which follows from the compatibility condition.
Thus, ##(G, \cdot)## is a group if the action is faithful, with the group operation defined via the action.
Example for Definition 1
Consider the set ##G = \{1, -1\}## acting on the set ##X = \mathbb{R}## (the real numbers) via the action ##\phi: G \times \mathbb{R}\to \mathbb{R}## defined by ##\phi(g, x) = g \cdot x,## where ##\cdot## is the usual multiplication in ##\mathbb{R}##. We verify that this defines a group structure on ##G##.
Identity: Check if there exists ##e \in G## such that ##\phi(e, x) = x## for all ##x \in \mathbb{R}##. For ##e = 1##, we have ##\phi(1, x) = 1 \cdot x = x##, which holds for all ##x \in \mathbb{R}##. Thus, ##e = 1## is the identity element.
Compatibility: For ##g, h \in G## and ##x \in \mathbb{R}##, compute ##\phi(g, \phi(h, x)) = \phi(g, h \cdot x) = g \cdot (h \cdot x) = (gh) \cdot x = \phi(gh, x)##, where ##gh## is the product in ##G## under usual multiplication. This holds since multiplication in ##\mathbb{R}## is associative.
Faithfulness: If ##\phi(g, x) = \phi(h, x)## for all ##x \in \mathbb{R}##, then ##g \cdot x = h \cdot x##, implying ##(g - h)x = 0##. Since this must hold for all ##x \in \mathbb{R}##, and ##x \neq 0## exists, we have ##g - h = 0##, so ##g = h##. The action is faithful.
Inverses: For ##g = 1, \phi(1, x) = x##, so ##1## is its own inverse. For ##g = -1##, check if there exists ##g^{-1} \in G## such that ##\phi(g^{-1}, \phi(-1, x)) = x##. Since ##\phi(-1, x) = -x##, we need ##\phi(g^{-1}, -x) = x##. Try ##g^{-1} = -1: \phi(-1, -x) = (-1) \cdot (-x) = x##. Thus, ##(-1)^{-1} = -1##.
Define the group operation on ##G## via the action: ##g \cdot h = gh## (usual multiplication). The group ##(G, \cdot)## is:
Elements: ##G = \{1, -1\}##.
Operation: Multiplication, e.g., ##1 \cdot 1 = 1, 1 \cdot (-1) = -1, (-1) \cdot 1 = -1, (-1) \cdot (-1) = 1##.
Identity: ##e = 1##.
Inverses: ##1^{-1}= 1, (-1)^{-1}= -1##.
Associativity: Follows from the associativity of multiplication in ##\mathbb{R}##.
Computation for Example 1
Verify the group axioms numerically:
Associativity: For ##f = -1, g = -1, h = 1##, compute ##(f \cdot g) \cdot h = ((-1) \cdot (-1)) \cdot 1 = 1 \cdot 1 = 1##, and ##f \cdot (g \cdot h) = (-1) \cdot ((-1) \cdot 1) = (-1) \cdot (-1) = 1##. Equal.
Identity: For ##g = -1##, check ##1 \cdot (-1) = -1## and ##(-1) \cdot 1 = -1##.
Inverses: For ##g = -1, (-1) \cdot (-1) = 1##, the identity.
Thus, ##G = \{1, -1\}## with multiplication forms a group, isomorphic to the cyclic group of order 2.
Explanation
The action ##\phi(g, x) = g \cdot x## induces a group structure on ##G## because it is faithful and satisfies the action axioms. The operation defined by ##\phi(gh, x) = \phi(g, \phi(h, x))## corresponds to multiplication in ##G##, and the faithfulness ensures distinct elements in ##G## produce distinct transformations, yielding a group structure.
Definition 2: Group Action in Terms of a Group
A ##\textit{group action}## of a group ##(G, \cdot)## on a set ##X## is a map ##\phi: G \times X \to X## such that:
(Identity) There exists an identity element ##e \in G## such that ##\phi(e, x) = x## for all ##x \in X##.
(Compatibility) For all ##g, h \in G## and ##x \in X##, ##\phi(g, \phi(h, x)) = \phi(g \cdot h, x)##, where ##\cdot## is the group operation in ##G##.
Here, ##(G, \cdot)## is a group with a binary operation ##\cdot##, identity ##e##, inverses, and associativity.
Example for Definition 2
Let ##G = (\mathbb{Z}/4\mathbb{Z}, +)## be the group of integers modulo 4 under addition, with elements ##\{0, 1, 2, 3\}##. Let ##X = \mathbb{R}^2##, the 2-dimensional real plane. Define the action ##\phi: G \times \mathbb{R}^2 \to \mathbb{R}^2## by
##\phi([n], (x, y)) = (x \cos(n\pi/2) - y \sin(n\pi/2), x \sin(n\pi/2) + y \cos(n\pi/2))##, where ##[n]## denotes the class of ##n## modulo 4. This represents rotations of ##\mathbb{R}^2## by multiples of ##90^\circ##.
Verify the group action axioms:
Identity: For ##[0] \in G##, compute
##\phi([0], (x, y)) = (x \cos(0 \cdot \pi/2) - y \sin(0 \cdot \pi/2), x \sin(0 \cdot \pi/2) + y \cos(0 \cdot \pi/2)) = (x \cdot 1 - y \cdot 0, x \cdot 0 + y \cdot 1) = (x, y)##. Thus, ##[0]## acts as the identity.
Compatibility: For ##[m], [n] \in G##, compute ##\phi([m], \phi([n], (x, y)))##. First, ##\phi([n], (x, y)) = (x \cos(n\pi/2) - y \sin(n\pi/2), x \sin(n\pi/2) + y \cos(n\pi/2)) = (x', y')##. Then, ##\phi([m], (x', y')) = (x' \cos(m\pi/2) - y' \sin(m\pi/2), x' \sin(m\pi/2) + y' \cos(m\pi/2))##. Substituting ##x', y'## and using trigonometric identities, ##\cos((m+n)\pi/2) = \cos(m\pi/2)\cos(n\pi/2) - \sin(m\pi/2)\sin(n\pi/2)##, ##\sin((m+n)\pi/2) = \sin(m\pi/2)\cos(n\pi/2) + \cos(m\pi/2)\sin(n\pi/2)##, we get ##\phi([m], \phi([n], (x, y))) = \phi([m+n], (x, y))##, since ##[m+n]## is addition modulo 4.
Computation for Example 2
Compute the action for ##[n] = [1]## and ##(x, y) = (1, 0):\phi([1], (1, 0)) = (1 \cos(\pi/2) - 0 \sin(\pi/2), 1 \sin(\pi/2) + 0 \cos(\pi/2)) = (1 \cdot 0 - 0 \cdot 1, 1 \cdot 1 + 0 \cdot 0) = (0, 1).##
For ##[n] = [2]:\phi([2], (1, 0)) = (1 \cos(\pi) - 0 \sin(\pi), 1 \sin(\pi) + 0 \cos(\pi)) = (1 \cdot (-1) - 0 \cdot 0, 1 \cdot 0 + 0 \cdot (-1)) = (-1, 0).##
Verify compatibility for ##[m] = [1], [n] = [1], (x, y) = (1, 0):\phi([1], \phi([1], (1, 0))) = \phi([1], (0, 1)) = (0 \cos(\pi/2) - 1 \sin(\pi/2), 0 \sin(\pi/2) + 1 \cos(\pi/2)) = (0 - 1, 0 + 0) = (-1, 0).##
Since ##[1+1] = [2]##, compute ##\phi([2], (1, 0)) = (-1, 0)##, which matches.
Explanation
The group ##G = \mathbb{Z}/4\mathbb{Z}## acts on ##\mathbb{R}^2## by rotating vectors by multiples of ##90^\circ##. The action respects the group structure because the composition of rotations corresponds to the sum of angles modulo ##360^\circ## (or ##2\pi##), and the identity element ##[0]## corresponds to a ##0^\circ## rotation, leaving points fixed.
I am not sure why when I place things within a quoted passage, the displayed LaTex is not respecting default paragraph formatting. Some of the math is running off the pages. I don't know how to fix that. If anyone can provide suggestions, that would be greatly appreciated it.
Thank you in advance.
Last edited: