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

5
votes
2answers
60 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
30 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 ...
2
votes
1answer
33 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
55 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
30 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
51 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
50 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
37 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
19 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
237 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
64 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
34 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
27 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
58 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
59 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
44 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
43 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
38 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 ...
0
votes
2answers
54 views

Is that true that the normalizer of $H=A \times A$ in symmetric group cannot be doubly transitive?

Is that true that the normalizer of $H=A \times A$ in the symmetric group cannot be doubly transitive where $H$ is non-regular, $A \subseteq H$ and $A$ is a regular permutation group?
3
votes
1answer
36 views

Finite abelian groups (application of structure theorem)

Problem Find all finite abelian groups that simultaneously have exactly $7$ elements of order $2$, exactly8 elements of order $3$, exactly $8$ elements of order $4$, at least an element of order ...
5
votes
1answer
46 views

Group of order $p^{n}$ has normal subgroups of order $p^{k}$

Q: Prove that a subgroup of order $p^n$ has a normal subgroup of order $p^{k}$ for all $0\leq k \leq n$. Attempt at a proof: We proceed by Induction. This is obviously true for $n=1, 2$. Suppose it ...
3
votes
3answers
57 views

A group action proof without group actions?

I am currently teaching an undergraduate abstract algebra course out of Saracino, Abstract Algebra: A First Course. Exercise 13.13 asks the following: Let $K$ be the subgroup $\{ e, (1, 2)(3, 4), ...
0
votes
0answers
30 views

Sylow Theorems for Symmetric (Permutation) Groups

The General Linear Group $GL(n,\mathbb{F}_p)$ has an interesting property that the proof of Sylow theorem for this group can be given which is based on the natural action of this group on the ...
1
vote
1answer
33 views

Non-existence of non-abelian simple groups of order $90$ by counting elements [duplicate]

I want to show that no group of order $90=2 \cdot3^2 \cdot5 $ is simple. Part (iii) of Sylow's Theorem gives $$n_2 \in\{1,3,5,9,15,45\} $$ $$n_3 \in \{1,10\} $$ $$n_5 \in \{1,6\} $$ I am aware of ...
1
vote
0answers
25 views

If $\sigma$ is a cycle of length $r$, then it has order $r$?

I should specify that $\sigma \in S_n$, the symmetric group. I've written down some permutations and it seems like their order correspond to their lengths. How can I prove this? I was thinking of ...
-1
votes
0answers
27 views

Module of representation matrix

Can someone please show me why the module of any representation matrix in a one-dimensional representation of a finite group is equal to 1? and please define module of a representation as well. ...
0
votes
3answers
46 views

elements of order $3$ in $A_n$

Let $S_n$ be the permutation group on $n$. We know that $A_n \trianglelefteq S_n$. How many elements $ a \in A_5$ have order three. Is there any formula for finding number of elements in $ S_n $ or ...
0
votes
1answer
26 views

Find number of all $a \in G $ such that $o(a) =3$

Let $G$ be a group and $|G|= 51$ find number of all $a \in G$ such that $o(a)=3$ My solution : by this theorem : if $|G|=pq$ that $ p ,q$ are prime. If $ q\nmid p-1 $ then $\quad$ $G \cong \Bbb ...
0
votes
2answers
37 views

Group theoretical proof of $\varphi(rs)=\varphi(r)\varphi(s)$ through generators of the group.

Given a group $G=\langle a\rangle$ of order $rs$, with $(r,s)=1$, I showed there exist unique $b,c\in G$ such that $a=bc$ with $b$ of order $r$ and $c$ of order $s$. The latter is a direct consecuense ...
2
votes
0answers
27 views

Characterize all $\mathbb Z[i]$ modules of order $21$ and $65$

I am trying to figure out how many $\mathbb Z[i]$ modules (up to isomorphisms) are of $21$ and $65$ elements. I've done a few similar exercises for finite abelian groups ($\mathbb Z$ modules) but I am ...
1
vote
4answers
121 views

How many ways can the vertices of an equilateral triangle be colored using three different colors?

Its not $3^3$ because some of the colorings are equivalent. How would I apply Burnside's theorem to this?
15
votes
1answer
241 views

endomorphism of finite groups

Have $\mathcal{G}$ denote the set of finite groups with at least $2$ elements. How would I go about showing that if $G \in \mathcal{G}$, then $\left|\text{End}(G)\right| \le ...
1
vote
1answer
34 views

Primitive Permutation Group and Centralizers

Automorphism group of the Alternating Group - a proof In the above question, Derek Holt asserts that a primitive permutation groups has trivial centraliser in the symmetric group. Since I could not ...
0
votes
0answers
33 views

Does $SL(2, \mathbb F_p)$ always have a subgroup of order $(p-1)(p+1)$?

For $p$ prime, does $SL(2, \mathbb F_p)$ always have a subgroup of order $(p-1)(p+1)$? (It does seem to be the case for $p=3,5,7,11$) If yes, what are the generators? I guess this is simple, but my ...
2
votes
0answers
51 views

Every non-regular minimal normal subgroup of a doubly transitive group is primitive and simple

Prove that every non-regular minimal normal subgroup $N$, of a doubly transitive permutation group $G$, is primitive and simple. I proved that $N$ is primitive; but how I can prove that $N$ is ...
0
votes
0answers
33 views

Order of center of a p-group deduce abelian [duplicate]

Let $G$ be a group of order $p^n$, $p$ a prime. Suppose the center of G has order at least $p^{(n−1)}$. Prove that G is abelian. Attempt: use the class equation $|G|=|Z(G)|+ \sum_{i \in ...
1
vote
1answer
46 views

Embedding $S_n$ in $A_{2n}$

I want to embed the symmetric group $S_n$ into the bigger alternating group $A_{2n}$. How could I find such an injective homomorphism?
3
votes
1answer
42 views

Galois groups of quintics

I'm trying to determine which subgroups of $S_5$ occur as the Galois group of an irreducible quintic $f\in\Bbb{Z}[X]$. I know such a subgroup of $S_5$ should be transitive, leaving only five ...
1
vote
2answers
56 views

Number of non-isomorphic groups of order $p^2$

The number of non-isomorphic groups of order $p^2$, where $p$ is a prime number is: 1. 1 2. $p$ 3. 2 4. $p^2$ What is simplest method to find number of non-isomorphic group? I read from various ...
1
vote
2answers
37 views

Composition series of nilpotent group

I found this problem in The Theory of Groups by Marshall Hall. Let the group $G$ be of order $p^rq^s$. If $G$ has two composition series $1 \unlhd A_1 \unlhd A_2 \unlhd \cdots \unlhd A_r \unlhd ...
2
votes
0answers
20 views

Direct product of groups and isomorphism [duplicate]

Let $A, B, C$ three groups such that $A \times C \cong B \times C$. I already know that if $A, B$ and $C$ are abelian and finite, then $A \cong B$. I think this result does not hold anymore if they ...
3
votes
2answers
31 views

Number of $n-1$-dimensional subspaces of $n$-dimensional space over finite field

I got a question with two parts. Let $V$ be a $n$-dimensional vector space over $\mathbb{F}_{p}$ - finite field with $p$ elements. a) How many $1$-dimensional subspaces $V$ has. b) How many ...
0
votes
1answer
33 views

Isomorphism of Quaternion group

Prove that $Q_{8} \cong H \rtimes G \Rightarrow H=\{e\}$ or $G=\{e\}$. My proof (is it correct?): We know that (it's a fact from the lecture): If $M \cong H\rtimes G$, then $H \cong K \unlhd M$ ...
1
vote
2answers
39 views

Isomorphism type of a finite group with respect to multiplication modulo 65

I'm the same guy revising for my group theory exam and posted a few days ago. I'm at the chapter on Finitely Generated Abelian Groups, and my prof gave this example which I don't quite understand: ...
6
votes
1answer
48 views

Exercise on Induced Representations of 1 dimensional complex representation

I'm having a hard time trying to solve the following problem coming from Eingof's book "Introduction to representation theory" (page 55 of the book in PDF format ...