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 ...
6
votes
3answers
369 views

An epimorphism from $S_{4}$ to $S_{3}$ having the kernel isomorphic to Klein four-group

Exercise $7$, page 51 from Hungerford's book Algebra. Show that $N=\{(1),(12)(34), (13)(24),(14)(23)\}$ is a normal subgroup of $S_{4}$ contained in $A_{4}$ such that $S_{4}/N\cong S_{3}$ and $...
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 ...
1
vote
2answers
35 views

Which one of the below options is correct?

I think the option $(Q)$ is true since $O(Q/\{-1,1\})= 8/2 = 4 = 2^2$. Since order is $p^2$ thus $(Q)$ option is true. Can anyone suggest about option $(P)$? Thanks
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 ...
28
votes
1answer
659 views
+50

Is there a geometric idea behind Sylow's theorems?

I have a confession to make: none of the proofs of Sylow's theorems I saw clicked with me. My first abstract algebra courses were more on the algebraic side (without mention of group actions and ...
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)),(...
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 ...
-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
votes
1answer
189 views

Only subgroups of Zp (p prime) are 0 and Zp

While I find the following theorem very intuitive, I don't really know how to prove it. Could someone help me? Prove that the only subgroups of $G := (\mathbb Z/p\mathbb Z, +)$ with $p$ a prime ...
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$ ...
9
votes
3answers
852 views

Presentation of Rubik's Cube group

The Rubik's Cube group is the group of permutations of the 20 cubes at the edges and vertices of a Rubik's group (taking into account their specific rotation) which are attainable by succesive ...
3
votes
1answer
470 views

Groups of order $pq$ have a proper normal subgroup

I am doing the following exercise from [Birkhoff and MacLane, A survey of modern algebra]: Let $G$ be a group of order $pq$ ($p,q$ primes). Show that either $G$ is cyclic or contains an element ...
15
votes
4answers
751 views

Maximum number of Sylow subgroups

I've been studying Sylow-$p$ subgroups, and I've come across this problem. Let $G$ be a finite group. Show that the number of Sylow subgroups of $G$ is at most $\frac{2}{3}|G|$ . ($|G|$ is the ...
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 ...
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
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}$. ...
35
votes
2answers
604 views

Is the Galois group associated to a random polynomial solvable with probability 0?

Choose a random polynomial $P\in\mathbb{Z}[x]$ of degree $n$ and coefficients $\leq n$ and $\geq-n$. Let $r_1,\ldots,r_n$ be the roots of $P$ and consider $$G=\operatorname{Gal}(\mathbb{Q}(r_1,\...
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 ...
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 ...
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 ...
2
votes
2answers
214 views

Normal subgroup in center of the group

Let $G$ be a group of order $3825$. Prove that if $H$ is a normal subgroup of order $17$ in $G$ then $H\leq Z(G)$. In the link below, the solution basically says that the index of $C_{G}(H)$ must ...
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). ...
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 \...
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 ...
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
3answers
73 views

Sylow $p$-subgroup of a finite group

I know: Let $P$ be a Sylow $p$-subgroup of a finite group $G$.If $N$ is normal in $G$, then $P \cap N$ is a Sylow $p$-subgrup of $N$. But if $N$ is not normal in $G$ , there is also the issue? ...
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 ...
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 ...
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
341 views

A Group of Order $540$ is not simple

Why is a group of order $540$ not simple? The hints I have been given are not helpful. Here's what I have been told. Let $G$ be such a group. Then there are $36$ Sylow $5$-subgroups; let $H$ be ...
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$? ...
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 ...
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 ...
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.
6
votes
1answer
404 views

Proving that a group of order $pqr$ (with conditions on those primes) is abelian.

I'm doing this exercise: Let $G$ be a group, with $|G|=pqr$, $p,q,r$ different primes, $q<r$, $r \not\equiv 1$ (mod $q$), $qr<p$. Also suppose that $p \not\equiv 1$ (mod $r$), $p \not\equiv ...
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 ...
20
votes
5answers
359 views

Show that : $\sum\limits_{\sigma \in S_n} (\mbox{number of fixed points of } \sigma)^2= 2 n!$

I came across this result while doing some representation theory of the permutation group $S_n$ $$ \sum\limits_{\sigma \in S_n} (\mbox{number of fixed points of } \sigma)^2 = 2 n!$$ This can be ...
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 ...
2
votes
0answers
32 views

Properties of non-abelian characters

I'm looking for some (short of) non-abelian generalization of the following result: Let $G$ be a finite abelian group and let $f$ be a function on $G$ with values in some field of characteristic ...