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










1












$begingroup$


enter image description here



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.










share|cite|improve this question











$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
















1












$begingroup$


enter image description here



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.










share|cite|improve this question











$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














1












1








1





$begingroup$


enter image description here



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.










share|cite|improve this question











$endgroup$




enter image description here



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






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








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

















  • $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











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
);



);













draft saved

draft discarded


















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















draft saved

draft discarded
















































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.




draft saved


draft discarded














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





















































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







Popular posts from this blog

Moe incest case Sentencing See also References Navigation menu"'Australian Josef Fritzl' fathered four children by daughter""Small town recoils in horror at 'Australian Fritzl' incest case""Victorian rape allegations echo Fritzl case - Just In (Australian Broadcasting Corporation)""Incest father jailed for 22 years""'Australian Fritzl' sentenced to 22 years in prison for abusing daughter for three decades""RSJ v The Queen"

Who is our nearest planetary neighbor, on average?Santa Claus flies to the South PoleSeven Spheres of Unequal Mass, a weighing problem with a twistDescribe a large integerFast Mental Calculation of $7.5^7$Math in Space (without the help of celebrities)Find the value of $bigstar$: Puzzle 8 - InequalityWho drinks beer while running anyway?A Crucial DeliveryRanking And AverageHow long will my money last at roulette?

Daza language Contents Vocabulary Phonology References External links Navigation menudaza1242Daza"Dazaga"eeee178086576