Dtjytyk

What is the orbital boost acceleration of the ISS?

How to negotiate a patent idea for a raise?

Too soon for a plot twist?

Why is there an extra space when I type "ls" on the Desktop?

Increase the space between numerator and denominator

Why is my explanation wrong?

Is being socially reclusive okay for a graduate student?

Generating a list with duplicate entries

Is there a math expression equivalent to the conditional ternary operator?

Create chunks from an array

is cessation of perception and felling the Nibbana?

newcommand: Using one parameter as the default for the other

Rationale to prefer local variables over instance variables?

Why does this boat have a landing pad? (SpaceX's GO Searcher) Any plans for propulsive capsule landings?

Is "cogitate" an appropriate word for this?

Is every open circuit a capacitor?

Under what conditions would I NOT add my Proficiency Bonus to a Spell Attack Roll (or Saving Throw DC)?

Precision notation for voltmeters

SHA 256 Algorithm

How spaceships determine each other's mass in space?

What can I do if someone tampers with my SSH public key?

Has a sovereign Communist government ever run, and conceded loss, on a fair election?

Why aren't there more Gauls like Obelix?

How to make sure I'm assertive enough in contact with subordinates?

A $p$-group of order $p^n$ has a normal subgroup of order $p^k$ for each $0le k le n$

$p$-groups have normal subgroups of each ordernormal subgroup of a group $G$Let $G$ be a group of order $p^n$ where $p$ is a prime and $n in mathbb{N}$. Prove that exist normal subgroupsLet be $G$ a group if order $p^n$ where p is a prime and n a natural number. Prove that there exist normal subgroups…Groups with “few” subgroupsProve that : A group $G$ of order $p^n$ has normal subgroup of order $p^k$ , for all $0≤k≤n$Let $G$ be a group of order $p^4$ for $p$ prime. Prove that $G'$ is abelianEvery group of order $567$ has normal subgroup of order $27$.Prove that $G$ is finite and $|G|$ is prime.Prove that there exists subgroup of any order of any power of $p$ in a $p$-groupFor any finite group, there is a homomorphism whose image is simpleProve that a group of order 30 has at least three different normal subgroupsAny group of order $12$ must contain a normal Sylow subgroupShow that if $G$ is a group of order $168$ that has a normal subgroup of order $4$ , then $G$ has a normal subgroup of order $28$Group of order $|G|=pqr$, $p,q,r$ primes has a normal subgroup of orderA group of order $pqr$ (primes $p > q > r$) has a subgroup of order $qr$Every group of order $567$ has normal subgroup of order $27$.A group of order 2010 has a normal subgroup of order 5Prove that a group of order $24$ has a normal subgroup of order $4$ or $8$Order of an arbitrary (finite) product of subgroups $|N_1cdots N_k|$

28

14

$begingroup$

This is problem 3 from Hungerford's section about the Sylow theorems.

I have already read hints saying to use induction and that $p$-groups always have non-trivial centres, but I'm still confused. This is what I have so far:

Suppose $|G| = p^n$. For $k = 0$, ${e}$ is a normal subgroup of order $p^0$. Suppose $N_1, ..., N_k$ are normal subgroups of $G$ with orders as described (ie. $|N_i| = p^i$) and $k < n$.

$G/N_k$ is a $p$-group, so it has a non-trivial centre $C(G/N_k)$. $pi^{-1}(C(G/N_k))$ is a subgroup of $G$, where $pi : G to G/N_k$ is the quotient map. It is normal in $G$ because $pi$ is a homomorphism and $C(G/N_k)$ is a normal subgroup of $G/N_k$.

I know it contains $N_k$ and some stuff not in $N_k$, so it has to have order at least $p^{k+1}$, but I do not know how to argue it must be equal, or indeed if it even is equal.

abstract-algebra group-theory finite-groups p-groups

share|cite|improve this question

edited Nov 3 '13 at 17:38

user104986

asked Nov 3 '13 at 0:57

user104986user104986

20028

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Certainly you mean $k leq log_p(|G|)$.
  $endgroup$
  – Yassine Guerboussa
  Nov 3 '13 at 8:41
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  You are correct, I fixed it.
  $endgroup$
  – user104986
  Nov 3 '13 at 17:38
  

  
  
  
  

add a comment | 

28

14

$begingroup$

This is problem 3 from Hungerford's section about the Sylow theorems.

I have already read hints saying to use induction and that $p$-groups always have non-trivial centres, but I'm still confused. This is what I have so far:

Suppose $|G| = p^n$. For $k = 0$, ${e}$ is a normal subgroup of order $p^0$. Suppose $N_1, ..., N_k$ are normal subgroups of $G$ with orders as described (ie. $|N_i| = p^i$) and $k < n$.

$G/N_k$ is a $p$-group, so it has a non-trivial centre $C(G/N_k)$. $pi^{-1}(C(G/N_k))$ is a subgroup of $G$, where $pi : G to G/N_k$ is the quotient map. It is normal in $G$ because $pi$ is a homomorphism and $C(G/N_k)$ is a normal subgroup of $G/N_k$.

I know it contains $N_k$ and some stuff not in $N_k$, so it has to have order at least $p^{k+1}$, but I do not know how to argue it must be equal, or indeed if it even is equal.

abstract-algebra group-theory finite-groups p-groups

share|cite|improve this question

edited Nov 3 '13 at 17:38

user104986

asked Nov 3 '13 at 0:57

user104986user104986

20028

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Certainly you mean $k leq log_p(|G|)$.
  $endgroup$
  – Yassine Guerboussa
  Nov 3 '13 at 8:41
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  You are correct, I fixed it.
  $endgroup$
  – user104986
  Nov 3 '13 at 17:38
  

  
  
  
  

add a comment | 

$begingroup$

This is problem 3 from Hungerford's section about the Sylow theorems.

I have already read hints saying to use induction and that $p$-groups always have non-trivial centres, but I'm still confused. This is what I have so far:

Suppose $|G| = p^n$. For $k = 0$, ${e}$ is a normal subgroup of order $p^0$. Suppose $N_1, ..., N_k$ are normal subgroups of $G$ with orders as described (ie. $|N_i| = p^i$) and $k < n$.

$G/N_k$ is a $p$-group, so it has a non-trivial centre $C(G/N_k)$. $pi^{-1}(C(G/N_k))$ is a subgroup of $G$, where $pi : G to G/N_k$ is the quotient map. It is normal in $G$ because $pi$ is a homomorphism and $C(G/N_k)$ is a normal subgroup of $G/N_k$.

I know it contains $N_k$ and some stuff not in $N_k$, so it has to have order at least $p^{k+1}$, but I do not know how to argue it must be equal, or indeed if it even is equal.

abstract-algebra group-theory finite-groups p-groups

share|cite|improve this question

edited Nov 3 '13 at 17:38

user104986

asked Nov 3 '13 at 0:57

user104986user104986

20028

$endgroup$

share|cite|improve this question

edited Nov 3 '13 at 17:38

user104986

asked Nov 3 '13 at 0:57

user104986user104986

20028

share|cite|improve this question

edited Nov 3 '13 at 17:38

user104986

asked Nov 3 '13 at 0:57

user104986user104986

20028

asked Nov 3 '13 at 0:57

user104986user104986

20028

asked Nov 3 '13 at 0:57

user104986user104986

20028

1 Answer
1

active

oldest

votes

12

$begingroup$

Hint: Apply Cauchy's theorem to $C(G/N_k)$. This will give you a normal subgroup of $G$ of order $p^{k+1}$.

share|cite|improve this answer

answered Nov 3 '13 at 1:20

Ayman HouriehAyman Hourieh

31.2k466119

$endgroup$

add a comment | 

Your Answer

StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");

StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});

function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});


}
});

draft saved

draft discarded

Sign up or log in

StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});

Sign up using Google

Sign up using Facebook

Sign up using Email and Password

Post as a guest

Name

Email

Required, but never shown

StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f549635%2fa-p-group-of-order-pn-has-a-normal-subgroup-of-order-pk-for-each-0-le-k%23new-answer', 'question_page');
}
);

Post as a guest

Name

Email

Required, but never shown

12

$begingroup$

Hint: Apply Cauchy's theorem to $C(G/N_k)$. This will give you a normal subgroup of $G$ of order $p^{k+1}$.

share|cite|improve this answer

answered Nov 3 '13 at 1:20

Ayman HouriehAyman Hourieh

31.2k466119

$endgroup$

add a comment | 

12

$begingroup$

Hint: Apply Cauchy's theorem to $C(G/N_k)$. This will give you a normal subgroup of $G$ of order $p^{k+1}$.

share|cite|improve this answer

answered Nov 3 '13 at 1:20

Ayman HouriehAyman Hourieh

31.2k466119

$endgroup$

add a comment | 

$begingroup$

Hint: Apply Cauchy's theorem to $C(G/N_k)$. This will give you a normal subgroup of $G$ of order $p^{k+1}$.

share|cite|improve this answer

answered Nov 3 '13 at 1:20

Ayman HouriehAyman Hourieh

31.2k466119

$endgroup$

share|cite|improve this answer

answered Nov 3 '13 at 1:20

Ayman HouriehAyman Hourieh

31.2k466119

answered Nov 3 '13 at 1:20

Ayman HouriehAyman Hourieh

31.2k466119

answered Nov 3 '13 at 1:20

Ayman HouriehAyman Hourieh

31.2k466119