If $zeta_n$ is a primitive $n$th root of unity, why is $textdim_Bbb QBbb Q[zeta_n]=phi(n)$? [duplicate]

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
0
down vote

favorite













This question already has an answer here:



  • showing that $n$th cyclotomic polynomial $Phi_n(x)$ is irreducible over $mathbbQ$

    6 answers



I have no idea what cyclotomic polynomials are and how we can get the result using that. Is there another way to prove it? Any hint is appreciated.




vector-spaces roots-of-unity




share|cite|improve this question












marked as duplicate by Dietrich Burde, Lord Shark the Unknown, John Ma, José Carlos Santos, Xander Henderson Aug 17 at 0:01


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.














  • @DietrichBurde as I said; we don't know what cyclotomic polynomials are. Our professor asked us this knowing that fact. There must be some other way to prove it.
    – Hrit Roy
    Aug 16 at 12:05











  • I see. Still I think it's worth to look up what a cyclotomic polynomial is, and you asked anyway how we can get the result using that polynomial.
    – Dietrich Burde
    Aug 16 at 12:09










  • @DietrichBurde could you tell me how cyclotomic polynomials help us prove it?
    – Hrit Roy
    Aug 16 at 15:40










  • Hrit, the $BbbQ$-dimension of $BbbQ[zeta_n]$ is by definition the degree of the minimal polynomial $Phi_n(x)$ of $zeta_n$, which obviously is $phi(n)$; see the duplicate.
    – Dietrich Burde
    Aug 16 at 18:15















up vote
0
down vote

favorite













This question already has an answer here:



  • showing that $n$th cyclotomic polynomial $Phi_n(x)$ is irreducible over $mathbbQ$

    6 answers



I have no idea what cyclotomic polynomials are and how we can get the result using that. Is there another way to prove it? Any hint is appreciated.




vector-spaces roots-of-unity




share|cite|improve this question












marked as duplicate by Dietrich Burde, Lord Shark the Unknown, John Ma, José Carlos Santos, Xander Henderson Aug 17 at 0:01


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.














  • @DietrichBurde as I said; we don't know what cyclotomic polynomials are. Our professor asked us this knowing that fact. There must be some other way to prove it.
    – Hrit Roy
    Aug 16 at 12:05











  • I see. Still I think it's worth to look up what a cyclotomic polynomial is, and you asked anyway how we can get the result using that polynomial.
    – Dietrich Burde
    Aug 16 at 12:09










  • @DietrichBurde could you tell me how cyclotomic polynomials help us prove it?
    – Hrit Roy
    Aug 16 at 15:40










  • Hrit, the $BbbQ$-dimension of $BbbQ[zeta_n]$ is by definition the degree of the minimal polynomial $Phi_n(x)$ of $zeta_n$, which obviously is $phi(n)$; see the duplicate.
    – Dietrich Burde
    Aug 16 at 18:15













up vote
0
down vote

favorite









up vote
0
down vote

favorite












This question already has an answer here:



  • showing that $n$th cyclotomic polynomial $Phi_n(x)$ is irreducible over $mathbbQ$

    6 answers



I have no idea what cyclotomic polynomials are and how we can get the result using that. Is there another way to prove it? Any hint is appreciated.




vector-spaces roots-of-unity




share|cite|improve this question













This question already has an answer here:



  • showing that $n$th cyclotomic polynomial $Phi_n(x)$ is irreducible over $mathbbQ$

    6 answers



I have no idea what cyclotomic polynomials are and how we can get the result using that. Is there another way to prove it? Any hint is appreciated.





This question already has an answer here:



  • showing that $n$th cyclotomic polynomial $Phi_n(x)$ is irreducible over $mathbbQ$

    6 answers





vector-spaces roots-of-unity





share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Aug 16 at 11:29









Hrit Roy

837113




837113




marked as duplicate by Dietrich Burde, Lord Shark the Unknown, John Ma, José Carlos Santos, Xander Henderson Aug 17 at 0:01


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, John Ma, José Carlos Santos, Xander Henderson Aug 17 at 0:01


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.













  • @DietrichBurde as I said; we don't know what cyclotomic polynomials are. Our professor asked us this knowing that fact. There must be some other way to prove it.
    – Hrit Roy
    Aug 16 at 12:05











  • I see. Still I think it's worth to look up what a cyclotomic polynomial is, and you asked anyway how we can get the result using that polynomial.
    – Dietrich Burde
    Aug 16 at 12:09










  • @DietrichBurde could you tell me how cyclotomic polynomials help us prove it?
    – Hrit Roy
    Aug 16 at 15:40










  • Hrit, the $BbbQ$-dimension of $BbbQ[zeta_n]$ is by definition the degree of the minimal polynomial $Phi_n(x)$ of $zeta_n$, which obviously is $phi(n)$; see the duplicate.
    – Dietrich Burde
    Aug 16 at 18:15

















  • @DietrichBurde as I said; we don't know what cyclotomic polynomials are. Our professor asked us this knowing that fact. There must be some other way to prove it.
    – Hrit Roy
    Aug 16 at 12:05











  • I see. Still I think it's worth to look up what a cyclotomic polynomial is, and you asked anyway how we can get the result using that polynomial.
    – Dietrich Burde
    Aug 16 at 12:09










  • @DietrichBurde could you tell me how cyclotomic polynomials help us prove it?
    – Hrit Roy
    Aug 16 at 15:40










  • Hrit, the $BbbQ$-dimension of $BbbQ[zeta_n]$ is by definition the degree of the minimal polynomial $Phi_n(x)$ of $zeta_n$, which obviously is $phi(n)$; see the duplicate.
    – Dietrich Burde
    Aug 16 at 18:15
















@DietrichBurde as I said; we don't know what cyclotomic polynomials are. Our professor asked us this knowing that fact. There must be some other way to prove it.
– Hrit Roy
Aug 16 at 12:05





@DietrichBurde as I said; we don't know what cyclotomic polynomials are. Our professor asked us this knowing that fact. There must be some other way to prove it.
– Hrit Roy
Aug 16 at 12:05













I see. Still I think it's worth to look up what a cyclotomic polynomial is, and you asked anyway how we can get the result using that polynomial.
– Dietrich Burde
Aug 16 at 12:09




I see. Still I think it's worth to look up what a cyclotomic polynomial is, and you asked anyway how we can get the result using that polynomial.
– Dietrich Burde
Aug 16 at 12:09












@DietrichBurde could you tell me how cyclotomic polynomials help us prove it?
– Hrit Roy
Aug 16 at 15:40




@DietrichBurde could you tell me how cyclotomic polynomials help us prove it?
– Hrit Roy
Aug 16 at 15:40












Hrit, the $BbbQ$-dimension of $BbbQ[zeta_n]$ is by definition the degree of the minimal polynomial $Phi_n(x)$ of $zeta_n$, which obviously is $phi(n)$; see the duplicate.
– Dietrich Burde
Aug 16 at 18:15





Hrit, the $BbbQ$-dimension of $BbbQ[zeta_n]$ is by definition the degree of the minimal polynomial $Phi_n(x)$ of $zeta_n$, which obviously is $phi(n)$; see the duplicate.
– Dietrich Burde
Aug 16 at 18:15











1 Answer
1






active

oldest

votes

















up vote
0
down vote













If $zeta_n$ is primitive, then $zeta_n^jneq zeta_n^k$ whenever $n nmid (k-j)$. Knowing this you could write $mathbb Q [zeta_n]$ concretely. The major point is $(zeta_n^j)_gcd(j,n)=1$ is a $mathbb Q$-basis of $mathbb Q [zeta_n]$.






share|cite|improve this answer






















  • @ArnaudD. Yeah, i found that. Thanks.
    – xbh
    Aug 16 at 11:37

















1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes








up vote
0
down vote













If $zeta_n$ is primitive, then $zeta_n^jneq zeta_n^k$ whenever $n nmid (k-j)$. Knowing this you could write $mathbb Q [zeta_n]$ concretely. The major point is $(zeta_n^j)_gcd(j,n)=1$ is a $mathbb Q$-basis of $mathbb Q [zeta_n]$.






share|cite|improve this answer






















  • @ArnaudD. Yeah, i found that. Thanks.
    – xbh
    Aug 16 at 11:37














up vote
0
down vote













If $zeta_n$ is primitive, then $zeta_n^jneq zeta_n^k$ whenever $n nmid (k-j)$. Knowing this you could write $mathbb Q [zeta_n]$ concretely. The major point is $(zeta_n^j)_gcd(j,n)=1$ is a $mathbb Q$-basis of $mathbb Q [zeta_n]$.






share|cite|improve this answer






















  • @ArnaudD. Yeah, i found that. Thanks.
    – xbh
    Aug 16 at 11:37












up vote
0
down vote










up vote
0
down vote









If $zeta_n$ is primitive, then $zeta_n^jneq zeta_n^k$ whenever $n nmid (k-j)$. Knowing this you could write $mathbb Q [zeta_n]$ concretely. The major point is $(zeta_n^j)_gcd(j,n)=1$ is a $mathbb Q$-basis of $mathbb Q [zeta_n]$.






share|cite|improve this answer














If $zeta_n$ is primitive, then $zeta_n^jneq zeta_n^k$ whenever $n nmid (k-j)$. Knowing this you could write $mathbb Q [zeta_n]$ concretely. The major point is $(zeta_n^j)_gcd(j,n)=1$ is a $mathbb Q$-basis of $mathbb Q [zeta_n]$.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Aug 16 at 11:36

























answered Aug 16 at 11:34









xbh

2,232113




2,232113











  • @ArnaudD. Yeah, i found that. Thanks.
    – xbh
    Aug 16 at 11:37
















  • @ArnaudD. Yeah, i found that. Thanks.
    – xbh
    Aug 16 at 11:37















@ArnaudD. Yeah, i found that. Thanks.
– xbh
Aug 16 at 11:37




@ArnaudD. Yeah, i found that. Thanks.
– xbh
Aug 16 at 11:37


-

這個網誌中的熱門文章

How to combine Bézier curves to a surface?

圖片
Clash Royale CLAN TAG #URR8PPP up vote 2 down vote favorite My aim is to smooth the terrain in a video game. Therefore I contrived an algorithm that makes use of Bézier curves of different orders. But this algorithm is defined in a two dimensional space for now. To shift it into the third dimension I need to somehow combine the Bézier curves. Given two curves in each two dimensions, how can I combine them to build a surface? I thought about something like a curve of a curve. Or maybe I could multiply them somehow. How can I combine them to cause the wanted behavior? Is there a common approach? In the image you can see the input, on the left, and the output, on the right, of the algorithm that works in a two dimensional space. For the real application there is a three dimensional input. The algorithm relays only on the adjacent tiles. Given these it will define the control points of the mentioned Bézier cur...
閱讀完整內容

Mutual Information Always Non-negative

圖片
Clash Royale CLAN TAG #URR8PPP up vote 10 down vote favorite 6 What is the simplest proof that mutual information is always non-negative? i.e., $I(X;Y)ge0$ probability-theory share | cite | improve this question edited Jun 17 '12 at 15:38 Cameron Buie 83.6k 7 71 154 asked Jun 17 '12 at 15:30 Omri 359 3 13 3 Convexity of the function $tmapsto tlog t$. – Did Jun 17 '12 at 15:33 In addition, the convexity properties require the coefficients in the linear combination sum 1. Then, as p(x,y) is a probability distribution, it fullfits such condition. – Francisco Javier Delgado Ceped Aug 10 at 18:44 add a comment  |  up vote 10 down vote favorite 6 What is the simplest proof that mutual information is always non-negative? i.e., $I(X;Y)ge0$ probability-theory share | cite | improve this question edited Jun 17 ...
閱讀完整內容

Why am i infinitely getting the same tweet with the Twitter Search API?

圖片
up vote 0 down vote favorite My code workes perfectly for other queries, but for one query I am infinitely getting the same tweet. I can't understand what the problem is. API call: query='Allergic asthma OR Nonallergic asthma OR Occupational asthma OR EIB OR Exercise-induced bronchoconstriction OR Nocturnal asthma OR Cough-variant asthma' new_tweets = api.search(q=searchQuery, count=100, since_id=since_id, lang='en',tweet_mode='extended') if not new_tweets: print("No more tweets found") break for tweet in new_tweets: if True: print(jsonpickle.encode(tweet._json, unpicklable=False)) my_file = open('searchTweets.txt','a') my_file.write(jsonpickle.encode(tweet._json, unpicklable=False)+'n') my_file.close() else: continue Output in file: https://pastebin.com/JmRCsTeE These are the JSONs of the same Tweet. Other queries that work: Breast cancer OR Prostate cancer OR Colon cancer OR Lung cancer Type 2 dia...
閱讀完整內容