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

15
votes
4answers
3k views

Group of order 15 is abelian

How do I prove group of order 15 is abelian? Is there any general strategy to prove that a group of particular order(composite order) is abelian?
10
votes
1answer
716 views

$\operatorname{Aut}(V)$ is isomorphic to $S_3$

I'm currently working my way through Harvard's online abstract algebra lectures (if you're interested, you can find them here). The lectures come complete with notes and homework problems. Of ...
9
votes
5answers
2k views

Normal subgroup of prime index

Generalizing the case $p=2$ we would like to know if the statement below is true. Let $p$ the smallest prime dividing the order of $G$. If $H$ is a subgroup of $G$ with index $p$ then $H$ is normal. ...
8
votes
2answers
637 views

Finite group for which $|\{x:x^m=e\}|\leq m$ for all $m$ is cyclic.

Let $G$ be a finite group. For each positive integer $m$, if $x^{m}=e$ has at most $m$ solutions in $G$, $G$ is cyclic. What I have thought is that $n=\sum_{d\mid n}\phi(d)$ can be used to solve ...
7
votes
3answers
738 views

Problem from Herstein on group theory

The problem is: If $ G $ is a finite group with order not divisible by $ 3 $, and $ (ab)^{3} = a^{3} b^{3} $ for all $ a,b \in G $, then show that $ G $ is abelian. I have been trying this for a ...
4
votes
2answers
178 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 ...
11
votes
3answers
259 views

If $|\lbrace g \in G: \pi (g)=g^{-1} \rbrace|>\frac{3|G|}{4}$, then $G$ is an abelian group.

Assume that $\pi$ is an automorphism of a finite group $G$. Let $S$ denote the set $\lbrace g \in G: \pi (g)=g^{-1} \rbrace$. Show that if $|S|>\frac{3|G|}{4}$, then $G$ is an abelian group. ...
7
votes
3answers
2k views

A normal subgroup intersects the center of the $p$-group nontrivially

If $G$ is a finite $p$-group with a nontrivial normal subgroup $H$, then the intersection of $H$ and the center of $G$ is not trivial.
6
votes
3answers
600 views

Classifying the irreducible representations of $\mathbb{Z}/p\mathbb{Z}\rtimes \mathbb{Z}/n \mathbb{Z}$

I need help with the following problem: Suppose $n$ is some positive integer, and $n|p-1$. Classify all irreducible representations of $$\mathbb{Z}/p\mathbb{Z}\rtimes \mathbb{Z}/n \mathbb{Z}.$$ ...
2
votes
1answer
217 views

Definition of $K$-conjugacy classes

I would like to understand the definition of "$K$-conjugacy classes" I found in an article by G. Pazderski Pazderski, Gerhard. "On the number of irreducible representations of a finite group." ...
59
votes
2answers
4k views

More than 99% of groups of order less than 2000 are of order 1024?

In Algebra: Chapter 0, the author made a remark (footnote on page 82), saying that more than 99% of groups of order less than 2000 are of order 1024. Is this for real? How can one deduce this result? ...
19
votes
7answers
2k views

Product of all elements in an odd finite abelian group is 1

This should be an easy exercise: Given a finite odd abelian group $G$, prove that $\prod_{g\in G}g=e$. Indeed, using Lagrange's theorem this is trivial: There is no element of order 2 (since the order ...
10
votes
4answers
432 views

Elementary isomorphism between $\operatorname{PSL}(2,5)$ and $A_5$

At this Wikipedia page it is claimed that to construct an isomorphism between $\operatorname{PSL}(2,5)$ and $A_5$, "one needs to consider" $\operatorname{PSL}(2,5)$ as a Galois group of a Galois cover ...
12
votes
4answers
1k views

A kind of converse of Lagrange's Theorem

Let $G$ a finite group. If $a\in G$, a consequence of the Lagrange's Theorem is that the order of $a$ divides the order of $G$. Let $p=|G|$. If $p$ is prime, it is well known that $G$ is cyclic, and ...
14
votes
1answer
596 views

Group of even order contains an element of order 2

I am working on the following problem from group theory: If $G$ is a group of order $2n$ (i.e., the cardinality of the set $G$ is $2n$), show that the number of elements of $G$ of order $2$ is odd. ...
21
votes
1answer
595 views

Recovering a finite group's structure from the order of its elements.

Suppose you know the following two things about a group $G$ with $n$ elements: the order of each of the $n$ elements in $G$; $G$ is uniquely determined by the orders in (1). Question: How ...
11
votes
2answers
626 views

Has this “generalized semidirect product” been studied?

If $G$ is a finite group with subgroups $H$ and $K$ such that $HK = G$ and $H\cap K = \{1\}$ we get that every element of $G$ can be written uniquely as $hk$ with $h\in H$ and $k\in K$. This then ...
14
votes
2answers
263 views

Which finite groups are the group of units of some ring?

Motivated by this question: Which finite groups are the group of units of some ring? Which finite groups are the group of units of some finite ring? Which finite abelian groups are the group of ...
19
votes
1answer
306 views

Finite Groups with a subgroup of every possible index

Suppose $G$ is a finite group, with $|G|=n$. Suppose also that for every positive integer $m\mid n$, $G$ has a subgroup of index $m$. Are there any general statements (structural or otherwise) I can ...
12
votes
4answers
2k views

Derived subgroup where not every element is a commutator

Let $G$ be a group and let $G'$ be the derived subgroup, defined as the subgroup generated by the commutators of $G$. Is there an example of a finite group $G$ where not every element of $G'$ is a ...
7
votes
4answers
2k views

Automorphism group of the quaternion group

Let $Q_8$ be the quaternion group. How do we determine the automorphism group $Aut(Q_8)$ of $Q_8$ algebraically? I searched for this problem on internet. I found some geometric proofs that $Aut(Q_8)$ ...
8
votes
1answer
222 views

Generators for $S_n$

This problem is from Dixon's book telling that; if $x$ is any nontrivial element of the symmetric group $S_n$ and $n≠4$, then there exists an element $y\in S_n $ such that $S_n=\langle x,y\rangle$. ...
7
votes
3answers
864 views

Three finite groups with the same numbers of elements of each order

There exist pairs of finite groups $G$ and $H$ such that $G$ and $H$ are not isomorphic, yet they have the same number of elements of each order. For example, if $p$ is an odd prime, then the group ...
5
votes
5answers
340 views

Let $G$ a group of order $6$. Prove that $G \cong \Bbb Z /6 \Bbb Z$ or $G \cong S_3$.

Let $G$ a group of order $6$. Prove that: i) $G$ contains 1 or 3 elements of order 2. ii) $G \cong \Bbb Z /6 \Bbb Z$ or $G \cong S_3$. I haven´t covered Sylow groups and normal groups. ...
1
vote
2answers
193 views

Groups/Linear maps

Let $\mathbb{F}_3$ be the field with three elements. Let $n\geq 1$. How many elements do the following groups have? $\text{GL}_n(\mathbb{F}_3)$ $\text{SL}_n(\mathbb{F}_3)$ Here GL is the general ...
0
votes
1answer
111 views

Finding the “square root” of a permutation

Suppose $r$ is odd, and ${\rm ord}(\alpha)=r$. ($\alpha,\beta$ are cycles.) Now, $\alpha=(a_1\cdots a_n)$. I need to find $\beta$ that will make $$\alpha = \beta^2$$ How can I show it? What I ...
0
votes
4answers
1k views

Any subgroup of index $p$ in a $p$-group is normal.

Let $p$ be a prime number and $G$ a finite group where $|G|=p^n$, $n \in \mathbb{Z_+}$. Show that any subgroup of index $p$ in it is normal in $G$. Conclude that any group of order $p^2$ have a normal ...
4
votes
8answers
524 views

Order of cyclic groups

Wikipedia says: It is known that $(\mathbb{Z}/n\mathbb{Z})^\times$ is cyclic if and only if n is 1 or 2 or 4 or $p^k$ or $2p^k$ for an odd prime number p and k ≥ 1. The statement seems provable ...
0
votes
1answer
213 views

If $H$ is a subgroup of $G$ of finite index $n$, then under what condition $g^n\in H$ for all $g\in G$

A consequence of Lagrange's theorem in finite group theory is that $g^{|G|}=e$ for all $g\in G$. I wonder whether this be generalized along these lines: If $H$ is a subgroup of $G$ of finite ...
24
votes
6answers
888 views

Existence of a normal subgroup with $|\operatorname{Aut}{(H)}|>|\operatorname{Aut}{(G)}|$

Does there exists a finite group $G$ and a normal subgroup $H$ of $G$ such that $|\operatorname{Aut}{(H)}|>|\operatorname{Aut}{(G)}|$?
20
votes
4answers
2k views

Finite Groups with exactly $n$ conjugacy classes $(n=2,3,…)$

I am looking to classify (up to isomorphism) those finite groups $G$ with exactly 2 conjugacy classes. If $G$ is abelian, then each element forms its own conjugacy class, so only the cyclic group of ...
14
votes
1answer
396 views

A special subgroup of groups of order $n$

Let $G$ be a group with $|G| = n$ and let $ \emptyset \ne S \subseteq G$. I want to show that $S^n$ is a SUBGROUP of $G$ where by $S^n$ I mean the set $\lbrace s_1\cdots s_n \; | \; s_i \in S\rbrace$. ...
10
votes
2answers
248 views

Can we conclude that this group is cyclic? [duplicate]

Let $G$ be a finite group. If, for each positive integer $m$, the number of solutions of the equation $x^m = e$ in $G$, where $e$ is the identity element, is at most $m$, then can we conclude that $G$ ...
14
votes
1answer
345 views

What are all conditions on a finite sequence $x_1,x_2,…,x_m$ such that it is the sequence of orders of elements of a group?

My Definition: The finite sequence $x_1,x_2,...,x_m$ of nonnegative integers, is said to be generated by the finite group $G$ iff $n:=|G|=x_1+x_2+...+x_m$. $n$ has $m$ divisors. if ...
11
votes
2answers
414 views

Subgroups of a direct product

Until recently, I believed that a subgroup of a direct product was the direct product of subgroups. Obviously, there exists a trivial counterexample to this statement. I have a question regarding ...
5
votes
3answers
229 views

Does $G\times K\cong H\times K$ imply $G\cong H$?

Let $G\times K$ be a finite group. Suppoose $G\times K\cong H\times K$. Is this sufficient to imply $G\cong H$?
9
votes
3answers
341 views

Find four groups of order 20 not isomorphic to each other.

Find four groups of order 20 not isomorphic to each other and prove why they aren't isomorphic. So far I thought of $\mathbb Z_{20}$, $\mathbb Z_2 \oplus\mathbb Z_{10}$, and $D_{10}$ (dihedral ...
8
votes
1answer
173 views

For which $n$, $G$ is abelian?

My question is: For Which natural numbers $n$, a finite group $G$ of order $n$ is an abelian group? Obviouslyو for $n≤4$ and when $n$ is a prime number, we have $G$ is abelian. Can we consider ...
6
votes
3answers
2k views

Union of the conjugates of a proper subgroup

Let G be a finite group and H be a proper subgroup. Prove that the union of the conjugates of H is not the whole of G. Thanks for any help
11
votes
1answer
1k views

Enumerating all subgroups of the symmetric group

Is there an efficient way to enumerate the unique subgroups of the symmetric group? Naïvely, for the symmetric group $S_n$ of order $\left | S_n \right | = n!$, there are $2^{n!}$ subsets of the group ...
8
votes
2answers
213 views

Some irreducible character separates elements in different conjugacy classes

Let $x$ and $y$ be elements that are not conjugate in $G$. Then there is some irreducible character $\chi$ such that $\chi(x) \not = \chi(y)$. Clearly the "irreducible" part isn't important, ...
7
votes
1answer
515 views

A $p$-group of order $p^n$ has a normal subgroup of order $p^k$ for each $0\le k \le n$

This is problem 3 from Hungerford's section about the Sylow theorems. I have already read hints saying to use induction and that $p$-groups always have non-trivial centres, but I'm still confused. ...
5
votes
1answer
444 views

Why is $S_5$ generated by any combination of a transposition and a 5-cycle?

Why is $S_5$ generated by any combination of a transposition and a 5-cycle? Is this true for any prime $p$ (in this case $p=5$)?
4
votes
2answers
415 views

Product of elements of a finite abelian group

Suppose $G=\{a_1,...,a_n\}$ is a finite abelian group, and let $x=a_1a_2\dotsm a_n$. Prove that if there is more than one element of order $2$ then $x=e$. What I've done so far: (#1 is just for ...
3
votes
4answers
377 views

Quaternion group as an extension

I'm trying to understand how the quaternion group Q arises as an extension of $\mathbb{Z}_{4}$ by $\mathbb{Z}_{2}$. More precisely, I'm trying to find the two homomorphisms in the short exact sequence ...
2
votes
1answer
39 views

Which non-Abelian finite groups contain the two specific centralizers? - part II

This is a question requiring the good knowledge of group theory: (Q1) Which finite groups $G$ contains some specific centralizers isomorphic to both of these two groups (but may contain other ...
2
votes
2answers
214 views

Finite group is abelian if the representatives of its conjugacy classes commute

Let $G$ be a finite group and let $g_1 , g_2 ,...,g_r$ be the representatives of its conjugacy classes. If $g_i g_k=g_k g_i$ for every $i,k \in$ {$1,2,...,r$}, then prove that $G$ is abelian. ...
7
votes
1answer
341 views

Can someone explain Cayley's Theorem step by step?

This is from Fraleigh's First Course in Abstract Algebra (page 82, Theorem 8.16) and I keep having hard time understanding its proof. I understand only until they mention the map $\lambda_x (g) = xg$. ...
6
votes
2answers
219 views

Exponent of $GL(n,q)$.

Another exponent problem. $GL(n,q)$ is the group of invertible $n\times n$ matrices over the finite field $GF(q)$, where $q$ is a prime power. I am trying to figure out the exponent of this group. ...
3
votes
2answers
230 views

Existence of a G-invariant matrix

Let $\phi: G \to GL(\mathbb{R}^n)$ be a homomorphism, $G$ finite. Prove that there is a positive-definite matrix $M$ such that $\phi(g)^tM \phi(g) =M$ $\forall g \in G $. This looks really ...