Problem in understanding a proof in Number Theory The 2019 Stack Overflow Developer Survey Results Are InHow to find the solutions for the n-th root of unity in modular arithmetic?Help with understanding this proof (I think it's Hensels Lifting?)Help understanding number theory definitionQuestion regarding number congruences?Number Theory: Modular Arithmetic Orders and Primitive RootsHelp in this proof of Niven, Zuckerman, Montgomery's number theory bookAddition, Subtraction, Multiplication and Division on both sides of congruence relationProof - Finding number when different divisiors give different remainders$561 mid 128^561 - 128 iff 2^3920 equiv 1 pmod561$Number Theory: Problem with proofs
Limit the amount of RAM Mathematica may access?
Should I use my personal or workplace e-mail when registering to external websites for work purpose?
Any good smartcontract for "business calendar" oracles?
Carnot-Caratheodory metric
If the Wish spell is used to duplicate the effect of Simulacrum, are existing duplicates destroyed?
Where to refill my bottle in India?
Why is the maximum length of openwrt’s root password 8 characters?
Where does the "burst of radiance" from Holy Weapon originate?
How to make payment on the internet without leaving a money trail?
Is this food a bread or a loaf?
Pristine Bit Checking
Understanding the implication of what "well-defined" means for the operation in quotient group
Is there a name of the flying bionic bird?
Is three citations per paragraph excessive for undergraduate research paper?
If a poisoned arrow's piercing damage is reduced to 0, do you still get poisoned?
Why do UK politicians seemingly ignore opinion polls on Brexit?
What are the motivations for publishing new editions of an existing textbook, beyond new discoveries in a field?
Why don't Unix/Linux systems traverse through directories until they find the required version of a linked library?
"Riffle" two strings
Is it possible for the two major parties in the UK to form a coalition with each other instead of a much smaller party?
How to answer pointed "are you quitting" questioning when I don't want them to suspect
Why is it "Tumoren" and not "Tumore"?
JSON.serialize: is it possible to suppress null values of a map?
Deadlock Graph and Interpretation, solution to avoid
Problem in understanding a proof in Number Theory
The 2019 Stack Overflow Developer Survey Results Are InHow to find the solutions for the n-th root of unity in modular arithmetic?Help with understanding this proof (I think it's Hensels Lifting?)Help understanding number theory definitionQuestion regarding number congruences?Number Theory: Modular Arithmetic Orders and Primitive RootsHelp in this proof of Niven, Zuckerman, Montgomery's number theory bookAddition, Subtraction, Multiplication and Division on both sides of congruence relationProof - Finding number when different divisiors give different remainders$561 mid 128^561 - 128 iff 2^3920 equiv 1 pmod561$Number Theory: Problem with proofs
$begingroup$

This question in the reference to Number Theory (Modular Arithmetic). I need some help in understanding the proof of Proposition 6.
In the third line of the proof of Proposition 6,
"$dots 0leq k,lleq (n-1)$. Therefore $|k-l|<n;dots$"
Can someone please explain this. How did we get "$|k-l|<n$"?
In the 5th line,
"This means that $a,a+d,a+2d,dots,a+(n-1)d=0,1,2,dots,(n-1)$ modulo $n$. Further if $a+jdequiv k pmodn$ with $0leq k<(n-1)$, then $(a+jd,n)=1$ iff $(k,n)=1.$ Hence the number of integers in $S$ which are prime to $n$ is precisely $phi(n)$."
I do not understand the entire thing.
Why is "$a,a+d,a+2d,dots,a+(n-1)d=0,1,2,dots,(n-1)$ modulo $n$"?
Why is the inequality $0leq k<(n-1)$ and not $0leq kleq (n-1)$?
Why is $(a+jd,n)=1$ iff $(k,n)=1$?
Please help.
number-theory elementary-number-theory modular-arithmetic
$endgroup$
add a comment |
$begingroup$

This question in the reference to Number Theory (Modular Arithmetic). I need some help in understanding the proof of Proposition 6.
In the third line of the proof of Proposition 6,
"$dots 0leq k,lleq (n-1)$. Therefore $|k-l|<n;dots$"
Can someone please explain this. How did we get "$|k-l|<n$"?
In the 5th line,
"This means that $a,a+d,a+2d,dots,a+(n-1)d=0,1,2,dots,(n-1)$ modulo $n$. Further if $a+jdequiv k pmodn$ with $0leq k<(n-1)$, then $(a+jd,n)=1$ iff $(k,n)=1.$ Hence the number of integers in $S$ which are prime to $n$ is precisely $phi(n)$."
I do not understand the entire thing.
Why is "$a,a+d,a+2d,dots,a+(n-1)d=0,1,2,dots,(n-1)$ modulo $n$"?
Why is the inequality $0leq k<(n-1)$ and not $0leq kleq (n-1)$?
Why is $(a+jd,n)=1$ iff $(k,n)=1$?
Please help.
number-theory elementary-number-theory modular-arithmetic
$endgroup$
$begingroup$
First question: if you take two numbers that are between $0$ and $n-1$, how far apart can they be form each other? Less than $n$ apart, for sure. (Two numbers between $1$ and $10$ are always less than $11$ away from each other, no?)
$endgroup$
– Arturo Magidin
Mar 23 at 1:55
$begingroup$
Question 2: No two elements of the first set are congruent modulo $n$, and there’s $n$ of them, so they must correspond exactly to the possible remainders modulo $n$, namely $0$, $1,ldots,n-1$.
$endgroup$
– Arturo Magidin
Mar 23 at 1:57
$begingroup$
Re: the rest of your second set of questions. First, I am quite certain it's a typo regarding $0 leq k lt (n-1)$. It should be $0 leq k leq (n-1)$ as you suggest. Second, as for why "$(a+jd,n)=1$ iff $(k,n)=1$", note that since $a+jdequiv k pmodn$, then $a+jd - k = mn$ for some integer $m$. Consider $(k,n) = 1$. If $d_1 = (a+jd,n)$ is not $1$, then $d_1$ also divides not only $n$, but also $k$, so $d_1 mid (k,n)$, so this means that $d_1 = 1$. A similar argument can be made to show that $(a_jd,n) = 1$ gives that $(k,n) = 1$.
$endgroup$
– John Omielan
Mar 23 at 2:20
$begingroup$
The presentation obfuscates the simple key idea: $f(n) = a+n,$ and $,g(n) = dn,$ are invertible so bijections (permutations) on $, Bbb Zbmod n = 0,1,ldots,n-1,$ hence so too is their composition $,f(g(n)) = a+dn.$ $ $
$endgroup$
– Bill Dubuque
Mar 23 at 2:24
add a comment |
$begingroup$

This question in the reference to Number Theory (Modular Arithmetic). I need some help in understanding the proof of Proposition 6.
In the third line of the proof of Proposition 6,
"$dots 0leq k,lleq (n-1)$. Therefore $|k-l|<n;dots$"
Can someone please explain this. How did we get "$|k-l|<n$"?
In the 5th line,
"This means that $a,a+d,a+2d,dots,a+(n-1)d=0,1,2,dots,(n-1)$ modulo $n$. Further if $a+jdequiv k pmodn$ with $0leq k<(n-1)$, then $(a+jd,n)=1$ iff $(k,n)=1.$ Hence the number of integers in $S$ which are prime to $n$ is precisely $phi(n)$."
I do not understand the entire thing.
Why is "$a,a+d,a+2d,dots,a+(n-1)d=0,1,2,dots,(n-1)$ modulo $n$"?
Why is the inequality $0leq k<(n-1)$ and not $0leq kleq (n-1)$?
Why is $(a+jd,n)=1$ iff $(k,n)=1$?
Please help.
number-theory elementary-number-theory modular-arithmetic
$endgroup$

This question in the reference to Number Theory (Modular Arithmetic). I need some help in understanding the proof of Proposition 6.
In the third line of the proof of Proposition 6,
"$dots 0leq k,lleq (n-1)$. Therefore $|k-l|<n;dots$"
Can someone please explain this. How did we get "$|k-l|<n$"?
In the 5th line,
"This means that $a,a+d,a+2d,dots,a+(n-1)d=0,1,2,dots,(n-1)$ modulo $n$. Further if $a+jdequiv k pmodn$ with $0leq k<(n-1)$, then $(a+jd,n)=1$ iff $(k,n)=1.$ Hence the number of integers in $S$ which are prime to $n$ is precisely $phi(n)$."
I do not understand the entire thing.
Why is "$a,a+d,a+2d,dots,a+(n-1)d=0,1,2,dots,(n-1)$ modulo $n$"?
Why is the inequality $0leq k<(n-1)$ and not $0leq kleq (n-1)$?
Why is $(a+jd,n)=1$ iff $(k,n)=1$?
Please help.
number-theory elementary-number-theory modular-arithmetic
number-theory elementary-number-theory modular-arithmetic
edited Mar 23 at 1:57
Arturo Magidin
266k34590921
266k34590921
asked Mar 23 at 1:51
MrAPMrAP
1,29821432
1,29821432
$begingroup$
First question: if you take two numbers that are between $0$ and $n-1$, how far apart can they be form each other? Less than $n$ apart, for sure. (Two numbers between $1$ and $10$ are always less than $11$ away from each other, no?)
$endgroup$
– Arturo Magidin
Mar 23 at 1:55
$begingroup$
Question 2: No two elements of the first set are congruent modulo $n$, and there’s $n$ of them, so they must correspond exactly to the possible remainders modulo $n$, namely $0$, $1,ldots,n-1$.
$endgroup$
– Arturo Magidin
Mar 23 at 1:57
$begingroup$
Re: the rest of your second set of questions. First, I am quite certain it's a typo regarding $0 leq k lt (n-1)$. It should be $0 leq k leq (n-1)$ as you suggest. Second, as for why "$(a+jd,n)=1$ iff $(k,n)=1$", note that since $a+jdequiv k pmodn$, then $a+jd - k = mn$ for some integer $m$. Consider $(k,n) = 1$. If $d_1 = (a+jd,n)$ is not $1$, then $d_1$ also divides not only $n$, but also $k$, so $d_1 mid (k,n)$, so this means that $d_1 = 1$. A similar argument can be made to show that $(a_jd,n) = 1$ gives that $(k,n) = 1$.
$endgroup$
– John Omielan
Mar 23 at 2:20
$begingroup$
The presentation obfuscates the simple key idea: $f(n) = a+n,$ and $,g(n) = dn,$ are invertible so bijections (permutations) on $, Bbb Zbmod n = 0,1,ldots,n-1,$ hence so too is their composition $,f(g(n)) = a+dn.$ $ $
$endgroup$
– Bill Dubuque
Mar 23 at 2:24
add a comment |
$begingroup$
First question: if you take two numbers that are between $0$ and $n-1$, how far apart can they be form each other? Less than $n$ apart, for sure. (Two numbers between $1$ and $10$ are always less than $11$ away from each other, no?)
$endgroup$
– Arturo Magidin
Mar 23 at 1:55
$begingroup$
Question 2: No two elements of the first set are congruent modulo $n$, and there’s $n$ of them, so they must correspond exactly to the possible remainders modulo $n$, namely $0$, $1,ldots,n-1$.
$endgroup$
– Arturo Magidin
Mar 23 at 1:57
$begingroup$
Re: the rest of your second set of questions. First, I am quite certain it's a typo regarding $0 leq k lt (n-1)$. It should be $0 leq k leq (n-1)$ as you suggest. Second, as for why "$(a+jd,n)=1$ iff $(k,n)=1$", note that since $a+jdequiv k pmodn$, then $a+jd - k = mn$ for some integer $m$. Consider $(k,n) = 1$. If $d_1 = (a+jd,n)$ is not $1$, then $d_1$ also divides not only $n$, but also $k$, so $d_1 mid (k,n)$, so this means that $d_1 = 1$. A similar argument can be made to show that $(a_jd,n) = 1$ gives that $(k,n) = 1$.
$endgroup$
– John Omielan
Mar 23 at 2:20
$begingroup$
The presentation obfuscates the simple key idea: $f(n) = a+n,$ and $,g(n) = dn,$ are invertible so bijections (permutations) on $, Bbb Zbmod n = 0,1,ldots,n-1,$ hence so too is their composition $,f(g(n)) = a+dn.$ $ $
$endgroup$
– Bill Dubuque
Mar 23 at 2:24
$begingroup$
First question: if you take two numbers that are between $0$ and $n-1$, how far apart can they be form each other? Less than $n$ apart, for sure. (Two numbers between $1$ and $10$ are always less than $11$ away from each other, no?)
$endgroup$
– Arturo Magidin
Mar 23 at 1:55
$begingroup$
First question: if you take two numbers that are between $0$ and $n-1$, how far apart can they be form each other? Less than $n$ apart, for sure. (Two numbers between $1$ and $10$ are always less than $11$ away from each other, no?)
$endgroup$
– Arturo Magidin
Mar 23 at 1:55
$begingroup$
Question 2: No two elements of the first set are congruent modulo $n$, and there’s $n$ of them, so they must correspond exactly to the possible remainders modulo $n$, namely $0$, $1,ldots,n-1$.
$endgroup$
– Arturo Magidin
Mar 23 at 1:57
$begingroup$
Question 2: No two elements of the first set are congruent modulo $n$, and there’s $n$ of them, so they must correspond exactly to the possible remainders modulo $n$, namely $0$, $1,ldots,n-1$.
$endgroup$
– Arturo Magidin
Mar 23 at 1:57
$begingroup$
Re: the rest of your second set of questions. First, I am quite certain it's a typo regarding $0 leq k lt (n-1)$. It should be $0 leq k leq (n-1)$ as you suggest. Second, as for why "$(a+jd,n)=1$ iff $(k,n)=1$", note that since $a+jdequiv k pmodn$, then $a+jd - k = mn$ for some integer $m$. Consider $(k,n) = 1$. If $d_1 = (a+jd,n)$ is not $1$, then $d_1$ also divides not only $n$, but also $k$, so $d_1 mid (k,n)$, so this means that $d_1 = 1$. A similar argument can be made to show that $(a_jd,n) = 1$ gives that $(k,n) = 1$.
$endgroup$
– John Omielan
Mar 23 at 2:20
$begingroup$
Re: the rest of your second set of questions. First, I am quite certain it's a typo regarding $0 leq k lt (n-1)$. It should be $0 leq k leq (n-1)$ as you suggest. Second, as for why "$(a+jd,n)=1$ iff $(k,n)=1$", note that since $a+jdequiv k pmodn$, then $a+jd - k = mn$ for some integer $m$. Consider $(k,n) = 1$. If $d_1 = (a+jd,n)$ is not $1$, then $d_1$ also divides not only $n$, but also $k$, so $d_1 mid (k,n)$, so this means that $d_1 = 1$. A similar argument can be made to show that $(a_jd,n) = 1$ gives that $(k,n) = 1$.
$endgroup$
– John Omielan
Mar 23 at 2:20
$begingroup$
The presentation obfuscates the simple key idea: $f(n) = a+n,$ and $,g(n) = dn,$ are invertible so bijections (permutations) on $, Bbb Zbmod n = 0,1,ldots,n-1,$ hence so too is their composition $,f(g(n)) = a+dn.$ $ $
$endgroup$
– Bill Dubuque
Mar 23 at 2:24
$begingroup$
The presentation obfuscates the simple key idea: $f(n) = a+n,$ and $,g(n) = dn,$ are invertible so bijections (permutations) on $, Bbb Zbmod n = 0,1,ldots,n-1,$ hence so too is their composition $,f(g(n)) = a+dn.$ $ $
$endgroup$
– Bill Dubuque
Mar 23 at 2:24
add a comment |
0
active
oldest
votes
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%2f3158868%2fproblem-in-understanding-a-proof-in-number-theory%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
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%2f3158868%2fproblem-in-understanding-a-proof-in-number-theory%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$
First question: if you take two numbers that are between $0$ and $n-1$, how far apart can they be form each other? Less than $n$ apart, for sure. (Two numbers between $1$ and $10$ are always less than $11$ away from each other, no?)
$endgroup$
– Arturo Magidin
Mar 23 at 1:55
$begingroup$
Question 2: No two elements of the first set are congruent modulo $n$, and there’s $n$ of them, so they must correspond exactly to the possible remainders modulo $n$, namely $0$, $1,ldots,n-1$.
$endgroup$
– Arturo Magidin
Mar 23 at 1:57
$begingroup$
Re: the rest of your second set of questions. First, I am quite certain it's a typo regarding $0 leq k lt (n-1)$. It should be $0 leq k leq (n-1)$ as you suggest. Second, as for why "$(a+jd,n)=1$ iff $(k,n)=1$", note that since $a+jdequiv k pmodn$, then $a+jd - k = mn$ for some integer $m$. Consider $(k,n) = 1$. If $d_1 = (a+jd,n)$ is not $1$, then $d_1$ also divides not only $n$, but also $k$, so $d_1 mid (k,n)$, so this means that $d_1 = 1$. A similar argument can be made to show that $(a_jd,n) = 1$ gives that $(k,n) = 1$.
$endgroup$
– John Omielan
Mar 23 at 2:20
$begingroup$
The presentation obfuscates the simple key idea: $f(n) = a+n,$ and $,g(n) = dn,$ are invertible so bijections (permutations) on $, Bbb Zbmod n = 0,1,ldots,n-1,$ hence so too is their composition $,f(g(n)) = a+dn.$ $ $
$endgroup$
– Bill Dubuque
Mar 23 at 2:24