Unique character of order 2
$begingroup$
"The multiplicative group $(mathbb{Z}/pmathbb{Z})^{times}$of reduced residue classes modulo an odd prime p is a cyclic group of (even) order p − 1. Thus it has
a unique character of order 2."
Why we only have one character of order 2? What has this to do with the first statement above?
group-theory characters
$endgroup$
add a comment |
$begingroup$
"The multiplicative group $(mathbb{Z}/pmathbb{Z})^{times}$of reduced residue classes modulo an odd prime p is a cyclic group of (even) order p − 1. Thus it has
a unique character of order 2."
Why we only have one character of order 2? What has this to do with the first statement above?
group-theory characters
$endgroup$
add a comment |
$begingroup$
"The multiplicative group $(mathbb{Z}/pmathbb{Z})^{times}$of reduced residue classes modulo an odd prime p is a cyclic group of (even) order p − 1. Thus it has
a unique character of order 2."
Why we only have one character of order 2? What has this to do with the first statement above?
group-theory characters
$endgroup$
"The multiplicative group $(mathbb{Z}/pmathbb{Z})^{times}$of reduced residue classes modulo an odd prime p is a cyclic group of (even) order p − 1. Thus it has
a unique character of order 2."
Why we only have one character of order 2? What has this to do with the first statement above?
group-theory characters
group-theory characters
asked Dec 12 '18 at 13:42
FabianSchneiderFabianSchneider
706
706
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
If $chi:GtoBbb{C}^*$, $G$ a finite abelian group, is a character of order two, it follows that $1=chi(g)^2=chi(g^2)$ for all $gin G$. This implies that
- the kernel of $chi$ contains all the squares in $G$, and
$chi(g)=pm1$ for all $gin G$.
If we furthermore know that $G$ is cyclic of an even order $n=2m$, then
- the squares form a subgroup $Qle G$ of order $m$ and index two, and therefore
- the coset $gQ=Gsetminus Q$ for any non-square element $g$. Implying that the product of two non-squares is a square, and that the product of a square and a non-square is a non-square.
So if $chi$ has order two, then
$chi(q)=1$ for all $qin Q$,
$chi(x)neq1$ for some $xin G$. By the above observations $xnotin Q$, and $chi(x)=-1$.- If $ynotin Q$, then $yQ=xQ$ implying that $y=xq$ for some square $qin Q$.
- So $chi(y)=chi(xq)=chi(x)chi(q)=(-1)cdot1=-1$.
- Items 1 and 4 imply that $chi$ is the unique function taking the value $+1$ in $Q$, and the value $-1$ elsewhere.
- It easily follows that the function defined in the previous bullet is actually a character of $G$.
As Hempelicious pointed out, the character group of an abelian group is isomorphic to the group itself. But, the isomorphism is not natural. In other words, it relies on our ability to write a finite abelian group as a direct product of cyclic groups. Such a decomposition is not unique, and this leads to complications similar to the well known result that the dual of a f.d. vector space is isomorphic to the vector space itself, but to write down the isomorphism you need to specify a basis. In sharp contrast to the simpler fact that the double dual is naturally isomorphic to the vector space we started with.
$endgroup$
$begingroup$
I guess another way of saying this is that in the abelian case, the character is actually a homomorphism. Since there is only one subgroup of order $2$ in $mathbb{C}^ast$, there's still most one such character.
$endgroup$
– Hempelicious
Dec 13 '18 at 0:32
1
$begingroup$
@Hempelicious Cyclicity is also essential. If $G=C_2times C_2$ then it has three characters of order two. The generators of the two factors can both be mapped to $mapstopm1$. We get a character of order two unless we make the trivial selection. Similarly, that group has three subgroups of index two, and each can serve as the kernel of a character of order two.
$endgroup$
– Jyrki Lahtonen
Dec 13 '18 at 4:32
1
$begingroup$
Yes, sorry, I left that part out, but I meant once we know they're homomorphisms, they can be counted by the index 2 subgroups. This wouldn't be true if the image had more than one element of order 2.
$endgroup$
– Hempelicious
Dec 13 '18 at 8:02
$begingroup$
Ok, @Hempelicious. We seem to agree :-)
$endgroup$
– Jyrki Lahtonen
Dec 13 '18 at 8:06
add a comment |
$begingroup$
Characters of finite abelian groups are in 1-1 correspondence with the groups themselves. See this question for more details.
$endgroup$
$begingroup$
Honestly: Never heard of that fact. I mean with that my question is obviously answered but its not really obvious that your assumption is correct.
$endgroup$
– FabianSchneider
Dec 12 '18 at 22:41
$begingroup$
@FabianSchneider: not an assumption, it's proved at the link. Please read the answers there.
$endgroup$
– Hempelicious
Dec 12 '18 at 23:49
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%2f3036699%2funique-character-of-order-2%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
If $chi:GtoBbb{C}^*$, $G$ a finite abelian group, is a character of order two, it follows that $1=chi(g)^2=chi(g^2)$ for all $gin G$. This implies that
- the kernel of $chi$ contains all the squares in $G$, and
$chi(g)=pm1$ for all $gin G$.
If we furthermore know that $G$ is cyclic of an even order $n=2m$, then
- the squares form a subgroup $Qle G$ of order $m$ and index two, and therefore
- the coset $gQ=Gsetminus Q$ for any non-square element $g$. Implying that the product of two non-squares is a square, and that the product of a square and a non-square is a non-square.
So if $chi$ has order two, then
$chi(q)=1$ for all $qin Q$,
$chi(x)neq1$ for some $xin G$. By the above observations $xnotin Q$, and $chi(x)=-1$.- If $ynotin Q$, then $yQ=xQ$ implying that $y=xq$ for some square $qin Q$.
- So $chi(y)=chi(xq)=chi(x)chi(q)=(-1)cdot1=-1$.
- Items 1 and 4 imply that $chi$ is the unique function taking the value $+1$ in $Q$, and the value $-1$ elsewhere.
- It easily follows that the function defined in the previous bullet is actually a character of $G$.
As Hempelicious pointed out, the character group of an abelian group is isomorphic to the group itself. But, the isomorphism is not natural. In other words, it relies on our ability to write a finite abelian group as a direct product of cyclic groups. Such a decomposition is not unique, and this leads to complications similar to the well known result that the dual of a f.d. vector space is isomorphic to the vector space itself, but to write down the isomorphism you need to specify a basis. In sharp contrast to the simpler fact that the double dual is naturally isomorphic to the vector space we started with.
$endgroup$
$begingroup$
I guess another way of saying this is that in the abelian case, the character is actually a homomorphism. Since there is only one subgroup of order $2$ in $mathbb{C}^ast$, there's still most one such character.
$endgroup$
– Hempelicious
Dec 13 '18 at 0:32
1
$begingroup$
@Hempelicious Cyclicity is also essential. If $G=C_2times C_2$ then it has three characters of order two. The generators of the two factors can both be mapped to $mapstopm1$. We get a character of order two unless we make the trivial selection. Similarly, that group has three subgroups of index two, and each can serve as the kernel of a character of order two.
$endgroup$
– Jyrki Lahtonen
Dec 13 '18 at 4:32
1
$begingroup$
Yes, sorry, I left that part out, but I meant once we know they're homomorphisms, they can be counted by the index 2 subgroups. This wouldn't be true if the image had more than one element of order 2.
$endgroup$
– Hempelicious
Dec 13 '18 at 8:02
$begingroup$
Ok, @Hempelicious. We seem to agree :-)
$endgroup$
– Jyrki Lahtonen
Dec 13 '18 at 8:06
add a comment |
$begingroup$
If $chi:GtoBbb{C}^*$, $G$ a finite abelian group, is a character of order two, it follows that $1=chi(g)^2=chi(g^2)$ for all $gin G$. This implies that
- the kernel of $chi$ contains all the squares in $G$, and
$chi(g)=pm1$ for all $gin G$.
If we furthermore know that $G$ is cyclic of an even order $n=2m$, then
- the squares form a subgroup $Qle G$ of order $m$ and index two, and therefore
- the coset $gQ=Gsetminus Q$ for any non-square element $g$. Implying that the product of two non-squares is a square, and that the product of a square and a non-square is a non-square.
So if $chi$ has order two, then
$chi(q)=1$ for all $qin Q$,
$chi(x)neq1$ for some $xin G$. By the above observations $xnotin Q$, and $chi(x)=-1$.- If $ynotin Q$, then $yQ=xQ$ implying that $y=xq$ for some square $qin Q$.
- So $chi(y)=chi(xq)=chi(x)chi(q)=(-1)cdot1=-1$.
- Items 1 and 4 imply that $chi$ is the unique function taking the value $+1$ in $Q$, and the value $-1$ elsewhere.
- It easily follows that the function defined in the previous bullet is actually a character of $G$.
As Hempelicious pointed out, the character group of an abelian group is isomorphic to the group itself. But, the isomorphism is not natural. In other words, it relies on our ability to write a finite abelian group as a direct product of cyclic groups. Such a decomposition is not unique, and this leads to complications similar to the well known result that the dual of a f.d. vector space is isomorphic to the vector space itself, but to write down the isomorphism you need to specify a basis. In sharp contrast to the simpler fact that the double dual is naturally isomorphic to the vector space we started with.
$endgroup$
$begingroup$
I guess another way of saying this is that in the abelian case, the character is actually a homomorphism. Since there is only one subgroup of order $2$ in $mathbb{C}^ast$, there's still most one such character.
$endgroup$
– Hempelicious
Dec 13 '18 at 0:32
1
$begingroup$
@Hempelicious Cyclicity is also essential. If $G=C_2times C_2$ then it has three characters of order two. The generators of the two factors can both be mapped to $mapstopm1$. We get a character of order two unless we make the trivial selection. Similarly, that group has three subgroups of index two, and each can serve as the kernel of a character of order two.
$endgroup$
– Jyrki Lahtonen
Dec 13 '18 at 4:32
1
$begingroup$
Yes, sorry, I left that part out, but I meant once we know they're homomorphisms, they can be counted by the index 2 subgroups. This wouldn't be true if the image had more than one element of order 2.
$endgroup$
– Hempelicious
Dec 13 '18 at 8:02
$begingroup$
Ok, @Hempelicious. We seem to agree :-)
$endgroup$
– Jyrki Lahtonen
Dec 13 '18 at 8:06
add a comment |
$begingroup$
If $chi:GtoBbb{C}^*$, $G$ a finite abelian group, is a character of order two, it follows that $1=chi(g)^2=chi(g^2)$ for all $gin G$. This implies that
- the kernel of $chi$ contains all the squares in $G$, and
$chi(g)=pm1$ for all $gin G$.
If we furthermore know that $G$ is cyclic of an even order $n=2m$, then
- the squares form a subgroup $Qle G$ of order $m$ and index two, and therefore
- the coset $gQ=Gsetminus Q$ for any non-square element $g$. Implying that the product of two non-squares is a square, and that the product of a square and a non-square is a non-square.
So if $chi$ has order two, then
$chi(q)=1$ for all $qin Q$,
$chi(x)neq1$ for some $xin G$. By the above observations $xnotin Q$, and $chi(x)=-1$.- If $ynotin Q$, then $yQ=xQ$ implying that $y=xq$ for some square $qin Q$.
- So $chi(y)=chi(xq)=chi(x)chi(q)=(-1)cdot1=-1$.
- Items 1 and 4 imply that $chi$ is the unique function taking the value $+1$ in $Q$, and the value $-1$ elsewhere.
- It easily follows that the function defined in the previous bullet is actually a character of $G$.
As Hempelicious pointed out, the character group of an abelian group is isomorphic to the group itself. But, the isomorphism is not natural. In other words, it relies on our ability to write a finite abelian group as a direct product of cyclic groups. Such a decomposition is not unique, and this leads to complications similar to the well known result that the dual of a f.d. vector space is isomorphic to the vector space itself, but to write down the isomorphism you need to specify a basis. In sharp contrast to the simpler fact that the double dual is naturally isomorphic to the vector space we started with.
$endgroup$
If $chi:GtoBbb{C}^*$, $G$ a finite abelian group, is a character of order two, it follows that $1=chi(g)^2=chi(g^2)$ for all $gin G$. This implies that
- the kernel of $chi$ contains all the squares in $G$, and
$chi(g)=pm1$ for all $gin G$.
If we furthermore know that $G$ is cyclic of an even order $n=2m$, then
- the squares form a subgroup $Qle G$ of order $m$ and index two, and therefore
- the coset $gQ=Gsetminus Q$ for any non-square element $g$. Implying that the product of two non-squares is a square, and that the product of a square and a non-square is a non-square.
So if $chi$ has order two, then
$chi(q)=1$ for all $qin Q$,
$chi(x)neq1$ for some $xin G$. By the above observations $xnotin Q$, and $chi(x)=-1$.- If $ynotin Q$, then $yQ=xQ$ implying that $y=xq$ for some square $qin Q$.
- So $chi(y)=chi(xq)=chi(x)chi(q)=(-1)cdot1=-1$.
- Items 1 and 4 imply that $chi$ is the unique function taking the value $+1$ in $Q$, and the value $-1$ elsewhere.
- It easily follows that the function defined in the previous bullet is actually a character of $G$.
As Hempelicious pointed out, the character group of an abelian group is isomorphic to the group itself. But, the isomorphism is not natural. In other words, it relies on our ability to write a finite abelian group as a direct product of cyclic groups. Such a decomposition is not unique, and this leads to complications similar to the well known result that the dual of a f.d. vector space is isomorphic to the vector space itself, but to write down the isomorphism you need to specify a basis. In sharp contrast to the simpler fact that the double dual is naturally isomorphic to the vector space we started with.
edited Dec 12 '18 at 23:44
answered Dec 12 '18 at 23:37
Jyrki LahtonenJyrki Lahtonen
109k13170376
109k13170376
$begingroup$
I guess another way of saying this is that in the abelian case, the character is actually a homomorphism. Since there is only one subgroup of order $2$ in $mathbb{C}^ast$, there's still most one such character.
$endgroup$
– Hempelicious
Dec 13 '18 at 0:32
1
$begingroup$
@Hempelicious Cyclicity is also essential. If $G=C_2times C_2$ then it has three characters of order two. The generators of the two factors can both be mapped to $mapstopm1$. We get a character of order two unless we make the trivial selection. Similarly, that group has three subgroups of index two, and each can serve as the kernel of a character of order two.
$endgroup$
– Jyrki Lahtonen
Dec 13 '18 at 4:32
1
$begingroup$
Yes, sorry, I left that part out, but I meant once we know they're homomorphisms, they can be counted by the index 2 subgroups. This wouldn't be true if the image had more than one element of order 2.
$endgroup$
– Hempelicious
Dec 13 '18 at 8:02
$begingroup$
Ok, @Hempelicious. We seem to agree :-)
$endgroup$
– Jyrki Lahtonen
Dec 13 '18 at 8:06
add a comment |
$begingroup$
I guess another way of saying this is that in the abelian case, the character is actually a homomorphism. Since there is only one subgroup of order $2$ in $mathbb{C}^ast$, there's still most one such character.
$endgroup$
– Hempelicious
Dec 13 '18 at 0:32
1
$begingroup$
@Hempelicious Cyclicity is also essential. If $G=C_2times C_2$ then it has three characters of order two. The generators of the two factors can both be mapped to $mapstopm1$. We get a character of order two unless we make the trivial selection. Similarly, that group has three subgroups of index two, and each can serve as the kernel of a character of order two.
$endgroup$
– Jyrki Lahtonen
Dec 13 '18 at 4:32
1
$begingroup$
Yes, sorry, I left that part out, but I meant once we know they're homomorphisms, they can be counted by the index 2 subgroups. This wouldn't be true if the image had more than one element of order 2.
$endgroup$
– Hempelicious
Dec 13 '18 at 8:02
$begingroup$
Ok, @Hempelicious. We seem to agree :-)
$endgroup$
– Jyrki Lahtonen
Dec 13 '18 at 8:06
$begingroup$
I guess another way of saying this is that in the abelian case, the character is actually a homomorphism. Since there is only one subgroup of order $2$ in $mathbb{C}^ast$, there's still most one such character.
$endgroup$
– Hempelicious
Dec 13 '18 at 0:32
$begingroup$
I guess another way of saying this is that in the abelian case, the character is actually a homomorphism. Since there is only one subgroup of order $2$ in $mathbb{C}^ast$, there's still most one such character.
$endgroup$
– Hempelicious
Dec 13 '18 at 0:32
1
1
$begingroup$
@Hempelicious Cyclicity is also essential. If $G=C_2times C_2$ then it has three characters of order two. The generators of the two factors can both be mapped to $mapstopm1$. We get a character of order two unless we make the trivial selection. Similarly, that group has three subgroups of index two, and each can serve as the kernel of a character of order two.
$endgroup$
– Jyrki Lahtonen
Dec 13 '18 at 4:32
$begingroup$
@Hempelicious Cyclicity is also essential. If $G=C_2times C_2$ then it has three characters of order two. The generators of the two factors can both be mapped to $mapstopm1$. We get a character of order two unless we make the trivial selection. Similarly, that group has three subgroups of index two, and each can serve as the kernel of a character of order two.
$endgroup$
– Jyrki Lahtonen
Dec 13 '18 at 4:32
1
1
$begingroup$
Yes, sorry, I left that part out, but I meant once we know they're homomorphisms, they can be counted by the index 2 subgroups. This wouldn't be true if the image had more than one element of order 2.
$endgroup$
– Hempelicious
Dec 13 '18 at 8:02
$begingroup$
Yes, sorry, I left that part out, but I meant once we know they're homomorphisms, they can be counted by the index 2 subgroups. This wouldn't be true if the image had more than one element of order 2.
$endgroup$
– Hempelicious
Dec 13 '18 at 8:02
$begingroup$
Ok, @Hempelicious. We seem to agree :-)
$endgroup$
– Jyrki Lahtonen
Dec 13 '18 at 8:06
$begingroup$
Ok, @Hempelicious. We seem to agree :-)
$endgroup$
– Jyrki Lahtonen
Dec 13 '18 at 8:06
add a comment |
$begingroup$
Characters of finite abelian groups are in 1-1 correspondence with the groups themselves. See this question for more details.
$endgroup$
$begingroup$
Honestly: Never heard of that fact. I mean with that my question is obviously answered but its not really obvious that your assumption is correct.
$endgroup$
– FabianSchneider
Dec 12 '18 at 22:41
$begingroup$
@FabianSchneider: not an assumption, it's proved at the link. Please read the answers there.
$endgroup$
– Hempelicious
Dec 12 '18 at 23:49
add a comment |
$begingroup$
Characters of finite abelian groups are in 1-1 correspondence with the groups themselves. See this question for more details.
$endgroup$
$begingroup$
Honestly: Never heard of that fact. I mean with that my question is obviously answered but its not really obvious that your assumption is correct.
$endgroup$
– FabianSchneider
Dec 12 '18 at 22:41
$begingroup$
@FabianSchneider: not an assumption, it's proved at the link. Please read the answers there.
$endgroup$
– Hempelicious
Dec 12 '18 at 23:49
add a comment |
$begingroup$
Characters of finite abelian groups are in 1-1 correspondence with the groups themselves. See this question for more details.
$endgroup$
Characters of finite abelian groups are in 1-1 correspondence with the groups themselves. See this question for more details.
answered Dec 12 '18 at 22:30
HempeliciousHempelicious
147111
147111
$begingroup$
Honestly: Never heard of that fact. I mean with that my question is obviously answered but its not really obvious that your assumption is correct.
$endgroup$
– FabianSchneider
Dec 12 '18 at 22:41
$begingroup$
@FabianSchneider: not an assumption, it's proved at the link. Please read the answers there.
$endgroup$
– Hempelicious
Dec 12 '18 at 23:49
add a comment |
$begingroup$
Honestly: Never heard of that fact. I mean with that my question is obviously answered but its not really obvious that your assumption is correct.
$endgroup$
– FabianSchneider
Dec 12 '18 at 22:41
$begingroup$
@FabianSchneider: not an assumption, it's proved at the link. Please read the answers there.
$endgroup$
– Hempelicious
Dec 12 '18 at 23:49
$begingroup$
Honestly: Never heard of that fact. I mean with that my question is obviously answered but its not really obvious that your assumption is correct.
$endgroup$
– FabianSchneider
Dec 12 '18 at 22:41
$begingroup$
Honestly: Never heard of that fact. I mean with that my question is obviously answered but its not really obvious that your assumption is correct.
$endgroup$
– FabianSchneider
Dec 12 '18 at 22:41
$begingroup$
@FabianSchneider: not an assumption, it's proved at the link. Please read the answers there.
$endgroup$
– Hempelicious
Dec 12 '18 at 23:49
$begingroup$
@FabianSchneider: not an assumption, it's proved at the link. Please read the answers there.
$endgroup$
– Hempelicious
Dec 12 '18 at 23:49
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%2f3036699%2funique-character-of-order-2%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