Show that every nonzero element of $(mathbb{Z}/pmathbb{Z})$ has order $p$












1












$begingroup$


Consider $G = (mathbb{Z}/pmathbb{Z})$, where $p$ is prime. Show that every non-zero element has order $p$.



I have seen the proof for this in Dummit and Foote using multiplicative notation, but I'm having trouble solving this using additive notation. What I have so far:



Let $(mathbb{Z}/pmathbb{Z}) = {bar{0}, bar{1}, bar{2}, ..., overline{p-1}}$, and let $bar{a} in { bar{1}, bar{2}, ..., overline{p-1}}$. Suppose ord$(bar{a}) = n$, that is, $na equiv 0$ (mod $p$). We want to show $n=p$.



Since $na equiv 0$ (mod $p$), then $p mid na$. Given that $p$ is prime and $a < p$, we have gcd$(a,p) = 1$. These facts together imply that $p mid n$.



I still need to show that $p=n$. I know by the definition of order that $n$ must be the least positive integer such that $nbar{a} = bar{0}$, i.e. $na = p$. Is this enough to say also that $n mid p$, and thus $n=p$?



I think I am very close to solving this but I can't quite put the pieces together. Any help would be appreciated.










share|cite|improve this question









$endgroup$












  • $begingroup$
    Yes, since $pbar a=bar 0$, so either $p$ is the order or by definition of order of an element, $p$ is divisible by the order, so indeed $nmid p$. Using the previous inference that $pmid n$, your proof is complete.
    $endgroup$
    – learner
    Feb 2 at 16:56










  • $begingroup$
    I am confused about this comment. You assume $pbar{a} = bar{0}$, but this is what we're trying to prove. Is this a typo or am I misunderstanding something?
    $endgroup$
    – Pawnee
    Feb 2 at 19:45










  • $begingroup$
    I'm not assuming it. Note that $pbar a={pxmid xinbar a}$ and since $pmid px$ for all integers $x$, so $pmid y$ for all $yin pbar a$, thus implying that $pbar a=bar 0$ by definition of $bar 0$ in $Bbb Z/pBbb Z$. Also, note that we're not trying to prove that $pbar a=bar 0$, we're trying to prove that the smallest positive integer $n$ such that $nbar a=bar 0$ is $p$
    $endgroup$
    – learner
    Feb 3 at 14:14


















1












$begingroup$


Consider $G = (mathbb{Z}/pmathbb{Z})$, where $p$ is prime. Show that every non-zero element has order $p$.



I have seen the proof for this in Dummit and Foote using multiplicative notation, but I'm having trouble solving this using additive notation. What I have so far:



Let $(mathbb{Z}/pmathbb{Z}) = {bar{0}, bar{1}, bar{2}, ..., overline{p-1}}$, and let $bar{a} in { bar{1}, bar{2}, ..., overline{p-1}}$. Suppose ord$(bar{a}) = n$, that is, $na equiv 0$ (mod $p$). We want to show $n=p$.



Since $na equiv 0$ (mod $p$), then $p mid na$. Given that $p$ is prime and $a < p$, we have gcd$(a,p) = 1$. These facts together imply that $p mid n$.



I still need to show that $p=n$. I know by the definition of order that $n$ must be the least positive integer such that $nbar{a} = bar{0}$, i.e. $na = p$. Is this enough to say also that $n mid p$, and thus $n=p$?



I think I am very close to solving this but I can't quite put the pieces together. Any help would be appreciated.










share|cite|improve this question









$endgroup$












  • $begingroup$
    Yes, since $pbar a=bar 0$, so either $p$ is the order or by definition of order of an element, $p$ is divisible by the order, so indeed $nmid p$. Using the previous inference that $pmid n$, your proof is complete.
    $endgroup$
    – learner
    Feb 2 at 16:56










  • $begingroup$
    I am confused about this comment. You assume $pbar{a} = bar{0}$, but this is what we're trying to prove. Is this a typo or am I misunderstanding something?
    $endgroup$
    – Pawnee
    Feb 2 at 19:45










  • $begingroup$
    I'm not assuming it. Note that $pbar a={pxmid xinbar a}$ and since $pmid px$ for all integers $x$, so $pmid y$ for all $yin pbar a$, thus implying that $pbar a=bar 0$ by definition of $bar 0$ in $Bbb Z/pBbb Z$. Also, note that we're not trying to prove that $pbar a=bar 0$, we're trying to prove that the smallest positive integer $n$ such that $nbar a=bar 0$ is $p$
    $endgroup$
    – learner
    Feb 3 at 14:14
















1












1








1





$begingroup$


Consider $G = (mathbb{Z}/pmathbb{Z})$, where $p$ is prime. Show that every non-zero element has order $p$.



I have seen the proof for this in Dummit and Foote using multiplicative notation, but I'm having trouble solving this using additive notation. What I have so far:



Let $(mathbb{Z}/pmathbb{Z}) = {bar{0}, bar{1}, bar{2}, ..., overline{p-1}}$, and let $bar{a} in { bar{1}, bar{2}, ..., overline{p-1}}$. Suppose ord$(bar{a}) = n$, that is, $na equiv 0$ (mod $p$). We want to show $n=p$.



Since $na equiv 0$ (mod $p$), then $p mid na$. Given that $p$ is prime and $a < p$, we have gcd$(a,p) = 1$. These facts together imply that $p mid n$.



I still need to show that $p=n$. I know by the definition of order that $n$ must be the least positive integer such that $nbar{a} = bar{0}$, i.e. $na = p$. Is this enough to say also that $n mid p$, and thus $n=p$?



I think I am very close to solving this but I can't quite put the pieces together. Any help would be appreciated.










share|cite|improve this question









$endgroup$




Consider $G = (mathbb{Z}/pmathbb{Z})$, where $p$ is prime. Show that every non-zero element has order $p$.



I have seen the proof for this in Dummit and Foote using multiplicative notation, but I'm having trouble solving this using additive notation. What I have so far:



Let $(mathbb{Z}/pmathbb{Z}) = {bar{0}, bar{1}, bar{2}, ..., overline{p-1}}$, and let $bar{a} in { bar{1}, bar{2}, ..., overline{p-1}}$. Suppose ord$(bar{a}) = n$, that is, $na equiv 0$ (mod $p$). We want to show $n=p$.



Since $na equiv 0$ (mod $p$), then $p mid na$. Given that $p$ is prime and $a < p$, we have gcd$(a,p) = 1$. These facts together imply that $p mid n$.



I still need to show that $p=n$. I know by the definition of order that $n$ must be the least positive integer such that $nbar{a} = bar{0}$, i.e. $na = p$. Is this enough to say also that $n mid p$, and thus $n=p$?



I think I am very close to solving this but I can't quite put the pieces together. Any help would be appreciated.







group-theory elementary-number-theory






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Feb 2 at 16:35









PawneePawnee

365




365












  • $begingroup$
    Yes, since $pbar a=bar 0$, so either $p$ is the order or by definition of order of an element, $p$ is divisible by the order, so indeed $nmid p$. Using the previous inference that $pmid n$, your proof is complete.
    $endgroup$
    – learner
    Feb 2 at 16:56










  • $begingroup$
    I am confused about this comment. You assume $pbar{a} = bar{0}$, but this is what we're trying to prove. Is this a typo or am I misunderstanding something?
    $endgroup$
    – Pawnee
    Feb 2 at 19:45










  • $begingroup$
    I'm not assuming it. Note that $pbar a={pxmid xinbar a}$ and since $pmid px$ for all integers $x$, so $pmid y$ for all $yin pbar a$, thus implying that $pbar a=bar 0$ by definition of $bar 0$ in $Bbb Z/pBbb Z$. Also, note that we're not trying to prove that $pbar a=bar 0$, we're trying to prove that the smallest positive integer $n$ such that $nbar a=bar 0$ is $p$
    $endgroup$
    – learner
    Feb 3 at 14:14




















  • $begingroup$
    Yes, since $pbar a=bar 0$, so either $p$ is the order or by definition of order of an element, $p$ is divisible by the order, so indeed $nmid p$. Using the previous inference that $pmid n$, your proof is complete.
    $endgroup$
    – learner
    Feb 2 at 16:56










  • $begingroup$
    I am confused about this comment. You assume $pbar{a} = bar{0}$, but this is what we're trying to prove. Is this a typo or am I misunderstanding something?
    $endgroup$
    – Pawnee
    Feb 2 at 19:45










  • $begingroup$
    I'm not assuming it. Note that $pbar a={pxmid xinbar a}$ and since $pmid px$ for all integers $x$, so $pmid y$ for all $yin pbar a$, thus implying that $pbar a=bar 0$ by definition of $bar 0$ in $Bbb Z/pBbb Z$. Also, note that we're not trying to prove that $pbar a=bar 0$, we're trying to prove that the smallest positive integer $n$ such that $nbar a=bar 0$ is $p$
    $endgroup$
    – learner
    Feb 3 at 14:14


















$begingroup$
Yes, since $pbar a=bar 0$, so either $p$ is the order or by definition of order of an element, $p$ is divisible by the order, so indeed $nmid p$. Using the previous inference that $pmid n$, your proof is complete.
$endgroup$
– learner
Feb 2 at 16:56




$begingroup$
Yes, since $pbar a=bar 0$, so either $p$ is the order or by definition of order of an element, $p$ is divisible by the order, so indeed $nmid p$. Using the previous inference that $pmid n$, your proof is complete.
$endgroup$
– learner
Feb 2 at 16:56












$begingroup$
I am confused about this comment. You assume $pbar{a} = bar{0}$, but this is what we're trying to prove. Is this a typo or am I misunderstanding something?
$endgroup$
– Pawnee
Feb 2 at 19:45




$begingroup$
I am confused about this comment. You assume $pbar{a} = bar{0}$, but this is what we're trying to prove. Is this a typo or am I misunderstanding something?
$endgroup$
– Pawnee
Feb 2 at 19:45












$begingroup$
I'm not assuming it. Note that $pbar a={pxmid xinbar a}$ and since $pmid px$ for all integers $x$, so $pmid y$ for all $yin pbar a$, thus implying that $pbar a=bar 0$ by definition of $bar 0$ in $Bbb Z/pBbb Z$. Also, note that we're not trying to prove that $pbar a=bar 0$, we're trying to prove that the smallest positive integer $n$ such that $nbar a=bar 0$ is $p$
$endgroup$
– learner
Feb 3 at 14:14






$begingroup$
I'm not assuming it. Note that $pbar a={pxmid xinbar a}$ and since $pmid px$ for all integers $x$, so $pmid y$ for all $yin pbar a$, thus implying that $pbar a=bar 0$ by definition of $bar 0$ in $Bbb Z/pBbb Z$. Also, note that we're not trying to prove that $pbar a=bar 0$, we're trying to prove that the smallest positive integer $n$ such that $nbar a=bar 0$ is $p$
$endgroup$
– learner
Feb 3 at 14:14












2 Answers
2






active

oldest

votes


















1












$begingroup$

Observe that order of $g in G$ is same as the cyclic group generated by $g$. By Lagrange's theorem, the order of the subgroup divides the order of the group.
Since the order of $G$ is prime, the order of subgroup has to be $1$ or $p$. So every non-trivial element must have order $p$.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    This problem is quite easy to solve with Lagrange's theorem, but we haven't covered it yet. All we have covered are basic notions of group axioms, subgroups, cyclic groups, and orders.
    $endgroup$
    – Pawnee
    Feb 2 at 16:41










  • $begingroup$
    How is it possible that $n mid p$, because p is prime? I think my proof is still wrong.
    $endgroup$
    – Pawnee
    Feb 2 at 19:53



















0












$begingroup$

In $(mathbb{Z}/pmathbb{Z})$, for each element $overline a$ you have$$overbrace{overline a+overline a+cdots+overline a}^{ptext{ times}}=overline{pa}=0.$$So, no element has order greater than $p$.






share|cite|improve this answer









$endgroup$














    Your Answer








    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%2f3097477%2fshow-that-every-nonzero-element-of-mathbbz-p-mathbbz-has-order-p%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









    1












    $begingroup$

    Observe that order of $g in G$ is same as the cyclic group generated by $g$. By Lagrange's theorem, the order of the subgroup divides the order of the group.
    Since the order of $G$ is prime, the order of subgroup has to be $1$ or $p$. So every non-trivial element must have order $p$.






    share|cite|improve this answer









    $endgroup$













    • $begingroup$
      This problem is quite easy to solve with Lagrange's theorem, but we haven't covered it yet. All we have covered are basic notions of group axioms, subgroups, cyclic groups, and orders.
      $endgroup$
      – Pawnee
      Feb 2 at 16:41










    • $begingroup$
      How is it possible that $n mid p$, because p is prime? I think my proof is still wrong.
      $endgroup$
      – Pawnee
      Feb 2 at 19:53
















    1












    $begingroup$

    Observe that order of $g in G$ is same as the cyclic group generated by $g$. By Lagrange's theorem, the order of the subgroup divides the order of the group.
    Since the order of $G$ is prime, the order of subgroup has to be $1$ or $p$. So every non-trivial element must have order $p$.






    share|cite|improve this answer









    $endgroup$













    • $begingroup$
      This problem is quite easy to solve with Lagrange's theorem, but we haven't covered it yet. All we have covered are basic notions of group axioms, subgroups, cyclic groups, and orders.
      $endgroup$
      – Pawnee
      Feb 2 at 16:41










    • $begingroup$
      How is it possible that $n mid p$, because p is prime? I think my proof is still wrong.
      $endgroup$
      – Pawnee
      Feb 2 at 19:53














    1












    1








    1





    $begingroup$

    Observe that order of $g in G$ is same as the cyclic group generated by $g$. By Lagrange's theorem, the order of the subgroup divides the order of the group.
    Since the order of $G$ is prime, the order of subgroup has to be $1$ or $p$. So every non-trivial element must have order $p$.






    share|cite|improve this answer









    $endgroup$



    Observe that order of $g in G$ is same as the cyclic group generated by $g$. By Lagrange's theorem, the order of the subgroup divides the order of the group.
    Since the order of $G$ is prime, the order of subgroup has to be $1$ or $p$. So every non-trivial element must have order $p$.







    share|cite|improve this answer












    share|cite|improve this answer



    share|cite|improve this answer










    answered Feb 2 at 16:40









    Exp ikxExp ikx

    4389




    4389












    • $begingroup$
      This problem is quite easy to solve with Lagrange's theorem, but we haven't covered it yet. All we have covered are basic notions of group axioms, subgroups, cyclic groups, and orders.
      $endgroup$
      – Pawnee
      Feb 2 at 16:41










    • $begingroup$
      How is it possible that $n mid p$, because p is prime? I think my proof is still wrong.
      $endgroup$
      – Pawnee
      Feb 2 at 19:53


















    • $begingroup$
      This problem is quite easy to solve with Lagrange's theorem, but we haven't covered it yet. All we have covered are basic notions of group axioms, subgroups, cyclic groups, and orders.
      $endgroup$
      – Pawnee
      Feb 2 at 16:41










    • $begingroup$
      How is it possible that $n mid p$, because p is prime? I think my proof is still wrong.
      $endgroup$
      – Pawnee
      Feb 2 at 19:53
















    $begingroup$
    This problem is quite easy to solve with Lagrange's theorem, but we haven't covered it yet. All we have covered are basic notions of group axioms, subgroups, cyclic groups, and orders.
    $endgroup$
    – Pawnee
    Feb 2 at 16:41




    $begingroup$
    This problem is quite easy to solve with Lagrange's theorem, but we haven't covered it yet. All we have covered are basic notions of group axioms, subgroups, cyclic groups, and orders.
    $endgroup$
    – Pawnee
    Feb 2 at 16:41












    $begingroup$
    How is it possible that $n mid p$, because p is prime? I think my proof is still wrong.
    $endgroup$
    – Pawnee
    Feb 2 at 19:53




    $begingroup$
    How is it possible that $n mid p$, because p is prime? I think my proof is still wrong.
    $endgroup$
    – Pawnee
    Feb 2 at 19:53











    0












    $begingroup$

    In $(mathbb{Z}/pmathbb{Z})$, for each element $overline a$ you have$$overbrace{overline a+overline a+cdots+overline a}^{ptext{ times}}=overline{pa}=0.$$So, no element has order greater than $p$.






    share|cite|improve this answer









    $endgroup$


















      0












      $begingroup$

      In $(mathbb{Z}/pmathbb{Z})$, for each element $overline a$ you have$$overbrace{overline a+overline a+cdots+overline a}^{ptext{ times}}=overline{pa}=0.$$So, no element has order greater than $p$.






      share|cite|improve this answer









      $endgroup$
















        0












        0








        0





        $begingroup$

        In $(mathbb{Z}/pmathbb{Z})$, for each element $overline a$ you have$$overbrace{overline a+overline a+cdots+overline a}^{ptext{ times}}=overline{pa}=0.$$So, no element has order greater than $p$.






        share|cite|improve this answer









        $endgroup$



        In $(mathbb{Z}/pmathbb{Z})$, for each element $overline a$ you have$$overbrace{overline a+overline a+cdots+overline a}^{ptext{ times}}=overline{pa}=0.$$So, no element has order greater than $p$.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Feb 2 at 16:38









        José Carlos SantosJosé Carlos Santos

        174k23134243




        174k23134243






























            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%2f3097477%2fshow-that-every-nonzero-element-of-mathbbz-p-mathbbz-has-order-p%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

            android studio warns about leanback feature tag usage required on manifest while using Unity exported app?

            SQL update select statement

            WPF add header to Image with URL pettitions [duplicate]