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

N is a normal subgroup of G if $aNa^{-1} \subset N $ for all $a ∈ G$. Prove that in that case, $aNa^{-1} = N $.

I said if N is a normal subgroup of G when $aNa^{-1} \subset N $ aN = Na as N is a normal subgroup of $G$. Therefore $aNa^{-1} = Naa^{-1} $ and $aNa^{-1} = N $. I would like to go with this proof ...
2
votes
1answer
54 views

Structure of a group, $G$, of order $pq$ where $p, q$ are prime.

There is a proposition in Beachy and Blair's Abstract Algebra that I don't entirely follow. The proposition is the following: Let $G$ be a group of order $pq$, where $p > q$ are primes. a) If ...
3
votes
1answer
46 views

An elementary question regarding a multiplicative character over finite fields

Reading Chapter 2 of Koblitz's Introduction to Elliptic Curves and Modular Forms, I got stuck on the following question. I would like to proceed my reading, so I would appreciate any hint to this. I ...
0
votes
5answers
73 views

If $G$ is a non-cyclic group of order $n^2$, then $G$ is isomorphic to $\mathbb{Z_n} \oplus \mathbb{Z_n}$

I've independently come up with a question (I know it's been asked before, but I can't find the question online) involving the external direct product, non-cyclic groups and isomorphisms. So, is the ...
2
votes
1answer
42 views

Relation of order of a permutation with its sign

Let $G$ be a group with order $2m$ where $m$ is odd. Consider the left action $\lambda_g:G\to G$. It appears that if $g$ has odd order iff $\lambda_g$ has odd order iff $\lambda_g$ is an even ...
0
votes
1answer
32 views

pemutation representation that confuses me a lot recently

For any group G, define group action on a set A. There will be a permutation representation of that group action. I am kind of confused why the permutation representation can be used to reflect the ...
3
votes
0answers
28 views

Show that Icosahedral group does not have normal subgroup of order 5

Here is my work so far: Let $G$ denote the group of orientation-preserving isometries of Icosahedron. I have shown that $G$ acts transitively on $G/G_s$ where $G_s$ is the isotropy group, namely ...
1
vote
2answers
59 views

Normal subgroup created by a bunch of elements

if I have a finite group $G$ and a bunch of elements that are the elements of a set $A$. How can I systematically calculate the smallest normal subgroup of $G$ that contains $A$? I am rather ...
1
vote
1answer
25 views

Schur Multiplier of general linear group

Ideally I would like to know the Schur multiplier of $Gl(n, F_3)$, but perhaps this is not reasonable to ask. But for a small fixed $n$, this should be known, but i could not find any result when ...
1
vote
1answer
38 views

Is my proof correct? (about commutators)

I want to prove the following fact: Let $G$ be a finite group and let $x, y\in G$ such that $[x, y] \in Z(G)$. Then $[x, y^s] = [x, y]^s$ for every $s\in \mathbb{Z}$. If we assume that $[x^r, y^s] ...
4
votes
1answer
61 views

Another Presentation of Certain Cyclic Groups

Show that the the group with presentation $$\langle x, y\ \mid\ x^2=y^2x^2y,\ (xy^2)^2=yx^2, \ yx^{-1}y^2=x^n\rangle $$ is cyclic of order $3(n+1)$, for $n=0 \mod 3$ or $n= 1 \mod 3$, $n\ge 0$. This ...
2
votes
2answers
43 views

Determine the center of this finitely presented group.

Consider the group $G(n)= \langle a, b \ \vert\ aba^{-1}=b^{n+1}, bab^{-1}=a^{n+1} \rangle$, $n\ge 1.$ Show that the center $Z$ is cyclic of order $n$ and that $G/Z$ is abelian of order $n^2$. This ...
1
vote
1answer
49 views

Show that the symmetric group $S_p = <\sigma , \tau >$, where $\sigma$ is any transposition and $\tau$ is any p- cycle and p is a prime number.

Let $\sigma = (a_1\ a_2) \ \ and \ \ \tau = (a_1\ b_2\ \ldots\ b_p)$. (We have $a_2 = b_i$ for some i.).We know that $S_p$ is generated by $\{ (a_1\ a_2) \ \ and \ \ (a_1\ a_2\ \ldots\ a_p) \}$. So ...
-2
votes
0answers
37 views

A finite group with some prescribed subgroup structure

Can you display a group $G$ satisfying the following condition? You can choose an element $g\in G$ such that the set $\{H\trianglelefteq G \colon H\ \text{does not contain any power of } g\}$ has ...
0
votes
0answers
24 views

quasiprimitive non-solvable groups

I'm looking for the reference about quasiprimitive unsoluble groups. Actually we can find a lot of useful things about quasiprimitive solvable groups in "Representations of solvable groups by Manz and ...
1
vote
4answers
77 views

multiplication in Galois Fields

I don't know much about Galois fields. My question is the following Assume we are working with GF(8). Let say for example I want to multiply 2 by 4 in GF(8). Then it should be equal to $2*4 \text{ ...
6
votes
1answer
51 views

Group elements $x$ and $y$ satisfying $x^2 = y^2x^2y$ and $yx^{-1}y^2 = x^7$ commute.

The Question Suppose that $x$ and $y$ are elements of a group such that $$x^2 = y^2x^2y$$ and $$yx^{-1}y^2 = x^7.$$ Show that $x$ and $y$ commute. Motivation This came up in another question, where ...
2
votes
2answers
78 views
+50

Prove that there is a basis of a lattice $\Lambda$ s.t. a reflection is of a certain form

Consider $\Lambda$ a lattice in $\mathbb{R}^2$. Let $S \in O(\Lambda)$ be a reflection, i.e. $\det S = -1$. Set $S_{1}= \begin{pmatrix} 1 & 0 \\ 0 & -1 \\ \end{pmatrix}$ and $S_{2}= ...
-2
votes
0answers
51 views

Give a examples of $p$-Sylow subgroups of $G=A_5\times S_3$ for $p=2,3,5$ and tell what group is isomorphic to each subgroup? [closed]

Give a examples of $p$-Sylow subgroups of $G=A_5\times S_3$ for $p=2,3,5$ and tell what group is isomorphic to each subgroup? Does there exist a subgroup of $G$ of order $180$?
2
votes
1answer
43 views

Lower central series and the center of $S/S^k$

Let $S$ be a $p$-group and assume that $S$ has maximal class - so if we assume $\vert S \vert = p^n$ then the lower (and upper) central series has length $n-1$. I don't know much about lower central ...
0
votes
1answer
49 views

what are the other 2 nontrivial elements of the automorphism group of $\Bbb Z/5\Bbb Z$?

It is known that the automorphism group of the units of $\Bbb Z/5\Bbb Z$ is isomorphic to the cyclic group of order $4$, so the automorphism group must also have $4$ elements. The two nontrivial ones ...
1
vote
0answers
24 views

Is there a special name for this single element discrete subgroup of Mobius group

Is there a special name for this discrete subgroup of Mobius group with single element: $$A=\begin{bmatrix}0 & i\\-i & 0\end{bmatrix}$$ and $\det A=-1$ and $A^2=I$. Thanks- mike EDIT: ...
4
votes
2answers
202 views

Cyclic Group Presentation

Show that the the group with presentation $$\langle x, y\ \mid\ x^2=y^2x^2y,\ (xy^2)^2=yx^2, \ yx^{-1}y^2=x^7\rangle $$ is cyclic of order 24. This presentation was obtained using the Todd-Coxeter ...
2
votes
1answer
31 views

Finite groups with a cyclic maximal subgroup.

In the book A Course in the Theory of Groups by Derek J.S. Robinson, Finite $p$-groups with a cyclic maximal subgroup are classified. Now I wish to know whether finite groups with a cyclic maximal ...
0
votes
0answers
22 views

The number of elements of order $p$ in PSL(n,q)

Let $q=p^n$, where $p$ is prime. What is the number of elements of order $p$ in projective special linear group of degree $3$ that denoted by PSL(3,q)? Is there any method for calculation of the ...
0
votes
1answer
45 views

Inconsistent definition of Sylow p-subgroup

Here is the definition of a Sylow $p$-subgroup from Wikipedia: For a prime number $p$, a Sylow $p$-subgroup (sometimes $p$-Sylow subgroup) of a group $G$ is a maximal $p$-subgroup of $G$, i.e., a ...
2
votes
0answers
67 views

Cokernel of injective endomorphisms of a finitely generated free abelian group

By $\text{GL}^+(n,\mathbb{Z})$ we mean the set of $n×n$ invertible matrices with positive determinant and entries from $\mathbb{Z}$. For given $A \in \text{GL}^+(n,\mathbb{Z})$ let ...
2
votes
0answers
66 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
15 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
34 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
148 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
54 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
87 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
34 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
1answer
50 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
votes
0answers
36 views

Representations of group algebra and its centre

Are the irreducible representations of the algebra $Z(\mathbb{C}G)$ for a finite group G all irreducible representations of the algebra $\mathbb{C}G$, i.e. are the representations of the group algebra ...
1
vote
1answer
47 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
56 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
32 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
94 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
17 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
42 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
18 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
29 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
79 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
81 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
96 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
30 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 ...