Use with the (group-theory) tag. The tag "finite-groups" refers to questions asked in the field of Group Theory which, in particular, focus on the groups of finite order.

learn more… | top users | synonyms

3
votes
2answers
63 views

Group of order 30 can't be simple

I have this following question from my class note on Sylow Theorem: Show that a group of order 30 can not be simple. For that I know the followings: (1) A simple group is one that does not have ...
1
vote
1answer
19 views

Prime numbers $p$ and $q$ and possession of normal subgroup of order $p$

I have this following question from my class note on Sylow Theorem: Let $p$ and $q$ be prime numbers such that $p \nmid (q-1).$ Show that each of order $pq$ possesses a normal subgroup of oder ...
4
votes
0answers
53 views

A question about the automorphism group of $\mathbb{Z}_{2} \times \mathbb{Z}_{4}$

I wanted to clarify some confusion I was having on the automorphism group of $\mathbb{Z}_{2} \times \mathbb{Z}_{4}$, which I call $Aut(\mathbb{Z}_{2} \times \mathbb{Z}_{4})$. I considered the ...
0
votes
1answer
25 views

What does “exponent 2 nilpotency class 2” mean?

According to the book The Symmetries of Things, p. 208, the number of groups of order 2048 "strictly exceeds 1,774,274,116,992,170, which is the exact number of groups of order 2048 that have ...
2
votes
0answers
17 views

Intuition behind the construction of Young Symmetrizer

I've been studying representation theory of group on Tung's "Group Theory in Physics". I understood Young Symmetrizers of different Young diagrams are essentially primitive idempotents in group ...
3
votes
2answers
208 views

If consecutive elements commute each other, does it mean that all of them commutes with each other?

Let $x_1,x_2,...,x_k$ be $k$ different elements of a group $G$ and $k\geq4$. If we know that $x_i$ commutes with $x_{i+1}$ and $x_k$ commutes with $x_1$, can we say that all $x_i$ commutes with each ...
4
votes
6answers
201 views

Abelian group of order 99 has a subgroup of order 9

Prove that an abelian group $G$ of order 99 has a subgroup of order 9. I have to prove this, without using Cauchy theorem. I know every basic fact about the order of a group. I've distinguished ...
1
vote
2answers
15 views

Orbits in G = $Z_6$ by listing 2 element subsets in G.

1) Let $G = \mathbb{Z}_6$. List all 2-element subsets of $G$, and show that under the regular action of G (by left addition) there are 3 orbits, 2 of length 6, one of length 3. Deduce that the ...
0
votes
0answers
26 views

prove that $O^{\pi}(G) \leq K$ . [on hold]

Suppose $G$ is a finite group and $\pi$ will be a set of prime numbers (not empty), if $K \triangleleft \triangleleft G $ ($K$ is subnormal in $G$ ) and $[G:K]$ is a $\pi$-number, then $O^{\pi}(G) ...
0
votes
3answers
68 views

Can we conclude that $A= B$?

Let $G$ be a group. Suppose that $A\leq B\leq G$ and $[G,A]= [G,B]$. Can we conclude that $A= B$ ?
1
vote
3answers
110 views

Two problems in Group theorem related to Sylow's theorem(maybe)

Prove that any subgroup of order $ p^{n-1} $ in a group $G$ of order $p^{n}$, p a prime number, is normal in $G$. $(a)$ Prove that a group of order 28 has a normal subgroup of order 7. To deal ...
4
votes
1answer
52 views

Homomorphism between finite groups

I have to prove or disprove the following statement: If $\phi:G \rightarrow H$ is a homomorphism between finite groups, with non-trivial image (i.e. $\phi(G)\neq\{e_H\}$), then $\#G$ and $\#H$ ...
1
vote
0answers
21 views

show that $O^{p}(G)$ will generate with all $q$-sylow subgroups of $G$ .

suppose that $G$ is finite group and $p$ is a prime number,then show that $O^{p}(G)$ will generate with all $q$-sylow subgroups of $G$ where $q$ is arbitrary prime number and $q\neq p$ . ($O^{p}(G)$ ...
0
votes
0answers
25 views

I can't prove theorem 13.9 on finite permutation groups of Wielandt book.

I can't prove this theorem on finite permutation groups of Wielandt book. Theorem 13.9: Let $p$ be a prime and $G$ a primitive group of degree $n=p+k$ with $k\geq3$. if $G$ contains an element of ...
2
votes
1answer
45 views

Finding a surjective homomorphism

I have to show that for all groups with $2007(=3^2\times223$) elements that there exists a surjective homomorphism to a group of 9 elements. Obviously a group with 2007 elements has a subgroup of ...
0
votes
0answers
15 views

If $G$ has a $p$-complement $L$ then $L^{ G} = O^{P}(G)$.

Let $G$ be a finite group. If $G$ has a $p$-complement $L$ then $L^{ G} = O^{P}(G)$ (where $L^{ G}$ is the normal closure of $L$ in $G$ ). this question is from the book A course on group theory ...
0
votes
1answer
35 views

Finite non-abelian group $G$ containing a subgroup $H_0\neq\{e\}$ with property that $H_0\leq H$ for all subgroups $H\neq\{e\}$ [on hold]

Give an example of a finite non-abelian group $G$ containing a subgroup $H_0\neq\{e\}$ with property that $H_0\leq H$ for all subgroups $H\neq\{e\}$ of $G$ This question is from Herstein Topics in ...
3
votes
0answers
48 views

Subgroups of $S_{n}$ of index $n$

We know that for $n\geq{5}$ any subgroup of $S_{n}$ of index $n$ is isomorphic to $S_{n-1}$. We know that by looking at the set of functions that fix a given $j$, we can obtain $n$ such subgroups ...
2
votes
2answers
35 views

Odd-Order Groups with Cyclic p-Sylow Subgroups (for smallest p | G)

I am a beginner in group theory and I'm looking for finite groups that satisfy some properties. The only example I've found so far is: $$G_{q,c} = \{ f: \mathbb{F}_{q} \to \mathbb{F}_{q}, z \mapsto ...
1
vote
3answers
106 views

Group of order $p^2$ is commutative with prime $p$

Please help me on this one: Let $p$ be a prime number, show that each group of order $p^2$ is commutative. If you do not mind at all, could you please not give me the elegant explanation, but ...
0
votes
0answers
20 views

prove that if $H$ is a $p^{'}$-sylow subgroup and $K$ is a $p$-group then $H^{G}=O^{p}(G)$.

suppose $G=HK$ which $H \leq H$ and $K\triangleleft G$ and $H \cap K =1 $ ,prove that if $H$ is a $p^{'}$-sylow subgroup and $K$ is a $p$-group then $H^{G}=O^{p}(G)$. these three last questions I ...
0
votes
0answers
28 views

prove that $O^{P^{'}}(G)=P^{G}=P[P,G]$.

suppose that $G$ is finite group and $p$ is prime number.prove that if $P$ is a $p$-sylow subgroup of $G$ then $O^{p^{'}}(G)=P^{G}=P[P,G]$ which $P^{G}$ is normal closure of $P$ in $G$ . any hint or ...
2
votes
0answers
30 views

Density of odd vs even group orders that are not forced to be simple by Sylow's Theorem

In Dummit & Foote's Abstract Algebra text, I've just solved the following two Exercises: Write a computer program which (i) gives each odd number $n<10,000$ that is not a power of a ...
1
vote
2answers
78 views

Number of subgroup of order $p^2$ in $\mathbb{Z}_{p^{2}} \times \mathbb{Z}_{p^{2}}$

Let $G = \mathbb{Z}_{p^{2}} \times \mathbb{Z}_{p^{2}}$. How many subgroups does $G$ has of order $p^2$? I know there are only 2 cases of the subgroup H, H can be isomorphic to $Z_{p^{2}}$ or $ ...
5
votes
2answers
61 views

Normal subgroups in groups of odd order

I put the following question in my first-year algebra final this year: Suppose $G$ is a finite group of odd order and $N$ is a normal subgroup of order $5$. Show that $N\le Z(G)$. (By the way, this ...
-2
votes
0answers
27 views

Isomorphism type of a finite matrix group

Give a known group to which $SO_5$ is isomorphic. Where $SO_5$ consists of $$\begin{pmatrix} \cos\frac{2k\pi}{5} & \sin\frac{2k\pi}{5} \\ -\sin\frac{2k\pi}{5} & \cos\frac{2k\pi}{5} ...
1
vote
1answer
36 views

Groups of Order 12 aren't Simple

Suppose $G$ is a group of order $12=2^2*3$. Let $n_p$ denote the number of Sylow p subgroups. Then $n_2$ is 1 or 3 and $n_3$ is 1 or 4. I want to show that one of them is one since if that is the case ...
6
votes
2answers
78 views

Galois group of the splitting field of the polynomial $x^5 - 2$ over $\mathbb Q$

We know that the splitting field of $x^5 - 2 $ over $\mathbb Q$ is $\mathbb Q(2^{1/5}, \rho)$, where $\rho$ is a fifth root of unity. Therefore, $\left[\mathbb Q(2^{1/5} , \rho) : \mathbb Q \right] = ...
1
vote
1answer
64 views

Proof of the fact that the set of (p,q) shuffles is a cross section of the subgroup $S_p\times S_q$

Definition Let $G$ be a group and $H$ its subgroup. We name a subset $K$ of $G$ a cross section if it has exactly one element from each left coset of $G/H$. Definition Let $n=p+q$ for some ...
3
votes
1answer
47 views

Constructing an irreducible representation for a finite group

This is not a homework. Recently, I have been starting to study the representation and character theory and I am doing some exercises in this field, but I have some problem with some of them, like: ...
3
votes
0answers
59 views

Groups with more than half elements of order 2

In Dihedral groups, at least half elements are of order two. Question: If a (non-abelian) finite group has at least half elements order two, then what can be said about the group?
0
votes
0answers
31 views

If $H<S_n$, $H$ is abelian and transitive on $\{1,2,…,n\}$, then the order of $H$ is $n$ [duplicate]

If $H<S_n$, if $H$ is Abelian and transitive on $\{1,2,...,n\}$, then the order of $H$ is $n$. So far I have: $H$ is transitive therefore the group orbit is the group itself. I know I should ...
1
vote
2answers
55 views

A question in finite group theory with proof using representation theory

This is not a homework. I am a beginner in studying the representation theory and character theory and I am doing some exercises in this field, but I have a problem with an exercise: I want to prove ...
0
votes
0answers
66 views

The structure of the Sylow p-subgroups of $Sym(n)$

For the structure of the Sylow $p$-subgroups of $Sym(n)$, there is a standard proof by using the properties of the wreath product like as in the Passman's book. But I want to understand this proof. In ...
2
votes
1answer
40 views

A question in character theory of finite groups

This is not a homework. I am a beginner in studying the representation theory and character theory and I am doing some exercises from "A Course in the Theory of Groups by Robinson" and "character ...
0
votes
1answer
21 views

Normalizer and Centralizer coincide

I am working on the following question: Suppose $G$ is a finite group that has a cyclic 2-Sylow subgroup $H$. I want to show that the centralizer, $C_G(H)$, and $\text{normalizer,} \ N_G(H)$ coincide. ...
4
votes
1answer
51 views

If a nilpotent group $A$ act on a group $G$ then $G$ is solvable.

Theorem: If a nilpotent group $A$ act on $G$ by automorphism and $C_G(A)=e$ then $G$ is solvable. I hope that the statement of theorem is true. It should belong to Hartley, but when I googled it I ...
4
votes
2answers
238 views

How can I test if an element g is a generator of a group G with a known number of elements, N?

Let's say $G$ has $1000$ elements. Without looping through each $g^m$, how can I show that $g$ is a generator? I've deduced that I must prove that the order of $g = N$, or in this case $1000$, but I'm ...
0
votes
0answers
19 views

To show that $S_4$ has a normal subgroup of order $4$ [duplicate]

WHow to show that $S_4$ has a normal subgroup of order $4$ ? . Please help .Thanks in advance
1
vote
1answer
67 views

Non abelian group of order 40

Let $G$ be a non abelian group of order 40 that is the direct product of two of its Sylow subgroups. Show that the center of $G$ has order 10. I tried 40=5×8 Since $G$ not abelian $G$ NOT EQUAL ...
0
votes
2answers
48 views

abstract algebra question with p-subgroup

Let $G$ be a finite group, $H<G$ a subgroup. Suppose that $H$ is a $p$-group, $p$ a prime, and $p\mid[G:H]$. Show that $p\mid[N_G(H):H]$ and $H<N_G(H)$. In particular, if $G$ is a $p$-group and ...
0
votes
1answer
35 views

Prove homomorphism and surjectivity of a function

I have a question about this exercise for my math study: Let $d, n \in\mathbb{Z}_{>0}$ with $d\mid n$. a) Prove that there is a homomorphism $g: (\mathbb{Z}/n\mathbb{Z})^*\rightarrow ...
0
votes
0answers
10 views

Is it ever possible for hypercomplexes to generate every element modulo a prime?

To start, we can take a well-chosen complex number, modulo a prime $p$, and generate every complex element modulo $p$. For example, if we take $(1+2i)^k \pmod 3$, each power of $k$ up to $(3 \cdot 3 ...
0
votes
1answer
28 views

If $N \trianglelefteq G$ and $G$ is $\frac{3}{2}$-fold transitive, then $N$ is transitive or semiregular.

If $N \trianglelefteq G$ and $G$ is $\frac{3}{2}$-fold transitive, then $N$ is transitive or semiregular. I proved that if $N$ is intransitive, then $G$ will be imprimitive and Frobenius but I don't ...
2
votes
1answer
59 views

Generalized Cauchy's theorem (group theory)?

I think there is a corollary for Cauchy's theorem such that a finite group $G$ contains a subgroup of order $n$ for each divisor $n$ of $|G|$ with a certain condition (I can't remember what it was). ...
0
votes
1answer
61 views

Number of Sylow subgroups

Prove that no group of order $56$ can be simple using steps ●finding sylows number 2-subgroups and sylow 7-subgroups ●explain why any of sylow 7-subgroups must intersect trivially, but this is not ...
2
votes
4answers
45 views

$G$ is a finite abelian group and $m:=\max \{o(x):x \in G\}$ , then is it true that $o(x)|m , \forall x \in G$?

If $G$ is a finite abelian group and $m:=\max \{o(x):x \in G\}$ , then is it true that $o(x)|m , \forall x \in G$ ?
0
votes
1answer
46 views

Application of Chinese remainder theorem

from Chinese remainder theorem, we know that of $m,n \in \mathbf{Z}$, $(m,n) = 1$, then $Z_m \otimes Z_n \cong Z_{mm}$ as ring isomorphism, but how it related to the application that $\phi(nm) = ...
1
vote
0answers
39 views

Find the cardinality of the group $GL(2, \mathbb{Z/p^{n}Z}) $

Find the cardinality of the group $GL(2, \mathbb{Z/p^{n}Z}) $ for each prime $p$ and positive integer $n$ . What I know : Clearly if $n=1$ then cardinality of $GL(2, \mathbb{Z/pZ}) $is number of ...
1
vote
1answer
28 views

Evenness and oddness of group code weights

I'm doing exercises in Charles C. Pinter's book A Book of Abstract Algebra and I'm unable to solve problem 7 in section H of chapter 5 (subgroups). I think that there is a solution on this site but ...