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

2
votes
0answers
70 views

Groups such that all elements of even order are in $G'$

We know that $G=A_4$ is a group such that all elements of even order in $G$ are in $G':=[G,G]= V_4$, the klein four group. Are there other examples or classes of groups where all elements of even ...
0
votes
0answers
26 views

Prove that both $R_p$ and $R^p$ are abelian groups under ordinary addition of rationals.

Q: Let $p$ be a fixed prime. Let $R_p$ be the set of all those rational numbers whose denominator is relatively prime to $p$. Let $R^p$ be the set of rationals whose denominator is a power of $p\ ...
2
votes
1answer
43 views

Commuting Elements in a Free Product of Cyclic Groups

In the free group with two generators $F_2\cong\mathbb Z *\mathbb Z$ ($*$ denotes the free product), if two elements $a$ and $b$ commute, then there exists an element $w\in F_2$ such that $\langle ...
2
votes
2answers
152 views

Show that $\mathbb{Z}_p\setminus\{\overline{0}\}$ is not a group if $p$ is not prime.

The answer is too short that I think I've gone wrong at some point! Q: If $p$ is prime, then the nonzero elements of $\mathbb{Z}_p$ form a group of order $p-1$ under multiplication. Show that this ...
2
votes
1answer
65 views

Density of nilpotent numbers

A natural number $n$ is nilpotent if every group of order $n$ is nilpotent (equivalently, a direct product of Sylow subgroups). A natural number $n$ has nilpotent factorization if $\ell\not\equiv1$ ...
0
votes
1answer
89 views

(Theorem) If $G$ is a simple group of odd order , then $G \cong \mathbb Z_p$ for some prime $p$.

I am studying Dumit Foote. I have seen this result in this book. Please help me solve this. Thank you.
1
vote
1answer
37 views

A question on the intuition of decomposition of the element of symmetry group

Any element of symmetry group $S_{n}$ can be decomposed as products of transpositions. Any m-cycle can be decomposed as m-1 transposition products. How should I think of this decomposition? Is there ...
2
votes
2answers
63 views

Number of conjugacy classes in finite groups

Let $G$ be a finite group. Let $C_1,C_2,\dots,C_k$ be its conjugacy classes. We denote by $C_{j\ '}=\{g^{-1}|\ g\in C_j\}$ the conjugacy class inverse to $C_j$. Set $$a_{rst} = ...
1
vote
1answer
49 views

I need an example of a function with these properties.

I have a problem that says $A$ is finite and $B\subset A$ and that $G$ is the subset set of $S_A$ consisting of all the permutations $f$ of $A$ s.t. $f(x)\in B \ \forall \ x\in B$. these functions ...
0
votes
1answer
59 views

Action of factor group on a group

Suppose $A$ and $G$ are finite groups and $A$ acts on $G$, written $g^a$ for $g\in G$, $a\in A$. If $N\unlhd A$, does $A/N$ then act on $G$ also? By $g^{[a]} = g^a$? Or do I need to assume something ...
1
vote
1answer
47 views

Group theory problem

I am asked to prove "Show that if $${e}<H_1<H_2<...<H_{n-1}<G$$ Is a subnormal series for a group G, and if the order of $H_{i+1}/H_i=s_{i+1}$, then G is of order $s_1 ...
0
votes
1answer
38 views

Group of order 105 as a product

I can't solve this problem, please help me! Every group of order 105 is isomorphic to $\mathbb{Z}_5\times H$ where $H$ is a group of order 21.
2
votes
1answer
40 views

For a group $G$ acting transitively, is $G_{\alpha}$ contained in stabilizer of some block $\Delta$ if $\alpha \in \Delta$?

This question refers to permutation groups, in particular the primitive ones, and block systems. Let $G$ be a finite group acting on a set $\Omega$, and consider some partition $\Delta_1 \cup \ldots ...
5
votes
3answers
128 views

Quaternion Group as Permutation Group

I was recently, for the sake of it, trying to represent Q8, the group of quaternions, as a permutation group. I couldn't figure out how to do it. So I googled to see if somebody else had put the ...
0
votes
0answers
19 views

Frobenius subgroups of $GL(n,2)$

I need to know the structure of Frobenius subgroups of $GL(n,2)$, where $n<14$. Is there any good reference? Many thanks.
0
votes
2answers
49 views

What is the mean prime power?

I found this definition in a book and I did not understand the meaning of it There exists a field of order q if and only if q is a prime power (i.e., $q = p^r$]) with p prime and r ∈ N. Moreover, if q ...
0
votes
0answers
20 views

What is the flag variety of the finite unitary group?

$G(q)$ finite Chevalley group is quasisplit, so there is a Borel subgroup $B(q) \subset G(q)$. $GL_n(q)/B(q)$ is the set of complete flags in $GF(q)^n$. What is $U_n(q)/B(q)$, where $U_n(q) \subset ...
1
vote
0answers
31 views

Version of Chevalley's Theorem proving $\mathbb{F}_q$ is a $C_1$-field for $\mathbb{Z}/p^n\mathbb{Z}$?

Let $k=\mathbb{F}_q$ Chevalley's theorem states that if $f(x_i)\in k[x_1,...,x_n]$ is such that $f(0,...,0)=0$ and $deg(f)<n$, then there is a non-trivial $a_i\in k^n$ such that $f(a_i)=0$. Is ...
4
votes
1answer
83 views

Is there a finite non-solvable group which is $p$-solvable for every odd $p\in\pi(G)$?

Let $G$ be a finite non-solvable group and let $\pi(G)$ be the set of prime divisors of order of $G$. Can we say that there is $r \in \pi(G)-\{2\}$ such that $G$ is not a $r$-solvable group?
-1
votes
1answer
94 views

Elements whose orders are multiple of $p$ [closed]

Let $G$ be a non-solvable group, $N$ an abelian minimal normal $p$-subgroup of order $p^r$ with $p\notin \pi(G/N)$, $N=C_G(N)$ and $K=G/N\cong A_5$. By these assumption we can conclude that $G$ has ...
3
votes
1answer
106 views

Computing values of centralizers in a non-solvable group with a given property

A finite group G satisfies property $P_n$ if for every prime integer $p$, $G$ has at most $(n−1)$ non-central conjugacy classes the order of the representative element of which is a multiple of $p$. ...
2
votes
1answer
32 views

The minimum size of generating set of the external direct product

I have seen the following theorem here: Suppose that $A$ and $B$ are finite groups whose orders are relatively prime to each other, and the minimum size of generating set (i.e., the smallest ...
2
votes
0answers
20 views

structure of a p-group

Let $G=\langle x_1,\ldots,x_6\rangle$ be a non abelian group of order $p^6$ and exponent $p$. Also we know that $[x_i,x_j]=1$, for $1\leq i, j\leq6$, except $[x_1,x_5]=x_3$, $[x_1,x_6]=x_4$ and ...
0
votes
0answers
63 views

Direct product of $G'$ and $Z(G)$ with some conditions

Let $G=G'\times N$ be a non-solvable group, such that $G/N$ is a non-abelian simple group and $N=Z(G)<C_G(N)$ is an abelian normal minimal $p$-subgroup of $G$. What can we say about $G$? In a ...
2
votes
1answer
85 views

Subgroup contained in all other subgroups

This is Problem 2.13.10 from Herstein, Topics in Algebra: Let $G$ be a finite abelian group such that it contains a subgroup $H_0 \neq (e)$ which lies in every subgroup $H\neq (e)$. Prove that $G$ ...
1
vote
1answer
62 views

Elements of orders $2k$, for $k\geq 5$ in a semidirect product

Let $G$ be a non-solvable group, $N$ be an abelian 2-subgroup of $G$ such that $N=C_G(N)$ and $G/N\cong Sz(8)$. Does $G$ has elements of orders $2k$, for $k\geq 5$?
2
votes
1answer
35 views

Normal subgroups of factor group

Suppose $G$ is a finite group and $N$ is a normal subgroup of $G$. Then subgroups of $G/N$ are of the form $A/G$ for $A\le G$. But how does the normal subgroups of $G/N$ look like? Is it true that $A ...
0
votes
1answer
31 views

torsion and torsion-free groups

I have the following statement: Every finitely-generated abelian group $G$ is isomorphic to $T\bigoplus F$, where T and F are torsion and free groups. As an example is given that all abelian groups ...
7
votes
1answer
145 views

A question about Sylow subgroups

Let $G$ be a finite group and $P\neq\{e\}$ be a Sylow $p$-subgroup of $G$ and $P^g\neq P$ be its conjugate in $G$. If we know that $P\cap P^g\neq \{e\}$, can we conclude that $Z(P)\cap Z(P^g)\neq ...
0
votes
2answers
24 views

Question on Subgroups and Left Cosets

Here is an unanswered exercise from class notes. For the group <{$i,-i,1,-1$},*> and a subgroup H where $|H|$ = 2. Find the left cosets of G induced by H. G={$i,-i,1,-1$}
0
votes
3answers
56 views

Subgroups of Sufficiently Large Symmetric Groups / Cayley's Theorem explanation

Here's the question: is every finite group a subgroup of a symmetric group of sufficiently large order? More specifically, if a group $G$ has order $n$, then is it true that $G \le S_{n}$? For ...
3
votes
0answers
77 views

The order of the representative elements of conjugacy classes

Suppose $A$ is an arbitrary subset of group $G$ and $K_G(A)$ be the number of $G$-conjugacy classes contained in $A$. A finite group $G$ satisfies property $P_n$ if for every prime integer $p$, $G$ ...
1
vote
1answer
59 views

groups generated by two elements of order 3

I'd like to know whether it is possible to find a characterization (cardinality?) of the set of finite, non-abelian groups generated by two elements $a$ and $b$ whose order is $3$? Is it the same task ...
1
vote
0answers
32 views

representation of extraspecial group

Let $H=\langle x,y\rangle$ be a non abelian group of order $p^3$ which has exponent equal to $p$. Also let $G$ be an extraspecial group of order $p^{2r+1}$ exponent $p$. We know that $G$ is isomorphic ...
3
votes
0answers
39 views

How can we find element orders of a finite group?

Suppose $p$ and $q$ are two prime divisor of the order of a finite group $G$. I want to know if $G$ has an element of order $pq$ using the character table of $G$. Is this possible? If so, please ...
4
votes
1answer
117 views

Do these definitions make sense?

Letting $G$ be a group and $S(G)$ be all permutations of $G$, define $$L(G)=\{\phi\in S(G)|\forall n\in \mathbb Z , \phi(g^n)=\phi(g)^n\ \ \forall g\in G \}.$$ It is easy to check that $L(G)$ is a ...
1
vote
1answer
53 views

What are all the automorphisms of a group of order $9$ generated by two elements?

Let $G$ be a group of order $9$ generated by two elements $a$ and $b$ such that $a^3 = b^3 =e$. How to determine all possible automorphisms of $G$?
4
votes
2answers
55 views

How is this subgroup abelian?

Let $G$ be a finite group of order $2n$ such that half of the elements of $G$ are of order $2$ and the other half form a subgroup $H$ of order $n$. Then I know that $H$ is of odd order because for ...
2
votes
0answers
31 views

Fixed point set of orthogonal Transformation

I need some help with this problem. Let $g$ be an element of the orthogonal group and $s$ a reflection. Then the dimension of the fixed point set of $g$ and $gs$ differ by $\pm 1$. Since that ...
3
votes
1answer
95 views

groups of order $p^5$ and exponent p

We know that a group of order $p^5$ is an extra special group. How we can show it doesn't have any abelian subgroup of order $p^4$? Also what is the presentation of this group if its exponent is equal ...
1
vote
1answer
59 views

Generating a subgroup

While getting ready for my exams I am trying to solve this question "Find a Sylow $2$-subgroup in $S_4$ which contains the element $(1, 3, 2, 4)$." I started by permutation of the element required ...
3
votes
3answers
55 views

Is a finite group with a certain automorphism must be abelian

Let $G$ be a finite group, and let $f:G \rightarrow G$ be an automorphism, such that $x f(x) f(f(x))=1$ for any $x \in G$. Is $G$ must be abelian? I believe that there are examples where $G$ is not ...
2
votes
2answers
24 views

A group of order $56$ with a unique Sylow $2$-group is either nilpotent or its Sylow $2$-group is $\cong (\mathbb{Z}/2 \mathbb{Z})^3$

Let $G$ be a group of order $56$, $Q$ a normal Sylow $2$-group and $P$ a Sylow $7$-group. Show either $G \cong Q \times P$ or $Q \cong \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z} \times ...
1
vote
0answers
36 views

For $k$ random perms of an $n$-set $\mathrm{Pr}[\sigma_1\cdots\sigma_k=\sigma_k\cdots\sigma_1]\xrightarrow{k\rightarrow\infty}\frac{2}{n!}$?

Q. Fix $n \geq 2$, and choose $k$ random permutations $\sigma_1\sigma_2\cdots\sigma_k \in S_n$ uniformly at random. Is true that ...
10
votes
2answers
178 views

Probability of $\alpha\beta\gamma=\gamma\beta\alpha$ for random permutations of a finite set?

Following up on my previous question Probability that two random permutations of an $n$-set commute?, here's a related question for three elements. Q: If $\alpha,\beta,\gamma$ are chosen uniformly ...
1
vote
1answer
50 views

Groups of order 8 proof

I understand the solution to these questions I was just wanting to confirm that the solution to Q10 excludes the possibility that $y =x^2$ ( and hence the proof is not complete) as it uses the ...
1
vote
1answer
51 views

Commutators Calculus

I was trying to understand the above Corollary but I have a problem, namely why in the second to last line $A_0 \leq \zeta_p(G)$? Any ideas? Definitions By recurrence we define $[x,_0\, y]=x$; ...
4
votes
1answer
82 views

Prove that $G$ has a nontrivial normal subgroup

I wanted to ask if I had done this problem correctly. Let $G$ be a group of order $pqr$ (for $p > q > r$ primes). (i) If $G$ fails to have a normal subgroup of order $p$, determine the ...
0
votes
0answers
24 views

Constructing all inequivalent faithful irreducible projective representations of finite abelian groups

Let $G$ be a finite abelian group, and $\alpha \in H^2 (G,\mathbb{C}^*)$ a 2-cohomology class. It is known (in Karpilovsky's multi-volume tome or elsewhere) that a finite abelian group admits a ...
1
vote
0answers
51 views

Normally embedded subgroups reducing in a Hall system

A Hall system of $G$ is a set $\Sigma$ of Hall subgroups of $G$ satisfying the following two properties: -For each $\pi$ divisor if $|G|$, $\Sigma$ contains excatly one Hall $\pi$-subgroup $G_{\pi}$. ...