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
1answer
21 views

Cayley graphs of groups

(Directed & undirected) Cayley graphs of groups have been studied a lot in the literature. I would like to know the answer to the following questions. Please give your valuable suggestions. Is ...
6
votes
1answer
54 views

Norm $\Vert \cdot \Vert$ on the symmetric group $S_n$

If we define a real valued function $\Vert \cdot \Vert$ on the $n^{th}$ order symmetric group $S_n$ satisfying following conditions $$\begin{align} & \|x\|=0\iff x=\omega\,\,\,(\text{identity ...
1
vote
0answers
20 views

Set stabilizer of subset vs. set stabilizer of inverse subset

Let $G$ be a finite group and $A\subseteq G$ a subset. The left regular action of $G$ on itself induces a natural action on the powerset of $G$: $$G\times 2^G\rightarrow 2^G,(g,A)\longmapsto ...
1
vote
2answers
62 views

The relationship between subfields and subgroups of a finite field.

I am trying to get my head around the structure $GF(p^n)$ when viewed as a vector space of dimension $n$ over $GF(p)$ (mainly the relationship between the additive and multiplicative structures). I'm ...
0
votes
3answers
40 views

order and cycles of perfect shuffle of 52 cards

This is the shuffle: $$1,2,\cdots,52$$ is turned into $$1,27,2,28,\cdots,26,52$$ when I try to write the cycles of this shuffle, I get a LOT of cycles, for example: $$(2\ 3)(27 \ 2)(26\ ...
1
vote
4answers
49 views

How to show that the cycle $(2 5) = (2 3) (3 4) (4 5) (4 3) (3 2)$

I generally do not have any problem multiplying cycles, but I've seen on Wikipedia that $$(2 5) = (2 3) (3 4) (4 5) (4 3) (3 2). $$ I started following the path of $2$ on the right: ...
2
votes
1answer
59 views

Prove that for a group with even order $2k$, there is a subgroup $K$ with order $k$

I'm trying to understand the proof my teacher did: Consider a subgroup $H$ of $G$. If $H$ is not contained in $A_n$, then we can say that there exists at least one permutation in $H$ that is odd ...
1
vote
2answers
45 views

How to solve conjugation equations in group theory

Given the permutations $(12)(34)$ and $(56)(13)$ find $a$ such that $$a^{-1}xa = y$$ I just realized that I don't know how to solve this exercise. My book don't even give examples of how to solve ...
3
votes
3answers
77 views

What does it means to multiply a permutation by a cycle? $\pi(x_1\cdots x_n)\pi^{-1}=(\pi(x_1)\cdots\pi(x_n))$

I have to prove that $$\pi(x_1\cdots x_n)\pi^{-1}=(\pi(x_1)\cdots\pi(x_n))$$ but I can't understand what this means. My book doesn't defines what a permutation and cycle product would be. So, for ...
1
vote
0answers
53 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: ...
0
votes
0answers
17 views

What are the character functions of $\mathbb{Z}_N \times \mathbb{Z}_N$ ?

$\mathbb{Z}_N \times \mathbb{Z}_N$ is an Abelian group which I can think of to consist of all tuples of the form $(\omega ^a, \omega^b)$ where $0 \leq a,b \leq (N-1)$ and $\omega = e^{ \frac{2 \pi i ...
12
votes
2answers
201 views

Why this $\sigma \pi \sigma^{-1}$ keeps apearing in my group theory book? (cycle decomposition)

I'm studying cycle decomposition in group theory. The exercises on my book keep saying things like: Find a permutation $\sigma$ such that $\sigma (123) \sigma^{-1} = (456)$ Prove that there is no ...
0
votes
2answers
44 views

Prove that there is no permutation $\gamma$ such that $\gamma (1 2) \gamma^{-1} = (1 2 3)$

I need to prove that there is no $\gamma$ such that: $$\gamma (1 2) \gamma^{-1} = (1 2 3)$$ First of all, I'll try to write $\gamma$ in a generic way: $$\gamma = (a b c) \implies \gamma^{-1} = ...
1
vote
1answer
29 views

Can two representations with different dimensions be isomorphic?

For a finite group G and two irreducible representations, with different dimensions. How would I show that they can not be isomorphic?
1
vote
2answers
48 views

Composition series and its number determine a group?

By Jordan-Holder thm, it is known that every finite group has a unique composition series.(Here, unique means that there is only one kinds of such series.) And it is known also that composition ...
3
votes
2answers
35 views

Elements of $S_n$ which can not be product of $\leq n-2$ transpositions

It is well known that every element of $S_n$ can be written as a product of at most $n-1$ transpositions. This theorem is proved in all the books which discuss the permutation groups. But, I find that ...
4
votes
2answers
32 views

About the elements of a finite subgroup of $\mathrm{GL}(\mathbb{R}^{n})$

Let $G$ be a finite subgroup of $\mathrm{GL}(\mathbb{R}^{n})$. I would like to prove that for every $g \in G$, $\det(g) \in \lbrace -1,1 \rbrace$. Here are my ideas : since $G$ is a finite subgroup ...
1
vote
0answers
21 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
2answers
54 views

If $G = S_5$ and $H = \{g \in G \mid g^{5} = e\}$ how could I determine and prove whether or not $H$ is a subgroup of $G$?

I think that the this group contains the 5 element cycles and the identity e but overall I'm not sure how to prove that the product of the 2 members of H is also a 5 cycle or e.
2
votes
2answers
31 views

Homomorphism with intersection of all Sylow p-subgroups as kernel?

Does anyone know of a homomorphism from a group $G$ to another group with kernel as the intersection of all Sylow $p$-subgroups? I was trying to prove that the intersection of Sylow subgroups is ...
0
votes
2answers
66 views

Automorphism of $D_6$

I need find an explicit way to express the group $Aut(D_6)$, and I have not idea how write this group, maybe this is an semidirec product of some groups but I don´t see this. thanks.
1
vote
0answers
27 views
+50

Hypercenter is the intersection of normalizers of Sylow subgroups.

I'm trying to prove that the intersection of the normalizers of the Sylow subgroups of a [finite] group $G$ is equal to its hypercenter, i.e., $$Z_\infty(G)=\bigcap\limits_{S\in ...
1
vote
2answers
41 views

Generators in group $Z^*_{p}$

show that $g=2$ is a generator of group $Z^*_{19}$ Can anyone explain me how i can show in this example and generally that an element is a generator in a group?
2
votes
1answer
37 views

$G$ be a group of order $p^n$ and $H$ be any subgroup of $G$; then does there exist $x \in G\setminus H$ , such that $xH=Hx$?

Let $G$ be a group of order $p^n$ , where $p$ is a prime and $n \in\mathbb N$ and $H$ be any subgroup of $G$; then does there exist $x \in G\setminus H$ , such that $xH=Hx$ ?
2
votes
1answer
36 views

On the number of Sylow subgroups in Symmetric Group

If $G$ is a finite group, and $P$ is a Sylow-$p$ subgroup of $G$, then the number of Sylow-$p$ subgroups in $G$ is at most $|G|/|P|$. In the Symmetric group $S_n$, the bound is attained only for ...
0
votes
0answers
12 views

A regarding of state vector

A state vector X for a four-state Markov chain is such that the system is four times as likely to be in state 3 as in 4, is not in state 2, and is in state 1 with probability 0.2. Find the state ...
2
votes
2answers
104 views

How to prove the group $G$ is abelian?

Question: Assume $G$ is a group of order $pq$, where $p$ and $q$ are primes (not necessarily distinct) with $p\leqslant q$. If $p$ does not divide $q-1$, then $G$ is Abelian. I know that if the ...
0
votes
1answer
31 views

A question about normal subgroups of nilpotent group

Assume G is a nilpotent group and to any n dividing $|G|$, if there is always a normal subgroup of G with order n?
5
votes
2answers
62 views

Show that $f$ is a homomorphism.

There is a group $G$ of order $p^3$, where $p>2$. Show that $f:G\rightarrow Z(G) $ with $f(x)=x^p$ is a homomorphism. My attempt: Case a): Suppose $|Z(G)|=p^3$. Then $G=Z(G)$, so $G$ is abelian, ...
-2
votes
1answer
49 views

topic between algebra and geometry [closed]

I have to do an exam on Differential Geometry and my teacher wants that I prepare a choosen topic, outside lectures program, that I will talk about at the oral part of the exam. I am interested in ...
1
vote
0answers
39 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 ...
1
vote
1answer
33 views

Let $ O_{p^{\prime}}(G/A) = T/A $, Why $ T \leq F $ and $ [A , T]=? $

Let $ G $ be a soluble group and $ A $ be a minimal normal subgroup of $ G $,where $ A $ is an elementary abelian group of prime power order. Let each chief factor of $ G/A $ has order $ 4 $ or a ...
0
votes
1answer
27 views

existence of a subgroup of a solvable group G of order d for any divisor d of |G|, with d<|G|^(1/2)

Let $G$ be a solvable group of order $n$ and $d<\sqrt{n}$ be any divisor of $n$. Is there any subgroup of $G$ of order $d$?
2
votes
0answers
27 views

Let $ F = VN $ that $ V \cap N = 1 $ . Let $ L = N_{G}(V) $. $ (\vert N \vert , \vert F/N \vert) = $?

Let $ G $ be a soluble group and $ A $ be a minimal normal subgroup of $ G $,where $ A $ is an elementary abelian group of prime power order. Let each chief factor of $ G/A $ has order $ 4 $ or a ...
-1
votes
0answers
30 views

A question about primitive idempotent of group algebra [closed]

How to prove: $e_j$ is primitive idempotent of group algebra $\cal{L}$ iff $\forall\ t\in \cal{L}\ $, $e_j^2=e_j$ and $e_j t e_j=\lambda_te_j$. Or in which book can I find the proof.
4
votes
1answer
37 views

Cubic Planar Graphs have $2^m-1$ Hamilton Cycles

I looked at the symmetric difference of hamilton cycle (HC) in cubic planar graphs and found that, together with the empty graph, they build a subgroup of the abelian group $\Omega$ of symmetric ...
0
votes
1answer
31 views

Let N = Fit(G). Why $ N = O_{p}(G) $ and $ A \leq Z(N) $?

Let $ G $ be a soluble group and $ A $ be a minimal normal subgroup of $ G $,where $ A $ is an elementary abelian group of prime power order. Let each chief factor of $ G/A $ has order $ 4 $ or a ...
4
votes
1answer
37 views

Presentations of the unity group

I have been told Bernhard Neumann wrote an article on how to concoct presentations of the trivial group $G=\{1_G\}$. I was curious to see examples of presentations of this simple group. I googled for ...
1
vote
4answers
48 views

Prove that the 4-group V is normal subgroup of $S_4$ by using isomorphism theorem

Prove that the 4-group V is normal subgroup of $S_4$ First, by using the multiplication table, I am able to prove that 4-group V is subgroup of $S_4$. But I face problem in proving that $\forall ...
0
votes
0answers
33 views

Let $ G $ is finite nilpotent group. can we say $ G $ is $ p $-supersoluble for any prime $ p $?

Let $ G $ is finite nilpotent group. Thus $ G $ is $ p $-nilpotent group for any prime $ p $. Now can we say $ G $ is $ p $-supersoluble for any prime $ p $?
-2
votes
0answers
19 views

Existence of groups with cyclic 2 Sylow subroups S o(S) = $2^k$

Given a number $2^k$, is there a finite group G whose 2 Sylow group is of order $2^k$ and is cyclic? The interest in this is that such groups have a characterization which applies in particular to ...
1
vote
2answers
43 views

Computing Factor Group step-by-step manually

I am reading Fraleigh's Abstract Algebra $\S$15 on factor group, Example #15.11: Compute factor group $(\mathbb Z_4 \times \mathbb Z_6) / \langle (2, 3)\rangle.$ The text gives a solution that ...
2
votes
0answers
54 views

Is there a simple proof of Frobenius's theorem using Sylow theory? [closed]

I ask because the proof I always stumble upon uses double induction and properties of the totient function. The statement of the theorem is: If $n$ divides the order of a finite group $G$, then ...
2
votes
0answers
12 views

Find the intertwiner of two equivalent group representations

Let $G$ be a finite group. Let $$\{A(g)\mid g \in G\} \text{ and }\ \ \ \{B(g) \mid g \in G\}$$ be two equivalent unitary matrix representations of $G$. How do I find a unitary intertwining matrix ...
0
votes
0answers
20 views

$ G $ is supersoluble if and only if every normal subgroup of $ G $ with index no more than 2 satisfies the maximal permutizer condition.

Permutizer of a subgroup $ H $ of $ G $ is defined to be the subgroup generated by all cyclic subgroups of $ G $ that permute with $ H $, i.e. $ \langle x\in G \vert \langle x \rangle H = H \langle ...
0
votes
1answer
24 views

Prove that if $H$ is a unique subgroup of order $|H|$ then $H$ is a characteristic subgroup.

Let $G$ be a group and $H\leq G$. $H$ is a unique subrgroup of order $|H|$. Prove that $H$ is a characteristic subgroup. I tried to show by contradiction that if $\phi (h)\not \in H$ then I can find ...
1
vote
0answers
22 views

$ G $ is satisfies the maximal permutizer condition if $ G $ is supersoluble?

Permutizer of a subgroup $ H $ of $ G $ is defined to be the subgroup generated by all cyclic subgroups of $ G $ that permute with $ H $, i.e. $ \langle x\in G \vert \langle x \rangle H = H \langle ...
1
vote
2answers
29 views

$H\subseteq G$, $N\triangleleft G$, and showing $|[G:N]|$ is a prime number

Let $G$ be a finite group and let $N\triangleleft G$ a normal subgroup. It is given that if $H\subseteq G$ such that $N\subseteq H\subseteq G$, then $H=N$ or $H=G$. Show that $|[G:N]|$ is a prime ...
6
votes
1answer
75 views

Does anyone know the Burnside Matrices?

For $G$ a fine group with conjugacy classes $C_1,\dots C_k$ we introduced the Burnside Matrices $A_r$ where $1<r<k$ with entries: $$A_r := \Big(\sqrt{\frac{|C_t|}{|C_s|}}a_{rst}\Big)_{1\leq ...