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

0
votes
1answer
64 views

How does $A_n$ look in Aut$(X)$?

Let me phrase my question precisely: Let $X=\{1,2,3,...,n\}$, $ \ S_n=\mbox{Sym}\{1,2,3,...,n\}$ be symmetric group on $n-$letters. Let $\mbox{Aut}(X)$ denote the automorphism group of $X$. We ...
3
votes
0answers
44 views

Variational formulations in group theory?

I apologise if this is a naïve question. Are there any known / widely applicable / important variational formulations in (finite) group theory? That is, a relationship of the form $$\alpha(G) = ...
1
vote
1answer
63 views

How do we know the classification of finite simple groups is finished?

I don't have much experience in group theory beyond knowing what a finite simple group is, as well as the other basic parts of the topic, so far as I can tell, so if the actual answer is too complex ...
2
votes
1answer
55 views

Proving Finiteness of Group from Presentation

Given the group $G = \langle a, b, c : a^2 = b^3 = c^5 = abc\rangle$, I want to show that $H = G / \langle abc\rangle$ is a finite group. I tried to find a canonical form for elements of $H$. That ...
1
vote
0answers
50 views

Let $G$ be a group and $K$ be subgroup of order $p^a$. I am trying to show that $|\{H \leq G : K \subset H, |H|=p^{a+b}\}| \equiv 1 \pmod{p}$

Let $G$ be a group and $K$ be subgroup of order $p^a$. I am trying to show that $$|\{H \leq G : K \subset H, |H|=p^{a+b}\}| \equiv 1 \pmod{p}$$ for each b fixed & for all $a+b$ such that ...
1
vote
2answers
22 views

Does the following binary operation form a group on a set with 3 elements? (multiple identities?)

Let S = {a, b, c}. *| a b c ----------- a| a b c b| b a a c| c a a This seems to have all the desired characteristics of a group, however, both b and c ...
4
votes
1answer
40 views

How to determine the isomorphism types of given groups with generators and relations

I was classifying the all groups of order 30 and I got the following groups $\langle a,b \mid b^{-1}ab=a^4, a^{15}=b^{2}=1\rangle$ and $\langle a,b \mid b^{-1}ab=a^{11}, a^{15}=b^{2}=1\rangle$. How ...
1
vote
0answers
23 views

How to reconstruct geometric object that a Frobenius group acts on

A Frobenius group has equivalent definitions: a transitive permutation group on a finite set such that no non-trivial element fixes more than one point and some non-trivial element fixes a point. ...
0
votes
0answers
43 views

Next generation of GAP Data Library “Transitive Permutation Groups”? [on hold]

The current GAP Data Library "Transitive Permutation Groups" contains the transitive permutation groups of degree up to $30$. Question: The next generation of this Data Library will be with degree ...
0
votes
0answers
8 views

A question about relation between a finite simple group and a linear algebraic group

let $G$ be a linear algebraic group of type $\mathcal{X}$ over an algebraic closed field of characteristic $p$, $K$. suppose $F:G\rightarrow G$ is a Frobenius map and $\mathcal{G}=G^F$ is a finite ...
2
votes
1answer
53 views

$GL_2(R)$ and $\mathbb{A}_4$

So, i have to prove that $\mathbb{A}_4$ is not isomorphic to a subgroup $G$ of $GL_2(R)$. Here is a "hint" (are previuos part of the same problem that i was thinking, so i supose should help): If ...
2
votes
1answer
47 views

The comultiplication on $\mathbb{C} S_3$ for a matrix basis?

Let $G$ be a finite group and let $\mathcal{A} = \mathbb{C} G$ be the group Hopf algebra. The comultiplication on $\mathcal{A}$ is well-known to be given by $\Delta(g) = g \otimes g$. For $G=S_3$, ...
0
votes
2answers
30 views

Show that $\mathbb{F}_p^\times \simeq \text{Aut}(\mathbb{F}_p^+) $ holds

I want to show, that $\mathbb{F}_p^\times \simeq \text{Aut}(\mathbb{F}_p^+)$ holds with $p$ prime. ($\mathbb{F}_p^+$ is the additive group, $\mathbb{F}_p^\times$ multiplicative group) As hint we ...
1
vote
1answer
30 views

Proof of the theorem that relates the size of the conjugacy class to the order of the centralizer subgroup

Could you please explain the step in this theorem and proof that I do not follow: If $G$ is a finite group, let $C_{G}(x)$ be the centralizer of $x$ in $G$, that is $C_{G}(x)=\{g \in G: xg=gx\}$ ...
2
votes
3answers
61 views

Motivation and intuition of double cosets

In Dummit and Foote, there was a problem on double cosets. Let $H$ and $K$ be subgroups of $G$ and $x\in G$, $HxK$ is the double coset of $x$. I can prove the double cosets partitions $G$. However, I ...
2
votes
2answers
55 views

A Gap code for the alternating group $A_4$

I need a GAP code for checking the following question: Is it true that for every subset $A$ of the alternating group $A_4$ with $4$ elements there exists a subset $B$ of order $3$ such that ...
0
votes
2answers
64 views

Use Sylow's theorem to show that $G = HN_G(P)$

I am stumped on this question. Does anyone have some helpful hints or a solution to this question? Thanks! Let $G$ be a group of finite order. Let $H$ be a normal subgroup of $G.$ Let $P$ be a ...
4
votes
2answers
103 views

Normalizer and centralizer of abelian subgroups of a group are equal [closed]

I have a question: Let $G$ be a finite group. If for each abelian subgroup $H$ of $G$ the centralizer and the normalizer of $H$ are equal, that is, $C_G(H)=N_G(H)$, prove that $G$ is abelian ...
10
votes
3answers
88 views

Group of order $224$

Any one can give a hint to prove this? Every group of order $224$ have a subgroup of order $28$.
5
votes
2answers
56 views

Subgroups of order $5$ in Icosahedral group

Let $G$ denote the orientation preserving isometries of Icosahedron. I want to show the following using group-theoretic notions: Let $N\leq G$ be a subgroup with order $5.$ Show that it is a ...
0
votes
0answers
63 views

Let $G$ be a group of order 30. Show that $G$ has a subgroup of order 15.

Let $G$ be a group of order 30. Show that $G$ has a subgroup of order 15. Now it has a Sylow 3 & a Sylow 5 subgroup. Next what?
1
vote
1answer
25 views

Frobenius dihedral groups

How can we show by a direct group-theoretic proof that the dihedral group $D_{2n}$ is a Frobenius group iff $n$ is an odd number?
2
votes
1answer
37 views

Characteristically simple subgroup

Let $G$ be a finite group and $H$ be a minimal normal subgroup of $G$. How can we show that $H$ is a characteristically simple subgroup of $G$?
0
votes
0answers
22 views

finite simple group of Lie type

let $G$ be a finite simple group of Lie type. would someone please help me! I want to know, is the following expression true or not? " There exists a simple linear algebraic $\mathcal{G}$ over an ...
2
votes
1answer
37 views

List of groups with specific divisors

I want to find list of finite simple nonabelian groups which their orders divisor lies in specific set of primes for example the set $\{2,3,5,7,11\}$. Is there a method to do this? Would Zsigmondy's ...
3
votes
1answer
46 views

Minimal normal subgroup in a finite group

Let $G$ be a finite group and $G=HK$ such that $H<G$. How can we show that if $K$ is an abelian minimal normal subgroup of $G$, then $H$ is a maximal subgroup of $G$ and $H\cap K=1$?
3
votes
2answers
50 views

Group theory exercise - verification?

I'm self-studying abstract algebra, and this is the first non-trivial group theory exercise I've done. Although it's a well-known result, I'd like to make sure it is correct as it took a good few ...
2
votes
1answer
49 views

Is there any efficient algorithm for finding subgroups of a given finite group?

I am implementing an algorithm which finds every subgroup of given group. Here's my algorithm. Let $G$ be a group of order $n$ with elements $g_1,\cdots,g_n$. Then I consider each $\langle ...
2
votes
2answers
58 views

Cardinality of Centralizer of some element

Let $G$ be a finite group. How can we show that $|G/G^{'}|\leq |C_G(x)|$ for all elements $x\in G$?
4
votes
2answers
50 views

A question on terminology (Group Theory)

Is there a standard adjective to describe a finite group $G$ of composite order which possesses, for each (positive) divisor $d$ of $|G|$, a subgroup of order $d$? I would guess "Lagrangian" but I ...
1
vote
4answers
47 views

A finite group of order $n$, having a subgroup of order $k$ for each divisor $k$ of $n$, is not simple?

I was asked to prove that, if a finite group $G$ of order $n$ has a subgroup of order $k$ for each divisor $k$ of $n$, then $G$ is not simple. I tried to do this but I could not. Can anyone please ...
5
votes
1answer
163 views

Why do we care about simple groups rather than indecomposable groups?

A first thing that we do to analyze something is "divide and conqur." So it is natural to consider simple groups. In the same way, it appears to be natural to consider indecomposable groups. However, ...
4
votes
1answer
65 views

On finite 2-groups that whose center is not cyclic

Let $G$ be a finite 2-group such that $\left|\dfrac{G}{Z(G)}\right|=4$, $Z(G)$ is not cyclic and $Z(G)$ has at least one element of order 4. Then prove that there exists an automorphism $\alpha$ of ...
0
votes
1answer
22 views

Equality of powers of elements in a subset of a generating set for a finite group.

I'm currently reading a paper on finding Hamiltonian paths in Cayley graphs and the author makes a claim that I can't seem to understand. Let $G$ be a finite, nilpotent group, $N$ a normal subgroup ...
3
votes
1answer
58 views

Proving that the intersection of a Sylow p-group with a normal subgroup is also a Sylow p-group

An exercise from Dummit and Foote pg. $101$ ex. $9$ asks to show the following: Let $G$ be a group of order $p^{a}n$ where $p$ does not divide $n$ and let $N\unlhd G$ so that $|N|=p^{b}m$ where ...
1
vote
2answers
57 views

A finite divisible group is trivial

I am having trouble seeing why a finite divisible group is necessarily trivial. Why does this have to be the case?
1
vote
1answer
35 views

Decomposing $g=xy$ where $\left|g\right|=\left|x\right|{\cdot}\left|y\right|$

Throughout, let us assume we are working with a finite group $G$. The order of an element $g\in G$ is denoted by $\left|g\right|$. It is a standard exercise to prove that if $x, y\in G$ have ...
1
vote
1answer
32 views

Order of a group of matrices

I have to calculate the order of the group $G=\operatorname{GL}(n,\mathbb{Z}_m)$ with $m=p^k$ for $p$ prime and $k\in \mathbb{N}$. So I was thinking on the homomorphism $\det: G \rightarrow ...
1
vote
0answers
23 views

A question regarding conjugacy classes of central involutions.

An involution $a$ of a group $G$ is called central if there exists a sylow $2$-subgroup $H$ of $G$ such that $a \in C_G(H)$. Clearly if an involution is central then its ever conjugate is also ...
2
votes
2answers
69 views

Cyclic subgroups of semidirect products

Let $H$ and $N$ be two finite groups and $\phi:H\to Aut(N)$ a homomorphism. Let $G=N\rtimes_\phi H$ and let $\pi:G\to G/N=H$ be the quotient map. Let $p$ be a prime which does not divide $|N|$ but ...
1
vote
1answer
37 views

First cohomology group of direct products

Let $p$ be a prime number and H be a finite group with $|H|=p-1$ and consider $\varphi: H \times Z_{p^k} \rightarrow Aut(Z_{p^k})$ as a non-trivial action of $H \times Z_{p^k}$ on $Z_{p^k}$ such that ...
8
votes
2answers
64 views

$A_n \times \mathbb{Z} /2 \mathbb{Z} \ \ncong \ S_n$ for $n \geq 3$

I try to show that $A_n \times \mathbb{Z} /2 \mathbb{Z} \ \ncong \ S_n$ for $n \geq 3$. It is not hard to show the statement for $n=3$. We have $$ A_3 \times \mathbb{Z} /2 \mathbb{Z} \ \cong \ ...
2
votes
2answers
45 views

Show that there is just one subgroup $H \subset S_4$ such that $[S_4:H] = 2$

I had to show that $S_4$ has one subgroup of index $2$. Below, you'll find what I tried to do so Of course, $A_4$ is a subgroup index $2$. To show that there is not another subgroup with the same ...
5
votes
1answer
55 views

If $\{M_1,M_2,M_3,\dots,M_r\}$ is a multiplicative group of matrices, and $\sum_{i=1}^r tr(M_i) =0$, then $\sum_{i=1}^r M_i =0$

Let $\{M_1,M_2,M_3,\dots,M_r \}$ be set of real $n\times n$ matrices which forms a group under matrix multiplication. If $\displaystyle \sum_{i=1}^r tr(M_i) =0$, prove that $\displaystyle ...
4
votes
2answers
106 views

Subgroups of groups of order 36

Is there any group of order 36 with no subgroup of order 6? Is there any group of order $p^2q^2$ with no subgroup of order $pq$? Is there any group of order $p^{2m}q^{2m}$ with no subgroup of order ...
4
votes
1answer
59 views

Unique normal subgroups of every possible order

Can one characterize groups $G$ for which there is a unique normal subgroup of order $d$ for every divisor of the order of $G$? For example must they be solvable?
4
votes
5answers
181 views

If a group contains a subgroup with the order of each of its divisors, is it abelian?

Let $G$ be a group that has a subgroup of size $d$ for every $d$ that divides $|G|$. Must $G$ be abelian? It can be shown using complete induction that the converse of the above statement is true, ...
2
votes
1answer
47 views

Characterization of solvable groups in terms of subgroups of certain orders?

In this question, the OP mentions the following result: a finite group $G$ is solvable if and only if $$\text{for all $n$ dividing $|G|$ such that $\gcd(\frac{|G|}{n},n)=1$, $G$ has a subroup order ...
0
votes
1answer
52 views

Find a subgroup of $S_4$ that is isomorphic to V, the Klein group.

So I know that the Klein group is the group with 4 elements that is not cyclic but I'm stuck from there onwards?
1
vote
1answer
52 views

The number of subgroups conjugate to a given subgroup of a finite group

Let $H$ and $K$ are subgroups of $G$ conjugate to each other. $A$ is defined as $$A = \{a \in G \mid aHa^{-1} = H \}$$ for all $a\in G$. Prove that $A$ is a subgroup of $G$ and prove that if $G$ ...