Use with the (group-theory) tag. Groups describe the symmetries of an object through their actions on the object. For example, Dihedral groups of order $2n$ acts on regular $n$-gons, $S_n$ acts on the numbers $\{1, 2, \ldots, n\}$ and the Rubik's cube group acts on Rubik's cube.

learn more… | top users | synonyms

4
votes
1answer
298 views

How to define own group action in GAP?

I am beginner in GAP. I have a group and a set. I wish to define an action the group on the set in my own way and wish to calculate its orbits and stabilizers. Is it possible? What is process?
0
votes
1answer
284 views

computing the orbits for a group action

Let $G$ be the Galois group of a field with nine elements over its subfield with three elements. Then the number of orbits for the action of $G$ on the fields with nine elements is 3 5 6 9 I have ...
1
vote
2answers
1k views

On Conjugacy Classes of Alternating Group $A_n$

In Dummit & Foote, page 131 Let $K$ be a conjugacy class and suppose that $K$ is subset of $A_n$ . Show that if $\sigma$ belongs to $S_n$ then , $\sigma$ does not commute with any ...
13
votes
1answer
621 views

The Quaternions and $SO(4)$

I am interested in the map $\phi:S^3 \times S^3 \to GL_4(\mathbb{R})$ given as follows: Let $(p,q) \in S^3 \times S^3$. We identify $p$ and $q$ as real quaternions with unit norms and define $\phi(p,...
7
votes
0answers
259 views

Group actions and associated bundles

Let $P$ be a principal $G$-bundle over $B$, and let $G$ act on some space $F$ (feel free to work in your favorite category of spaces, if this helps). Then $\text{Aut}{P}$ (aka the group of gauge ...
5
votes
5answers
696 views

Poincaré's theorem about groups

Let $G$ be a group and $H<G$ such that $[G:H]<\infty$. There exists a subgroup $N\triangleleft G$ such that $[G:N]<\infty$. I have to show this fact (that according to my book is due to ...
4
votes
3answers
95 views

at least one element fixed by all the group

$G$ is a p-group and $S$ is a set that $G$ acts on. p does not divide $|S|$. Why is there at least one element $a\in S$ such that $|O(a)|=1$, or in other words, $G_a=G$? I tried to ask this question ...
2
votes
1answer
145 views

If we have exactly 1 eight Sylow 7 subgroups, Show that there exits a normal subgroup $N$ of $G$ s.t. the index $[G:N]$ is divisible by 56 but not 49.

Let $G$ be a finite group which has exactly eight Sylow 7 subgroups. Show that there exits a normal subgroup $N$ of $G$ such that the index $[G:N]$ is divisible by 56 but not by 49. Now this is my ...
5
votes
1answer
67 views

On lifting an action of $G$ on $X$ to an action of $G'$ on $\tilde{X}$.

I am reading the section on covering actions from Glen Bredon's Tranformation groups. Let $G$ be a Lie group (not necessarily connected) acting effectively/faithfully on a connected, locally path ...
3
votes
1answer
49 views

Difference between “$G$ acts on $A$” and “G is a permutation group on $A$ (i.e. $G\leq S_A$)”

This question is inspired by questions $4.1.1$ and $4.1.2$ of Dummit and Foote. The hypothesis for the first question is formulated as: "Let $G$ act on the set $A$", and the hypothesis for the second ...
2
votes
1answer
77 views

Properties of point stabilizers of $PSL(2, q)$

Let $G$ be a transitive, non-regular finite permutation group such that each non-trivial element fixing some point fixes exactly two points. Suppose that $G \cong PSL(2, q), q > 5$ and $H = G_{\...
3
votes
1answer
157 views

Motivation for the term “transitive” group action

I have two questions: In a text, I read that a group permutes pairs of faces of a solid transitively. Geometrically, what are they referring to, and what is an example of when a group may not ...
2
votes
1answer
913 views

Using Burnside's lemma on the cube.

Having $n$ colors, use the lemma to find a formula for the number of ways to color the edges of the cube. Here is what I have so far: The Burnside lemma says that $\displaystyle |X/G| = \dfrac{1}{|G|}...
1
vote
1answer
34 views

The kernel of an action on blocks, specifically the action on the orbits of normal subgroup

Let $G$ be a permutation group acting transitively on some set $\Omega$ and suppose we have a normal subgroup $N \unlhd G$. Then the orbits of $N$ form a system of blocks, and if $\Delta$ is such an $...
1
vote
2answers
168 views

Properties of set $\mathrm {orb} (x)$

Properties of set $\mathrm {orb} (x)$: ${\displaystyle \bigcup_{x\in X}\mathrm{orb}(x)=X}$; $\mathrm{orb}(x)\cap\mathrm{orb}(y)=\emptyset$ for all $x,y\in X, x\neq y$ How to prove it? Please help....
1
vote
0answers
36 views

If $G$ acts such that $\mbox{fix}(g) \in \{0,p\}$ for $g \ne 1$, $M$ maximal with $|G : M| = p$, then $|M / L| = p$ for semiregular $L \unlhd G$.

Let $G$ be a solvable, nonregular and transitive permutation group acting on $\Omega$ such that each nontrivial element either fixes no point or exactly $p$ points for some prime $p$. And suppose that ...
1
vote
1answer
77 views

Classify orbits of conjugating action on $GL_2(\mathbb{C})$

We have a general linear group $GL_{2}(\mathbb{C})$ that acts on the set of $M_2(\mathbb{C})$ set of $2\times 2$ matrices by conjugation. I want to classify the orbits of its action. What I know:- $...
1
vote
1answer
97 views

Prove a result on transitive group actions.

Let $G$ be a group and $A$ & $B$ be two sets s.t. $G$ acts transitively on each of $A$ & $B$. Choose some $\alpha$ and $\beta$ in $A$ & $B$ respectively then prove that if $G=G_\alpha G_\...
1
vote
1answer
31 views

Example in which a normal subgroup acts non-equivalent on its orbits

Let $G$ be a group acting on $\Delta$, and $H$ be a group acting on $\Gamma$. If there exists an isomorphism $\varphi : G \to H$ and a bijection $\psi : \Delta \to \Gamma$ such that $$ \psi( \alpha^g ...
0
votes
1answer
82 views

Categorical Quotient and group actions

I am trying to practice calculating categorical quotients and I ran into this example. I am unable to get the answer and was wondering if someone can help? Let $G = Z/3Z =$ $\{1, \omega, \omega^2\}$, ...
14
votes
3answers
1k views

What does an outer automorphism look like?

I am working on a project in my group theory class to find an outer automorphism of $S_6$, which has already been addressed at length on this site and others. I have a prescription for how to go about ...
7
votes
6answers
1k views

Do we gain anything interesting if the stabilizer subgroup of a point is normal?

Let $G$ be a group and $S$ a $G$-set with action $(g,s) \mapsto gs$. For some $s \in S$, let the stabilizer of $s$, $G_s=\{g \in G\,|\,gs=s\}$ be normal in $G$. What does this let us say about the ...
12
votes
2answers
214 views

What's the idea of an action of a group?

I know the formal definition of an action over a set. I'm not asking this. What I'm asking is: what's the intuition of it? It is a way to define an algebra over a set? Since an action can exist in ...
10
votes
1answer
540 views

Is the Structure Group of a Fibre Bundle Well-Defined?

Am I right in thinking that the structure group of a fibre bundle is any group $G$ of homeomorphisms of the fibre $F$ such that all transition functions map into $G$? Or is $G$ somehow the minimal ...
6
votes
1answer
272 views

$Q_8$ is isomorphic to a subgroup of $S_8$ but not to asubgroup of $S_n$ for $n\leq 7$.

Question is to Prove that : $Q_8$ is isomorphic to a subgroup of $S_8$ but not isomorphic to a subgroup of $S_n$ for $n\leq 7$. I see that $Q_8$ is isomorphic to subgroup of $S_8$ by left ...
8
votes
1answer
319 views

Group actions transitive on certain subsets

Let $G$ be a group acting on a finite set $X$. This also gives an action of $G$ on the subsets of $X$ of any given size, and we can ask whether this action is transitive for some specified size of ...
7
votes
1answer
70 views

Orbits of action of $SL_m(\mathbb{Z})$ on $\mathbb{Z}^m$

I'm considering the action of $SL_m(\mathbb{Z})$ on $\mathbb{Z}^m$: if $A\in SL_m(\mathbb{Z})$ and $v\in\mathbb{Z}^m$, then $Av\in\mathbb{Z}^m$. My question is: what are the orbits of this action? I'...
7
votes
1answer
99 views

Does an equivalence of $G$-sets and $H$-sets imply an isomorphism of $G$ and $H$?

Here $G$-sets denote the category of sets which have a left $G$-action. So the question is whether a functor $F \colon \text{$G$-sets} \to \text{$H$-sets}$ implies that we have an isomorphism of ...
5
votes
2answers
591 views

Group Actions of $S_n$ and $O(n)$

I have been reading up a bit on group actions and whether they are faithful, free and transitive. A question I found states: Consider the following group actions 1) The symmetric group $S_n$ ...
4
votes
1answer
71 views

How are $G$-modules and linear group actions different

Let $M$ be an abelian group and let $G$ be a group acting on $M$ such that $M$ is a $G$-operator group, i.e. we have for $u, v \in M$ and $g,h \in G$ (1) $u\cdot 1_G = u$ (2) $(ug)h = u(gh)$ (3) $(...
3
votes
1answer
138 views

Isomorphic but not equivalent actions of a group G

This is in some sense a continuation of this problem. Given a group $G$ I would like to exhibit two actions of $G$ on a set $[n] =\{1,\ldots,n\}$ such that the two actions are isomorphic yet not ...
3
votes
1answer
219 views

Volume form on $(n-1)$-sphere $S^{n-1}$

Let $\omega$ the (n-1) form on $\mathbb{R}^n$ $$\omega=\sum_{j=1}^{n}(-1)^{j-1}x_{j}dx_{1}\wedge\cdots\wedge \hat{dx_{j}}\wedge\cdots dx_{n}$$ Show that the restriction of $\omega$ to $S^{n-1}$ in ...
2
votes
2answers
686 views

Complex projective line hausdorff as quotient space

I was wondering if there is a simple argument showing that the complex projective line defined as $\mathbb{CP^1} = \big(\mathbb{C}^2 \setminus \{0\}\big)/{\mathbb{C}^{\times}}$ is hausdorff when ...
5
votes
0answers
189 views

Normal subgroup $H$ of $G$ with same orbits of action on $X$.

I have a somewhat broad question related to group actions and their restriction to a normal subgroup. If we have a group action $\sigma : G \times X \rightarrow X$ with orbits $G_x$, and a normal ...
4
votes
2answers
64 views

Group Operations/ Group Actions

I'm currently taking my first abstract algebra course and am learning about group actions, orbits, and stabilizers. I'm reading the Artin textbook and I am not very clear of what exactly a group ...
3
votes
1answer
169 views

Function spaces and transitive group actions

Note: this question is really a subquestion of this one, but I decided to ask it separately since it seems it might be attacked first. Let $B$ be a topological space and $G$ a topological group ...
3
votes
2answers
911 views

Algebra - Infinite Dihedral Group

Let $G$ be the set of bijections $\mathbb{R} \to \mathbb{R}$ which preserve the distance between pairs of points, and send integers to integers. Then $G$ is a group under composition of functions. The ...
2
votes
1answer
44 views

What does it mean for a subgroup to fix a vector space?

I was wondering if anyone could explain what is meant by the two statements below? Any help would be greatly appreciated. Let $U=\mathbb{F}_{q}^{m}$ and $W=\mathbb{F}_{q}^{n}$ be two vector spaces of ...
2
votes
1answer
84 views

Permutation isomorphic subgroups of $S_n$ are conjugate

Consider $G,H \leq S_n$ and their natural action on $[n] = \{1,\ldots,n\}.$ We say that $G$ and $H$ are permutation isomorphic if there is a bijection $\varphi:[n] \mapsto [n]$ and group isomorphism $...
6
votes
1answer
152 views

Group action on a manifold with finitely many orbits

I'm looking for a result along the lines of the following: Let $G$ be a group acting on a set $X$. If the action partitions $X$ into finitely many $G$-orbits, then $\dim G \geq \dim X$. For ...
5
votes
1answer
59 views

Is the quotient $X/G$ homeomorphic to $\tilde{X}/G'$?

Let $G$ be a Lie group (not necessarily connected) acting effectively/faithfully on a connected, locally path connected, semi-locally simply connected space $X$ (not necessarily with fixed points). ...
5
votes
2answers
102 views

About integral binary quadratic forms fixed by $\operatorname{GL_2(\mathbb Z)}$ matrices of order $3$

I am reading this paper of Manjul Bhargava and Ariel Shnidman, and I want to prove this claim, which appear at the first paragraph of Theorem $14$: Up to $\operatorname{SL_2}(\mathbb Z)$ ...
5
votes
1answer
450 views

Two subgroups $H_1, H_2$ of a group $G$ are conjugate iff $G/H_1$ and $G/H_2$ are isomorphic

Let $H_1$ and $H_2$ be subgroups of some group $G$. Prove that the left $G$-sets $G/H_1$ and $G/H_2$ are isomorphic (as left $G$-sets) iff the subgroups $H_1$ and $H_2$ are conjugate. If $H_1$ and ...
4
votes
1answer
52 views

If $G$ acts transitively and $\Gamma \subseteq \Omega$ is not a block, then each pair of points could be separated

Let $G$ act transitively on $\Omega$. A subset $\Delta \subseteq \Omega$ is called a block if for each $x \in G$ either $\Delta^x \cap \Delta = \emptyset$ or $\Delta^x = \Delta$. If $\Gamma \subseteq \...
3
votes
2answers
405 views

Transitive action of normal subgroup of the alternating group

everyone! Would anyone be willing to give me any sort of help with the following question? Let $n\ge 4$ and $A_n$ the alternating group. Let $N$ a non-trivial normal subgroup of $A_n$. Prove that the ...
3
votes
1answer
100 views

Splitting field of resolvent equals that of $f$

Lemma: Let $\Psi \in k[X_1,...,X_n]=:B$ be s.t. $stab_{S_n}(\Psi)=H \subset S_n$, $S_n/H=\{ \Psi, t_2 \Psi,..., t_e\Psi \}$, $\Delta_\Psi$ the discriminant of $L_\Psi:=\prod_{i=1}^e (X-t_i \Psi)$, and ...
2
votes
0answers
37 views

Set invariant under group action

I am reading a paper with the following description: $O(n): \{Y\in \mathbf{R}^{n\times n}\mid Y^TY=I\}$ We say a set $V$ is $T$-invariant if $TV\subseteq V$, where $T$ is a linear transform. ...
2
votes
1answer
54 views

In what sense is this action of $\mathbb R$ on $T$ lifted to an action of $\pi_1(T)\times\mathbb R$ on $\mathbb R^2$?

I am reading the paper "Calculating the fundamental group of an orbit space" by M A Armstrong where he states the following - Let $\mathbb R$ act on the torus $T\cong S^1\times S^1$ by $$r\cdot(...
2
votes
1answer
88 views

Let $G$ act such that $|\mbox{fix}(g)| \le 2$ for $g \ne 1$. Then the Sylow $2$-subgroups acts regular on certain orbits

Let $G$ be a finite permutation group on $\Omega$ acting nonregular and transitive such that each nontrivial element fixes at most two points of $\Omega$. Suppose that for $\alpha \in \Omega$ the ...
2
votes
0answers
158 views

Lift a group action from a quotient

Let $p$ be a rational prime and $H$ be a finite cyclic group of prime order $l$ prime to $p$, i.e. $(l,p) = 1$. Let $G$ be a finite abelian group of $p$-power order. If I can write an (abelian) group ...