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
0answers
12 views

Let $ G $ is a finite group and $ K $ is a nilpotent subgroup of $ G $

Let $ G $ is a finite group and $ K $ is a nilpotent subgroup of $ G $. since $ K $ is nilpotent then assume $ K = K_{\pi^{\prime}}K_{\pi} $ so that $ K_{\pi^{\prime}} $ is a $ \pi^{\prime} $-Hall and ...
3
votes
1answer
22 views

Find the order of $\tau^{100}$

Let $\tau= \left( \begin{array}{ccc} ...
1
vote
2answers
39 views

Why normal subgroup chains in Galois theory

I have began understanding Galois theory and I had a question regarding the relationships of normal subgroups to field extensions. So given an irreducible polynomial over the rationals $$a_1 + a_2x ...
3
votes
3answers
69 views

Show that $G/H\cong\mathbb{R}^*$

Let $G:= \bigg\{\left( \begin{array}{ccc} a & b \\ 0 & a \\ \end{array} \right)\mid a,b \in \mathbb{R},a\ne 0\bigg\}$ Let $H:= \bigg\{\left( \begin{array}{ccc} 1 & b \\ 0 & 1 \\ ...
2
votes
2answers
34 views

Finding subgroups of $\mathbb{Z}_{13}^*$

I need to find all nontrivial subgroups of $G:=\mathbb{Z}_{13}^*$ (with multiplication without zero) My attempt: $G$ is cyclic so the order of subgroup of $G$ must be $2,3,4,6$ Now to look for ...
1
vote
1answer
29 views

$G$ finite, $P < G$ a Sylow p-subgroup, $N_{G}(P)$ the normalizer is contained in $H < G$, show $N_{G}(H)=H$

Let $G$ be a finite group and $P<G$ be a Sylow p-subgroup. Let $N_{G}(P)$ be the normalizer of $P$ in $G$. Let $H<G$ be a subgroup containing $N_{G}(P)$. Prove that $N_{G}(H)=H$. I've been ...
5
votes
2answers
61 views

Name and role of a particular finite group?

The group generated by the functions $x\mapsto 1/x$ and $x\mapsto 1-x$ with composition of functions as the group operation is a non-abelian group with only six elements (listed below). Does this ...
2
votes
1answer
25 views

Group theory exercise from “Rational Points on Elliptic Curves”

Let $A$ be an abelian group and for every $m \geq 1$, let $A_m$ be the set of elements $P$ of $A$ such that $mP=0$. Now, suppose that $A$ has order $M^2$ and that for every integer $m$ dividing ...
3
votes
2answers
60 views

Subgroups of $\mathbb{Z}_{13}^*$ using “GAP language”

How can I know the nontrivial subgroups of $\mathbb{Z}_{13}^*$ (with multiplication without zero) using GAP language
2
votes
0answers
54 views

Does knowing $g, g^r, g^{r^2}, g^{r^3}, \dotsc$ sometimes offer a significant advantage in finding $r$?

Is there a cyclic group $\mathcal G$ with generator $g$ for which the discrete log problem is assumed to be hard, but knowing $g, g^r, g^{r^2}, g^{r^3}, \dotsc$ for random $r$ makes finding $r$ easy? ...
1
vote
0answers
13 views

Maximal subgroups of $PSL(n,q)$

We can match $PSL(2,2)$ with $S_3$, $PSL(2,3)$ with $A_4$, and so on. Also $PSL(n,q)$ is simple in the exception of the two listed. What are the maximal subgroups of $PSL(n,q)$?
1
vote
1answer
32 views

Determining the center of the p-Sylow subgroup of $S_p $

My Algebra book says without proof that the center of the p-Sylow subgroup (we will call it P) of $S_p$ is the subgroup itself. Now I can understand that P will be a subset of its center as it is of ...
1
vote
1answer
26 views

Latin square property sufficient?

So I know that for any group table, Every row must contain distinct group elements and the same holds for every column for a group table. And this property is called the Latin Square property. ...
2
votes
1answer
42 views

Quantity of elements of order $d$ in $Z_n$, with $d \mid n $

I'm studying for an exam and I can't answer this problem. I'd appreciate a hint. What I've got so far: Let $x$ be an element or order $d$. Then, $x\cdot d \equiv 0 \pmod n \Rightarrow n \mid x\cdot ...
0
votes
0answers
38 views

Am I correct regarding Aut($Z_n$)

In the following pic- shouldn't it be $\Bbb{Z}_{{p_j}-1}$ instead of $\Bbb{Z}_{p_j}$. I think so because Aut$(Z_{p^n}) \cong Z_{p-1} \oplus \underbrace {(Z_p\oplus Z_p \oplus \dots Z_p)}_{n-1\ ...
3
votes
1answer
32 views

If $G$ is a group of order $2^nm$, where $m$ is odd and $(m-1)!<2^n$, show that $G$ is not simple.

If $G$ is a group of order $2^nm$, where $m$ is odd and $(m-1)!<2^n$, show that $G$ is not simple. I started out by trying to prove this using the Sylow theorem, but it led nowhere. I was able to ...
2
votes
0answers
51 views

Upper bound on groups of order 60

I am aware of the fact that there are 13 non-isomorphic groups of order 60 but the proof of this is really long and something that I cannot present in a few minutes. Hence, I need to give a short ...
1
vote
0answers
38 views

Group isomorphism exercise

I am trying to solve the following problem: Let $G$ be a finite group such that there exists an isomorphism $\phi:f:G/Z(G) \to \mathbb Z_3 \oplus \mathbb Z_3$ and $x \in G$ such that ...
3
votes
1answer
33 views

Why can we assume $N$ to be a $p$- group?

Let $G$ be a finite solvable group such that if three distinct primes $p,q$ and $r$ divides $|G|$ then $G$ does not contain any element of order the product of two primes and $G$ is minimal w.r.t ...
2
votes
1answer
45 views

Group of order $2m$ where $m$ odd has a subgroup of index 2. [duplicate]

Show that a group $G$ of order $2m$, where $m$ is odd, has a subgroup of index $2$. I am feeling a little dubious about my proof. Let $G$ act on itself by left multiplication to induce the ...
1
vote
1answer
26 views

Generating Finite Groups By Random Premultiplication With Generators

Let $G$ be a finite group with identity $e$ and $S$ be a set which generates $G$. Is it always possible to define a procedure of the form: Start with $x=e$. With probability $p_1$, replace $x$ with ...
1
vote
3answers
72 views

Find all of the homomorphisms $ \varphi: S_3 \to \mathbb{Z}_{4} $.

I'd like to find all of the homomorphisms $ \varphi: S_3 \to \mathbb{Z}_{4} $. What I've tried so far: I tried to do $ \varphi(Id) = \bar{0} = \bar{4} $ (as somebody used here). But then I realized ...
2
votes
2answers
48 views

Finitely generated abelian group with certain properties

Problem Characterize all finitely generated abelian $G$ such that every proper subgroup of $G$ is cyclic, $G$ contains exactly two proper subgroups, and for each pair of subgroups $S$,$T$ in $G$ ...
0
votes
0answers
18 views

One dimensional representations of $SL_2(\mathbb{Z}/n\mathbb{Z})$

Someone knows a reference or knows how to calculate the linear character of $SL_2(\mathbb{Z}/n\mathbb{Z})$, for an arbitrary $n$? Thanks
0
votes
1answer
34 views

Ring Structure for Non Commutative Groups: Is there a grander reason for Abelian requirements?

So I was considering the following idea. Let a generalized Ring $gR$ be a set equipped with two operations $$u_1, u_2$$ Such that $gR$ is a with the operation $u_1$ and the operation $u_2$ ...
1
vote
0answers
41 views

Factorizations of Finite Abelian Groups

Every finite abelian group $G$ can be uniquely written as $$\mathbb{Z}/{d_1\mathbb{Z}} \times \mathbb{Z}/{d_2\mathbb{Z}} \times \cdots \times \mathbb{Z}/{d_r\mathbb{Z}},$$ where $d_i$ divides ...
5
votes
0answers
53 views

Permutation of cosets

Let $G$ be a finite group and $\gamma \in Sym(G)$, such that $\gamma (1) = 1$ and $\gamma (gH) = \gamma (g)H$ for all $g\in G$, $H\leq G$. This means $\gamma$ induces a permutation of the left cosets ...
1
vote
0answers
35 views

Are there groups of order $p^4q^2$ which are not semi-direct product?

It is easy to show that if $G$ is a group of order $p^2q^2$, where $p,q$ are primes with correspondings Sylow subgroups $P,Q$, that $G$ is a semi-direct product of $P$ and $Q$. Moreover, if $pq\neq ...
0
votes
1answer
24 views

Verify that $A \oplus B$, where $A$ and $B$ are cyclic groups of orders 2 and 3, is the cyclic group of order 6

Let's define $A$ and $B$ as follows: $A$ = {e,a} $B$ = {e,b,2b} Then $A\oplus B= \{\{e+e\},\{e+b\},\{e+2b\},\{a+e\},\{a+b\},\{a+2b\}\}$ which is equal to ...
0
votes
1answer
13 views

Existence of a special Central cyclic subgroup

I have two related questions. Let $G$ be a finite $p$ group. Can we always choose a central subgroup $N$ of order $p$ not contained in the commutator subgroup? Clearly we cannot do that for extra ...
1
vote
0answers
34 views

Covering groups

I am studying the Steiner system $S(5,6,12)$ and the ternary extended Golay code $\mathscr{C}_{12}$. The automorphism group of the Steiner system is the Mathieu group on twelve elements $M_{12}$ ...
0
votes
1answer
28 views

Abelianization of a $p$ group.

Let $G$ be a $d$ generated finite $p$ group. Let $N$ be normal subgroup of order $p$ contained in $[G,G]\cap Z(G)$. Can we say say that $(G/N)/[G/N,G/N]=(G/N)_{ab}$ is a direct product of $d$ cyclic ...
2
votes
1answer
59 views

On cyclic decomposition of element in $S_n$

Let $S_n$ be symmetric group and $x\in S_n$ be a permutation of $n$ numbers. Let $|x|=p$, where $n/2<p<n$ is prime. Consider $1^{t_1}2^{t_2}\ldots l^{t_l}$ to be the cyclic decomposition of $x$. ...
2
votes
1answer
37 views

Conjugates of Sylow $p$-groups in $GL_3(F_p)$

In this list of review questions, there is the following question about $GL_3(F_p)$. Question 1.38. Let $G$ be the group of invertible 3 × 3 matrices over $F_p$, for $p$ prime. What does basic ...
3
votes
0answers
63 views

Prove that $|\operatorname{Aut}(G)| \leq \prod_{i=0}^{k}(n-2^i)$ [closed]

Suppose that $G$ is a group of order $n > 1$, prove that $$|\operatorname{Aut}(G)| \leq \prod_{i=0}^{k}(n-2^i)$$ where $k=\lfloor \log_2 (n-1)\rfloor$.
1
vote
0answers
22 views

What's the asymptotic of the radius of the Rubik square Cayley graph?

This post is a sequel of The Rubik Square permutation groups, which should be read first to understand the notation. Question: what's the radius$^*$ of the Cayley graph of $G_n$ generated by the red ...
2
votes
1answer
67 views

The Rubik Square permutation groups

This post was inspired by this webpage of mathematical challenge due to Mickaël Launay (French). Let $G_n$ be the subgroup of $S_{n^2}$ generated by the red arrow permutations as for the following ...
2
votes
0answers
33 views

Solving the Character table for $A_4$ and derived algebra characteristics.

Say I am given a group with 4 conjugacy classes $C_1, C_2, C_3, C_4$ with orders 1,3,4,4 respectively. I will call the conjugacy class characters $\chi_1,\chi_2,\chi_3,\chi_4$ respectively. I am ...
2
votes
1answer
85 views

Is a nontrivial finite group of order $n$ always isomorphic to a subgroup of $GL_{n-1}(\mathbb{Z})$?

I saw this question on an old qualifying exam: Let $G$ be a group of order $n\ge2$. Is such a group always isomorphic to a subgroup of $GL_{n-1}(\mathbb{Z})$? A simpler problem would be to show ...
2
votes
2answers
84 views

Classifying groups of order $5 \cdot 11 \cdot 61$

My question is whether I'm classifying groups of order $5 \cdot 11 \cdot 61$ correctly. (This is a qualifying exam question, so I also want to make sure that I'm doing it “efficiently”.) Sylow's ...
0
votes
1answer
38 views

Fulton and Harris: Exercise 1.3 in section 1.1

This is exercise 1.3 on page 5 of Fulton and Harris Representation Theory: A First Course. Exercise: Let $G$ be a finite group, let $V$ be an $n$-dimensional $\mathbb C$-vector space and let $\rho: ...
5
votes
2answers
82 views

How to obtain a presentation for each group of order $64$

I am new to his forum, and would like to know how to obtain a presentation for each group of order $64$. I wish to do this for all the groups of order $64$. Thanks in advance.
3
votes
3answers
74 views

Finding the number of elements of particular order in the symmetric group

I know how to find the order of element in any group $G$, for example the order of $2$ in $\mathbb{Z}_5$ is $5$ as $2 + 2 + 2 + 2 + 2 = [10]_5 = 0 0$, which is the identity in $\mathbb{Z}_5$. But, ...
2
votes
3answers
75 views

Prove that $|GL_n(\mathbb{F})|< q^{n^2}$.

Let $\Bbb F$ be a finite field, say $|\Bbb F|=q$; then we know that $|GL_n(\Bbb F)| < \infty$. But how can we prove that $|GL_n(\mathbb{F})|< q^{n^2}$? I'm guessing because there $n^2$ ...
1
vote
2answers
61 views

Why is $U(10)\not\approx U(12)$?

I'm trying to understand this example on isomorphism but failing to do so. I know that if two groups have a differing number of elements of each order they are not isomorphic. I assume this is what ...
1
vote
1answer
65 views

Structure of the unit group $(\mathbb{Z}[i]/8\mathbb{Z}[i])^\times$

I know that $\mathbb{Z}[i]/8\mathbb{Z}[i]=\{a+ib \mid a,b\in\mathbb{Z}_8\}$. But I'm not able to comprehend what $(\mathbb{Z}[i]/8\mathbb{Z}[i])^\times$ is. Can someone please help me get its ...
0
votes
0answers
20 views

Matrices of Quotient Representation

I've been working through some exercises in Sagan's book on the representation theory of the symmetric group and I came across the following exercise that's been giving me some trouble: Let $X$ be a ...
0
votes
2answers
37 views

Let $G$ be a group containing exactly $2n$ elements, $n\ge1$ integer. [duplicate]

Let $G$ be a group containing exactly $2n$ elements, $n\ge1$ integer. Prove that, $\exists$ $x\neq e$ such that $x^2=e$ where $e$ represents the identity of $G$.
2
votes
1answer
39 views

Intuition on Hall subgroups and solvability

I see there are many questions on Hall subgroups, but I can't find one that answers my question. Let $G$ be a finite group. A subgroup $H<G$ is a Hall $\pi$-subgroup if its order is the product of ...
4
votes
2answers
83 views

Irreducible representations of $\operatorname{GL}_3(\mathbb{F}_q)$

I am trying to find all irreducible representations of $G = \operatorname{GL}_3(\mathbb{F}_q)$. I know that the order of $G$ is $(q^3-1)(q^3 - q)(q^3 - q^2)$ and the number of conjugacy classes is ...