Issue with Root of Unity Proof [duplicate]












0












$begingroup$



This question already has an answer here:




  • If $g$ is the generator of a group $G$, order $n$, when is $g^k$ a generator? [duplicate]

    2 answers



  • Cyclic Group Generators of Order $n$

    5 answers




I need some help with a proof:



Let $gcd(k,n)=1, w_n = e^{2*pi*i/n}$ and $w_n^k = e^{2*pi*i*k/n}$. Show that the equation $ <w_n> = <w_n^k>$ holds, where $<x>$ = {$x^n|n in N_0 $}



Is it necessary to show, that $w_n^k$ is primitive, if $gcd(k,n)=1$ holds?










share|cite|improve this question









$endgroup$



marked as duplicate by Dietrich Burde, Lord Shark the Unknown, metamorphy, José Carlos Santos, Jose Arnaldo Bebita Dris Jan 21 at 11:49


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.


















  • $begingroup$
    Yes, it is necessary. But it has been shown already here, i.e., $g^k$ is also a generator, if and only if $gcd(n,k)=1$.
    $endgroup$
    – Dietrich Burde
    Jan 20 at 20:09












  • $begingroup$
    Welcome the Mathematics Stack Exchange community. A quick tour of the site will help you get the most of your time here.
    $endgroup$
    – dantopa
    Jan 20 at 20:29
















0












$begingroup$



This question already has an answer here:




  • If $g$ is the generator of a group $G$, order $n$, when is $g^k$ a generator? [duplicate]

    2 answers



  • Cyclic Group Generators of Order $n$

    5 answers




I need some help with a proof:



Let $gcd(k,n)=1, w_n = e^{2*pi*i/n}$ and $w_n^k = e^{2*pi*i*k/n}$. Show that the equation $ <w_n> = <w_n^k>$ holds, where $<x>$ = {$x^n|n in N_0 $}



Is it necessary to show, that $w_n^k$ is primitive, if $gcd(k,n)=1$ holds?










share|cite|improve this question









$endgroup$



marked as duplicate by Dietrich Burde, Lord Shark the Unknown, metamorphy, José Carlos Santos, Jose Arnaldo Bebita Dris Jan 21 at 11:49


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.


















  • $begingroup$
    Yes, it is necessary. But it has been shown already here, i.e., $g^k$ is also a generator, if and only if $gcd(n,k)=1$.
    $endgroup$
    – Dietrich Burde
    Jan 20 at 20:09












  • $begingroup$
    Welcome the Mathematics Stack Exchange community. A quick tour of the site will help you get the most of your time here.
    $endgroup$
    – dantopa
    Jan 20 at 20:29














0












0








0





$begingroup$



This question already has an answer here:




  • If $g$ is the generator of a group $G$, order $n$, when is $g^k$ a generator? [duplicate]

    2 answers



  • Cyclic Group Generators of Order $n$

    5 answers




I need some help with a proof:



Let $gcd(k,n)=1, w_n = e^{2*pi*i/n}$ and $w_n^k = e^{2*pi*i*k/n}$. Show that the equation $ <w_n> = <w_n^k>$ holds, where $<x>$ = {$x^n|n in N_0 $}



Is it necessary to show, that $w_n^k$ is primitive, if $gcd(k,n)=1$ holds?










share|cite|improve this question









$endgroup$





This question already has an answer here:




  • If $g$ is the generator of a group $G$, order $n$, when is $g^k$ a generator? [duplicate]

    2 answers



  • Cyclic Group Generators of Order $n$

    5 answers




I need some help with a proof:



Let $gcd(k,n)=1, w_n = e^{2*pi*i/n}$ and $w_n^k = e^{2*pi*i*k/n}$. Show that the equation $ <w_n> = <w_n^k>$ holds, where $<x>$ = {$x^n|n in N_0 $}



Is it necessary to show, that $w_n^k$ is primitive, if $gcd(k,n)=1$ holds?





This question already has an answer here:




  • If $g$ is the generator of a group $G$, order $n$, when is $g^k$ a generator? [duplicate]

    2 answers



  • Cyclic Group Generators of Order $n$

    5 answers








discrete-mathematics complex-numbers






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Jan 20 at 20:05









Jack MowJack Mow

4




4




marked as duplicate by Dietrich Burde, Lord Shark the Unknown, metamorphy, José Carlos Santos, Jose Arnaldo Bebita Dris Jan 21 at 11:49


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.









marked as duplicate by Dietrich Burde, Lord Shark the Unknown, metamorphy, José Carlos Santos, Jose Arnaldo Bebita Dris Jan 21 at 11:49


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.














  • $begingroup$
    Yes, it is necessary. But it has been shown already here, i.e., $g^k$ is also a generator, if and only if $gcd(n,k)=1$.
    $endgroup$
    – Dietrich Burde
    Jan 20 at 20:09












  • $begingroup$
    Welcome the Mathematics Stack Exchange community. A quick tour of the site will help you get the most of your time here.
    $endgroup$
    – dantopa
    Jan 20 at 20:29


















  • $begingroup$
    Yes, it is necessary. But it has been shown already here, i.e., $g^k$ is also a generator, if and only if $gcd(n,k)=1$.
    $endgroup$
    – Dietrich Burde
    Jan 20 at 20:09












  • $begingroup$
    Welcome the Mathematics Stack Exchange community. A quick tour of the site will help you get the most of your time here.
    $endgroup$
    – dantopa
    Jan 20 at 20:29
















$begingroup$
Yes, it is necessary. But it has been shown already here, i.e., $g^k$ is also a generator, if and only if $gcd(n,k)=1$.
$endgroup$
– Dietrich Burde
Jan 20 at 20:09






$begingroup$
Yes, it is necessary. But it has been shown already here, i.e., $g^k$ is also a generator, if and only if $gcd(n,k)=1$.
$endgroup$
– Dietrich Burde
Jan 20 at 20:09














$begingroup$
Welcome the Mathematics Stack Exchange community. A quick tour of the site will help you get the most of your time here.
$endgroup$
– dantopa
Jan 20 at 20:29




$begingroup$
Welcome the Mathematics Stack Exchange community. A quick tour of the site will help you get the most of your time here.
$endgroup$
– dantopa
Jan 20 at 20:29










0






active

oldest

votes

















0






active

oldest

votes








0






active

oldest

votes









active

oldest

votes






active

oldest

votes

Popular posts from this blog

MongoDB - Not Authorized To Execute Command

Npm cannot find a required file even through it is in the searched directory

in spring boot 2.1 many test slices are not allowed anymore due to multiple @BootstrapWith