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

7
votes
1answer
31 views

order of an elliptic curve

I have found that the curve given by $x^3+x+1=y^2$ over $\mathbb{F_5}$ has 9 points. Now I am supposed to find the number of points of the same curve on $\mathbb{F}_{125}$. Using Hasse and the fact ...
1
vote
2answers
52 views

Why is $1 + 1 = 0$ in $\{0, 1\}$ (binary field) and not 1 or 2?

Stuck on the simplest case in my foray into fields... I know there is a really similar question out there, but I can't find any contradiction with the field axioms if 1 + 1 = 1 instead of 0. Can ...
1
vote
2answers
39 views

$(a_1 a_2 \cdots a_n)^2=e$ in a finite abelian group

Let $G$ be a finite abelian group. Prove that $(a_1 a_2 \cdots a_n)^2=e$. My proof: $$\forall a \in \{a_1,a_2,\cdots,a_n\} \exists ! a^{-1} \in \{a_1,a_2,\cdots,a_n\}:a^{-1}a=aa^{-1}=e$$ hence, ...
3
votes
3answers
58 views

Group of even order must contain $a:a=a^{-1}$ $ (a\not = e)$ [duplicate]

Let $G$ be a finite group. If the order of $G$ is even, prove that there is at least one element $a$ in $G$ such that $a\not= e$ and $a=a^{-1}$. Here's my idea: Suppose $\{x_1,\cdots,x_n\}$ is ...
5
votes
2answers
64 views

If $p\mid|G|$ then how many elements of order $p$ are there in $G$?

Let $G$ be a finite group and $p$ be a prime such that $p\mid|G|$ , then obviously $G$ has an element of order $p$ (by Cauchy's theorem) ; I would like to know exactly how many elements of order $p$ ...
0
votes
1answer
13 views

The comultiplication on $\mathbb{C} Q $ 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=Q$ the ...
0
votes
1answer
78 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 ...
1
vote
6answers
61 views

Generators of the Symmetric group $S_3$

I am trying to find the generator(s) of the Symmetric Group $S_3$ and I have attempted this via brute force by listing the permutations of $S_3$ and composing and repeating them but I have not found ...
4
votes
0answers
47 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
69 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
64 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
52 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
23 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
43 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
50 views

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

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
64 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
32 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
62 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
57 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
64 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
41 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
49 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
70 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
65 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 ...