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
61 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
81 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
61 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
33 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
26 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
138 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
52 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
70 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
58 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
31 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
51 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
54 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
93 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
56 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
53 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
34 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
167 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
49 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
49 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
72 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
20 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
49 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}$. ...
4
votes
2answers
144 views

Is a finite group always a element-wise product of Sylow subgroups?

Let $G $ be a finite group, and let $ p_1, \ldots, p_n $ be the distinct primes dividing $|G|$. For each $i $, let $ P_i $ be a Sylow $ p_i $-subgroup of $ G $. I seem to recall a theorem saying $ ...
2
votes
1answer
20 views

Hopefully easy Lang-Steinberg computation: for Weyl elements

How do you write an element of the Weyl group as $g^{-1} F(g)$? For instance, let $G = \langle x_1(t), x_2(t), x_{-1}(t), x_{-2}(t) : t \in K \rangle$ where $K$ is an algebraically closed field ...
4
votes
1answer
70 views

Permutations: If I know $\alpha$ and the cycle structure of $\alpha\beta$, can I find $\gamma$ for which $\gamma\beta$ also has this cycle structure?

Suppose we have two permutations $\alpha$ and $\beta$ (of a set $S$ of size $|S|=n$), and I know $\alpha$ and the cycle structure of $\alpha\beta$. But I don't know $\beta$. Can I find a ...
1
vote
2answers
40 views

Operations in finite field $F_p$

If I have a finite field $F_p$, where $p$ is prime how can I define operations like $+, -, \times, / $? Can I just make: $$add: (a + b) \mod p$$ $$sub: (a-b) \mod p$$ $$mul: (a\times b) \mod p$$ ...
2
votes
1answer
55 views

Has a finite group, generated by $a,b$ always a relation of the form $1=a b a^{\alpha} b^{\beta}$?

Question as stated in the title: Has a finite group, generated by $a,b$ always a relation of the form $1=a b a^{\alpha} b^{\beta}$? If not, can you give me a counterexample? Thanks
1
vote
1answer
47 views

Show that $|Aut(G)|<n^{\log_2(n)}$ where $G$ is finite

Let $G$ be a finite group of order $n>1$. Show that $|Aut($G$)|<n^{\log_2(n)}$. The 'only' thing I know is the group of inner automorphisms is isomorphic to $G/Z(G)$ and by definition, ...
1
vote
0answers
40 views

Exact sequences of $1 \to A \to SO(N) \to B \to 1$, special orthogonal group

Inspired by the nice post and this, apart from SU(N), now I am particularly looking into the exact sequences of SO(N), but I will like to loosen the conditions of the previous post, Q1. $$1 \to A ...
7
votes
1answer
126 views

Prove: if $a,b\in G$ commute with probability $>5/8$, then $G$ is abelian

Suppose that $G$ is a finite group. If $P( ab=ba ) >5/8$, prove $G$ is abelian.
0
votes
2answers
45 views

Let $G=\mathbb Z_4 \times \mathbb Z_2$. Find all $H$ subgroups of $G$ of order 2, so that $G / H$ is cyclic.

Let $G=\mathbb Z_4 \times \mathbb Z_2$. Find all $H$ subgroups of $G$ of order 2, so that $G / H$ is cyclic. I tried going brute force, and realized there are 3 candidates: $H_1=\{(0,0), (2,0) \}$ ...
2
votes
0answers
51 views

Show $\exists x\in\mathbb{R}^2$ such that $g(x)\neq x$ for all $1\neq g\in G$ for a movement [closed]

Let $G\subset B_2$ ($B_n$ is a movement $\beta:\mathbb{R}^n\to\mathbb{R}^n$ which preserves the norm $||v-w||=||\beta v-\beta w||$ and is also bijective) a discrete subgroup (The subgroup ...
2
votes
1answer
26 views

Conjugacy classes of two element in a group with cyclic Sylow subgroup

Let $G$ be a finite group such that Sylow $p$-subgroup $G$ has order $p$. Let $x$ and $y$ be two elements of order $p$. Is true that $x$ and $y$ are conjugate in $G$?
1
vote
0answers
62 views

On subgroups of a finite abelian group

Let $G$ be a finite abelian group such that $G$ is of odd order or decomposition of the sylow 2-subgroups of $G$ there is at least two cyclic direct factors of maximal order. Then prove or disprove ...
0
votes
2answers
292 views

Total number of non isomorphic groups of order 122.

Let $G$ be group of order $122 = 61 \cdot 2 = p \cdot q$ , where $p < q$ are primes. I know that there exists a unique non abelian group of order $pq$ and one abelian non isomorphic group of order ...
3
votes
3answers
100 views

Show that number of solutions satisfying $x^5=e$ is a multiple of 4?

In a finite group, show that the number of nonidentity elements that satisfy the equation $x^5 = e$ is a multiple of 4. I think that besides $ x, x^2, x^3, x^4 $ also satisfies the given equation but ...
2
votes
1answer
49 views

Characterizing finite non-abelian groups in which every subgroup is abelian

How to prove: A non-abelian finite group in which every subgroup is abelian has order divisible by at most two primes.
2
votes
3answers
45 views

$SL(V)$ and $PSL(V)$ act $k$-transitively on the space of all $1$-dimensional subspaces.

A group $G$ acts $k$-transitive on some set $X$ if for every two $k$-tupels $(x_1, \ldots, x_k)$ and $(y_1, \ldots, y_k)$ there exists some $g \in G$ such that $$ g\cdot x_1 = y_1, \ldots, g\cdot ...
5
votes
1answer
61 views

Determining a group $G$ by looking at the number of homomorphisms $H\to G$

I read somewhere that, given a finite group $G$, its structure is completely determined from the knowledge of the values of $|\{H\to G\}|$ (the number of homomorphisms from $H$ to $G$) as $H$ varies ...
0
votes
1answer
35 views

Isomorphism of Groups (C.S.I.R)

Suppose $(F , +, .)$ is the finite Field with 9 elements. Let $G = (F , +)$ and H = (F \ {0}, .) denotes the underlying additive and multiplicative groups respectively, Then $ G \cong \mathbb Z_3 ...
3
votes
2answers
40 views

Index and normal subgroups

I want to show the following. For an infinite group G with only two normal subgroups (G and {e}) holds: There does not exist a non-trivial subgroup of G with finite index. I think i should prove ...
0
votes
2answers
47 views

Extension field on $\mathbb Q$

Pick the correct statements $\mathbb Q (\sqrt 2)$ and $\mathbb Q(i)$ are isomorphic as $\mathbb Q$ vector space. $\mathbb Q (\sqrt 2)$ and $\mathbb Q(i)$ are isomorphic as fielods. $Gal_{\mathbb ...
1
vote
1answer
55 views

2-Frobenius Groups of order 25920

A group $G$ is called a 2-Frobenius group if $G=ABC$, where $A$ and $AB$ are normal subgroups of $G$, $AB$ is a Frobenius group with kernel $A$ and complement $B$ and $BC$ is a Frobenius group with ...
0
votes
1answer
22 views

Conjugating a permutation

I am trying to see that two permutations are conjugate exactly when they have the same cycle decomposition. I fail to see that $$r(i_1,i_2,\dots,i_k)r^{−1}=(r(i_1),r(i_2),\dots,r(i_k))$$ Any thoughts ...
0
votes
1answer
30 views

Are augmented algebra maps of group algebras group homomorphisms?

Given a finite group $G$ and a field $k$, we can form the group algebra $kG$ with basis the elements of $G$. There is a natural augmentation $\varepsilon\colon G\to k$ that sends an element to the sum ...