3
votes
2answers
38 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 ...
5
votes
1answer
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 ...
0
votes
3answers
86 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 ...
5
votes
1answer
77 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 ...
0
votes
0answers
17 views

six transitive permutation groups

If I'm explaining right than please give me some hints about how we prove a permutation group is six transitive. I have proved that it is two transitive because stabilizer of one point acts ...
2
votes
1answer
90 views

Does $GL(n,K)$ act transitively on $1$-dim subspaces of $K$

If we let $K$ be a field and $GL(n,K)$ act by right multiplication on the $1$-dim subspaces of $K^n$. Then if we take $\langle v_1 \rangle, \ldots \langle v_n \rangle \in K^n$ distinct and $\langle ...
0
votes
0answers
30 views

Finding conjugacy classes of $D_{10}$

Looking at the group $D_{10}$, I have found that for some (non-identity) rotation $\rho$ its centraliser has order 5, and for some reflection $\tau$ its centraliser has order 2. By the ...
1
vote
1answer
40 views

Group theory: group actions on finite group.

I'm having trouble with the following question: Let $G$ be a finite group acting on a finite set $X$. For $g\in G$, let $Fix_X(g) =\{x\in X \mid xg = x\}$ and, for $x\in X$, let $G_x = \{g\in G \mid ...
1
vote
2answers
69 views

Counterexample that $a\in G$, $a^n\notin H$, for $H$ a subgroup of finite index $n$ in $G$. [duplicate]

Let $G$ be a group and $H$ a subgroup of finite index $n$. Give a counterexample that $a\in G$, $a^n\notin H$ (although I can prove that there exists $k\in\{1,2,\dots,n\}$ such that $a^k\in H$). ...
-1
votes
2answers
117 views

Group acting on a set.

Let $G$ be a group of order $7$ acting on a set of $5$ elements. Show that the action of $G$ must have a fixed point.
2
votes
1answer
74 views

When is the action of $G$ on $\text{Syl}_p(G)$ by conjugation is double transitive?

We know that the action of $G$ on $\text{Syl}_p(G)$ by conjugation is transitive. I wonder when this action can be double transitive on $\text{Syl}_p(G)$. Thanks for your help.
5
votes
3answers
325 views

Without using Sylow: Group of order 28 has a normal subgroup of order 7

Prove that a group of order 28 has a normal subgroup of order 7. How can I prove this without using Sylow's theorem? I know by Cauchy’s theorem, there exists an $x\in G$ with order 7, now I just ...
1
vote
3answers
93 views

Relationship between group actions and homomorphisms

I know that there exist no nontrivial homomorphism from $S_3$ into $Z_5$ as they are groups of co-prime order. I am not looking for an explanation of this but for an explanation concerning the obvious ...
1
vote
0answers
69 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 ...
2
votes
1answer
136 views

Classification of transitive G-sets for a given group of small order

Given a group of small order (<30), how does one go about systematically finding all the transitive G-sets up to isomorphism? By X and Y being isomorphic we mean there are maps $f:X \rightarrow Y$ ...
4
votes
2answers
115 views

Finding the kernel of an action on conjugate subgroups

I'm trying to solve the following problem: Let $G$ be a group of order 12. Assume the 3-Sylow subgroups of $G$ are not normal. Prove that $G\cong A_4$. Here's my attempt: let $\mathscr S$ be ...
2
votes
2answers
117 views

Diagonal groups and semidirect products

I am studying a text on permutation groups, which has the following example in a section on regular normal subgroups: If $Z(N)=1$, then $N \cong \mathrm{Inn}(N)$, the group of inner ...
2
votes
0answers
88 views

trivial group actions V.s trivial homomorphisms ?!

this question is related to the semidirect product of groups , so let $H,K$ are groups. suppose , $f:K \rightarrow H$ is a homomorphism . so $H\rtimes_f K$ is a semidirect product . the ...
2
votes
1answer
74 views

How to find the order of $ X_k$?

Let $G_k = \Bbb Z_3 × · · · × \Bbb Z_3$. Let$ \,\,\alpha(z_1, . . . , z_{k−1}, z_k )=(−z_1, . . . ,−z_{k−1}, z_k ) \text{ where} \,\,z_i \in\Bbb Z_3$ for $i = 1, 2, . . . ,k$. Then $α ∈ ...
3
votes
2answers
131 views

Rotman's Introduction to to the theory of groups. Exercise 3.45.

Can you give me a hint on the first part of the exercise? Let $p$ be a prime and let $X$ be a finite $G$-set, where $|G| = p^n$ and $|X|$ is not divisible by $p$. Prove that there exists $x \in X$ ...
1
vote
2answers
65 views

Different actions of an affine primitive group?

Fairly new to group actions and I'm having trouble finding answers to these in textbooks... Say we have a primitive action of $G$ on $\Omega$, with regular elementary abelian socle $N$. Now suppose ...
3
votes
1answer
87 views

Conjugation on subgroups of $A_4$ faithful?

Let $X$ be the set of all subgroups of $G=A_4$. We define the group action $$G\times X\ni(g,H)\mapsto gHg^{-1}\in X$$ I am trying to determine whether this action is faithful, i.e. $\bigcap_{H\in X} ...
4
votes
3answers
66 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 ...
6
votes
1answer
87 views

Natural way to define a free action of a finite abelian group

Let $G$ be a finite abelian group. Then $G \simeq \mathbb{Z}_{u_1} \oplus \cdots \oplus \mathbb{Z}_{u_m}$, where $u_{i}$ is a power of some prime number. Without loss of generality I will consider $G ...
0
votes
2answers
113 views

Group and orbit question.

Suppose group $G$ acts on a set $A$. a) If $x$ and $y$ are in the same orbit, show that there exists some $g \in G$ such that $gG_x g^{-1} = G_y$. b) Show that if $|G.x|$ is finite, then $|G.x| = ...
1
vote
2answers
103 views

Finding the number of orbits

How many orbits are there of $(12)(25)$ in $S_{5}$? Considering the permutation $(12)$, it has $4$ orbits and is as follows: $\{\{1,2\},\{3\},\{4\},\{5\}\}$ and (25) also has 4 orbits and is also ...
1
vote
1answer
42 views

According to my solution there should be more fixed points…

I have solved the following exercise: A group of order $55$ acts on a set of order $18$. Then there are at least $2$ fixed points. But according to my solution, there should be at least 3 fixed ...
3
votes
1answer
159 views

On Group action and blocks of subgroups of the symmetric Group

this exercise is from Dummit and foote , page 117 , # 7.d prove : a transitive group $G$ is primitive on $A$ iff for each $a \in A$ , the only subgroups of $G$ containing $G_a$ are $G_a$ and $G$ ...
1
vote
2answers
116 views

Composite group homomorphism between alternating groups

Let $N$ a non-trivial normal subgroup of $A_n$ and $H = N \cap A_{n-1}$. I would like to show that $A_{n-1} \hookrightarrow A_n \to A_n/N$ is surjective, where $A_n \to A_n/N$ is the canonical ...
3
votes
2answers
265 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 ...
0
votes
3answers
94 views

A step in the proof of Cauchy's theorem for groups

Let $G$ a group, $p$ a prime and $X=G^p$. Let $\sigma\in S_X$ act as follows: $\sigma(x_1,...,x_p) = (x_2,...,x_p,x_1)$. Let $Y$ the subset of elements in $X$ such that $x_1x_2...x_p=1$ and let ...
0
votes
1answer
121 views

Injective Homomorphism on $S_n$

I have the following question on a homomorphism between symmetric groups and it has been really a pain. I know I am supposed to use induction but, I seem to miss something essential so if anybody ...
1
vote
1answer
159 views

If a $p$-group acts on another $p$-group by automorphisms, there is a nontrivial fixed point.

If I have nontrivial $p$-groups $G, H$, where $p$ is a prime number, and $H$ acts on $G$ by automorphisms, how can I show that the set of fixed points of the action (the set $\{ x \in G : h*x = ...