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

Is a certain subgroup $S\leq G$ in the center of $G$, $S\leq Z(G)$?

All groups considered are finite. Let $A$ be a group such that $A=A'\left<x\right>$, where $A'$ is the commutator group and $\left<x\right>$ is cyclic of order $p\in\mathbb{P}$. How can I ...
2
votes
0answers
113 views

The matrix form of a representation of $S_3$.

I am going through some notes on group theory, and one problem states: Consider the three-dimensional representation of $S_3$ constructed as follows: Choose a basis $v_1,v_2,v_3$ of ...
2
votes
0answers
78 views

Partition of Symmetric Group

For symmetric group $S_n$, we need to find a collection of subgroups $G_i$'s such that union of these subgroups is the group $S_n$ and each subgroup found is isomorphic to direct product of cyclic ...
2
votes
0answers
62 views

On primitive groups with transitive subgroups of smaller degree

Let $G$ be primitive on $\Omega$ and $G_\Delta$ transitive on $\Omega-\Delta=\Gamma$. Let $1 < |\Gamma| \le \frac{1}{2}|\Omega|$. Then $G$ is triply transitive on $\Omega$. In addition, if ...
2
votes
0answers
68 views

What is the Weyl group of this group?

Let $G$ be the group $GL_{n_1}(q^{l_1})\times GL_{n_2}(q^{l_2})\times GL_{n_3}(q^{l_3})$. Here $GL_{n_1}(q^{l_1})$ is the rational points of $GL(n,\bar {\mathbf{F}}_q)$. My question iis what is the ...
2
votes
0answers
159 views

Class of $p$-supersolvable group is saturated formation.

I want to show that the class of $p$-supersolvable groups is a saturated formation. I only have the definition of $p$-supersolvable. What do I do? A group is $p$-supersolvable iff every chief factor ...
2
votes
0answers
119 views

trivial group actions V.s trivial homomorphisms ?!

this question is related to the semidirect product of groups , so let $H,K$ are groups. suppose , $f:K \rightarrow H$ is a homomorphism . so $H\rtimes_f K$ is a semidirect product . the ...
2
votes
0answers
96 views

Schmidt group and maximal subgroups

Let $G$ be a Schmidt group, a minimal non-nilpotent group, so that $G$ is not nilpotent, but every proper subgroup of $G$ is nilpotent. I want to prove $G$ has precisely two classes of maximal ...
2
votes
0answers
306 views

Characters of double groups

Problem: I want to do some calculations with the character projection operator to investigate the irreducible representations of wave functions. Until now, I did these calculations for simple ...
2
votes
0answers
70 views

Dihedral and quaternion groups as subgroups of SO(n), SU(n), Spin(n), SO(n)$\times$SO(n), SU(n)$\times$SU(n)

This is a very simple question on whether these three discrete groups $D_4$,$Q_8$,$(\mathbb{Z}_2)^3$ are subgroups of certain Lie groups. More precisely, given discrete groups below (a), (b), (c): ...
2
votes
0answers
166 views

Cardinality relation between subsets of a group

$G$ is an abelian group, $A$ and $B$ are non empty finite subsets of $G$. Set $A+B := \{a+b\mid a\in A, b\in B\}$ and $H := \mathrm{stab}(A+B)=\{g\in G \mid g+A+B = A+B\}$. Prove that $$ ...
2
votes
0answers
38 views

Separable elements of a finite abelian group

Let $\mathbf G$ be a finite abelian group, let $a, b \in \mathbf G$, and let $\langle a \rangle$ and $\langle b \rangle$ be the cyclic subgroups of $\mathbf G$ generated by $a$ and $b$ respectively. ...
2
votes
0answers
198 views

Element of a certain order in multiplicative group of residues

Let's say that $G$ is the multiplicative group of residues mod $p$, where $p$ is prime. I know that the order of an element $g \in G$ is the least $k$ for which $g^k \equiv 1 \mod{p}$. How can we go ...
2
votes
0answers
359 views

$G$ fin ab group, acts faithfully, transitively on $X$, then $|X|=|G|$

Let $G$ be a finite abelian group. Suppose that $G$ acts faithfully and transitively on a set $X$. Show that $|X|=|G|$. Deduce that the action is equivalent to the action of $G$ on itself by left ...
2
votes
0answers
120 views

Find the cycle index of cyclic group $C_p$ where $p$ is prime

Find the cycle index of cyclic group $C_p$ where $p$ is prime. No idea where to start...any help pointing me in the right direction would be appreciated.
2
votes
0answers
56 views

A problem about normalizers in $PSL(V)$

Let $K=\mathbb F_{p^k}$ a finite field, and $V$ a vector space on $K$. Clearly $PSL(V)=SL(V)/SL(V)\cap Z$ acts on $V$ by the following rule ($Z$ is the subgroup of the scalar functions): ...
2
votes
0answers
53 views

characteristic-$p$-type groups, and the Borel-Tits theorem for $PSL(V)$

If $G$ is a finite group and $F^*(G)$ is the generalized Fitting subgroup we say that $G$ has characteristic $p$ ($p$ is a prime that divides $|G|$) if $$F^*(G)=O_p(G)$$ Moreover $G$ is a ...
2
votes
0answers
102 views

Groups not arising from certain centralizers

There's a lot of fuss in certain subfields of algebraic topology about giving fancy interpretations to the rings coming from the cohomology of groups, where "cohomology" is allowed to be taken to be ...
2
votes
0answers
75 views

Group extension analysis

Let $\mathbb{Z}_p\lhd H\leq\text{AGL}(1,p),\mathbb{Z}_q\lhd K\leq\text{AGL}(1,q)$ with $p,q$ prime. Let $G=H.K$. Can one show that $G$ contains a normal subgroup of order $pq$? Note: Here $G=H.K$ ...
2
votes
0answers
124 views

Lie Theory in Finite Groups

Currently, I have interest in Finite groups. I also want to learn Lie Groups, Lie algebras, and their representations. But I do not have any motivation for it. Question What are simple but ...
2
votes
0answers
77 views

“unitary group” with respect to non-hermitian matrices?

the group $GU(n,q)$ is usually defined as the group of $n$ by $n$ matrices $X$ over $\mathbb{F}_{q^2}$ such that $X^H X=I_n$, where $I_n$ denotes the identity matrix and $^H$ the hermitian transpose ...
2
votes
0answers
439 views

How to find the number of orbits

In our lecture notes, i am confused on how to determined the number of orbits with the given permutations in S4. If i consider the permutation (12) . I can also rewrite it as cycle decomposi- tion and ...
2
votes
0answers
45 views

Invariants of parabolic subgroups

Let $G$ be a finite reflection group acting on $R^n$. Then for each point $x\in R^n$ we can look at its stabilizer $G_x$. Since $G$ is a finite reflection group, its ring of invariants is a polynomial ...
2
votes
0answers
47 views

Product of two squares in finite groups

Let $G$ be a finite group and $g$ an element of order $n$ in $G$. Assume that $g$ is a product of two squares. Moreover, assume that $n$ and $k$ are coprime. Prove that $g^k$ is also a product of two ...
2
votes
0answers
47 views

Maximal soluble subgroups in a parabolic subgroup of finite classical simple group

I'm new to algebaric groups, so please accept my apology in advance if I post crazy questions. Let $G$ be a classical simple group over a finite field $GF(q)$ and $P$ a parabolic subgroup of $G$ ...
2
votes
0answers
77 views

normal subgroup + Socle

I am looking for examples of socle and normal-subgroup relations. If $G=S_{4}$, the normal subgroups are $A_{4}$ and $V_{4}$, thus the socle of $G$ is the klein-four group, and for $A_{4} \cap Soc(G) ...
2
votes
0answers
235 views

Normal Sylow subgroups in a group of square free order

If $|G|=n$ with $n$ square free then there exists at least a normal Sylow subgroup? Any suggestion are welcome. Thanks.
2
votes
0answers
63 views

A bound for the exponent of the Schur multiplier of group G

Let $G$ be a finite group and $M(G)$ be the Schur multiplier of $G$. Show that the exponent $\exp(G)$ of $G$ divides the product of the exponents $\exp(M(S_p))$ of the Sylow $p$-subgroups $S_p$ of ...
2
votes
0answers
138 views

Automorphisms of a group and cyclic subgroups

I have the following question: Let $G$ be a group. And $A,B\leq G$ two cyclic subgroups with $|A|=|B|=n$. When does an Automorphism $\alpha\in\mathrm{Aut}(G)$ exists such that $\alpha(A)=B$? If ...
2
votes
0answers
78 views

Connection between: Expand a representation and dual representation

I worked the proof for 3) in this link out, but I have problems with the last step: Let $\sigma$ be a irred. representation of a normal subgroup $H=\langle z\rangle$ of $G$ and $\sigma'$ its dual ...
2
votes
0answers
78 views

Computing $\mathbb{C}[x,y]^G$ or $\mathbb{C}[x,y,z]^G$ where $G$ is a finite subgroup of $GL_n(\mathbb{C})$

My question is related to this link: Ring of Invariant $\mathbf{Question \;1}$. Let $$ A = \left( \begin{array}{cc} 0 & -1 \\ 1& 0 \\ \end{array} \right). $$ Then $C= \langle A\rangle$ ...
2
votes
0answers
56 views

Subgroups of semi-direct products arising from fixed-point-free actions

I am interested in subgroups of semidirect products arising from fixed-points-free actions. Suppose you have a group $A$ acting fixed-point-freely on a group $N$. Can we describe completely the ...
2
votes
0answers
37 views

$k[V]^G = \widetilde{A}$ where $\widetilde{A}$ is the normalization of $A$

Let $V$ be a finite dimensional vector space over $k =\overline{k}$ and let $G$ be a subgroup of $GL(V)$ so that $k[V]^G$ is finitely generated. Let $A$ be a subring of $k[V]^G$ that is finitely ...
2
votes
0answers
131 views

Structure of elementary abelian group by a cyclic group of coprime order

My mind is a little foggy right now, so I would like to ask for some help on this (or an appropriate reference). Suppose $A$ is an elementary abelian $p$-group and $B$ is a cyclic group of order ...
2
votes
0answers
150 views

Are there 16 or 24 automorphisms of $\mathbb{Z}/4\mathbb{Z}\times\mathbb{Z}/6\mathbb{Z}$?

In this question I said that the automorphism group of $\mathbb{Z}/4\mathbb{Z}\times\mathbb{Z}/6\mathbb{Z}$ has 16 elements because If $\varphi$ is one of this automorphism then ...
2
votes
0answers
85 views

radical layers equal socle layers

I've read that the radical layers of the group algebra $kP$ of a $p$-group $P$ coincides with the its socle layers (char $k = p$). What does this tell me about the structure of the group algebra or ...
2
votes
0answers
113 views

a question about elements of permutation groups

Let $n \in \mathbb{N}$ and let $S_n$ denote the permutation group on $n$ letters. I'm trying to figure out what kind of elements $\sigma, \delta \in S_n$ satisfy the following relations: ...
2
votes
0answers
218 views

Involution centralizer does not determine the group

Is there a finite group which is contained in infinitely many core-free finite groups as the centralizer of a central involution? The Brauer–Fowler results show that if a finite group has no ...
1
vote
0answers
20 views

$K, N < G$ and $|G:N|$ and $|K|$ coprime, then $K<N$. Group action argument?

A common exercise in finite group theory is Suppose $G$ is a finite group with $K < G$, $N \lhd G$. Suppose that $|K|$ and $|G : N|$ are coprime. Then $K < N$. The normal way to attack ...
1
vote
0answers
15 views

Supersolubility of $ G/H $ and $ H $ not deduced supersolubility of $ G $.

I want show $ S_{4} $ isn't supersoluble group. For this suppose $ 1 \leq B_{4} \leq A_{4} \leq S_{4} $ be a normal serie of $ S_{4} $, that $ B_{4} $ is Klein’s four-group. Since $ B_{4} $ isn't ...
1
vote
0answers
14 views

Difference between 1 (usual) and 1 bar of cayley table?

Why we write 1 as 1 bar in cayley table, instead of usual 1.
1
vote
0answers
20 views

Extension of group

Let $ p = 2 $, and Let $ H $ be a subgroup of a direct product of copies of $ S_{3} $. Why $ H $ is an extension of a $ 3 $-group by a $ 2 $-group, and $ H/O_{p^{\prime}}(H) $ is a $ 2 $-group ?
1
vote
0answers
15 views

Number of sets containing m decomposable permutations of n objects.

Let $P_{m,n} = \{ \sigma_i \in S_n \}$ be a set containing $m$ arbitrary permutations of $n$ objects. Let $Q_{m,n} = \{\sigma_{ij} = \sigma_i^{-1}\sigma_j \mid \sigma_i, \sigma_j \in P_{m,n} \}$ be ...
1
vote
0answers
22 views

problem in understanding some part of proof of theorem

In proof of theorem: for every finite non abelian p-group $G$ of class 2 there is utter automorphism of calss 2 fixing $\Phi(G)$ by counterexample,If we know 1. $G'=\langle[a,b]\rangle$ 2. $H=\langle ...
1
vote
0answers
26 views

Is there a good way to break down the order of the centraliser in a symmetric group?

I recently rediscovered the rather nice formula for the order of the centraliser of a permutation in the symmetric group and its realtionship with conjugacy classes. I wondered whether we could say ...
1
vote
0answers
21 views

minimal normal subgroup of a chief factor of soluble group $ G $ is a minimal normal normal subgroup of $ G $?

Let $ G $ is a soluble group and $ \Phi(G) $. Let $ K/L $ be a chief factor of $ G $. Let $ M $ be the smallest normal subgroup of $ K $ such that $ K/M $ is nilpotent and $ M \neq 1 $. assume $ M/N $ ...
1
vote
0answers
27 views

$ G = MC $ for some cyclic subgroup $ C $. If $ \vert G : M \vert = 4 $ then why $ G \cong S_{4} $?

Let $ M $ is a maximal subgroup of finite group $ G $, that $ G = MC $ for some cyclic subgroup $ C $. If $ \vert G : M \vert = 4 $ and $ M_{G} = 1 $ then why $ G\cong S_{4} $?
1
vote
0answers
60 views

A question about semidirect product

When we consider the classification of the group G by semidirect product, we need to consider all the homomorphisms from K to Aut(H), Where G=HK and H$\unlhd$G,H$\bigcap$K=1 But by the theorem: ...
1
vote
0answers
22 views

Calculation of Fixed point set

Let $p,q$ be two distinct primes and let $G_p$ and $G_q$ be nontrivial $p$-group and $q$-group respectively. Let $G = G_p \rtimes G_q$. Embed $G_q \subset U(n_1), G \subset U(n) $ where $U(n_1), ...
1
vote
0answers
47 views

Number of conjugacy classes of nonabelian group of order $pq$.

The problem asks to show that a nonabelian group of order $pq$ has $p+\frac{q-1}{p}$ conjugacy classes. I have shown a. $p$ divides $q-1$, b. $|Z(G)| = 1$, Now I'm using the class equation to ...