# Tagged Questions

24 views

### Prove that G is a group acting on a set X. Where G= {(1),(123),(132),(45),(123)(45),(132)(45)} and X= {1,2,3,4,5}

I understand that the axioms that must be satisfied to prove that this is an "action" is: ex = x for all x an element of X (compatibility with identity). g_1(g_2*x) = (g_1g_2)*x (compatibility with ...
32 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.
76 views

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

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 ...
31 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 ...
70 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 ...
28 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 ...
51 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? ...
36 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 ...
33 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?
41 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 ...
39 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}$ ...
17 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 ...
28 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...
24 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? ...
37 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 \} \\ &=& ...
35 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 ...
42 views

19 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.
51 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 ...
25 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$ .
31 views

### Transitive group action restricted to normal subgroup

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 ...
34 views

39 views

37 views