Tagged Questions

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

3
votes
0answers
27 views

A topic for seminar in finite group theory.

I am doing a course on "Structure of finite groups" and we have a choice of giving a presentation on topics related to the course, Course outline is as follows- I was thinking of O-Nan Scott ...
1
vote
3answers
49 views

A question about the proof of a theorem in Representation theory of groups

My Question is about one part of the proof of theorem in the book "A Course in the Theory of Groups" by Derek J.S. Robinson. I highlight the part that my question is about. We know that if $G$ is a ...
0
votes
0answers
14 views

showing that $G$ is super solvable.

every finite group that its order is square free ,have a non-trivial characteristic sylow subgroup and then it is super solvable. my problem is just in showing that it is super solvable, I want to ...
0
votes
0answers
12 views

algorithm to generate some type of words in a finite group

In order to solve a problem (that is off topic to this subject) I would like to know if there is an algorithm that gives me the following: Given a finite group $G$ and some of its elements e.g. $a,b,c ...
2
votes
1answer
42 views

For finite group $G$ when is $|Aut(G)| < |G|$?

If $G$ is a finite group then we know $|Aut(G)|$ divides $(|G|-1)!$ ; I want to ask , if $G$ is a finite group with more than one element then is it true that $|Aut(G)| < |G|$ ( I know it is ...
3
votes
1answer
16 views

Finding Sylow p-subgroups

I am trying some examples of finding Sylow p-subgroups in specific groups and looking for the most efficient way to do so. For example, lets say we need to find Sylow-3 subgroups in $A_4$ and $D_6$, ...
3
votes
1answer
27 views

Is it true that $n_p!\le |G|$?

Let $G$ be a finite group and $n_p:=|\text{Syl}_p(G)|$. Is it true that $n_p!\le |G|$ ? I've shown that it's true, but I'm not so sure, can you check my proof? Proof. Let $G$ act on ...
0
votes
1answer
28 views

Group Action and Orbits

I am looking at the following example which says find the orbit of $0$ under addition by $2$ and $3$ if $\mathbb{Z}_4$ acts on itself by addition. So to find the orbit of $0$ we are looking at the set ...
2
votes
2answers
35 views

Solution verification: $G$ and $G/H$ contain elements of same order

I just took my abstract algebra midterm, and was wondering if someone could confirm my solution to the following problem. Problem: Let $G$ be a finite group and let $H$ be a normal subgroup of ...
1
vote
1answer
22 views

Determine all the generators of $\mathbb{Z}_{25}^{\times}$

Determine all the generators of $\mathbb{Z}_{25}^{\times}$. Is there some way that I can use the fact that $\mathbb{Z}_{25}^{\times}$ is cyclic generated by $3$?
0
votes
0answers
17 views

Every finite group of square-free order is soluble

prove that every finite group which it's order is square free is soluble. I think it is enough to show that every sylow subgroup of this is cyclic. please tell me if my idea is right and if it is ...
-1
votes
1answer
24 views

centralizer of a chief factor

Let $G$ be a finite solvable group and $p$ be a prime. Let $G^*$ be the smallest normal subgroup of $G$ for which the corresponding factor is abelian of exponent dividing $p-1$. Show that every chief ...
1
vote
1answer
14 views

Question about Sylow subgroups

"Let $|G|=p_1^{e_1}\cdot \cdot \cdot p_t^{e_t}$ and let $G_{p_i}$ be the Sylow $p_i$-subgroup of $G$. The subgroup $S$ generated by all of the Sylow subgroups is $G$, for $p_i^{t_i}|~|S|$ for all ...
0
votes
0answers
6 views

Binary Tetrahedral Group

Consider the Binary Tetrahedral Group $2T.$ I am trying to prove that $Q_8$ is a subgroup of $2T$ using automorphisms. Is the full automorphism group of $2T$, $T$ where $T$ is the tetrahedral group? ...
1
vote
0answers
11 views

SO(3,q) to PGL(2,q)

Can anyone suggest a reference to an explicit formula giving, in the standard matrix notation, a homomorphism from SO(3,q) to PGL(2,q) (classical matrix groups: orthogonal of dimension 3 and ...
0
votes
0answers
21 views

question in finite abelian group [on hold]

Let $H$ be a subgroup of a finite abelian group $G$ . How to prove $G$ has a subgroup that is isomorphic to $\;H/G\;$ .(at W.Hungerford Algebra 2.2)
-6
votes
0answers
24 views

a question about finite abelian group [on hold]

Let $H$ be a subgroup of a finite abelian group $G$ . Show that $G$ has a subgroup that is isomorphic to $H/G$.
1
vote
1answer
21 views

Does this group theory question require an additional hypothesis?

The problem is to show that if $G$ is a finite group and for all nontrivial elements $a, b$ there exists an automorphism taking $a$ to $b$, then $G$ is a $C_p$ vector space, where $C_p$ is the group ...
1
vote
1answer
24 views

Calculation of polynomial in the finite field

I'm trying to understand the McEliece cryptosystem and I'm looking to this paper http://www.mif.vu.lt/~skersys/vsd/crypto_on_codes/goppamceliece.pdf On page 26 they are calculating syndrome and ...
0
votes
0answers
13 views

centre of an infinite p group may be trivial. [duplicate]

I have to prove this and can not seem to find any such example. I know for finite groups, centre is always non trivial, but what example is there for infinite. Thanks
1
vote
2answers
48 views

A question in Abelian Group

Suppose $G$ is a finite Abelian group, and $U$ is a cyclic subgroup of $G$ with the maximal order. Choose $y$ in $G-U$ such that $|y|$, the order of y, is the minimal. Suppose $p$ is a prime number ...
2
votes
2answers
42 views

Commutativity of special type of permutations

Let $p_1,p_2$ be permutations on the set $S=\{1,2,...,n \}$ and define $U_1:=\{k\in S:p_1(k)\ne k\}$ , similarly we can define $U_2$ . Now I can prove that if $U_1 \cap U_2=\phi$ , then ...
1
vote
0answers
24 views

Is membership in the index 2 subgroup of $Sp_4(\mathbb{F}_2)$ detected by a polynomial in the matrix entries?

I learned from Magma that $Sp_4(\mathbb{F}_2)$ has an index-2 subgroup isomorphic to $A_6$. Is it possible, given a matrix $M\in Sp_4(\mathbb{F}_2)$, to detect membership in this subgroup using a ...
1
vote
0answers
39 views

if each $(i,j)\space:\space g_ig_j=g_jg_i$, then $G$ is abelian [closed]

Let $G$ be finite group. say that $a,b\in G$ hold that $(a,b)\in R\subseteq G\times G$ iff $\exists g\in G \space:\space gag^{-1}=b$ note that $R$ is an equivalence relation. let $g_1,...,g_n$ be the ...
1
vote
2answers
33 views

Let $p,q$ are distinct primes and $G$ be a group of order $pq$ then which of the following is true?

Let $p,q$ are distinct primes and $G$ be a group of order $pq$ then which of the following is true? $1.G$ has exactly $4$ subgroups upto isomorphism. $2.G$ is abelian. $3.G$ is isomorphiq to a ...
0
votes
2answers
51 views

Find the subgroups of A4

I had a question I was hoping for some help on: Find all of the subgroups of $A_4$ Here is what I know: $A_4$ is the alternating group on 4 letters. That is it is the set of all even ...
2
votes
1answer
21 views

Let $S$ be a subset of $R$ such that we have associative relation $*$ defined on $S\times S\to S$ with some properties…

Let $S$ be a subset of $\\R$ such that we have associative relation $\\*\\$ defined on $S\times S\to S$ with $$a*b*a=b \hspace{0.5cm} \forall a,b\in S, \hspace{1.5cm} \exists e \hspace{0.5cm} ...
0
votes
1answer
26 views

$H$ is the smallest subgroup of $S_n$ containing the transposition $(1,2)$ and the cycle $(1,2,…,n)$ [closed]

For $n>2$, if $H$ is the smallest subgroup of $S_n$ containing the transposition $(1,2)$ and the cycle $(1,2,...,n)$ , then (A) $H = S_n$ (B) $H$ is abelian (C) The index of $H$ in $S_n$ ...
1
vote
0answers
75 views

Wielandt's Exercise [closed]

Wielandt, Exercise 5.2. Assume that the intransitive group $G$ has degree $n$ and minimal degree $n−1$. If no transitive constituent of $G$ has degree $1$, then they all are faithful and all except ...
-2
votes
0answers
25 views

about groups of order p^2qr [closed]

i need help to understend next theorem (page 148) : https://archive.org/stream/jstor-1986340/1986340#page/n11/mode/2up Is same true for groups of order $p^2q^2r$?
1
vote
1answer
34 views

Why in this sense this homomorphism is injective?

In this proof:enter link description here Page 19, it gives a construction of outer automorphism of $S_6$,it sends $S_6$ to Perm($S_6$/H)= $S_6$, and by the former proof, it is injective.However, it ...
4
votes
2answers
54 views

Group with $p+1$ Sylow $p$-subgroups

Given a group $G$ with $p+1$ Sylow $p$-subgroups, I've deduced that $R = P \cap P'$, where $P, P'$ are Sylow $p$-subgroups, has index $p$ in each of $P, P'$; and that all $p+1$ Sylow $p$-subgroups of ...
-1
votes
0answers
38 views

finite solvable group with a certain property

Let $G$ be a finite solvable group and for each proper normal subgroup $N$ of $G$, $\frac{G}{G^{\prime}N}\cong \Bbb{Z}_p\times\Bbb{Z}_p$ or $\Bbb{Z}_{p^n}$, where $n\geq 1$, $p$ is a prime number ...
1
vote
1answer
39 views

properties on groups of order $p^2qr$

I read somewhere that if $|G|=p^2qr$, $H\subseteq G: |H|= p^2q$, $p>q>r$ primes, then if only $H$ is maximal subgroup, then $H$ is Abelian. Is this problem correct? Are there any same properties ...
0
votes
1answer
30 views

Homomorphic images of a group [closed]

If we consider $Q_8$ i.e. the Quaternion Group,then how to find the homomorphic images of this group?
0
votes
1answer
14 views

Primary decomposition of $Z_{1001}$ as a group of multiplication

The question is asking for the primary decomposition of $Z_{1001}$ as an abelian group under multiplication. So I did the following. By Euler $\phi$ function, I count the number of integers ...
0
votes
1answer
10 views

Using Lattice Isomorphism Theorem

I am working on this for my algebra class and I am stuck at the very end. $\textbf{QUESTION:}$ Let $p$ be a prime and let $G$ be a group of order $p^\alpha$. Prove that $G$ has a subgroup of order ...
3
votes
1answer
49 views

No simple groups of order 9555: proof

While reading through crazyproject, I came across the following proof that there were no simple groups of order $9555$. However, I do not understand the step that says: "Moreover, since 7 does not ...
1
vote
1answer
28 views

About primary decomposition of $\mathbb{Z}_7$

I want to find the primary decomposition of $\mathbb{Z}_7^*$ under multiplication group action. So I know 7 is a prime number so it is a group of order 6. So possibilities are $\mathbb{Z}_7^*\cong ...
1
vote
1answer
48 views

Group of order 36

I follow a proof which show that any group of order $36$ has a normal Sylow subgroup. The author suppose that $G$ has no normal subgroups of order $9$ or $4$. Then $G$ won't have subgroups of order ...
0
votes
0answers
25 views

Describe all subgroups of $\operatorname{Inn}(\operatorname{GL}_2(\mathbb F_{p^n}))$

Is it possible to give a general discription of all subgroups of the group $\operatorname{Inn}(\operatorname{GL}_2(\mathbb F_{p^n}))$ of inner automorphisms of $\operatorname{GL}_2(\mathbb F_{p^n})$? ...
-1
votes
1answer
26 views

Subgroups in $G$ of the form $gHg^{-1}$

Let $G$ be a group and $H$ be a subgroup of finite index. Prove that there is only a finite number of distinct subgroups in $G$ of the form $gHg^{-1}$ where $g$ belongs to $G$.
2
votes
1answer
23 views

Clarification on proof that all groups of order $< 60$ are solvable

I've manged to prove that all groups of order $< 60$ are solvable, using Burnside's theorem. However, I found an alternate proof here Question about solvable groups It states that: "Note that ...
0
votes
1answer
23 views

Number of mutually non isomorphic Abelian groups

Let p and q be distinct primes. How many mutually non-isomorphic Abelian groups are there of order p^2q^4. I think there are 6 of them: p^2q^4 q, qp, q^2p q^2, q^2p^2 p, pq^3 pq, pq^3 q, q^3p^2 in ...
1
vote
1answer
32 views

Prove $f(x) = x * a$ is bijective (preferably using inverse)

I have this question that I am stuck at. Let $(G; * ; I)$ be a group and let 'a' in $G$. Let $f : G \rightarrow G$ be the function defined by $f(x) = x * a$ for all $x$ in $G$. Prove that $f$ is ...
0
votes
2answers
39 views

Is this group cyclic?

Is this group cyclic, and what would be its generator? where H = {a+b(sqrt(2)) element of R | a, b element of Z} I know that in order for a group to be cyclic if the generator equals the group, but ...
1
vote
1answer
35 views

Projective representaions of $(\mathbb{Z}/3\mathbb{Z})^2$

I have a very short question: is there a faithful projective representaion $\rho: \mathbb{Z}/3\mathbb{Z}\times \mathbb{Z}/3\mathbb{Z}\to {\rm PGL}(4,\mathbb R)$? Thanks!
0
votes
0answers
16 views

Conjugacy classes of PSL(6,7)

I need the conjugacy class sizes of projective special linear group PSL(6,7). I couldn't find it by using GAP. Could someone find it?
4
votes
1answer
39 views

Schur's Lemma: Is the isormorphism between two irreducible spaces unique?

Suppose $V_1 \neq V_2$ are two irreducible representations of the finite group G. Then Schur's Lemma says that any G-invariant map between them is either 0 or an Isormorphism. I understand that if ...