Interpretation of Notation $[k,k)$Riemann integral interpretation step by step help.Interpretation of...
Is there a way to have vectors outlined in a Vector Plot?
Does Doodling or Improvising on the Piano Have Any Benefits?
Delete multiple columns using awk or sed
How to get directions in deep space?
Does the reader need to like the PoV character?
Review your own paper in Mathematics
Why does this expression simplify as such?
Were Persian-Median kings illiterate?
awk assign to multiple variables at once
Short story about a deaf man, who cuts people tongues
C++ check if statement can be evaluated constexpr
When were female captains banned from Starfleet?
How does electrical safety system work on ISS?
How to draw a matrix with arrows in limited space
Is there a RAID 0 Equivalent for RAM?
Why does AES have exactly 10 rounds for a 128-bit key, 12 for 192 bits and 14 for a 256-bit key size?
Strong empirical falsification of quantum mechanics based on vacuum energy density?
"It doesn't matter" or "it won't matter"?
How could a planet have erratic days?
Did the UK lift the requirement for registering SIM cards?
Why is the "ls" command showing permissions of files in a FAT32 partition?
How many arrows is an archer expected to fire by the end of the Tyranny of Dragons pair of adventures?
The IT department bottlenecks progress, how should I handle this?
How to make money from a browser who sees 5 seconds into the future of any web page?
Interpretation of Notation $[k,k)$
Riemann integral interpretation step by step help.Interpretation of parametrizationChristoffel symbols of a surface of revolutionConvexe functions , geometric interpretation !!Generalized Mean Value Theorem: parametric equation interpretationNested convex curves: inside curve strictly shorterSelf Study Real Analysis from this series of books by Jacob & Evans?Graphical interpretation of mean value theoremSeries interpretation of integralInterpretation of Differentials
$begingroup$
I'm trying to understand a prove and struggling with the following introduction of a Notation:
"Furthermore, let us introduce the notation $[k,l) = {k,k+1,dots,l-1}$", with the numbers taken modulo $n$, and no number occurring more than once. In particular, $[k,k) = mathbb{Z}/(n)$ for every $k$."
If I choose $n=4$, then $[2,7) = {0,1,2,3}$ and $[2,4) = {2,3}$. But why is $[3,3) = mathbb{Z}/(4) = { 0,1,2,3 }$?
(Source: https://books.google.de/books?id=ButlynVk25MC&pg=PR7&lpg=PR7#v=onepage&q&f=false – Problem 7: African Rally)
real-analysis word-problem
$endgroup$
add a comment |
$begingroup$
I'm trying to understand a prove and struggling with the following introduction of a Notation:
"Furthermore, let us introduce the notation $[k,l) = {k,k+1,dots,l-1}$", with the numbers taken modulo $n$, and no number occurring more than once. In particular, $[k,k) = mathbb{Z}/(n)$ for every $k$."
If I choose $n=4$, then $[2,7) = {0,1,2,3}$ and $[2,4) = {2,3}$. But why is $[3,3) = mathbb{Z}/(4) = { 0,1,2,3 }$?
(Source: https://books.google.de/books?id=ButlynVk25MC&pg=PR7&lpg=PR7#v=onepage&q&f=false – Problem 7: African Rally)
real-analysis word-problem
$endgroup$
$begingroup$
I never came across this notation. $mathbb Z/(n)$ is isomorphic to the $n$th root of unity in $mathbb C$ via $f: k mapsto e^{2ikpi/n}$, so here is a way to make sense of the notation: start at $f(k)$ and walk along the circle until you reach $f(l)$. $[k,l)$ is the set of all roots of unity you came through during that walk except f(l). For $[k,k)$, you obtain all of $mathbb Z/(n)$ since you did a complete turn around the circle.
$endgroup$
– Taladris
Mar 13 at 8:34
$begingroup$
OK, I've only come across the Notation $mathbb{Z}/(n)$ as the modulo factor ring. But even with the definition as the $n$-th root of unity in $mathbb{C}$, it's not clear to me why $[k,k) neq {k mod n}$, as you could not move an still reach $f(k)$.
$endgroup$
– Tim
Mar 13 at 8:44
add a comment |
$begingroup$
I'm trying to understand a prove and struggling with the following introduction of a Notation:
"Furthermore, let us introduce the notation $[k,l) = {k,k+1,dots,l-1}$", with the numbers taken modulo $n$, and no number occurring more than once. In particular, $[k,k) = mathbb{Z}/(n)$ for every $k$."
If I choose $n=4$, then $[2,7) = {0,1,2,3}$ and $[2,4) = {2,3}$. But why is $[3,3) = mathbb{Z}/(4) = { 0,1,2,3 }$?
(Source: https://books.google.de/books?id=ButlynVk25MC&pg=PR7&lpg=PR7#v=onepage&q&f=false – Problem 7: African Rally)
real-analysis word-problem
$endgroup$
I'm trying to understand a prove and struggling with the following introduction of a Notation:
"Furthermore, let us introduce the notation $[k,l) = {k,k+1,dots,l-1}$", with the numbers taken modulo $n$, and no number occurring more than once. In particular, $[k,k) = mathbb{Z}/(n)$ for every $k$."
If I choose $n=4$, then $[2,7) = {0,1,2,3}$ and $[2,4) = {2,3}$. But why is $[3,3) = mathbb{Z}/(4) = { 0,1,2,3 }$?
(Source: https://books.google.de/books?id=ButlynVk25MC&pg=PR7&lpg=PR7#v=onepage&q&f=false – Problem 7: African Rally)
real-analysis word-problem
real-analysis word-problem
edited Mar 13 at 8:47
Tim
asked Mar 13 at 8:23
TimTim
246
246
$begingroup$
I never came across this notation. $mathbb Z/(n)$ is isomorphic to the $n$th root of unity in $mathbb C$ via $f: k mapsto e^{2ikpi/n}$, so here is a way to make sense of the notation: start at $f(k)$ and walk along the circle until you reach $f(l)$. $[k,l)$ is the set of all roots of unity you came through during that walk except f(l). For $[k,k)$, you obtain all of $mathbb Z/(n)$ since you did a complete turn around the circle.
$endgroup$
– Taladris
Mar 13 at 8:34
$begingroup$
OK, I've only come across the Notation $mathbb{Z}/(n)$ as the modulo factor ring. But even with the definition as the $n$-th root of unity in $mathbb{C}$, it's not clear to me why $[k,k) neq {k mod n}$, as you could not move an still reach $f(k)$.
$endgroup$
– Tim
Mar 13 at 8:44
add a comment |
$begingroup$
I never came across this notation. $mathbb Z/(n)$ is isomorphic to the $n$th root of unity in $mathbb C$ via $f: k mapsto e^{2ikpi/n}$, so here is a way to make sense of the notation: start at $f(k)$ and walk along the circle until you reach $f(l)$. $[k,l)$ is the set of all roots of unity you came through during that walk except f(l). For $[k,k)$, you obtain all of $mathbb Z/(n)$ since you did a complete turn around the circle.
$endgroup$
– Taladris
Mar 13 at 8:34
$begingroup$
OK, I've only come across the Notation $mathbb{Z}/(n)$ as the modulo factor ring. But even with the definition as the $n$-th root of unity in $mathbb{C}$, it's not clear to me why $[k,k) neq {k mod n}$, as you could not move an still reach $f(k)$.
$endgroup$
– Tim
Mar 13 at 8:44
$begingroup$
I never came across this notation. $mathbb Z/(n)$ is isomorphic to the $n$th root of unity in $mathbb C$ via $f: k mapsto e^{2ikpi/n}$, so here is a way to make sense of the notation: start at $f(k)$ and walk along the circle until you reach $f(l)$. $[k,l)$ is the set of all roots of unity you came through during that walk except f(l). For $[k,k)$, you obtain all of $mathbb Z/(n)$ since you did a complete turn around the circle.
$endgroup$
– Taladris
Mar 13 at 8:34
$begingroup$
I never came across this notation. $mathbb Z/(n)$ is isomorphic to the $n$th root of unity in $mathbb C$ via $f: k mapsto e^{2ikpi/n}$, so here is a way to make sense of the notation: start at $f(k)$ and walk along the circle until you reach $f(l)$. $[k,l)$ is the set of all roots of unity you came through during that walk except f(l). For $[k,k)$, you obtain all of $mathbb Z/(n)$ since you did a complete turn around the circle.
$endgroup$
– Taladris
Mar 13 at 8:34
$begingroup$
OK, I've only come across the Notation $mathbb{Z}/(n)$ as the modulo factor ring. But even with the definition as the $n$-th root of unity in $mathbb{C}$, it's not clear to me why $[k,k) neq {k mod n}$, as you could not move an still reach $f(k)$.
$endgroup$
– Tim
Mar 13 at 8:44
$begingroup$
OK, I've only come across the Notation $mathbb{Z}/(n)$ as the modulo factor ring. But even with the definition as the $n$-th root of unity in $mathbb{C}$, it's not clear to me why $[k,k) neq {k mod n}$, as you could not move an still reach $f(k)$.
$endgroup$
– Tim
Mar 13 at 8:44
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Taladris's comment is a good explanation, but to perhaps make things more obvious: if we let $k=4$ we have $[4,4)$ as the notation, which we understand expands to $[4,3]mod 4$. However, we're also working modulo $4$, so applying the standard notation that $4 equiv 0 mod 4$ we now have $[0,3]$. So this yields the set ${0,1,2,3}$ as required.
You note in your own comment that you're starting at a point and could not move and still reach that point. Well yes, but actually you're not trying to reach the point you start from, you're trying to reach the point immediately "behind" it (speaking rather loosely) without being allowed to move backwards.
$endgroup$
$begingroup$
Thank you very much. I now do understand the explanation with the circle and movement only being allowed in one direction. My problem with the more formal explanation is, that it works for $k=4$ ($[4,4) = [4,3] equiv [0,3] = mathbb{Z}/(4)$) but for other values, e.g. $k=2$ it doesn't ($[2,2) = [2,1]$).
$endgroup$
– Tim
Mar 13 at 9:10
$begingroup$
But $[2,1]=[0,1]={0,1}$, so that does work, doesn't it?
$endgroup$
– postmortes
Mar 13 at 9:11
$begingroup$
That's true, iff $n=2$, but if $n$ still equals $4$ (so $k neq n$) you cannot transform the interval (at least I think so)
$endgroup$
– Tim
Mar 13 at 9:13
$begingroup$
So the interval notation $[k,l)$ is just a shorthand for the set of numbers between $k$ and $l-1$ (inclusive) taken modulo $n$. So for $n=2$ you must end up with one of ${0}, {1}$ or ${0,1}$ as the final set, which you can represent as $[0,0], [1,1]$ and $[0,1]$ respectively. So you can always transform the interval. It may get smaller however: $[4,2)$ when $n=4$ will becomes $[0,1]$.
$endgroup$
– postmortes
Mar 13 at 9:20
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%2f3146265%2finterpretation-of-notation-k-k%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$
Taladris's comment is a good explanation, but to perhaps make things more obvious: if we let $k=4$ we have $[4,4)$ as the notation, which we understand expands to $[4,3]mod 4$. However, we're also working modulo $4$, so applying the standard notation that $4 equiv 0 mod 4$ we now have $[0,3]$. So this yields the set ${0,1,2,3}$ as required.
You note in your own comment that you're starting at a point and could not move and still reach that point. Well yes, but actually you're not trying to reach the point you start from, you're trying to reach the point immediately "behind" it (speaking rather loosely) without being allowed to move backwards.
$endgroup$
$begingroup$
Thank you very much. I now do understand the explanation with the circle and movement only being allowed in one direction. My problem with the more formal explanation is, that it works for $k=4$ ($[4,4) = [4,3] equiv [0,3] = mathbb{Z}/(4)$) but for other values, e.g. $k=2$ it doesn't ($[2,2) = [2,1]$).
$endgroup$
– Tim
Mar 13 at 9:10
$begingroup$
But $[2,1]=[0,1]={0,1}$, so that does work, doesn't it?
$endgroup$
– postmortes
Mar 13 at 9:11
$begingroup$
That's true, iff $n=2$, but if $n$ still equals $4$ (so $k neq n$) you cannot transform the interval (at least I think so)
$endgroup$
– Tim
Mar 13 at 9:13
$begingroup$
So the interval notation $[k,l)$ is just a shorthand for the set of numbers between $k$ and $l-1$ (inclusive) taken modulo $n$. So for $n=2$ you must end up with one of ${0}, {1}$ or ${0,1}$ as the final set, which you can represent as $[0,0], [1,1]$ and $[0,1]$ respectively. So you can always transform the interval. It may get smaller however: $[4,2)$ when $n=4$ will becomes $[0,1]$.
$endgroup$
– postmortes
Mar 13 at 9:20
add a comment |
$begingroup$
Taladris's comment is a good explanation, but to perhaps make things more obvious: if we let $k=4$ we have $[4,4)$ as the notation, which we understand expands to $[4,3]mod 4$. However, we're also working modulo $4$, so applying the standard notation that $4 equiv 0 mod 4$ we now have $[0,3]$. So this yields the set ${0,1,2,3}$ as required.
You note in your own comment that you're starting at a point and could not move and still reach that point. Well yes, but actually you're not trying to reach the point you start from, you're trying to reach the point immediately "behind" it (speaking rather loosely) without being allowed to move backwards.
$endgroup$
$begingroup$
Thank you very much. I now do understand the explanation with the circle and movement only being allowed in one direction. My problem with the more formal explanation is, that it works for $k=4$ ($[4,4) = [4,3] equiv [0,3] = mathbb{Z}/(4)$) but for other values, e.g. $k=2$ it doesn't ($[2,2) = [2,1]$).
$endgroup$
– Tim
Mar 13 at 9:10
$begingroup$
But $[2,1]=[0,1]={0,1}$, so that does work, doesn't it?
$endgroup$
– postmortes
Mar 13 at 9:11
$begingroup$
That's true, iff $n=2$, but if $n$ still equals $4$ (so $k neq n$) you cannot transform the interval (at least I think so)
$endgroup$
– Tim
Mar 13 at 9:13
$begingroup$
So the interval notation $[k,l)$ is just a shorthand for the set of numbers between $k$ and $l-1$ (inclusive) taken modulo $n$. So for $n=2$ you must end up with one of ${0}, {1}$ or ${0,1}$ as the final set, which you can represent as $[0,0], [1,1]$ and $[0,1]$ respectively. So you can always transform the interval. It may get smaller however: $[4,2)$ when $n=4$ will becomes $[0,1]$.
$endgroup$
– postmortes
Mar 13 at 9:20
add a comment |
$begingroup$
Taladris's comment is a good explanation, but to perhaps make things more obvious: if we let $k=4$ we have $[4,4)$ as the notation, which we understand expands to $[4,3]mod 4$. However, we're also working modulo $4$, so applying the standard notation that $4 equiv 0 mod 4$ we now have $[0,3]$. So this yields the set ${0,1,2,3}$ as required.
You note in your own comment that you're starting at a point and could not move and still reach that point. Well yes, but actually you're not trying to reach the point you start from, you're trying to reach the point immediately "behind" it (speaking rather loosely) without being allowed to move backwards.
$endgroup$
Taladris's comment is a good explanation, but to perhaps make things more obvious: if we let $k=4$ we have $[4,4)$ as the notation, which we understand expands to $[4,3]mod 4$. However, we're also working modulo $4$, so applying the standard notation that $4 equiv 0 mod 4$ we now have $[0,3]$. So this yields the set ${0,1,2,3}$ as required.
You note in your own comment that you're starting at a point and could not move and still reach that point. Well yes, but actually you're not trying to reach the point you start from, you're trying to reach the point immediately "behind" it (speaking rather loosely) without being allowed to move backwards.
answered Mar 13 at 8:51
postmortespostmortes
2,18531322
2,18531322
$begingroup$
Thank you very much. I now do understand the explanation with the circle and movement only being allowed in one direction. My problem with the more formal explanation is, that it works for $k=4$ ($[4,4) = [4,3] equiv [0,3] = mathbb{Z}/(4)$) but for other values, e.g. $k=2$ it doesn't ($[2,2) = [2,1]$).
$endgroup$
– Tim
Mar 13 at 9:10
$begingroup$
But $[2,1]=[0,1]={0,1}$, so that does work, doesn't it?
$endgroup$
– postmortes
Mar 13 at 9:11
$begingroup$
That's true, iff $n=2$, but if $n$ still equals $4$ (so $k neq n$) you cannot transform the interval (at least I think so)
$endgroup$
– Tim
Mar 13 at 9:13
$begingroup$
So the interval notation $[k,l)$ is just a shorthand for the set of numbers between $k$ and $l-1$ (inclusive) taken modulo $n$. So for $n=2$ you must end up with one of ${0}, {1}$ or ${0,1}$ as the final set, which you can represent as $[0,0], [1,1]$ and $[0,1]$ respectively. So you can always transform the interval. It may get smaller however: $[4,2)$ when $n=4$ will becomes $[0,1]$.
$endgroup$
– postmortes
Mar 13 at 9:20
add a comment |
$begingroup$
Thank you very much. I now do understand the explanation with the circle and movement only being allowed in one direction. My problem with the more formal explanation is, that it works for $k=4$ ($[4,4) = [4,3] equiv [0,3] = mathbb{Z}/(4)$) but for other values, e.g. $k=2$ it doesn't ($[2,2) = [2,1]$).
$endgroup$
– Tim
Mar 13 at 9:10
$begingroup$
But $[2,1]=[0,1]={0,1}$, so that does work, doesn't it?
$endgroup$
– postmortes
Mar 13 at 9:11
$begingroup$
That's true, iff $n=2$, but if $n$ still equals $4$ (so $k neq n$) you cannot transform the interval (at least I think so)
$endgroup$
– Tim
Mar 13 at 9:13
$begingroup$
So the interval notation $[k,l)$ is just a shorthand for the set of numbers between $k$ and $l-1$ (inclusive) taken modulo $n$. So for $n=2$ you must end up with one of ${0}, {1}$ or ${0,1}$ as the final set, which you can represent as $[0,0], [1,1]$ and $[0,1]$ respectively. So you can always transform the interval. It may get smaller however: $[4,2)$ when $n=4$ will becomes $[0,1]$.
$endgroup$
– postmortes
Mar 13 at 9:20
$begingroup$
Thank you very much. I now do understand the explanation with the circle and movement only being allowed in one direction. My problem with the more formal explanation is, that it works for $k=4$ ($[4,4) = [4,3] equiv [0,3] = mathbb{Z}/(4)$) but for other values, e.g. $k=2$ it doesn't ($[2,2) = [2,1]$).
$endgroup$
– Tim
Mar 13 at 9:10
$begingroup$
Thank you very much. I now do understand the explanation with the circle and movement only being allowed in one direction. My problem with the more formal explanation is, that it works for $k=4$ ($[4,4) = [4,3] equiv [0,3] = mathbb{Z}/(4)$) but for other values, e.g. $k=2$ it doesn't ($[2,2) = [2,1]$).
$endgroup$
– Tim
Mar 13 at 9:10
$begingroup$
But $[2,1]=[0,1]={0,1}$, so that does work, doesn't it?
$endgroup$
– postmortes
Mar 13 at 9:11
$begingroup$
But $[2,1]=[0,1]={0,1}$, so that does work, doesn't it?
$endgroup$
– postmortes
Mar 13 at 9:11
$begingroup$
That's true, iff $n=2$, but if $n$ still equals $4$ (so $k neq n$) you cannot transform the interval (at least I think so)
$endgroup$
– Tim
Mar 13 at 9:13
$begingroup$
That's true, iff $n=2$, but if $n$ still equals $4$ (so $k neq n$) you cannot transform the interval (at least I think so)
$endgroup$
– Tim
Mar 13 at 9:13
$begingroup$
So the interval notation $[k,l)$ is just a shorthand for the set of numbers between $k$ and $l-1$ (inclusive) taken modulo $n$. So for $n=2$ you must end up with one of ${0}, {1}$ or ${0,1}$ as the final set, which you can represent as $[0,0], [1,1]$ and $[0,1]$ respectively. So you can always transform the interval. It may get smaller however: $[4,2)$ when $n=4$ will becomes $[0,1]$.
$endgroup$
– postmortes
Mar 13 at 9:20
$begingroup$
So the interval notation $[k,l)$ is just a shorthand for the set of numbers between $k$ and $l-1$ (inclusive) taken modulo $n$. So for $n=2$ you must end up with one of ${0}, {1}$ or ${0,1}$ as the final set, which you can represent as $[0,0], [1,1]$ and $[0,1]$ respectively. So you can always transform the interval. It may get smaller however: $[4,2)$ when $n=4$ will becomes $[0,1]$.
$endgroup$
– postmortes
Mar 13 at 9:20
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%2f3146265%2finterpretation-of-notation-k-k%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$
I never came across this notation. $mathbb Z/(n)$ is isomorphic to the $n$th root of unity in $mathbb C$ via $f: k mapsto e^{2ikpi/n}$, so here is a way to make sense of the notation: start at $f(k)$ and walk along the circle until you reach $f(l)$. $[k,l)$ is the set of all roots of unity you came through during that walk except f(l). For $[k,k)$, you obtain all of $mathbb Z/(n)$ since you did a complete turn around the circle.
$endgroup$
– Taladris
Mar 13 at 8:34
$begingroup$
OK, I've only come across the Notation $mathbb{Z}/(n)$ as the modulo factor ring. But even with the definition as the $n$-th root of unity in $mathbb{C}$, it's not clear to me why $[k,k) neq {k mod n}$, as you could not move an still reach $f(k)$.
$endgroup$
– Tim
Mar 13 at 8:44