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
0answers
6 views

For the special class of $T$-subgroups in a certain quotient group the normal subgroups intersect certain subgroup

Let $G$ be a finite group and $U \le G$ be a subgroup of odd order which has index two in its normalizer and $U^g \ne U$ implies $U^g \cap U = 1$. Write $N_G(U) = TU$ with $T = \langle t \rangle$ for ...
2
votes
0answers
28 views

Classify all finite groups with property [on hold]

Classify all finite groups $G$ with the following property: for every $H\vartriangleleft G$ there exists $K<G$ such that $G/H$ is isomorphic to $K$. My poor abstract-algebraic imagination doesn't ...
0
votes
0answers
35 views

A relation between a group and its subgroups [duplicate]

Let be $H$ a proper subgroup of finite group $G$. Who can we show that $G\not=\cup_{a \in G}aHa^{-1}$?
1
vote
0answers
29 views

Quick way to classify groups of small order

This is a past Qualifying exam on Algerbra : I'm curious if there is a quick way to solve Prob 1. To me, directly classifying groups takes too much time and I think I could not handle this in time ...
2
votes
0answers
26 views

Using a Sylow Counting Argument

Let G be a group of order $$|G|=pq^m$$ where $p$ and $q$ are primes and $q^m<p$. Show that $$G\cong C_p \rtimes_h Q$$ where $Q$ is a group with $|Q|=q^m$ and $h:Q\rightarrow Aut(C_p)$ is a ...
1
vote
1answer
34 views

How can I prove that G is abelian?

$N$ is a finite normal subgroup of order $n$ of $G$, and $|\operatorname{Inn}(G)|=m$ , $(n,m)=1$ and $[G:N]=p$ a a prime number. How can I prove that G is abelian? Can I use that $G$ is abelian iff ...
2
votes
1answer
22 views

Group of exponent $2$.

When I have a group $G$ of exponent $2$ and I know that all elements in $G-\{e\}$ are conjugated, is it right that $G$ is of order $2$? My try: For $g,h \in G - \{e\}$ the conjugation assumption ...
5
votes
0answers
24 views

Find the cardinality of a subset of $GL_n( \bf F_p)$

Let $m,n \in \bf N$.Let $\bf F_p$ denote the prime field of characteristic $p$.Consider the set $$ X_m = \{A \in GL_n( \bf F_p): A^m=1 \}$$ Compute the cardinality of $X_m$. Its clear ...
0
votes
0answers
8 views

Can a group have the same 3-cocycles as one of its quotients?

Let $G$ be a finite group and let $Z^3(G,U(1))$ be the set (indeed, group under pointwise multiplication) of all normalized 3-cocycles $G\times G\times G\to U(1)$, with trivial action on $U(1)$. For ...
1
vote
0answers
28 views

Converse Lagrange Theorem?

Let $G$ be a non abelian group of order $12$, and $G \not \cong A_{4}$ Then $G$ contains an element of order $6$. How can I prove it? I know that the converse of Lagrange Theorem is not true for ...
1
vote
1answer
22 views

What does it mean a transitive permutation?

let $X$ be a finite set. Let G be a group. What is the meaning of $G$ is a transitive permutation on set $X$?
-1
votes
1answer
36 views

Doubt about associative property of a group (Abstract Algebra). [on hold]

I am new to abstract algebra and I have a doubt about the associative property. Suppose a set is given, such as $G=\{0,1,2,3,4\}$ under $\pmod{5}$ addition operation and we have to check whether $G$ ...
0
votes
0answers
32 views

$G$ be a finite group and $f \in Aut (G)$ such that $f^3$ is identity and $f$ has unique fixed point , then any $p$-Sylow subgroup is normal?

Let $G$ be a finite group and $f \in Aut (G)$ such that $f^3$ is identity and $f(x)=x \implies x=e$ ; then is it true that for every prime $p$ dividing $|G|$ , there is exactly one $p$-Sylow subgroup ...
1
vote
1answer
25 views

Classifying groups of order $6$ using semidirect products

Let G be a group of order 6. I am able to do the exercise without semidirect products($G \cong Z_6 $ or $S_3$) but I don't know how to use semidirect products to do this. By Sylow's theorem, there ...
1
vote
1answer
61 views

Sylow counting argument; prove G isomorphic to the direct product.

Let G be a group of order $|G|=pq^m$, where $p$ and $q$ are primes with $q^m<p$. i) Use a Sylow counting argument to show that $G\cong C_p\rtimes_hQ$ where Q is a group with $|Q|=q^m$ and ...
-1
votes
0answers
36 views

Permutations of $S_n$ whose order divides a positive integer $m$

For which $n,m \in \mathbb{N}$ is $$K_m = \{\sigma \in S_{n}: \text{ord}(\sigma) \text{ divides } m \}$$ a subgroup of $S_{n}$? How does one approach such a problem?
1
vote
1answer
34 views

Prove that every sylow $2$-subgroup of $G$ is abelian.

Let $G$ be a finite group and $H \unlhd G$ where $|H|$ is odd and $G/H$ is abelian. Let $P$ be a sylow $2$-subgroup of $G$, then can we say that $P$ is abelian?
1
vote
1answer
61 views

High-school group-theory problem(given in a contest)

Let $G$ be a finite group and let $ H \le G $ be a subgroup of $G$. Suppose there is some $ \emptyset \neq S \subset G$ such that for any $x\in S$ we have $x^2 \notin H$. Prove that there is $T ...
2
votes
1answer
42 views

Normalizers of subgroups of Sylow $p$-subgroups

I am wondering whether there is an easy example of a finite group $G$ with a Sylow $p$-subgroup $P$ and a subgroup $Q\leq P$ such that the normalizer $N_P(Q)$ of $Q$ in $P$ is NOT a Sylow $p$-subgroup ...
2
votes
1answer
43 views

Is it true that if $|A|>\frac{|G|}{2}$ then $A^{-1}A=AA^{-1}=G$? [duplicate]

Let $G$ be a finite group, $A\subseteq G$ and put $A^{-1}=\{ a^{-1}:a\in A\}$. Is it true that if $|A|>\frac{|G|}{2}$ then $A^{-1}A=AA^{-1}=G$?
0
votes
0answers
37 views

If $G$ acts $k$-transitive and $k > 5$ and $G$ is neither alternating nor symmetric, then $(n-k)! \ge 2n$

The following is an exercise from D. Robinson: A Course in the Theory of Groups. Let $G$ be a $k$-transitive permutation group of degree $n$ which is neither alternating nor symmetric. Assume $k ...
0
votes
1answer
36 views

Can the galois group be the symmetric group, if the discriminant is a perfect square?

Let $f\in \mathbb Z[X]$ be an irreducible polynomial. Suppose, the discriminant of $f$ is a perfect square. Can the galois group of $f$ over $\mathbb Q$ be $S_d$, where $d$ denotes the degree of ...
1
vote
0answers
24 views

Centralizer of $(1,2,3)(4,5,6,7,8) \in A_{11}$

Let $$\tau = (1,2,3)(4,5,6,7,8) \in A_{11},$$ where $A_{11}$ is the group of even permutations. Let $H$ be the centralizer of $\tau$. I can easily prove that $H$ is a subgroup of $A_{11}$. How do I ...
7
votes
1answer
69 views

Prove/Disprove : Every polynomial with prime degree and coefficients in $[-1,1]$ has galois-group $S_p$

Conjecture : Let $p$ be a prime number , $f\in \mathbb Z[X]$ an irreducible polynomial with degree $p$ and coefficients in the range $[-1,1]$. Then the galois group of $f$ over $\mathbb Q$ ...
0
votes
0answers
29 views

Evaluate the Projection Operator for this Irreducible Representation of Dihedral Group

I am trying to compute the projector for the Dihedral group of order 12 ($D_{12}=D_{2n}$) for a certain Irreducible Representation. The representation is two dimensional and so I need to caculate ...
2
votes
1answer
48 views

For which $p$ is $G_p = \{\sigma \in S_{12}: \text{ord}(\sigma) \text{ divides } p \}$ a subgroup of $S_{12}$?

Let $p$ be a prime number. I've to figure out for which $p$ $$G_p = \{\sigma \in S_{12}: \text{ord}(\sigma) \text{ divides } p \}$$ is a subgroup of $S_{12}$. I realize that we have to ...
2
votes
1answer
57 views

Proper subgroup of $S_{15}$ that strictly contains $\sigma $

How does one prove that: There exists no cyclic proper subgroup of $S_{15}$ that strictly contains the following permutation (of order $10$)? $$\sigma = (1, 2,3, 4,5, 6, ...
0
votes
1answer
27 views

Proofs of congruence relations

Exercise 2.3 from "Introduction to Mathematical Cryptography" Let $p$ be a prime and $g$ an element in $\mathbb{F}_p^*$ of order $r$. (a) Suppose that $x = a$ and $x = b$ are both integer ...
0
votes
0answers
9 views

Generating space representation of all elements of a point group using generators

A well known set of groups are the 32 three-dimensional crystallographic point groups which elements represent the transformation matrices of the symmetry elements (rotation, reflection etc.). If one ...
0
votes
6answers
79 views

Prove or give a counterexample: If a group G has a subgroup of order n, then G has an element of order n

The question is given in the title. I am unable to come up with a counterexample and I'm thinking this could apply to cyclic groups but not necessarily to general groups. Does anyone have any ideas or ...
0
votes
1answer
33 views

$G$ is a finite group, if $ab^{-1}=ba^{-1}$ and $n$ is odd, then $a=b$

$G$ is a finite group of order $n$, then if $a,b\in G : ab^{-1}=ba^{-1}$ and $n$ is odd, then $a=b$. multiply both sides by $ab^{-1}$ we get $(ab^{-1})^2 = ab^{-1}ab^{-1}=ba^{-1}ab^{-1}=1$ so ...
3
votes
3answers
53 views

Find all homomorphisms $Q \rightarrow \mathbb{Z}_8$

Let $Q$ be the quaternion group. Find all homomorphisms $\phi: Q \rightarrow \mathbb{Z}_8$ What I get into is one big ifology: Of course $\phi(1) = 0$, then $0 = \phi(1) = \phi(-1 \cdot (-1)) ...
0
votes
0answers
22 views

Structure of frobenius groups.

Definition- A groups $G$ is called Frobenius if it has a proper nontrivial subgroup $H$ such that $H \cap H^g=1\ \forall\ g\in G-H$. Do we have a structure or classification theorem for (finite) ...
2
votes
1answer
22 views

Action via automorphism

I want to ask what does it mean to say a group $A$ acts on $N$ via automorphisms. It is a notion used in M.Isaacs book and I am not familiar with. I tried to find how it is defined but a scanned e ...
1
vote
2answers
45 views

Showing a non-isomorphism of groups

I need to show that $\Bbb Z^*_8$ is not isomorphic to $\Bbb Z^*_{10}$. $\Bbb Z^*_n$ means integers up to $n$ coprime with $n$ I do not know how to do this. I have difficulties doing proofs ...
1
vote
1answer
17 views

Finding all permutations which satisfy given condition

In a symmetric group $S_n$ find number of permutations $P$ such that in the disjoint cycle decomposition of $P$ , length of cycle containing $1$ is $k$ . Here's my attempt at this . I found number of ...
1
vote
1answer
65 views

The set of isomorphisms from a right coset of the automorphism group $Aut(X)$ in $S_n$.

From "Lecture Notes in Computer Science" by Christoph M. Hoffmann , on page 22- Theorem 4 Let $X$ and $X'$ be two isomorphic graphs with vertex set $V = \{1 ..... n\}$ , Then the set of ...
1
vote
2answers
28 views

Which one of the below options is correct?

I think the option $(Q)$ is true since $O(Q/\{-1,1\})= 8/2 = 4 = 2^2$. Since order is $p^2$ thus $(Q)$ option is true. Can anyone suggest about option $(P)$? Thanks
0
votes
1answer
32 views

Which of the following are isomorphic?

I am a beginning learner of group theory. Which of the following are isomorphic:$$\mathbb{Z_{24}}, D_{4}\times \mathbb{Z_{3}},A_{4}\times \mathbb{Z_{2}},\mathbb{Z_{2}}\times D_{6}, ...
1
vote
1answer
41 views

Prove that $g\in P$

Let $G$ be a finite group and $P$ a Sylow $2$-subgroup. If $g$ is an element of $G$ with order a power of $2$ then it lies in some conjugate of $P$. I get this. But if also $g\in C_G(P)$, then it is ...
1
vote
1answer
39 views

Expressing $z\in G$ as $z=gh^2$ where $g$ is a $2$-element and $|h|$ is odd

Let $z\in G$ where $G$ is a finite group, then is it always true that there exist elements $g,h\in G$ such that $z=gh^2$ where $|g|=2^k$ for $k \in \Bbb{Z_{\ge0}}$ and $|h|$ is odd?
1
vote
0answers
24 views

Does the order of a finite group divide the product of degrees of a system of parameters of the invariant algebra?

Let $V$ be a vector space of dimension $n$ over a finite field $\mathbb{F}$, and let $G$ be a subgroup of the finite group $\operatorname{GL}(V)$. Then $G$ acts on the graded algebra $\mathbb{F}(V)$ ...
0
votes
1answer
22 views

Several true/false statements about a finite group $a,g\in G$ such that $a$ is of order $2$

Let $G$ be a finite group, and $a,g\in G$ such that $a$ is of order $2$, then the following is either true or false: The element $gag^{-1}$ is of order $2$. $(ag)^2=g^2$ if $ag$ is of ...
1
vote
2answers
14 views

Multiplying elements of a multiplicative cyclic group

This is about correct operation in a multiplicative cyclic group. Say we have the group $\mathbb Z_4^{\times} = \{1,2,3\}$, if we multiply the elements, say $3\cdot 2\cdot 2 $ we get $12 \mod 4 = 0$ ...
1
vote
1answer
37 views

Characteristic subgroups of order $2$

Could anybody give an example of a finite abelian $2$-group with more than one characteristic subgroup of order $2$ ? (In other words, a finite abelian $2$-group $G$ with a Klein subgroup $V$ such ...
1
vote
0answers
29 views

Estimate the number of “solvable” polynomials with degree $d$ and coefficient limit $l$

Enumerate the irreducible polynomials with degree $d$ and integer coefficients $[-l,l]$ and check how many of them have a solvable galois-group. We can assume that the leading coefficient of the ...
1
vote
3answers
60 views

$G$ is a finite group, if $m\in \mathbb N$ such that $g^m=1$ for all $g\in G$, then $m=n$.

Prove / disprove: Let $G$ be a finite group of order $n$, if $m\in \mathbb N$ such that $g^m=1$ for all $g\in G$, then $m=n$. I can't find a group that will satisfy this condition so I think it's ...
1
vote
1answer
19 views

Semidirect product when the action factors

Suppose I am forming a semidirect product of finite groups $G \rtimes_\theta A$. Here, $\theta : A \to \mathrm{Aut}(G)$ is a homomorphism. Now, suppose I notice that the homomorphism $\theta$ factors ...
1
vote
0answers
41 views

Why is $M_{21}\cong PSL_3(\mathbb{F}_4)$?

I have recently been reading about the Large Mathieu Groups in "The Finite Simple Groups" by Robert Wilson and I have not come across any explanation of this isomorphism as of yet. In this context, ...
6
votes
3answers
59 views

$H$ be a proper subgroup of finite group $G$ such that $H \cap gHg^{-1}=\{e\} , \forall g \in G \setminus H$ , then $|\cup gHg^{-1}|>\dfrac 12 |G|+1$

Let $H$ be a proper subgroup of finite group $G$ such that $H \cap gHg^{-1}=\{e\}$ for all $g \in G \setminus H$. Then is it true that $$|\cup_{g \in G \setminus H}gHg^{-1}|>\dfrac 12 |G|+1$$ If ...