# Tagged Questions

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.

18 views

### Need help in understanding a certain step of a certain proof in finite group theory and group actions

A proof is from Aluffi's textbook "Algebra: Chapter 0". A statement: There are no simple groups of order $24$. The proof from the book: Let $G$ be a group or order $24 = 2^33$, and consider ...
71 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\}$, ...
66 views

### An erroneous application of the Counting Theorem to a regular hexagon?

I'm trying to count the unique orbits of a regular hexagon such that each vertex is either Black or White and each edge is either Red, Gree, or Blue. The group I've chosen to act on the hexagon is the ...
22 views

28 views

### Showing that $x$ is an element of group $G$ by left multiplication

$G$ is a group and $H \leq G$ with $|G:H|=3$. Show that $x$ is an element of $H$ if $x \in G$ with $|x|=7$. Hint: let $\langle x \rangle$ act on $G/H$ by left multiplication and look at the orbits. ...
36 views

### In transitive (non-trivial) group action, there must be at least one group element without fixed point

Let a finite group $G$ act transitively on a finite set $S$ with $|S| \geq 2$. The problem is to show that not every $g \in G$ can have a fixed point in this action. I proved this on my own, but I'm ...
38 views

### Do finite groups act admissibly on separated schemes of finite type over k

Background: Recall from SGAI that a group $G$ acts admissibly on a scheme $X$ if the quotient $X \to X/G$ exists and is an affine morphism of schemes. This is the case if and only if every orbit of $G$...
27 views

### Interpretation of the join of two stabilizer subgroups

Let $G$ be the group acting on two sets $X, Y$. Let $G_x$ and $G_y$ be stabilizer subgroups of some elements $x \in X, y \in Y$. It is easy to see that $G_x \cap G_y = G_{(x,y)}$, when we combine two ...
18 views

### Is $Y/K$ homeomorphic to $Y'$ as defined below -

Let $G$ be a topological group acting on a topological space $X$ in such a way that there are only finitely many orbits. We will fix points $x_1,\cdots,x_n\in X$ and let $X=\bigcup_{i=1}^n G\cdot x_i$ ...
58 views

### Categorical Quotients and Group Actions on Varities

So I am given that Let $G = Z/dZ$ where d ≥ 1. Let w be a generator for G and let G act on $A^ {n+1}$ via $w(x_{0}, . . . , x_{n})$ = $(wx_{0}, . . . , wx_{n})$. How can I Show that the ...
47 views

38 views

### If a subgroup has smallest prime index, then it is normal

Assume that $G$ is finite with $p$ the smallest prime dividing its order. Suppose $H < G$ with $[G:H]=p$. Prove that $H \lhd G$. I've seen this question a few times on here but all the proofs I ...
48 views

### How is the kernel of a group action defined?

Question: Show that the kernel of the group action of $G$ acting on set $A$ is equal to the kernel of the corresponding permutation representation of this action. I'm lost in this definition as ...
40 views

### Finite groups and prime divisors. Understanding how to deduce a claim from a certain proof.

In my algebra textbook, it goes like this. First, there is presented Cauchy's theorem: Let $G$ be a finite group, and let $p$ be a prime divisor of $|G|$. Then $G$ contains an element of order $p$....
37 views

### What does “factoring out an (group) action $\tau$ of a group $G$ acting on some set $E$” mean?

I am reading a survey article where they define the following objects: $\Gamma:=\mathbb{Z}^{n}$ seen as a group of translations. $\mathbb{T}:=\mathbb{R}^{n}/\Gamma$ is the $n$-dimensional ...
16 views

### Is it true that if all $G^\circ$ - orbits are closed in $X$ then all $G$ - orbits are closed in $X$?

Let $G$ be a Lie group acting continuously on a topological space $X$. Let $G^\circ$ be the connected component of the identity element of $G$ and let $[G:G^\circ]$ be finite. Then is the following ...
53 views

### G acts on X transitively, then there exists some element that does not have any fixed points

Let $X$ be a transitive $G$-set. ($G$ acts on $X$ transitively.) If $X$ is finite and has at least two elements, show that there is some element $g$ $\in$ G which does not have any fixed points; that ...
29 views

### The isotropy of the action of $SU(3)$ on $\mathbb CP^2$

Consider the action of $SU(3)$ on the complex projective plane $\mathbb CP^2$. How we can find the isotropy group?
34 views

### The number of different G-actions on X [closed]

Let $X$ $=$ $\{$$1, 2, 3$$\}$ and $G$ $=$ $\mathbb Z_2$. How many different G-actions are there on $X$? Just learned group action. Need some hint on this one. Thanks.
53 views

### The isotropy of the complex projective plane for the action of $SU(3)$

If we consider the action of the compact real form $SU(3)$ of $SL(3,\mathbb C)$ on the space $\mathbb C^3$. Since the action is transitive, how to find the stabilizer $G_x$? Is it useful to find ...
48 views

### If $\sigma \in S_n$ has order some prime $p$, then is $|\{1 \le i \le n : \sigma(i)=i\}|\equiv n \pmod p$? [closed]

Let $\sigma \in S_n$ be such that $o(\sigma)=p$ (some prime). Then is it true that $$|\{1 \le i \le n : \sigma(i)=i\}|\equiv n \pmod p\ ?$$
23 views

### Every orbit $G\cdot x$ nonmeager is Baire.

For proof of Effros Theorem I have that $G$ is a Polish group and $X$ is a $G-$space Polish, but I need to show that if the orbit $G\cdot x$ is nonmeager then $G\cdot x$ is Baire in its relative ...
78 views

### Group action and orbit space

Suppose some group, G, acts on a space, X. Then an orbit of some $x\in X$ is defined as $$G.x = \lbrace g.x \mid g\in G\rbrace$$ Now consider the orbit space, $X/G$, the set of all orbits. I'm finding ...
98 views

### Is $(\mathbb R^3\setminus \{0\})/\mathbb R^*$ a smooth manifold?

Let $G=\mathbb R^*$ act on $X=\mathbb R^3\setminus\{0\}$ by pointwise multiplication. That is for any $t\in\mathbb G$ and $(x_1,x_2,x_3)\in X$ we have $$t\cdot(x_1,x_2,x_3)=(tx_1,tx_2,tx_3)$$ Is ...
316 views

### Geometric way to view the truncated braid groups?

This is perhaps a vague question, but hopefully there exists literature on the subject. The question is motivated by an answer I gave to this question. I also asked a related question on MO, although ...
33 views

340 views

### Any ring is integral over the subring of invariants under a finite group action

I need to prove that if $G$ is a finite group that acts on ring $A$, and $A^G$ is the subring consisting of elements of $A$ which are invariant under all $g\in G$, then $A$ is integral over $A^G$. (...
53 views

### Let a group G act on a set $X$, and suppose that $x,y \in X$ lie in the same orbit. Prove that $G_y=g^{-1}G_xg$ for some $g \in G$

Let a group G act on a set $X$, and suppose that $x,y \in X$ lie in the same orbit. Prove that $G_y=g^{-1}G_xg$ for some $g \in G$ Ok, lets assume $G$ acts on $X$,where $x,y \in X, g \in G$ and $y=gx$...
41 views

### Volume of “the complex projective space” of a certain radius.

Consider the circle action on $\mathbb C^n$ given by $(e^{it},z)\to e^{it}z$. A moment map for this action is $J:\mathbb C^n\to\mathbb R:z\to -\frac{1}{2}|z|^2$. Let $M_l=J^{-1}(-\frac{l}{2})/U(1)$ ...
24 views

### Let $G$ be a $p$-group, with $|G|= p^n$. Show that $G$ has a normal subgroup of order $p^m$ for each integer $0 < m < n$. [duplicate]

I think I have solved a problem using one of the sylow theorems. But, if this proof is correct, I think I've cheated a little. Since the chapter on Sylow theorems comes directly after the chapter on ...