The order of conjugate subgroups. The 2019 Stack Overflow Developer Survey Results Are InDoes the order, lattice of subgroups, and lattice of factor groups, uniquely determine a group up to isomorphism?Question involving Sylow theorems and characteristic subgroupsare all finite index subgroups automorphic to each other?Characteristic subgroups of order $2$how are group order and element order related?Order of an AutomorphismCharacteristic subgroups of normal subgroups are normalExplicit expressions of inner / outer automorphism of symplectic groupAny group automorphism can preserve some nontrivial subgroups if the group is non-abelianFind the order of $operatornameAut(G)$.
What is the closest word meaning "respect for time / mindful"
Why did Acorn's A3000 have red function keys?
Can someone be penalized for an "unlawful" act if no penalty is specified?
Why was M87 targetted for the Event Horizon Telescope instead of Sagittarius A*?
Falsification in Math vs Science
"as much details as you can remember"
What do hard-Brexiteers want with respect to the Irish border?
Can we generate random numbers using irrational numbers like π and e?
How to manage monthly salary
Are spiders unable to hurt humans, especially very small spiders?
When should I buy a clipper card after flying to OAK?
What is the accessibility of a package's `Private` context variables?
Did Scotland spend $250,000 for the slogan "Welcome to Scotland"?
How to answer pointed "are you quitting" questioning when I don't want them to suspect
Why didn't the Event Horizon Telescope team mention Sagittarius A*?
How to deal with speedster characters?
Output the Arecibo Message
Geography at the pixel level
What did it mean to "align" a radio?
Time travel alters history but people keep saying nothing's changed
Origin of "cooter" meaning "vagina"
If I score a critical hit on an 18 or higher, what are my chances of getting a critical hit if I roll 3d20?
What is the meaning of Triage in Cybersec world?
If a Druid sees an animal’s corpse, can they Wild Shape into that animal?
The order of conjugate subgroups.
The 2019 Stack Overflow Developer Survey Results Are InDoes the order, lattice of subgroups, and lattice of factor groups, uniquely determine a group up to isomorphism?Question involving Sylow theorems and characteristic subgroupsare all finite index subgroups automorphic to each other?Characteristic subgroups of order $2$how are group order and element order related?Order of an AutomorphismCharacteristic subgroups of normal subgroups are normalExplicit expressions of inner / outer automorphism of symplectic groupAny group automorphism can preserve some nontrivial subgroups if the group is non-abelianFind the order of $operatornameAut(G)$.
$begingroup$
Let $G$ be a group, and let $H$ be a subgroup of $G$.
Then, for any fixed $gin G$, i know that $Hcong gHg^-1$ by inner-automorphism.
I have some question about the 'order':
(1) Is it true that $|H|=|gHg^-1|$ if $|H|<infty$ or $|G:H|<infty$?
(2) If (1) is true, give some counterexample for the case that $|H|=infty$ or $|G:H|=infty$.
Thank you!
group-theory automorphism-group
$endgroup$
add a comment |
$begingroup$
Let $G$ be a group, and let $H$ be a subgroup of $G$.
Then, for any fixed $gin G$, i know that $Hcong gHg^-1$ by inner-automorphism.
I have some question about the 'order':
(1) Is it true that $|H|=|gHg^-1|$ if $|H|<infty$ or $|G:H|<infty$?
(2) If (1) is true, give some counterexample for the case that $|H|=infty$ or $|G:H|=infty$.
Thank you!
group-theory automorphism-group
$endgroup$
1
$begingroup$
It’s true that $|H|=|gHg^-1|$ always. Isomorphisms require a bijective underlying function, and a bijection establishes equality of cardinality.
$endgroup$
– Arturo Magidin
Apr 7 at 17:56
add a comment |
$begingroup$
Let $G$ be a group, and let $H$ be a subgroup of $G$.
Then, for any fixed $gin G$, i know that $Hcong gHg^-1$ by inner-automorphism.
I have some question about the 'order':
(1) Is it true that $|H|=|gHg^-1|$ if $|H|<infty$ or $|G:H|<infty$?
(2) If (1) is true, give some counterexample for the case that $|H|=infty$ or $|G:H|=infty$.
Thank you!
group-theory automorphism-group
$endgroup$
Let $G$ be a group, and let $H$ be a subgroup of $G$.
Then, for any fixed $gin G$, i know that $Hcong gHg^-1$ by inner-automorphism.
I have some question about the 'order':
(1) Is it true that $|H|=|gHg^-1|$ if $|H|<infty$ or $|G:H|<infty$?
(2) If (1) is true, give some counterexample for the case that $|H|=infty$ or $|G:H|=infty$.
Thank you!
group-theory automorphism-group
group-theory automorphism-group
asked Apr 7 at 17:53
PrimaveraPrimavera
32619
32619
1
$begingroup$
It’s true that $|H|=|gHg^-1|$ always. Isomorphisms require a bijective underlying function, and a bijection establishes equality of cardinality.
$endgroup$
– Arturo Magidin
Apr 7 at 17:56
add a comment |
1
$begingroup$
It’s true that $|H|=|gHg^-1|$ always. Isomorphisms require a bijective underlying function, and a bijection establishes equality of cardinality.
$endgroup$
– Arturo Magidin
Apr 7 at 17:56
1
1
$begingroup$
It’s true that $|H|=|gHg^-1|$ always. Isomorphisms require a bijective underlying function, and a bijection establishes equality of cardinality.
$endgroup$
– Arturo Magidin
Apr 7 at 17:56
$begingroup$
It’s true that $|H|=|gHg^-1|$ always. Isomorphisms require a bijective underlying function, and a bijection establishes equality of cardinality.
$endgroup$
– Arturo Magidin
Apr 7 at 17:56
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
There are three facts needed, here:
- Every group isomorphism is a bijection.
- Given two sets $A$ and $B,$ $A$ and $B$ are of equal cardinality if and only if there exists a bijection between them.
- The order of a group is the cardinality of the set of its elements.
Consequently, we will always have $|H|=left|gHg^-1right|.$
$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
);
);
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
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3178553%2fthe-order-of-conjugate-subgroups%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
There are three facts needed, here:
- Every group isomorphism is a bijection.
- Given two sets $A$ and $B,$ $A$ and $B$ are of equal cardinality if and only if there exists a bijection between them.
- The order of a group is the cardinality of the set of its elements.
Consequently, we will always have $|H|=left|gHg^-1right|.$
$endgroup$
add a comment |
$begingroup$
There are three facts needed, here:
- Every group isomorphism is a bijection.
- Given two sets $A$ and $B,$ $A$ and $B$ are of equal cardinality if and only if there exists a bijection between them.
- The order of a group is the cardinality of the set of its elements.
Consequently, we will always have $|H|=left|gHg^-1right|.$
$endgroup$
add a comment |
$begingroup$
There are three facts needed, here:
- Every group isomorphism is a bijection.
- Given two sets $A$ and $B,$ $A$ and $B$ are of equal cardinality if and only if there exists a bijection between them.
- The order of a group is the cardinality of the set of its elements.
Consequently, we will always have $|H|=left|gHg^-1right|.$
$endgroup$
There are three facts needed, here:
- Every group isomorphism is a bijection.
- Given two sets $A$ and $B,$ $A$ and $B$ are of equal cardinality if and only if there exists a bijection between them.
- The order of a group is the cardinality of the set of its elements.
Consequently, we will always have $|H|=left|gHg^-1right|.$
answered Apr 7 at 18:13
Cameron BuieCameron Buie
86.7k773161
86.7k773161
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
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
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3178553%2fthe-order-of-conjugate-subgroups%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
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
Required, but never shown
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
Required, but never shown
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
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
1
$begingroup$
It’s true that $|H|=|gHg^-1|$ always. Isomorphisms require a bijective underlying function, and a bijection establishes equality of cardinality.
$endgroup$
– Arturo Magidin
Apr 7 at 17:56