Is it true that an isomorphism maps elements of the same order to each other?
$begingroup$
I know that for two groups to be isomorphic each group must contain elements of the same order. So then are elements of the same order mapped to each other? If so, why?
abstract-algebra group-theory
$endgroup$
add a comment |
$begingroup$
I know that for two groups to be isomorphic each group must contain elements of the same order. So then are elements of the same order mapped to each other? If so, why?
abstract-algebra group-theory
$endgroup$
$begingroup$
One may start with $phi (a^p)=(phi(a))^p$.
$endgroup$
– Olivier Oloa
Nov 21 '16 at 20:44
$begingroup$
do you mean $phi(a^{p}) = (phi(a))^{p}$? If so then this proves it.
$endgroup$
– PiccolMan
Nov 21 '16 at 20:45
1
$begingroup$
One has $phi(e_1)=e_2$.
$endgroup$
– Olivier Oloa
Nov 21 '16 at 20:46
$begingroup$
Yes. Order is defined in terms of the language of group theory.
$endgroup$
– Alephnull
Nov 21 '16 at 21:11
add a comment |
$begingroup$
I know that for two groups to be isomorphic each group must contain elements of the same order. So then are elements of the same order mapped to each other? If so, why?
abstract-algebra group-theory
$endgroup$
I know that for two groups to be isomorphic each group must contain elements of the same order. So then are elements of the same order mapped to each other? If so, why?
abstract-algebra group-theory
abstract-algebra group-theory
asked Nov 21 '16 at 20:42
PiccolManPiccolMan
265110
265110
$begingroup$
One may start with $phi (a^p)=(phi(a))^p$.
$endgroup$
– Olivier Oloa
Nov 21 '16 at 20:44
$begingroup$
do you mean $phi(a^{p}) = (phi(a))^{p}$? If so then this proves it.
$endgroup$
– PiccolMan
Nov 21 '16 at 20:45
1
$begingroup$
One has $phi(e_1)=e_2$.
$endgroup$
– Olivier Oloa
Nov 21 '16 at 20:46
$begingroup$
Yes. Order is defined in terms of the language of group theory.
$endgroup$
– Alephnull
Nov 21 '16 at 21:11
add a comment |
$begingroup$
One may start with $phi (a^p)=(phi(a))^p$.
$endgroup$
– Olivier Oloa
Nov 21 '16 at 20:44
$begingroup$
do you mean $phi(a^{p}) = (phi(a))^{p}$? If so then this proves it.
$endgroup$
– PiccolMan
Nov 21 '16 at 20:45
1
$begingroup$
One has $phi(e_1)=e_2$.
$endgroup$
– Olivier Oloa
Nov 21 '16 at 20:46
$begingroup$
Yes. Order is defined in terms of the language of group theory.
$endgroup$
– Alephnull
Nov 21 '16 at 21:11
$begingroup$
One may start with $phi (a^p)=(phi(a))^p$.
$endgroup$
– Olivier Oloa
Nov 21 '16 at 20:44
$begingroup$
One may start with $phi (a^p)=(phi(a))^p$.
$endgroup$
– Olivier Oloa
Nov 21 '16 at 20:44
$begingroup$
do you mean $phi(a^{p}) = (phi(a))^{p}$? If so then this proves it.
$endgroup$
– PiccolMan
Nov 21 '16 at 20:45
$begingroup$
do you mean $phi(a^{p}) = (phi(a))^{p}$? If so then this proves it.
$endgroup$
– PiccolMan
Nov 21 '16 at 20:45
1
1
$begingroup$
One has $phi(e_1)=e_2$.
$endgroup$
– Olivier Oloa
Nov 21 '16 at 20:46
$begingroup$
One has $phi(e_1)=e_2$.
$endgroup$
– Olivier Oloa
Nov 21 '16 at 20:46
$begingroup$
Yes. Order is defined in terms of the language of group theory.
$endgroup$
– Alephnull
Nov 21 '16 at 21:11
$begingroup$
Yes. Order is defined in terms of the language of group theory.
$endgroup$
– Alephnull
Nov 21 '16 at 21:11
add a comment |
3 Answers
3
active
oldest
votes
$begingroup$
"Is it possible to have an element of infinite order in a finite group? I think not because then the group would not be closed." – PiccolMan
The order of any member of a finite group must have finite order. Let G be a group of order n and a member of G. Look at all a, $a^2$, "$a^3$", $a^4$, ..., $a^{n+1}$. Since there are only n different members of G, at two of those n+1 values must be the same. Suppose $a^i= a^j$ with i>j. Multiplying on both sides by $a^{-j}$, $a^ja^i= a^{i-j}= e$.
$endgroup$
add a comment |
$begingroup$
Yes,
because for isomorphism it must hold that $f( u times v) = u cdot v$.
If order of the element $a$ is $m$ then $a^m = e$
$f(a^m)= f(atimes a times dots times a) = f(a) cdot f(a) dots f(a)=f(a)^m=f(e) = e$
Since $f(a)^m = e$ the order of $f(a)$ is less than or equal to $m$. Let us say that the order of $f(a)$ is $k$, $k le m$
$f$ is an isomorphism, therefore the same argument holds for $f^{-1}$
$f^{-1}(f(a)^k)= f^{-1}(f(a) cdot f(a) dots f(a))=f^{-1}(f(a)) cdot f^{-1}(f(a)) dots f^{-1}(f(a)) = a cdot a dots a = a^k = f(e) = e$
$a^k=e$ therefore $k ge m$. But also $k le m$, so $k=m$
Note
$f(e) = e$ because $etimes e= e$ therefore $f(e)cdot f(e)= f(e)$. Therefore $f(e)$ must be the neutral element.
$endgroup$
$begingroup$
Is it possible to have an element of infinite order in a finite group? I think not because then the group would not be closed.
$endgroup$
– PiccolMan
Nov 21 '16 at 20:50
3
$begingroup$
Your argument shows that the order of $f(a)$ is less than or equal to $m$, not that it equals $m$.
$endgroup$
– Stahl
Nov 21 '16 at 20:54
$begingroup$
@PiccolMan it cannot. If you have a group that has $n$ elements, $a^i$ cannot be different for all $i in {1, dots n}$. Continue from there.
$endgroup$
– cubeception
Nov 21 '16 at 21:00
1
$begingroup$
@Stahl You are right, but since $f$ is isomorphism one can apply the same argument for $f^{-1}$. Correct?
$endgroup$
– cubeception
Nov 21 '16 at 21:01
add a comment |
$begingroup$
If a group $G$ contains an element of infinite order then $G$ has infinite order.
Proof: Let $a in G$ with $|a|=infty$. Consider the cyclic group generated by $a$ denoted $langle a rangle$. The order of a cyclic group is the order of a generator of that group, so $|langle a rangle|=|a|=infty$. Thus $langle a rangle$ has infinite order. And $langle a rangle$ is a subgroup of $G$, so we must have $|langle a rangle|<|G|$. $blacksquare$
$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%2f2024799%2fis-it-true-that-an-isomorphism-maps-elements-of-the-same-order-to-each-other%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
3 Answers
3
active
oldest
votes
3 Answers
3
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
"Is it possible to have an element of infinite order in a finite group? I think not because then the group would not be closed." – PiccolMan
The order of any member of a finite group must have finite order. Let G be a group of order n and a member of G. Look at all a, $a^2$, "$a^3$", $a^4$, ..., $a^{n+1}$. Since there are only n different members of G, at two of those n+1 values must be the same. Suppose $a^i= a^j$ with i>j. Multiplying on both sides by $a^{-j}$, $a^ja^i= a^{i-j}= e$.
$endgroup$
add a comment |
$begingroup$
"Is it possible to have an element of infinite order in a finite group? I think not because then the group would not be closed." – PiccolMan
The order of any member of a finite group must have finite order. Let G be a group of order n and a member of G. Look at all a, $a^2$, "$a^3$", $a^4$, ..., $a^{n+1}$. Since there are only n different members of G, at two of those n+1 values must be the same. Suppose $a^i= a^j$ with i>j. Multiplying on both sides by $a^{-j}$, $a^ja^i= a^{i-j}= e$.
$endgroup$
add a comment |
$begingroup$
"Is it possible to have an element of infinite order in a finite group? I think not because then the group would not be closed." – PiccolMan
The order of any member of a finite group must have finite order. Let G be a group of order n and a member of G. Look at all a, $a^2$, "$a^3$", $a^4$, ..., $a^{n+1}$. Since there are only n different members of G, at two of those n+1 values must be the same. Suppose $a^i= a^j$ with i>j. Multiplying on both sides by $a^{-j}$, $a^ja^i= a^{i-j}= e$.
$endgroup$
"Is it possible to have an element of infinite order in a finite group? I think not because then the group would not be closed." – PiccolMan
The order of any member of a finite group must have finite order. Let G be a group of order n and a member of G. Look at all a, $a^2$, "$a^3$", $a^4$, ..., $a^{n+1}$. Since there are only n different members of G, at two of those n+1 values must be the same. Suppose $a^i= a^j$ with i>j. Multiplying on both sides by $a^{-j}$, $a^ja^i= a^{i-j}= e$.
answered Nov 21 '16 at 21:10
user247327user247327
10.6k1515
10.6k1515
add a comment |
add a comment |
$begingroup$
Yes,
because for isomorphism it must hold that $f( u times v) = u cdot v$.
If order of the element $a$ is $m$ then $a^m = e$
$f(a^m)= f(atimes a times dots times a) = f(a) cdot f(a) dots f(a)=f(a)^m=f(e) = e$
Since $f(a)^m = e$ the order of $f(a)$ is less than or equal to $m$. Let us say that the order of $f(a)$ is $k$, $k le m$
$f$ is an isomorphism, therefore the same argument holds for $f^{-1}$
$f^{-1}(f(a)^k)= f^{-1}(f(a) cdot f(a) dots f(a))=f^{-1}(f(a)) cdot f^{-1}(f(a)) dots f^{-1}(f(a)) = a cdot a dots a = a^k = f(e) = e$
$a^k=e$ therefore $k ge m$. But also $k le m$, so $k=m$
Note
$f(e) = e$ because $etimes e= e$ therefore $f(e)cdot f(e)= f(e)$. Therefore $f(e)$ must be the neutral element.
$endgroup$
$begingroup$
Is it possible to have an element of infinite order in a finite group? I think not because then the group would not be closed.
$endgroup$
– PiccolMan
Nov 21 '16 at 20:50
3
$begingroup$
Your argument shows that the order of $f(a)$ is less than or equal to $m$, not that it equals $m$.
$endgroup$
– Stahl
Nov 21 '16 at 20:54
$begingroup$
@PiccolMan it cannot. If you have a group that has $n$ elements, $a^i$ cannot be different for all $i in {1, dots n}$. Continue from there.
$endgroup$
– cubeception
Nov 21 '16 at 21:00
1
$begingroup$
@Stahl You are right, but since $f$ is isomorphism one can apply the same argument for $f^{-1}$. Correct?
$endgroup$
– cubeception
Nov 21 '16 at 21:01
add a comment |
$begingroup$
Yes,
because for isomorphism it must hold that $f( u times v) = u cdot v$.
If order of the element $a$ is $m$ then $a^m = e$
$f(a^m)= f(atimes a times dots times a) = f(a) cdot f(a) dots f(a)=f(a)^m=f(e) = e$
Since $f(a)^m = e$ the order of $f(a)$ is less than or equal to $m$. Let us say that the order of $f(a)$ is $k$, $k le m$
$f$ is an isomorphism, therefore the same argument holds for $f^{-1}$
$f^{-1}(f(a)^k)= f^{-1}(f(a) cdot f(a) dots f(a))=f^{-1}(f(a)) cdot f^{-1}(f(a)) dots f^{-1}(f(a)) = a cdot a dots a = a^k = f(e) = e$
$a^k=e$ therefore $k ge m$. But also $k le m$, so $k=m$
Note
$f(e) = e$ because $etimes e= e$ therefore $f(e)cdot f(e)= f(e)$. Therefore $f(e)$ must be the neutral element.
$endgroup$
$begingroup$
Is it possible to have an element of infinite order in a finite group? I think not because then the group would not be closed.
$endgroup$
– PiccolMan
Nov 21 '16 at 20:50
3
$begingroup$
Your argument shows that the order of $f(a)$ is less than or equal to $m$, not that it equals $m$.
$endgroup$
– Stahl
Nov 21 '16 at 20:54
$begingroup$
@PiccolMan it cannot. If you have a group that has $n$ elements, $a^i$ cannot be different for all $i in {1, dots n}$. Continue from there.
$endgroup$
– cubeception
Nov 21 '16 at 21:00
1
$begingroup$
@Stahl You are right, but since $f$ is isomorphism one can apply the same argument for $f^{-1}$. Correct?
$endgroup$
– cubeception
Nov 21 '16 at 21:01
add a comment |
$begingroup$
Yes,
because for isomorphism it must hold that $f( u times v) = u cdot v$.
If order of the element $a$ is $m$ then $a^m = e$
$f(a^m)= f(atimes a times dots times a) = f(a) cdot f(a) dots f(a)=f(a)^m=f(e) = e$
Since $f(a)^m = e$ the order of $f(a)$ is less than or equal to $m$. Let us say that the order of $f(a)$ is $k$, $k le m$
$f$ is an isomorphism, therefore the same argument holds for $f^{-1}$
$f^{-1}(f(a)^k)= f^{-1}(f(a) cdot f(a) dots f(a))=f^{-1}(f(a)) cdot f^{-1}(f(a)) dots f^{-1}(f(a)) = a cdot a dots a = a^k = f(e) = e$
$a^k=e$ therefore $k ge m$. But also $k le m$, so $k=m$
Note
$f(e) = e$ because $etimes e= e$ therefore $f(e)cdot f(e)= f(e)$. Therefore $f(e)$ must be the neutral element.
$endgroup$
Yes,
because for isomorphism it must hold that $f( u times v) = u cdot v$.
If order of the element $a$ is $m$ then $a^m = e$
$f(a^m)= f(atimes a times dots times a) = f(a) cdot f(a) dots f(a)=f(a)^m=f(e) = e$
Since $f(a)^m = e$ the order of $f(a)$ is less than or equal to $m$. Let us say that the order of $f(a)$ is $k$, $k le m$
$f$ is an isomorphism, therefore the same argument holds for $f^{-1}$
$f^{-1}(f(a)^k)= f^{-1}(f(a) cdot f(a) dots f(a))=f^{-1}(f(a)) cdot f^{-1}(f(a)) dots f^{-1}(f(a)) = a cdot a dots a = a^k = f(e) = e$
$a^k=e$ therefore $k ge m$. But also $k le m$, so $k=m$
Note
$f(e) = e$ because $etimes e= e$ therefore $f(e)cdot f(e)= f(e)$. Therefore $f(e)$ must be the neutral element.
edited Nov 21 '16 at 21:10
answered Nov 21 '16 at 20:49
cubeceptioncubeception
1189
1189
$begingroup$
Is it possible to have an element of infinite order in a finite group? I think not because then the group would not be closed.
$endgroup$
– PiccolMan
Nov 21 '16 at 20:50
3
$begingroup$
Your argument shows that the order of $f(a)$ is less than or equal to $m$, not that it equals $m$.
$endgroup$
– Stahl
Nov 21 '16 at 20:54
$begingroup$
@PiccolMan it cannot. If you have a group that has $n$ elements, $a^i$ cannot be different for all $i in {1, dots n}$. Continue from there.
$endgroup$
– cubeception
Nov 21 '16 at 21:00
1
$begingroup$
@Stahl You are right, but since $f$ is isomorphism one can apply the same argument for $f^{-1}$. Correct?
$endgroup$
– cubeception
Nov 21 '16 at 21:01
add a comment |
$begingroup$
Is it possible to have an element of infinite order in a finite group? I think not because then the group would not be closed.
$endgroup$
– PiccolMan
Nov 21 '16 at 20:50
3
$begingroup$
Your argument shows that the order of $f(a)$ is less than or equal to $m$, not that it equals $m$.
$endgroup$
– Stahl
Nov 21 '16 at 20:54
$begingroup$
@PiccolMan it cannot. If you have a group that has $n$ elements, $a^i$ cannot be different for all $i in {1, dots n}$. Continue from there.
$endgroup$
– cubeception
Nov 21 '16 at 21:00
1
$begingroup$
@Stahl You are right, but since $f$ is isomorphism one can apply the same argument for $f^{-1}$. Correct?
$endgroup$
– cubeception
Nov 21 '16 at 21:01
$begingroup$
Is it possible to have an element of infinite order in a finite group? I think not because then the group would not be closed.
$endgroup$
– PiccolMan
Nov 21 '16 at 20:50
$begingroup$
Is it possible to have an element of infinite order in a finite group? I think not because then the group would not be closed.
$endgroup$
– PiccolMan
Nov 21 '16 at 20:50
3
3
$begingroup$
Your argument shows that the order of $f(a)$ is less than or equal to $m$, not that it equals $m$.
$endgroup$
– Stahl
Nov 21 '16 at 20:54
$begingroup$
Your argument shows that the order of $f(a)$ is less than or equal to $m$, not that it equals $m$.
$endgroup$
– Stahl
Nov 21 '16 at 20:54
$begingroup$
@PiccolMan it cannot. If you have a group that has $n$ elements, $a^i$ cannot be different for all $i in {1, dots n}$. Continue from there.
$endgroup$
– cubeception
Nov 21 '16 at 21:00
$begingroup$
@PiccolMan it cannot. If you have a group that has $n$ elements, $a^i$ cannot be different for all $i in {1, dots n}$. Continue from there.
$endgroup$
– cubeception
Nov 21 '16 at 21:00
1
1
$begingroup$
@Stahl You are right, but since $f$ is isomorphism one can apply the same argument for $f^{-1}$. Correct?
$endgroup$
– cubeception
Nov 21 '16 at 21:01
$begingroup$
@Stahl You are right, but since $f$ is isomorphism one can apply the same argument for $f^{-1}$. Correct?
$endgroup$
– cubeception
Nov 21 '16 at 21:01
add a comment |
$begingroup$
If a group $G$ contains an element of infinite order then $G$ has infinite order.
Proof: Let $a in G$ with $|a|=infty$. Consider the cyclic group generated by $a$ denoted $langle a rangle$. The order of a cyclic group is the order of a generator of that group, so $|langle a rangle|=|a|=infty$. Thus $langle a rangle$ has infinite order. And $langle a rangle$ is a subgroup of $G$, so we must have $|langle a rangle|<|G|$. $blacksquare$
$endgroup$
add a comment |
$begingroup$
If a group $G$ contains an element of infinite order then $G$ has infinite order.
Proof: Let $a in G$ with $|a|=infty$. Consider the cyclic group generated by $a$ denoted $langle a rangle$. The order of a cyclic group is the order of a generator of that group, so $|langle a rangle|=|a|=infty$. Thus $langle a rangle$ has infinite order. And $langle a rangle$ is a subgroup of $G$, so we must have $|langle a rangle|<|G|$. $blacksquare$
$endgroup$
add a comment |
$begingroup$
If a group $G$ contains an element of infinite order then $G$ has infinite order.
Proof: Let $a in G$ with $|a|=infty$. Consider the cyclic group generated by $a$ denoted $langle a rangle$. The order of a cyclic group is the order of a generator of that group, so $|langle a rangle|=|a|=infty$. Thus $langle a rangle$ has infinite order. And $langle a rangle$ is a subgroup of $G$, so we must have $|langle a rangle|<|G|$. $blacksquare$
$endgroup$
If a group $G$ contains an element of infinite order then $G$ has infinite order.
Proof: Let $a in G$ with $|a|=infty$. Consider the cyclic group generated by $a$ denoted $langle a rangle$. The order of a cyclic group is the order of a generator of that group, so $|langle a rangle|=|a|=infty$. Thus $langle a rangle$ has infinite order. And $langle a rangle$ is a subgroup of $G$, so we must have $|langle a rangle|<|G|$. $blacksquare$
answered Apr 21 '18 at 17:25
M. NestorM. Nestor
776113
776113
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%2f2024799%2fis-it-true-that-an-isomorphism-maps-elements-of-the-same-order-to-each-other%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
$begingroup$
One may start with $phi (a^p)=(phi(a))^p$.
$endgroup$
– Olivier Oloa
Nov 21 '16 at 20:44
$begingroup$
do you mean $phi(a^{p}) = (phi(a))^{p}$? If so then this proves it.
$endgroup$
– PiccolMan
Nov 21 '16 at 20:45
1
$begingroup$
One has $phi(e_1)=e_2$.
$endgroup$
– Olivier Oloa
Nov 21 '16 at 20:46
$begingroup$
Yes. Order is defined in terms of the language of group theory.
$endgroup$
– Alephnull
Nov 21 '16 at 21:11