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
26 views

Is there an onto homomorphism $S_4\to S_3$ [duplicate]

Prove or disprove that there is an onto homomorphism from $S_4\to S_3$ where $S_n$ is the symetric group of order $n!$. after long time of searching, I finally success but i just manually tried to ...
0
votes
1answer
20 views

Need help for the example on conjugation.

This is an example from Dummit & Foote text, i've some queries in this- If $|G|>1$, then unlike action by left multiplication,$G$ does not act tranistively on itself by conjugation because {1}...
1
vote
0answers
17 views

Permutations associated to a transversal and Cayley theorem

Let $G$ be a finite group with $H\le G$ and $T$ a right transversal of $H$ in $G$. $G$ acts on itself by left multiplication and so we can consider $G\le \mathfrak{S}_G$. Let $g\in G$. The permutation ...
0
votes
0answers
8 views

Fixed Point of Automorphism group of a Cyclic group Z2XZ2^2 I need the command on GAP

Dear Mathematics Stack Exchange, I have a problem that how to write a command in GAP the automorphism group of finite abelian group and their fixed points. Let Z_pXZ_p2 be cyclic group where p is ...
2
votes
0answers
42 views

How can we show $gnu(8892)=gnu(9324)$ by hand?

With GAP it can be verified immediately that there are $303$ groups of order $8892=2^2\cdot 3^2\cdot 13\cdot19$ and also $303$ groups of order $9324=2^2\cdot3^2\cdot 7\cdot 37$. I do not expect that ...
0
votes
1answer
15 views

Show how (0,(12)) and (1,(12)) are in different conjugacy classes.

$S_3=${${(1),(12),(13),(23),(123),(132)}$}. $\mathbb Z_2=${${0,1}$}. $\mathbb Z_2$$\oplus$$S_3$={$(0,(1)),(0,(12)),(0,(13)),(0,(23)),(0,(123)),(0,(132)),(1,(1)),(1,(12)),(1,(13)),(1,(23)),(1,(123)),(...
-1
votes
0answers
37 views

Class-equation of $\mathbb Z_2$ $\oplus$ $S_3$.

$S_3=${${(1),(12),(13),(23),(123),(132)}$}. $\mathbb Z_2=${${0,1}$}. $\mathbb Z_2$$\oplus$$S_3$={$(0,(1)),(0,(12)),(0,(13)),(0,(23)),(0,(123)),(0,(132)),(1,(1)),(1,(12)),(1,(13)),(1,(23)),(1,(123)),(...
1
vote
0answers
12 views

Intersection of the kernel of the irreducible characters determinants

Let $G$ be a finite group. It is easy to show that $G'\le \bigcap_{\chi\in Irr(G)}Kerdet\chi$. Is there equality ? This question arises from the remarkable equalities $\bigcap_{\chi\in Irr(G)}Ker\...
0
votes
0answers
21 views

Determinant of a character

let two characters $\chi$ and $\vartheta$ of a finite group $G$ (assumed to be non-null). Let $\mathfrak{X}$ and $\mathfrak{Y}$ be representations of $G$ affording respectively $\chi$ and $\vartheta$ ...
1
vote
2answers
28 views

Why if $(\mathbf B, \cdot)$ is a finite order group with prime order then $(\mathbf B, \cdot)$ is cyclic? [duplicate]

In the notes I'm studying from ( again =) ) I read: If $(\mathbf B, \cdot)$ is a finite order group with prime order then $(\mathbf B, \cdot)$ is cyclic Could someone give me a justification for ...
2
votes
2answers
17 views

Need help in understanding a certain step of a certain proof in finite group theory and group actions

A proof is from Aluffi's textbook "Algebra: Chapter 0". A statement: There are no simple groups of order $24$. The proof from the book: Let $G$ be a group or order $24 = 2^33$, and consider ...
2
votes
1answer
37 views

On the maximum number of Sylow subgroups

I have some doubts regarding the first sentences below the fourth case in the more elementary solution by Prof. Samuel to problem 11856 of the Monthly. Here you have a screenshot of the relevant part ...
0
votes
1answer
41 views

Problems related to conjugacy classes and their sizes.

Is $Z( G_1 \oplus G_2 \oplus G_3 \oplus\cdots\oplus G_n) = Z(G_1) \oplus Z (G_2) \oplus Z(G_3) \oplus \cdots \oplus Z$ $(G_n)$ true, where $ G_1, G_2, G_3 \cdots G_n$ are finite groups?$Z$,here refers ...
3
votes
2answers
43 views

Subgroups of finite abelian groups.

For every subgroup $H$ of a finite abelian group $G,$ there exists a subgroup $N$ of $G$ such that $G/N \cong H.$ I need to prove this or give a counter example. I am aware of isomorphism theorems ...
5
votes
0answers
53 views

Almost all finite groups have order $2^n$?

This might be a stupid question, but here it goes: Is anything known about, whether: $$\lim_{n\to \infty} \frac{\#\{\text{Groups of order }2^n\}}{\#\{\text{Groups of order} \leq 2^n\}} = 1$$ (where ...
0
votes
0answers
25 views

Differences among the Group Cohomology with coefficients over a commutative ring and coefficients over an arbitrary $G$-module

Assume that $G$ is a finite group and $k$ is an arbitrary commutative ring. From the general theory we know that the group cohomology $H^{*}(G ; k)$ becomes a graded ring (with the cup product). ...
0
votes
3answers
48 views

Ley $G$ be a group of prime order $p$. Then $|Aut(G)|=p-1$

Let $G$ be a group of order $p$ where $p$ is a prime number( hence, $G$ is cyclic ) Prove that the group of automorphisms of $G$ has order $p-1$. Since $p$ is prime, for any homomorphism $\phi: G \to ...
1
vote
1answer
63 views

Troubles to understanding notation and some terminology on cohomology of finite groups

I am reading Adem, Milgram's book "Cohomology of finite groups" and I have some troubles with the notation. In particular, I don't get whether they are referring to the cohomology as a ring or as a ...
2
votes
1answer
33 views

Correlation amomg cohomology of a group $G$ and singular coohomology of its classifying space $BG$

Assume that $G$ is a finite group and let's denote by $BG$ its classifying space. Then we know that we can construct the cohomology $H^{*}(G ; M)$ with (local) coefficients, for a $G$-module $M$, in ...
1
vote
0answers
43 views
+250

States of a Group Ring

Let $G$ be a finite group and $\mathbb{C}G$ its group ring. Now taking the approach of orangeskid, consider the space $\mathbb{C}G$ as a Hilbert space with orthonormal basis $\delta^g$. $G$ acts on ...
2
votes
0answers
34 views

Orbits of the permutation action of a subgroup on its cosets

Consider a finite group $G$ and a subgroup $H \subseteq G$. There is a transitive group action of $G$ on the set of left cosets $gH$ by left multiplication, and the stabilizer of $gH$ is $gHg^{-1}$. ...
2
votes
1answer
68 views

If $G=\left<(12),(34),(45)\right>\subset S_5$, then $G\cong C_2\times S_3$

Let $G=\left<(12),(34),(45)\right>\subset S_5$. Show that $G\cong C_2\times S_3$. So my first idea was to set $a=(12)$, $b=(34)$ and $c=(45)$ and remark that $$G=\left<a,b,c\mid ab=ba,ac=ca, ...
4
votes
1answer
81 views

Number of subgroups equal to order of group

Here is a fun question. Consider the dihedral group $\mathcal{D}_4=\left\langle a,b\mid a^4=b^2=1, bab=a^{-1}\right\rangle$ of order $8$. This group has exactly $8$ genuine subgroups (but not all ...
3
votes
3answers
78 views

Can the dihedral groups be seen as subgroups of each other?

I am solving one difficult problem and now I need information on this: If $m\mid n$, is then possible to "embed" $D_m$ to $D_n$, or otherwise said, does $D_n$ have a subgroup isomorphic to $D_m$? ...
2
votes
2answers
76 views

Sylow subgroup of a product of subgroups

Let $UV$ be a subgroup of $G$ and $P$ is a Sylow $p$-subgroup of $G$. Suppose that $P \cap U \in \operatorname{Syl}_p(U)$ and $P \cap V \in \operatorname{Syl}_p(V)$. I need to show that $P\cap UV \in \...
1
vote
2answers
35 views

If $a$ has order $p$ and $aPa^{-1}=P$ then $a\in P$

If $G$ is a finite group, $P$ a $p$-Sylow subgroup of $G$, $a\in G$ has order $p$ and $aPa^{-1}=P$ then $a\in P$. This is proved in Rotman: Proof: We have $a\in N_G(P)$. If $a\notin P$ then $aP\in ...
1
vote
2answers
38 views

Supersolvable groups and sylow towers

Is it true that a supesolvable group has a sylow tower? How can I construct the tower kwowing than there's a principal serier with factors of prime order? Can anyone help me with an hint or an idea? ...
0
votes
1answer
24 views

Finitely generated Ideals of finite algebras

i would really appreciate any help with this question. So, the question is: How to prove that finitely generated ideals of finite algebras over the ring F are finite over F? Thanks.
4
votes
1answer
56 views

Let $\vert G \vert = p^n m$ where $m < 2p$. Show that $G$ has a normal subgroup of order $p^{n-1}$ or $p^n$

Let $G$ have order $p^n m$ where p is a prime and $p \nmid m$. Suppose $m < 2p$. Show that $G$ has a normal subgroup of order $p^{n-1}$ or $p^n$. I have tried to apply the Sylow Theorems but I ...
1
vote
0answers
72 views

Let $G$ be a finite group, $H$ be a $s$-permutable subgroup of $G$. if index $|G:H|=p$. then $H$ is normal subgroup of $G$.

$H$ is called $s$-permutable in $G$ if it permutes with every Sylow subgroup of $G$. Let $G$ be a finite group, $H$ be a $s$-permutable subgroup of $G$. if index $|G:H|=p$, where $p$ is an odd prime ...
1
vote
0answers
47 views

External Semidirect product and isomorphism

Let G and K be two groups and $\phi_1$ and $\phi_2: G \rightarrow Aut(K)$ be homomorphism. Q1: If $\phi_1$ not trivial homomorphism, can When can semidirect product of G and K using $\phi_1$ ...
2
votes
3answers
79 views

Index of intersection of two normal subgroups

Question: Let $G$ be a finite group and $H$ and $K$ are normal subgroup of $G$. If $[G:H]=2$ and $[G:K]=3$, determine $[G:H∩K]$. My attempt: I think $[G:H∩K] = 6$. Since $G$, $H$, $K$ are ...
0
votes
1answer
35 views

minimal subgroup is a direct product of simple groups

On page 112 of Dixon and Mortimer's Permutation Groups, Theoerm 4.3A (iii) says that every minimal normal subgroup $K$ of $G$ is a direct product $K=T_1 \times \cdots \times T_k$ where $T_i$ are ...
3
votes
3answers
77 views

Is there a non trivial normal subgroup of a group $G$, where $|G|=pm, \ \gcd(p,m)=1$?

In fact, the exercise I'm in is this: Suppose you have an irreducible polynomial $f(x)\in \mathbb{Q}[x]$ of degree $p$, where $p$ is a prime. Also suppose that $K$ is a splitting field of $f(x)$ over ...
3
votes
0answers
62 views

Smallest number $m$ with $gnu(m)=2017\ $?

$gnu(n)$ denotes the number of groups of order $n$ upto isomorphy. $moa(n)$ denotes the smallest number $m$ with $gnu(m)=n$ $$m=259,083,319,343,897,905=5\cdot 2011\cdot 24133\cdot 1067692187$$ ...
1
vote
1answer
52 views

Finding a 2-cocycle in $H^2(S_3, C_4)$

As far as I know, it holds $H^2(S_3, C_4)\cong C_2$ for the trivial operation of $C_4$ as a $S_3$-module. I have tried getting a $2$-cocycle (which is not a $2$-coboundary) by its defining equation: ...
6
votes
0answers
120 views

Is the group $G_{n,\phi} = \langle x_1 , \dots, x_n \mid x_i^2, (x_i x_j)^4, x_i x_{\phi(i)} x_{i+1} x_{\phi(i)} \rangle$ abelian?

I am working on a family of finitely presented groups and I asking me the following question. Let $\phi$ be an application from $\left\{1,\dots,n\right\}$ to $\left\{1,\dots,n\right\}$ (not necessary ...
0
votes
1answer
21 views

Normalizer of $H_0 \times H_m$ in $S_{2n}$

Let $H_0 \subsetneq \dotso \subsetneq H_m$ be a chain of subgroups of $S_n$ (the symmetric group of $n$ elements) such that holds: $N(H_i) = H_{i+1}$ and $N(H_m) = H_m$. I want to prove that the ...
1
vote
2answers
48 views

Prove that a normal subgroup $K$ is characteristic in a finite group $G$ if $\gcd(|K|, |G/K|) = 1$

This is a part of an exercise $2.2$ on a page $203$ in a book "Algebra: Chapter 0" by P.Aluffi. Let $K$ be a normal subgroup of a finite group $G$, and assume that $|K|$ and $|G/K|$ are relatively ...
3
votes
2answers
37 views

relation of classification of finite group and finite simple group.

I know that classification of finite simple group is completed. From the fact, can we say that classification of finite group is completed? I know a few relations of finite group and finite simple ...
3
votes
1answer
33 views

Which groups have only real representations?

An irreducible representation $\rho$ (with character $\chi$) of a finite group is called a "real" representation if its Frobenius-Schur indicator is 1: $$\frac{1}{\lvert G \rvert} \sum_{g \in G} \chi\...
1
vote
2answers
89 views

Let $G$ be a group and $N$ be a minimal normal subgroup of $G$, $G_p \in Syl_p(G)$, where $p$ is an odd prime divisor of $|G|$.

Let $G$ be a group and $N$ be a minimal normal subgroup of $G$, $G_p \in Syl_p(G)$, where $p$ is an odd prime divisor of $|G|$. Suppose that $M/N$ be a maximal subgroup of $G_pN/N$. then $M = PN$ for ...
0
votes
1answer
33 views

Order of product of non-disjoint cycles

Let $a$ and $b$ be two non-disjoint cycles of order $m$ and $n$. Is there any general formula for the order of $a b$? I understand that we can convert any non-disjoint cycles into disjoint cycles and ...
3
votes
4answers
76 views

Is it true that the order of the group is a power of $2$ if every element has order $2$?

I read in this old question that If $G$ consists only of elements of order 2, then $|G|=2^m$ for some $m$. But it's not clear to me. I tested the base case $G=\{a,b,ab,e\}$ but induction ...
0
votes
0answers
21 views

Odd order subgroups of $PSL(2.q)$

Let q be an odd prime power. Is it true that every odd order subgroup of $PSL(2,q)$ is abelian ? If yes, how can it be proven ?
1
vote
1answer
23 views

If $G$ is p-nilpotent then $G$ has only one p-Sylow. Is it true?

Let be $G$ a group p-nilpotent. So $G$ has a p-normal complement $H$ that is a $p'$ Hall subgroup. I have read that if $G$ has a p-complement $H$ then this $H$ is unique. I don't understand: the p-...