Mfcttrf

What publication claimed that Michael Jackson died in a nuclear holocaust?

Is plausible to have subspecies with & without separate sexes?

How do I type a hyphen in iOS 12?

Why is it bad to use your whole foot in rock climbing

Why do (or did, until very recently) aircraft transponders wait to be interrogated before broadcasting beacon signals?

I am caught when I was about to steal some candies

What do I need to do, tax-wise, for a sudden windfall?

Is it a good security practice to force employees hide their employer to avoid being targeted?

Boss making me feel guilty for leaving the company at the end of my internship

Can an open source licence be revoked if it violates employer's IP?

Is time complexity more important than space complexity?

In The Incredibles 2, why does Screenslaver's name use a pun on something that doesn't exist in the 1950s pastiche?

What does this line mean in Zelazny's The Courts of Chaos?

How (un)safe is it to ride barefoot?

ISP is not hashing the password I log in with online. Should I take any action?

Idiom for 'person who gets violent when drunk"

usage of mir gefallen

Harley Davidson clattering noise from engine, backfire and failure to start

Is fission/fusion to iron the most efficient way to convert mass to energy?

In American Politics, why is the Justice Department under the President?

Print "N NE E SE S SW W NW"

What's the relation between у.е. to USD?

Simple log rotation script

Is the first of the 10 Commandments considered a mitzvah?

Can we decompose every group element to elements of order 2? (using Cayley's theorem to identificate the group with permutations)

Finding the number of elements of order two in the symmetric group $S_4$Explicit isomorphism $S_4/V_4$ and $S_3$Group of order 24 with no element of order 6 is isomorphic to $S_4$Isomorphism problem involving the Symmetric GroupElementary Applications of Cayley's Theorem in Group TheoryAutomorphism on $S_n$ sends given k-transposition to a transpositionIf a subgroup of $G$ can be described as a set of permutations with certain cycle types, is it normal in $G$?Writing every element of $S_n$ as a product of permutations of order 2No homomorphism from $Z_16oplus Z_2$ onto $Z_4oplus Z_4$.Number of elements in the symmetric group with a particular transposition decomposition

3

$begingroup$

I am struggling with this:

We know that every finite group $G$ is isomorphic to a subgroup of some symmetric group $S_n$ (Cayley's theorem).

But in the symmetric group $S_n$, every element - permutation can be written as a product of transpositions (cycles of length 2).

Order of a transposition is $2$. (For transposition $pi$ this means $pi ^2 = id$ = identity.)

So every element of the group $G$ can be written as a product of elements $a in G$ with order $2$ ($a^2 = 1$).

But this obviously can not hold as for example a cyclic group with an odd number of elements has no other element but $1$ for which it would be $a^2 = 1$.

Where is the mistake?

Isomorphism preserves the order of elements because it is injective.

EDIT:

I imagine something like this:
$G = mathbbZ_4 = 0, 1, 2, 3$

We hava a homomorphism $Phi: mathbbZ_4 rightarrow S_4$

(We get it using Cayly's theorem)
$Phi (0) = id$
$Phi (1) = (0123)$ that can be rewritten as $(03)(02)(12)$
$Phi (2) = (02)(13)$
$Phi (3) = (0321)$ that can be rewritten as $(13)(23)(01)$

$Phi$ is isomorphism on its image as it is already injective.

Now we have an isomorphism $Psi$ between $mathbbZ_4$ and $id, (03)(02)(12), (02)(13), (13)(23)(01)$, which is a subgroup of $S_4$.

$Psi ((02)(13)) = Psi ((02)) cdot Psi ((13))$
$Psi ((02)) $ and $ Psi ((13)) $ have the order $2$. So we have written $2 = Psi ((02)(13))$ as the product of two elements with order $2$.

F or $1 = Psi ((03)(02)(12)) = Psi ((03)) Psi ((02)) Psi ((12))$
Now it looks like we have written $1 in mathbbZ_4$ as the product of three alements of order $2$.

abstract-algebra group-theory finite-groups permutations

share|cite|improve this question

edited 7 hours ago

Coupeau

asked 8 hours ago

CoupeauCoupeau

1909

$endgroup$

• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  I would recommend $A_3$ as an example to understand what is going on.
  $endgroup$
  – Thomas Shelby
  8 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  the order of a transposition may be two, but what is the order of (12)(13)?
  $endgroup$
  – graeme
  8 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  @graeme Yes, it is not $2$, but... Let $Phi$ be the isomorphism from $G$ to some subgroup $H leq S_n$. Isn't it then that $Phi ((12)(13)) = Phi ((12)) cdot Phi ((13))$ And order of $Phi ((12))$ is the same as of $(12)$, which is $2$? And the same for $Phi ((13))$
  $endgroup$
  – Coupeau
  7 hours ago
  
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  Maybe $(12)$ is not in $H$ so $Phi((12))$ is not defined
  $endgroup$
  – J. W. Tanner
  7 hours ago
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Even if it was defined, it is not true. Elements of order $k$ are sent to elements of order $k$ by isomorphisms. (12)(13) does not have order 2, it has order 3, since it is equal to (1 3 2). I suggest you do some calculations on your own to convince yourself of this fact.
  $endgroup$
  – graeme
  7 hours ago
  
  

  
  
  
  

 | 
show 1 more comment

3

$begingroup$

I am struggling with this:

We know that every finite group $G$ is isomorphic to a subgroup of some symmetric group $S_n$ (Cayley's theorem).

But in the symmetric group $S_n$, every element - permutation can be written as a product of transpositions (cycles of length 2).

Order of a transposition is $2$. (For transposition $pi$ this means $pi ^2 = id$ = identity.)

So every element of the group $G$ can be written as a product of elements $a in G$ with order $2$ ($a^2 = 1$).

But this obviously can not hold as for example a cyclic group with an odd number of elements has no other element but $1$ for which it would be $a^2 = 1$.

Where is the mistake?

Isomorphism preserves the order of elements because it is injective.

EDIT:

I imagine something like this:
$G = mathbbZ_4 = 0, 1, 2, 3$

We hava a homomorphism $Phi: mathbbZ_4 rightarrow S_4$

(We get it using Cayly's theorem)
$Phi (0) = id$
$Phi (1) = (0123)$ that can be rewritten as $(03)(02)(12)$
$Phi (2) = (02)(13)$
$Phi (3) = (0321)$ that can be rewritten as $(13)(23)(01)$

$Phi$ is isomorphism on its image as it is already injective.

Now we have an isomorphism $Psi$ between $mathbbZ_4$ and $id, (03)(02)(12), (02)(13), (13)(23)(01)$, which is a subgroup of $S_4$.

$Psi ((02)(13)) = Psi ((02)) cdot Psi ((13))$
$Psi ((02)) $ and $ Psi ((13)) $ have the order $2$. So we have written $2 = Psi ((02)(13))$ as the product of two elements with order $2$.

F or $1 = Psi ((03)(02)(12)) = Psi ((03)) Psi ((02)) Psi ((12))$
Now it looks like we have written $1 in mathbbZ_4$ as the product of three alements of order $2$.

abstract-algebra group-theory finite-groups permutations

share|cite|improve this question

edited 7 hours ago

Coupeau

asked 8 hours ago

CoupeauCoupeau

1909

$endgroup$

• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  I would recommend $A_3$ as an example to understand what is going on.
  $endgroup$
  – Thomas Shelby
  8 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  the order of a transposition may be two, but what is the order of (12)(13)?
  $endgroup$
  – graeme
  8 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  @graeme Yes, it is not $2$, but... Let $Phi$ be the isomorphism from $G$ to some subgroup $H leq S_n$. Isn't it then that $Phi ((12)(13)) = Phi ((12)) cdot Phi ((13))$ And order of $Phi ((12))$ is the same as of $(12)$, which is $2$? And the same for $Phi ((13))$
  $endgroup$
  – Coupeau
  7 hours ago
  
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  Maybe $(12)$ is not in $H$ so $Phi((12))$ is not defined
  $endgroup$
  – J. W. Tanner
  7 hours ago
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Even if it was defined, it is not true. Elements of order $k$ are sent to elements of order $k$ by isomorphisms. (12)(13) does not have order 2, it has order 3, since it is equal to (1 3 2). I suggest you do some calculations on your own to convince yourself of this fact.
  $endgroup$
  – graeme
  7 hours ago
  
  

  
  
  
  

 | 
show 1 more comment

$begingroup$

I am struggling with this:

We know that every finite group $G$ is isomorphic to a subgroup of some symmetric group $S_n$ (Cayley's theorem).

But in the symmetric group $S_n$, every element - permutation can be written as a product of transpositions (cycles of length 2).

Order of a transposition is $2$. (For transposition $pi$ this means $pi ^2 = id$ = identity.)

So every element of the group $G$ can be written as a product of elements $a in G$ with order $2$ ($a^2 = 1$).

But this obviously can not hold as for example a cyclic group with an odd number of elements has no other element but $1$ for which it would be $a^2 = 1$.

Where is the mistake?

Isomorphism preserves the order of elements because it is injective.

EDIT:

I imagine something like this:
$G = mathbbZ_4 = 0, 1, 2, 3$

We hava a homomorphism $Phi: mathbbZ_4 rightarrow S_4$

(We get it using Cayly's theorem)
$Phi (0) = id$
$Phi (1) = (0123)$ that can be rewritten as $(03)(02)(12)$
$Phi (2) = (02)(13)$
$Phi (3) = (0321)$ that can be rewritten as $(13)(23)(01)$

$Phi$ is isomorphism on its image as it is already injective.

Now we have an isomorphism $Psi$ between $mathbbZ_4$ and $id, (03)(02)(12), (02)(13), (13)(23)(01)$, which is a subgroup of $S_4$.

$Psi ((02)(13)) = Psi ((02)) cdot Psi ((13))$
$Psi ((02)) $ and $ Psi ((13)) $ have the order $2$. So we have written $2 = Psi ((02)(13))$ as the product of two elements with order $2$.

F or $1 = Psi ((03)(02)(12)) = Psi ((03)) Psi ((02)) Psi ((12))$
Now it looks like we have written $1 in mathbbZ_4$ as the product of three alements of order $2$.

abstract-algebra group-theory finite-groups permutations

share|cite|improve this question

edited 7 hours ago

Coupeau

asked 8 hours ago

CoupeauCoupeau

1909

$endgroup$

share|cite|improve this question

edited 7 hours ago

Coupeau

asked 8 hours ago

CoupeauCoupeau

1909

share|cite|improve this question

edited 7 hours ago

Coupeau

asked 8 hours ago

CoupeauCoupeau

1909

asked 8 hours ago

CoupeauCoupeau

1909

asked 8 hours ago

CoupeauCoupeau

1909

2 Answers
2

active

oldest

votes

7

$begingroup$

Every finite group is isomorphic to a subgroup of some $S_n$,

but the transpositions in $S_n$ are not necessarily in that subgroup.

share|cite|improve this answer

answered 8 hours ago

J. W. TannerJ. W. Tanner

7,8441723

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  We can rewrite any permutation from $S_n$ as a product of transpositions. So also every permutation from that subgroup that group $G$ is isomorphic to, is a product of transpositions. So, of elements with order $2$.
  $endgroup$
  – Coupeau
  8 hours ago
  
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  @Coupeau Still, those transpositions are $in S_n$, but not necessairly $in G$
  $endgroup$
  – Hagen von Eitzen
  8 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Yes, but there is an isomorphism, let's say $phi$ that maps them to elements from $G$. And isomorphism preserves the order of elements. I am missing something here but I do not really see what.
  $endgroup$
  – Coupeau
  7 hours ago
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  Yes, there is an isomorphism between $G$ and a subgroup of $S_n$ but it could be that the transpositions in $S_n$ are not involved in the isomorphism; i.e., there are no elements in $G$ corresponding to transpositions in $S_n,$ so there are no elements of order $2$ in $G$
  $endgroup$
  – J. W. Tanner
  7 hours ago
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  Oh okay. I think I understand now where is the problem. So I can not 'expand' $phi (x)$ to $ phi (ab)$ and then to $ phi (a) phi (b)$ if $a$ and $b$ are not in the domain of the function $phi$ even though $ab = x$. Thank you.
  $endgroup$
  – Coupeau
  6 hours ago
  

  
  
  
  

add a comment | 

2

$begingroup$

Here's an analogy: consider the group of even numbers under addition. Now, every even number can be described as the sum of two odd numbers. How is that possible when there are no odd numbers in the group?

Or consider the field of real numbers. Every real $x$ can be written as $i^4x$: how is that possible when $i not in Bbb R$?

share|cite|improve this answer

answered 8 hours ago

ThéophileThéophile

20.8k13047

$endgroup$

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%2f3258930%2fcan-we-decompose-every-group-element-to-elements-of-order-2-using-cayleys-the%23new-answer', 'question_page');

);

Post as a guest

Name

Email

Required, but never shown

7

$begingroup$

Every finite group is isomorphic to a subgroup of some $S_n$,

but the transpositions in $S_n$ are not necessarily in that subgroup.

share|cite|improve this answer

answered 8 hours ago

J. W. TannerJ. W. Tanner

7,8441723

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  We can rewrite any permutation from $S_n$ as a product of transpositions. So also every permutation from that subgroup that group $G$ is isomorphic to, is a product of transpositions. So, of elements with order $2$.
  $endgroup$
  – Coupeau
  8 hours ago
  
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  @Coupeau Still, those transpositions are $in S_n$, but not necessairly $in G$
  $endgroup$
  – Hagen von Eitzen
  8 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Yes, but there is an isomorphism, let's say $phi$ that maps them to elements from $G$. And isomorphism preserves the order of elements. I am missing something here but I do not really see what.
  $endgroup$
  – Coupeau
  7 hours ago
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  Yes, there is an isomorphism between $G$ and a subgroup of $S_n$ but it could be that the transpositions in $S_n$ are not involved in the isomorphism; i.e., there are no elements in $G$ corresponding to transpositions in $S_n,$ so there are no elements of order $2$ in $G$
  $endgroup$
  – J. W. Tanner
  7 hours ago
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  Oh okay. I think I understand now where is the problem. So I can not 'expand' $phi (x)$ to $ phi (ab)$ and then to $ phi (a) phi (b)$ if $a$ and $b$ are not in the domain of the function $phi$ even though $ab = x$. Thank you.
  $endgroup$
  – Coupeau
  6 hours ago
  

  
  
  
  

add a comment | 

7

$begingroup$

Every finite group is isomorphic to a subgroup of some $S_n$,

but the transpositions in $S_n$ are not necessarily in that subgroup.

share|cite|improve this answer

answered 8 hours ago

J. W. TannerJ. W. Tanner

7,8441723

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  We can rewrite any permutation from $S_n$ as a product of transpositions. So also every permutation from that subgroup that group $G$ is isomorphic to, is a product of transpositions. So, of elements with order $2$.
  $endgroup$
  – Coupeau
  8 hours ago
  
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  @Coupeau Still, those transpositions are $in S_n$, but not necessairly $in G$
  $endgroup$
  – Hagen von Eitzen
  8 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Yes, but there is an isomorphism, let's say $phi$ that maps them to elements from $G$. And isomorphism preserves the order of elements. I am missing something here but I do not really see what.
  $endgroup$
  – Coupeau
  7 hours ago
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  Yes, there is an isomorphism between $G$ and a subgroup of $S_n$ but it could be that the transpositions in $S_n$ are not involved in the isomorphism; i.e., there are no elements in $G$ corresponding to transpositions in $S_n,$ so there are no elements of order $2$ in $G$
  $endgroup$
  – J. W. Tanner
  7 hours ago
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  Oh okay. I think I understand now where is the problem. So I can not 'expand' $phi (x)$ to $ phi (ab)$ and then to $ phi (a) phi (b)$ if $a$ and $b$ are not in the domain of the function $phi$ even though $ab = x$. Thank you.
  $endgroup$
  – Coupeau
  6 hours ago
  

  
  
  
  

add a comment | 

$begingroup$

Every finite group is isomorphic to a subgroup of some $S_n$,

but the transpositions in $S_n$ are not necessarily in that subgroup.

share|cite|improve this answer

answered 8 hours ago

J. W. TannerJ. W. Tanner

7,8441723

$endgroup$

share|cite|improve this answer

answered 8 hours ago

J. W. TannerJ. W. Tanner

7,8441723

answered 8 hours ago

J. W. TannerJ. W. Tanner

7,8441723

answered 8 hours ago

J. W. TannerJ. W. Tanner

7,8441723

2

$begingroup$

Here's an analogy: consider the group of even numbers under addition. Now, every even number can be described as the sum of two odd numbers. How is that possible when there are no odd numbers in the group?

Or consider the field of real numbers. Every real $x$ can be written as $i^4x$: how is that possible when $i not in Bbb R$?

share|cite|improve this answer

answered 8 hours ago

ThéophileThéophile

20.8k13047

$endgroup$

add a comment | 

2

$begingroup$

Here's an analogy: consider the group of even numbers under addition. Now, every even number can be described as the sum of two odd numbers. How is that possible when there are no odd numbers in the group?

Or consider the field of real numbers. Every real $x$ can be written as $i^4x$: how is that possible when $i not in Bbb R$?

share|cite|improve this answer

answered 8 hours ago

ThéophileThéophile

20.8k13047

$endgroup$

add a comment | 

$begingroup$

Here's an analogy: consider the group of even numbers under addition. Now, every even number can be described as the sum of two odd numbers. How is that possible when there are no odd numbers in the group?

Or consider the field of real numbers. Every real $x$ can be written as $i^4x$: how is that possible when $i not in Bbb R$?

share|cite|improve this answer

answered 8 hours ago

ThéophileThéophile

20.8k13047

$endgroup$

share|cite|improve this answer

answered 8 hours ago

ThéophileThéophile

20.8k13047

answered 8 hours ago

ThéophileThéophile

20.8k13047

answered 8 hours ago

ThéophileThéophile

20.8k13047