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

16
votes
4answers
4k 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?
14
votes
5answers
3k 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. ...
11
votes
1answer
852 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 ...
8
votes
2answers
714 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
981 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 ...
15
votes
1answer
721 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. ...
4
votes
2answers
200 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 ...
7
votes
3answers
678 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}.$$ ...
13
votes
2answers
693 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 ...
11
votes
3answers
314 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. ...
20
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 ...
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.
2
votes
1answer
241 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." ...
63
votes
2answers
5k 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? ...
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 ...
10
votes
4answers
512 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 ...
4
votes
2answers
572 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 ...
22
votes
1answer
644 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 ...
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
3answers
937 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 ...
1
vote
1answer
226 views

Another point of view that $\mathbb{Z}/m\mathbb{Z} \times\mathbb{Z}/n\mathbb{Z}$ is cyclic.

I was thinking that the product of groups $\mathbb{Z}/2\mathbb{Z} \times\mathbb{Z}/2\mathbb{Z}$ is not cyclic, but $\mathbb{Z}/2\mathbb{Z} \times\mathbb{Z}/p\mathbb{Z}$ is cyclic if p is an odd prime. ...
15
votes
2answers
330 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 ...
14
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 ...
19
votes
1answer
321 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 ...
8
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
5
votes
3answers
268 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$?
8
votes
1answer
258 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$. ...
8
votes
1answer
635 views

Finite abelian groups - direct sum of cyclic subgroup

Let $G$ be a finite abelian $p$-group. It is quite elementary to see that if $g \in G$ is an element of maximal order (and thus its span is a cyclic subgroup of $G$ of maximal order) then $G$ can be ...
5
votes
1answer
2k views

No group of order 36 is simple

Fraleigh(7ed) Example37.14 No group of order 36 is simple. Such a group $G$ has either $1$ or $4$ subgroups of order $9$. If there is only one such subgroup, it is normal in $G$. If there are four ...
8
votes
1answer
595 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$. ...
5
votes
5answers
371 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. ...
5
votes
2answers
660 views

Show that a finite group with certain automorphism is abelian

Let $G$ be a finite group and $f:G\to G$ an isomorphism. If $f$ has no fixed points (i.e., $f(x)=x$ implies $x=e$) and if $f\circ f$ is the identity, then $G$ is abelian. (Hint: Prove that every ...
2
votes
1answer
62 views

Conjugacy classes and centralizers of a SmallGroup

What is the complete lists of conjugacy classes and centralizers of SmallGroup(64,138)? Would someone be willing to provide the complete lists of conjugacy classes and centralizers of ...
1
vote
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 ...
1
vote
2answers
195 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
123 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 ...
6
votes
2answers
270 views

Number of Homomorphisms from $\Bbb{Z}_m$ to $\Bbb{Z}_n$

This question coutesy of Allan Clark's "Elements of Abstract Algebra" (60$\zeta$). Find the number of homomorphisms from $\Bbb{Z}_m\to \Bbb{Z}_n$ as a function of $m$ and $n$. This is stumping me, ...
4
votes
8answers
539 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
306 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 ...
25
votes
4answers
3k 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 ...
25
votes
6answers
924 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)}|$?
14
votes
2answers
439 views

Why isn't there interest in nontrivial, nondiscrete topologies on finite groups?

A topology on a group is required to be compatible with the group structure (multiplication must be a continuous map $G\times G\to G$ and inversion must be continuous). I've only ever seen the ...
30
votes
3answers
611 views

Alternative proofs that $A_5$ is simple

What different ways are there to prove that the group $A_5$ is simple? I've collected these so far: By directly working with the cycles: page 483 of ...
16
votes
1answer
425 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$. ...
29
votes
1answer
374 views

Sudokus as composition tables of finite groups

If $G$ is a finite group then the composition table of $G$ is a latin square (ie, each row and column contains each group element exactly once). Assume now that $|G| = n^2$ for some natural number ...
9
votes
2answers
168 views

Groups of order $n^2$ that have no subgroup of order $n$

For which $n$ is there a group of order $n^2$ without a subgroup of order $n$. Such groups can not be nilpotent. This question is related to Sudokus as composition tables of finite groups.
26
votes
1answer
353 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 ...
11
votes
2answers
557 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 ...
10
votes
2answers
264 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
351 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 ...