Show that the map $alpha:mathbb{Z}_nto mathbb{Z}_n$ by $sto sr$ where $rin U(n)$ is an automorphism of...

How can I separate the number from the unit in argument?

Free fall ellipse or parabola?

Can I cast Thunderwave and be at the center of its bottom face, but not be affected by it?

Read/write a pipe-delimited file line by line with some simple text manipulation

What happens if you break a law in another country outside of that country?

Find a path from s to t using as few red nodes as possible

Why do we say “un seul M” and not “une seule M” even though M is a “consonne”?

How seriously should I take size and weight limits of hand luggage?

My ex-girlfriend uses my Apple ID to login to her iPad, do I have to give her my Apple ID password to reset it?

Calculating discount not working

Create custom note boxes

Oldie but Goldie

How do I secure a TV wall mount?

Is it reasonable to ask other researchers to send me their previous grant applications?

How can the PCs determine if an item is a phylactery?

Can a PhD from a non-TU9 German university become a professor in a TU9 university?

Airship steam engine room - problems and conflict

Raspberry pi 3 B with Ubuntu 18.04 server arm64: what pi version

What is the difference between 'contrib' and 'non-free' packages repositories?

Is this a new Fibonacci Identity?

Does the Idaho Potato Commission associate potato skins with healthy eating?

Can Sri Krishna be called 'a person'?

Car headlights in a world without electricity

Why does freezing point matter when picking cooler ice packs?



Show that the map $alpha:mathbb{Z}_nto mathbb{Z}_n$ by $sto sr$ where $rin U(n)$ is an automorphism of $mathbb{Z}_n$



The Next CEO of Stack OverflowThere is an automorphism of $mathbb Z_6$ which is not an inner automorphismThe notation $mathbb{Z}[alpha]$Showing $sigma_{a}(x) = x^{a}$ is an automorphism of $mathbb{Z}_{n}$ iff $gcd(a,n)=1$An isomorphic map from $mathbb R^{*} rightarrow mathbb R^{*}$Proof verification needed for showing a map is an automorphism iff gcd$(m,n)=1$Showing a group is surjective to show it's an automorphism.Is this map is an automorphism of $mathbb F_{p^n}$Show that the induced map $bar{alpha} : G rightarrow text{Im}(alpha)$ is an isomorphismLet $A$ be a group and fix $b ∈ A$. Show that the map $ϕ : A → A$ given by $ϕ(a) := b^{-1}ab$ is an automorphism of A.Every surjective homomorphism $alpha : mathbb{Z}^3 rightarrow mathbb{Z}^3$ is isomorphism












2












$begingroup$


$alpha :mathbb{Z}_ntomathbb{Z}_n$ by $sto sr$ where $rin U(n)$ is an automorphism.



Homomorphism:
$ alpha(s+t)=r(s+t)=rs+rt=alpha(s)+alpha(r)$



Injective:



Suppose $alpha(x)=alpha(y)$



Then $rx=ryiff x=y$



Im not sure how to show surjectivity however.



Also I'm not sure how this could be an isomorphism as $alpha(1)=r$ so its not mapping the identity to the identity.










share|cite|improve this question









$endgroup$












  • $begingroup$
    Consider $ r|n.$
    $endgroup$
    – Minz
    Mar 18 at 0:59












  • $begingroup$
    @Minz Notice that $rin U(n)$, which means $r$ is co-prime to $n$.
    $endgroup$
    – awllower
    Mar 18 at 1:01








  • 1




    $begingroup$
    @ awllower Thanks, I did not know the meaning of the notation $U(n).$ If $r$ is co-prime to $n$ then it has inverse modulo $n$.
    $endgroup$
    – Minz
    Mar 18 at 1:10


















2












$begingroup$


$alpha :mathbb{Z}_ntomathbb{Z}_n$ by $sto sr$ where $rin U(n)$ is an automorphism.



Homomorphism:
$ alpha(s+t)=r(s+t)=rs+rt=alpha(s)+alpha(r)$



Injective:



Suppose $alpha(x)=alpha(y)$



Then $rx=ryiff x=y$



Im not sure how to show surjectivity however.



Also I'm not sure how this could be an isomorphism as $alpha(1)=r$ so its not mapping the identity to the identity.










share|cite|improve this question









$endgroup$












  • $begingroup$
    Consider $ r|n.$
    $endgroup$
    – Minz
    Mar 18 at 0:59












  • $begingroup$
    @Minz Notice that $rin U(n)$, which means $r$ is co-prime to $n$.
    $endgroup$
    – awllower
    Mar 18 at 1:01








  • 1




    $begingroup$
    @ awllower Thanks, I did not know the meaning of the notation $U(n).$ If $r$ is co-prime to $n$ then it has inverse modulo $n$.
    $endgroup$
    – Minz
    Mar 18 at 1:10
















2












2








2





$begingroup$


$alpha :mathbb{Z}_ntomathbb{Z}_n$ by $sto sr$ where $rin U(n)$ is an automorphism.



Homomorphism:
$ alpha(s+t)=r(s+t)=rs+rt=alpha(s)+alpha(r)$



Injective:



Suppose $alpha(x)=alpha(y)$



Then $rx=ryiff x=y$



Im not sure how to show surjectivity however.



Also I'm not sure how this could be an isomorphism as $alpha(1)=r$ so its not mapping the identity to the identity.










share|cite|improve this question









$endgroup$




$alpha :mathbb{Z}_ntomathbb{Z}_n$ by $sto sr$ where $rin U(n)$ is an automorphism.



Homomorphism:
$ alpha(s+t)=r(s+t)=rs+rt=alpha(s)+alpha(r)$



Injective:



Suppose $alpha(x)=alpha(y)$



Then $rx=ryiff x=y$



Im not sure how to show surjectivity however.



Also I'm not sure how this could be an isomorphism as $alpha(1)=r$ so its not mapping the identity to the identity.







group-theory






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Mar 18 at 0:48









AColoredReptileAColoredReptile

401210




401210












  • $begingroup$
    Consider $ r|n.$
    $endgroup$
    – Minz
    Mar 18 at 0:59












  • $begingroup$
    @Minz Notice that $rin U(n)$, which means $r$ is co-prime to $n$.
    $endgroup$
    – awllower
    Mar 18 at 1:01








  • 1




    $begingroup$
    @ awllower Thanks, I did not know the meaning of the notation $U(n).$ If $r$ is co-prime to $n$ then it has inverse modulo $n$.
    $endgroup$
    – Minz
    Mar 18 at 1:10




















  • $begingroup$
    Consider $ r|n.$
    $endgroup$
    – Minz
    Mar 18 at 0:59












  • $begingroup$
    @Minz Notice that $rin U(n)$, which means $r$ is co-prime to $n$.
    $endgroup$
    – awllower
    Mar 18 at 1:01








  • 1




    $begingroup$
    @ awllower Thanks, I did not know the meaning of the notation $U(n).$ If $r$ is co-prime to $n$ then it has inverse modulo $n$.
    $endgroup$
    – Minz
    Mar 18 at 1:10


















$begingroup$
Consider $ r|n.$
$endgroup$
– Minz
Mar 18 at 0:59






$begingroup$
Consider $ r|n.$
$endgroup$
– Minz
Mar 18 at 0:59














$begingroup$
@Minz Notice that $rin U(n)$, which means $r$ is co-prime to $n$.
$endgroup$
– awllower
Mar 18 at 1:01






$begingroup$
@Minz Notice that $rin U(n)$, which means $r$ is co-prime to $n$.
$endgroup$
– awllower
Mar 18 at 1:01






1




1




$begingroup$
@ awllower Thanks, I did not know the meaning of the notation $U(n).$ If $r$ is co-prime to $n$ then it has inverse modulo $n$.
$endgroup$
– Minz
Mar 18 at 1:10






$begingroup$
@ awllower Thanks, I did not know the meaning of the notation $U(n).$ If $r$ is co-prime to $n$ then it has inverse modulo $n$.
$endgroup$
– Minz
Mar 18 at 1:10












2 Answers
2






active

oldest

votes


















2












$begingroup$

For a homomorphism to be an automorphism, it needs and it suffices for it to be bijective.



Since $rin U(n)$, there is some $r'$ such that $rcdot r'+ncdot n'=1$, for some integer $n'$. Hence the map $beta:mathbb Z_nrightarrowmathbb Z_n$ given by $smapsto sr'$ is the inverse of $alpha$. (Show this.) This shows that $alpha$ is bijective, and hence an automorphism.





As to your question regarding why it does not send $1$ to $1$, notice that the identity of $mathbb Z_n$ is $1_{mathbb Z_n}=0+nmathbb Z$, which is sent to the identity by $alpha$.





Hope this helps.






share|cite|improve this answer









$endgroup$





















    0












    $begingroup$

    Hint:



    Directly find the inverse homomorphism. It is also the multiplication by a unit. Can you find which?






    share|cite|improve this answer









    $endgroup$














      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%2f3152279%2fshow-that-the-map-alpha-mathbbz-n-to-mathbbz-n-by-s-to-sr-where-r-in%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









      2












      $begingroup$

      For a homomorphism to be an automorphism, it needs and it suffices for it to be bijective.



      Since $rin U(n)$, there is some $r'$ such that $rcdot r'+ncdot n'=1$, for some integer $n'$. Hence the map $beta:mathbb Z_nrightarrowmathbb Z_n$ given by $smapsto sr'$ is the inverse of $alpha$. (Show this.) This shows that $alpha$ is bijective, and hence an automorphism.





      As to your question regarding why it does not send $1$ to $1$, notice that the identity of $mathbb Z_n$ is $1_{mathbb Z_n}=0+nmathbb Z$, which is sent to the identity by $alpha$.





      Hope this helps.






      share|cite|improve this answer









      $endgroup$


















        2












        $begingroup$

        For a homomorphism to be an automorphism, it needs and it suffices for it to be bijective.



        Since $rin U(n)$, there is some $r'$ such that $rcdot r'+ncdot n'=1$, for some integer $n'$. Hence the map $beta:mathbb Z_nrightarrowmathbb Z_n$ given by $smapsto sr'$ is the inverse of $alpha$. (Show this.) This shows that $alpha$ is bijective, and hence an automorphism.





        As to your question regarding why it does not send $1$ to $1$, notice that the identity of $mathbb Z_n$ is $1_{mathbb Z_n}=0+nmathbb Z$, which is sent to the identity by $alpha$.





        Hope this helps.






        share|cite|improve this answer









        $endgroup$
















          2












          2








          2





          $begingroup$

          For a homomorphism to be an automorphism, it needs and it suffices for it to be bijective.



          Since $rin U(n)$, there is some $r'$ such that $rcdot r'+ncdot n'=1$, for some integer $n'$. Hence the map $beta:mathbb Z_nrightarrowmathbb Z_n$ given by $smapsto sr'$ is the inverse of $alpha$. (Show this.) This shows that $alpha$ is bijective, and hence an automorphism.





          As to your question regarding why it does not send $1$ to $1$, notice that the identity of $mathbb Z_n$ is $1_{mathbb Z_n}=0+nmathbb Z$, which is sent to the identity by $alpha$.





          Hope this helps.






          share|cite|improve this answer









          $endgroup$



          For a homomorphism to be an automorphism, it needs and it suffices for it to be bijective.



          Since $rin U(n)$, there is some $r'$ such that $rcdot r'+ncdot n'=1$, for some integer $n'$. Hence the map $beta:mathbb Z_nrightarrowmathbb Z_n$ given by $smapsto sr'$ is the inverse of $alpha$. (Show this.) This shows that $alpha$ is bijective, and hence an automorphism.





          As to your question regarding why it does not send $1$ to $1$, notice that the identity of $mathbb Z_n$ is $1_{mathbb Z_n}=0+nmathbb Z$, which is sent to the identity by $alpha$.





          Hope this helps.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Mar 18 at 0:58









          awllowerawllower

          10.5k42672




          10.5k42672























              0












              $begingroup$

              Hint:



              Directly find the inverse homomorphism. It is also the multiplication by a unit. Can you find which?






              share|cite|improve this answer









              $endgroup$


















                0












                $begingroup$

                Hint:



                Directly find the inverse homomorphism. It is also the multiplication by a unit. Can you find which?






                share|cite|improve this answer









                $endgroup$
















                  0












                  0








                  0





                  $begingroup$

                  Hint:



                  Directly find the inverse homomorphism. It is also the multiplication by a unit. Can you find which?






                  share|cite|improve this answer









                  $endgroup$



                  Hint:



                  Directly find the inverse homomorphism. It is also the multiplication by a unit. Can you find which?







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Mar 18 at 0:56









                  BernardBernard

                  124k741118




                  124k741118






























                      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%2f3152279%2fshow-that-the-map-alpha-mathbbz-n-to-mathbbz-n-by-s-to-sr-where-r-in%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

                      六本木駅

                      Integral that is continuous and looks like it converges to a geometric seriesTesting if a geometric series converges by taking limit to infinitySummation of arithmetic-geometric series of higher orderGeometric series with polynomial exponentHow to Recognize a Geometric SeriesShowing an integral equality with series over the integersDiscontinuity of a series of continuous functionsReasons why a Series ConvergesSum of infinite geometric series with two terms in summationUsing geometric series for computing IntegralsLimit of geometric series sum when $r = 1$

                      Joseph Lister