# Tagged Questions

59 views

### Confusion about Actions of the Symmetric Group

I'm working on some practice questions and I am having trouble understanding actions of the symmetric group. I have the answers, but there were no explanations as to how they were derived. I feel ...
48 views

44 views

### Double cosets and conjugation

Let G be a group and $h,g \in G$ with $SgT=ShT$ Show that the subgroups $gTg^{-1}\cap S$ and $hTh^{-1}\cap S$ are conjugated in S. Two subgroups $U,V$ are conjugated if $\phi(U)=gUg^{-1}=V$, right? ...
39 views

### Limit set of Kleinian group

Let $\Gamma \subset PSL_2 (\mathbb{C})$ a Kleinian group coming from a discrete faithful representation $\rho : \pi_1(M) \to PSL_2 (\mathbb{C})$ of the fundamental group of a closed connected ...
40 views

### Index and normal subgroups

I want to show the following. For an infinite group G with only two normal subgroups (G and {e}) holds: There does not exist a non-trivial subgroup of G with finite index. I think i should prove ...
40 views

### The index of the Core of a group

I have to prove the following: Let $G$ be a group and $U$ be a subgroup of $G$. Then it holds: If $U$ has finite index, then $\text{Core}_G(U):=\bigcap\limits_{g\in G}gUg^{-1}$ has also finite index. ...
60 views

### Orbits of the group action $g. (x,y) = (gx,gy)$ on cartesian product

Let $G$ be a group acting on a set $X$. Then we have a natural action on $X \times X$ in the following way: $g. (x,y) = (gx,gy)$. Then, suppose we have two points of interest $x_1,x_2 \in X$, and we ...
61 views

### Recovering a group action from sizes of orbits of individual elements

Let $G$ be a group (say, finite) and let it act on a set $X$ (say, also finite). For every element $g \in G$, we can consider its action on $X$. My rather vague question is What information about ...
51 views

### The group acts on an ordered set

Let $G$ be a group, $G$ acts on an ordered set and preserves its order, i.e. $a<b$, then $g(a)<g(b)$ for $g\in G$. Then does it imply there is a left order on $G$, i.e. $f<g$, then $fh<gh$ ...
33 views

### the group acts faithfully on the line

Let $G$ be a group. $G$ acts faithfully on the line $\mathbb{R}$ by orientation preserving homeomorphism, then does it imply $G$ is left ordered, i.e. there is an order $<$ on $G$, and if $a<b$, ...
48 views

### The action of free group on line

Let $G$ be a free group, if the action of $G$ on $\mathbb{R}$ is free, does it imply that $G$ is abelian?
171 views

### Do row and column permutations generate all permutations?

Suppose $m,n\ge 1$ are integers. Do row and column permutations of an $m\times n$ matrix generate the group of all permutations of the $mn$ entries of the matrix? More formally, let $A_1$ be the ...
35 views

### Orientation of rectangle on conic section

Consider a conic section. There are 2 rectangles such that all of the 8 vertices of the 2 rectangles lie on the conic section. Further assume that the 2 rectangles have different orientation (ie. a ...
32 views

### The function $A:\mathbb{Z}\times\mathbb{R}\to\mathbb{R}$ given by $(n,x)\to nx$ is a group action on $\mathbb{R}$.

I somehow came through this True or False question, but before answering it, I just wanted to ensure some things. I understand that the axioms for $group-action$ must be met. Basically: ...
33 views

### Understanding the structure of a module over a group algebra

Suppose one has a permutation group $G$ acting on the set $[n] = \{1, 2, \ldots, n\}$, which extends naturally for any field $F$ to a $FG$-module structure on the set $F[n]^k$ of formal $F$-linear ...
30 views

### Standard action of SU(3) on $\mathbb{C}^3$

It is my understanding that SU(3) acts on $\mathbb{C}^3$ the same way SO(3) acts on $\mathbb{R}^3$, i.e. as proper rotations. If this is the case, then the orbit of $(1,0,0) \in \mathbb{C}^3$ ...
62 views

### Why is this a group action?

Let $G$ be a group and let $H$ be an infinite cyclic normal subgroup of $G$ of finite index. Let $K$ be the centralizer of $H$ in G, $$K=C_G(H)$$ and suppose that the index of $K$ in $G$ is 2. Let $E$ ...
92 views

### On what sets can $\mathfrak{S}_n$ act transitively?

I would like to know $\mathfrak{S}_n$ could act faithfully transitively on sets with $m$ elements, with $m > n$. I know that it is not possible if $m = n+1$ except for $n = 5$. Any ideas ?
86 views

### How can I use Clebsch-Gordan coefficients to decompose this group representation?

Let $G$ be a compact group, $\alpha$ be a unitary irrep of $G$ with carrier space $\mathcal A$, and $\beta$ be a unitary irrep of $G$ with carrier space $\mathcal B$. Then, the action of $G$ on ...
26 views

37 views

### show that there is some element x∈X whose stabilizer Gx is all of G where G is a group of order p^k, where p is prime and k is a positive integer

I'm having trouble with this problem: Suppose that G is a group of order p^k, where p is prime and k is a positive integer.
87 views

### If G acts on X, show that there must be a fixed point for this action. Please help. [closed]

Suppose that G is a group of order p^k, where p is prime and k is a positive integer. Suppose that X is a finite set and assume that p does not divide the size |X| of X. If G acts on X, show that ...
44 views

### Burnside's Lemma and Stirling Numbers of the First Kind

I've seen that $n!=\displaystyle\sum_{p=0}^n s(n, p)n^p$, where $s(n, p)$ are the signed Stirling Numbers of the First Kind, whose absolute values count the number of permutations in $S_n$ which have ...
81 views

### Representation of $GL_2$ on $K^2$

In one of my problems it says the following: Let $K$ be an infinite field. Consider the linear action of $GL_2$ on $K[x,y]$ induced by the natural representation of $GL_2$ on $K^2$. I don't know what ...
31 views

### Why are isotropy groups named as such?

Why are isotropy groups, also known as stabilizers, named as such? In physics, the word isotropy means having the same property in all directions. Can one draw an analogy from this to interpret the ...
58 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? ...
41 views

### Invariance of Decomposition of Invariant Functional

Let $Q$ a locally compact group acting on a locally compact space $X$ on the left. Let $\mathcal{A}$ a Banach space of bounded continuous functions $f:X\to\mathbb{C}$ and $m\in\mathcal{A}^{\ast}$ a ...
45 views

### Orbits of action of $SL_2(\mathbb{Z})$ on lattice

I'm interested in the action of $SL_2(\mathbb{Z})$ on $\mathbb{Z}^2$: if $A\in SL_2(\mathbb{Z})$ and $v\in\mathbb{Z}^2$, then $Av\in\mathbb{Z}^2$. Specifically, what are the orbits of this action?
91 views

### If a finite group $|G|$ acts transitively on a set $X$ with $|X|=2^n$, $n \geq 1$, then $G$ has an involution with no fixed points

Let $G$ be a finite group acting transitively on a set $X$, where $|X| = 2^n$ for some $n \geq 1$. Show that some element of $G$ acts as an involution with no fixed points. While it is fairly easy ...
276 views

### Can we prove $H \cong xHx^{-1}$ given $H \le G, x \in G$ using group action?

The exercise is as follows: $G$ is a group, $H \le G$. For any $x \in G$, to prove that $H \cong xHx^{-1}$. I am able to prove this isomorphism by defining a bijection $f : h \mapsto xhx^{-1}$ ...
24 views

### How to write Cayley representation permutations as cycles?

The representation of $g \rightarrow xg$ was given to us as Cayley representation. I believe it means that every group element $g \in G$ is mapped to another element $xg$ where $x$ is the same for ...
33 views

### Question about May's Algebraic Topology book

I am referring Google Books for the question: link in the proof of the first lemma, why is $hns=\phi(hs)$ true? I simply cannot get it...
52 views

### Notation for pointwise versus “setwise” stabilizers

Suppose one is working with both pointwise and setwise stabilizers of sets under a group action. Are there common conventions for notationally distinguishing these two notions? How common are they? ...
46 views

### Is the stabilizer of an element $\delta$ in the stabilizer of $\omega$ in G equal to the pointwise stabilizer of $\{ \delta, \omega \}$

i.e., is $(G_{\delta})_{\omega} = G_{( \{\delta, \omega\} )}$? I know that \begin{eqnarray*} (G_{\delta})_{\omega} &=& \{ \forall g \in G_{\delta} \,|\, \omega^g = \omega \} \\ &=& ...
40 views

### How to prove that $N$ is 2-transitive on $\Omega$?

Suppose $\Omega$ is a finite set with $|\Omega| \geq 5$. Let $G$ act faithfully on $\Omega$ such that $G$ is 4-transitive on $\Omega$. Let $N$ be a normal, nontrivial, nonregular subgroup of $G$. I ...
49 views

25 views

### a question concerning subgroup of symmetric group

Suppose $H$ is a transitive subgroup of the symmetric group of $n$ symbols. Show that $n$ divides the order of $H$. I tried to show that some $n$-cycle is in $H$ but this idea did not work.
74 views

### Show that group action is homomorphism to Symmetric group

I'm just barely getting my feet wet with abstract algebra, currently working on understanding group action. According to the wikipedia article, a group action $A$ of group $G$ on set $X$ is a group ...
26 views

### the cardinal of $x^G$ factors the cardinal of $x^N$

please give me hints to solve this problem: Let $G$ acts on $X$ and $N$ be a normal subgroup of $G$, show that for every $x\in X$ we have: the cardinality of $x^G$ factors the cardinality of $x^N$ .
Let $G$ be a ﬁnite group, and let $\Omega$ be a transitive $G$-space. Assume 1 $\neq H \unlhd G$ and that |$\Omega$| = $p$ where $p$ is prime, and $G \leq Sym(\Omega)$. Deduce that then $H$ must act ...
Suppose that $m$ and $n$ are positive integers, and $m<n$. Define $I:S_m \rightarrow S_n$ as follows: Given $\alpha \in S_m$, we let \$\hspace{150pt}I(\alpha)(k)=\alpha(k) ...