Otdfbt

Multi tool use

How can I test a shell script in a "safe environment" to avoid harm to my computer?

Extracting the parent, leaf, and extension from a valid path

Is it safe to keep the GPU on 100% utilization for a very long time?

What is more safe for browsing the web: PC or smartphone?

Why is the blank symbol not considered part of the input alphabet of a Turing machine?

Why did Gendry call himself Gendry Rivers?

My large rocket is still flipping over

Drug Testing and Prescribed Medications

Latex editor/compiler for Windows and Powerpoint

Make me a minimum magic sum

Good introductory book to type theory?

How does "politician" work as a job/career?

Does restarting the SQL Services (on the machine) clear the server cache (for things like query plans and statistics)?

Bash prompt takes only the first word of a hostname before the dot

How to make a kid's bike easier to pedal

What is the meaning of "matter" in physics?

Is throwing dice a stochastic or a deterministic process?

If an attacker targets a creature with the Sanctuary spell cast on them, but fails the Wisdom save, can they choose not to attack anyone else?

Searching for a sentence that I only know part of it using Google's operators

call() a function within its own context

Convert a huge txt-file into a dataset

What does the copyright in a dissertation protect exactly?

Why did Dr. Strange keep looking into the future after the snap?

HTML folder located within IOS Image file?

Normal subgroup of even order whose nontrivial elements form a single conjugacy class is abelian

Index of center $Z(G)$ is finite implies the number of elements of conjugacy class is finiteHow is number of conjugacy class related to the order of a group?Center of $G$ is trivial and $p$ divides the order of $G$, show that $G$ has a non-trivial conjugacy class whose order is prime to $p$Prove in two different ways-“If the centre of $G$ is of index $n$,prove that every conjugacy class has atmost $n$ elements .”Conjugacy class in subgroup of index 2Normal Group and Conjugacy ClassIf $n$ is odd, then there are exactly two conjugacy classes of n-cycles in $A_n$ each of which contains $(n - 1)!/2$ elements.Proof of map $varphi(gcdot a) = gG_a$ is a bijectionSuppose $bin O_a$, and $ain A$. Prove that $G_a$ and $G_b$ are isomorphic. Under what conditions are they actually equal?Partition of a conjugacy class to conjugacy classes of a normal subgroup

5

0

$begingroup$

Let $G$ be a finite group and let $Ntrianglelefteq G$, $2mid |N|$. If the non-trivial elements of $N$ form a single conjugacy class of $G$, prove that $N$ is abelian.

My Attempt

I tried to approach by using the Orbit-Stabilizer theorem as follows: let $ain N$ be given, by the Orbit-Stabilizer theorem (the action being $G$ acting on itself by conjugation), we have $$|G| = |O_a||G_a|,$$ where $O_a, G_a$ are the orbit and stabilizer of $a$, respectively.

By assumption, we then have $|G| = (|N|-1)|G_a|$ and we know that $|N|-1$ is odd. Then I am trying to argue that $Nsubseteq G_a$, which would prove that $N$ is abelian since the choice of $a$ is arbitrary. But I couldn't make the connection there.

Also, this approach may be totally wrong. But at the moment I couldn't see any other possible way of proving this.

Any help would be greatly appreciated. Thanks.

abstract-algebra group-theory

share|cite|improve this question

edited Apr 28 at 16:10

Matt Samuel

40k63870

asked Apr 28 at 15:46

mkmlpmkmlp

329313

$endgroup$

add a comment | 

5

0

$begingroup$

Let $G$ be a finite group and let $Ntrianglelefteq G$, $2mid |N|$. If the non-trivial elements of $N$ form a single conjugacy class of $G$, prove that $N$ is abelian.

My Attempt

I tried to approach by using the Orbit-Stabilizer theorem as follows: let $ain N$ be given, by the Orbit-Stabilizer theorem (the action being $G$ acting on itself by conjugation), we have $$|G| = |O_a||G_a|,$$ where $O_a, G_a$ are the orbit and stabilizer of $a$, respectively.

By assumption, we then have $|G| = (|N|-1)|G_a|$ and we know that $|N|-1$ is odd. Then I am trying to argue that $Nsubseteq G_a$, which would prove that $N$ is abelian since the choice of $a$ is arbitrary. But I couldn't make the connection there.

Also, this approach may be totally wrong. But at the moment I couldn't see any other possible way of proving this.

Any help would be greatly appreciated. Thanks.

abstract-algebra group-theory

share|cite|improve this question

edited Apr 28 at 16:10

Matt Samuel

40k63870

asked Apr 28 at 15:46

mkmlpmkmlp

329313

$endgroup$

add a comment | 

$begingroup$

Let $G$ be a finite group and let $Ntrianglelefteq G$, $2mid |N|$. If the non-trivial elements of $N$ form a single conjugacy class of $G$, prove that $N$ is abelian.

My Attempt

I tried to approach by using the Orbit-Stabilizer theorem as follows: let $ain N$ be given, by the Orbit-Stabilizer theorem (the action being $G$ acting on itself by conjugation), we have $$|G| = |O_a||G_a|,$$ where $O_a, G_a$ are the orbit and stabilizer of $a$, respectively.

By assumption, we then have $|G| = (|N|-1)|G_a|$ and we know that $|N|-1$ is odd. Then I am trying to argue that $Nsubseteq G_a$, which would prove that $N$ is abelian since the choice of $a$ is arbitrary. But I couldn't make the connection there.

Also, this approach may be totally wrong. But at the moment I couldn't see any other possible way of proving this.

Any help would be greatly appreciated. Thanks.

abstract-algebra group-theory

share|cite|improve this question

edited Apr 28 at 16:10

Matt Samuel

40k63870

asked Apr 28 at 15:46

mkmlpmkmlp

329313

$endgroup$

share|cite|improve this question

edited Apr 28 at 16:10

Matt Samuel

40k63870

asked Apr 28 at 15:46

mkmlpmkmlp

329313

share|cite|improve this question

edited Apr 28 at 16:10

Matt Samuel

40k63870

asked Apr 28 at 15:46

mkmlpmkmlp

329313

edited Apr 28 at 16:10

Matt Samuel

40k63870

edited Apr 28 at 16:10

Matt Samuel

40k63870

asked Apr 28 at 15:46

mkmlpmkmlp

329313

asked Apr 28 at 15:46

mkmlpmkmlp

329313

1 Answer
1

active

oldest

votes

8

$begingroup$

Well actually, by Cauchy's theorem, $N$ has an element of order $2$. By conjugacy it follows that every nonidentity element is of order $2$. It's a very common exercise that I'm sure you've done to show that if every nonidentity element of a group is of order $2$, then the group is abelian. This actually doesn't require the hypothesis that the subgroup is normal.

share|cite|improve this answer

answered Apr 28 at 16:09

Matt SamuelMatt Samuel

40k63870

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Really nice argument! Thanks a lot, Matt!
  $endgroup$
  – mkmlp
  Apr 28 at 16:19
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  @mkmlp No problem.
  $endgroup$
  – Matt Samuel
  Apr 28 at 16:20
  

  
  
  
  

add a comment | 

Your Answer

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%2f3205747%2fnormal-subgroup-of-even-order-whose-nontrivial-elements-form-a-single-conjugacy%23new-answer', 'question_page');

);

Post as a guest

Name

Email

Required, but never shown

8

$begingroup$

Well actually, by Cauchy's theorem, $N$ has an element of order $2$. By conjugacy it follows that every nonidentity element is of order $2$. It's a very common exercise that I'm sure you've done to show that if every nonidentity element of a group is of order $2$, then the group is abelian. This actually doesn't require the hypothesis that the subgroup is normal.

share|cite|improve this answer

answered Apr 28 at 16:09

Matt SamuelMatt Samuel

40k63870

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Really nice argument! Thanks a lot, Matt!
  $endgroup$
  – mkmlp
  Apr 28 at 16:19
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  @mkmlp No problem.
  $endgroup$
  – Matt Samuel
  Apr 28 at 16:20
  

  
  
  
  

add a comment | 

8

$begingroup$

Well actually, by Cauchy's theorem, $N$ has an element of order $2$. By conjugacy it follows that every nonidentity element is of order $2$. It's a very common exercise that I'm sure you've done to show that if every nonidentity element of a group is of order $2$, then the group is abelian. This actually doesn't require the hypothesis that the subgroup is normal.

share|cite|improve this answer

answered Apr 28 at 16:09

Matt SamuelMatt Samuel

40k63870

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Really nice argument! Thanks a lot, Matt!
  $endgroup$
  – mkmlp
  Apr 28 at 16:19
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  @mkmlp No problem.
  $endgroup$
  – Matt Samuel
  Apr 28 at 16:20
  

  
  
  
  

add a comment | 

$begingroup$

Well actually, by Cauchy's theorem, $N$ has an element of order $2$. By conjugacy it follows that every nonidentity element is of order $2$. It's a very common exercise that I'm sure you've done to show that if every nonidentity element of a group is of order $2$, then the group is abelian. This actually doesn't require the hypothesis that the subgroup is normal.

share|cite|improve this answer

answered Apr 28 at 16:09

Matt SamuelMatt Samuel

40k63870

$endgroup$

share|cite|improve this answer

answered Apr 28 at 16:09

Matt SamuelMatt Samuel

40k63870

answered Apr 28 at 16:09

Matt SamuelMatt Samuel

40k63870

answered Apr 28 at 16:09

Matt SamuelMatt Samuel

40k63870