On Solvable Sylow groups

Groups, Rings, Domains, Modules, etc, Galois theory
Post Reply
kotsos24919
Posts: 10
Joined: Mon May 30, 2016 9:19 pm

On Solvable Sylow groups

#1

Post by kotsos24919 »

Let $p, q$ be prime numbers such that $p<q$ and let $G$ be a group such that $\left| G \right| =pq$.
  1. Prove that there exists a unique subgroup $H$ such that $\left| H \right| = q$.
  2. Prove that $H$ is a normal subgroup of $G$.
  3. Examine if $G$ is a solvable group.
Papapetros Vaggelis
Community Team
Posts: 426
Joined: Mon Nov 09, 2015 1:52 pm

Re: On Solvable Sylow groups

#2

Post by Papapetros Vaggelis »

Hello.

i. Firstly, there exist \(\displaystyle{q}\) - Sylow subgroups of \(\displaystyle{G}\).

If \(\displaystyle{n_{q}}\) measures the \(\displaystyle{q}\) - Sylow subgroups of \(\displaystyle{G}\), then,

\(\displaystyle{n_{q}\equiv 1 mod(q)}\) and \(\displaystyle{n_q\mid p}\), so \(\displaystyle{n_q=1}\).

ii. We have that \(\displaystyle{[G:H]=p}\) and \(\displaystyle{p}\) is the smallest prime number

which divides \(\displaystyle{|G|=p\,q}\), so \(\displaystyle{H\triangleleft G}\).

iii. The answer is "YES" . Consider the solvable series

\(\displaystyle{\left\{e\right\}\triangleleft H\triangleleft G}\) and it holds

\(\displaystyle{H/\left\{e\right\}\cong H\cong \mathbb{Z}_{q}\,\,,G/H\cong \mathbb{Z}_{p}}\).
Post Reply

Create an account or sign in to join the discussion

You need to be a member in order to post a reply

Create an account

Not a member? register to join our community
Members can start their own topics & subscribe to topics
It’s free and only takes a minute

Register

Sign in

Who is online

Users browsing this forum: No registered users and 8 guests