Skip to main content

All Questions

1 vote
2 answers
73 views

Characterizing generators for the multiplicative group of a finite field.

Fix a finite field $\mathbb{F}_p$ and consider its multiplicative group $\mathbb{F}_p^\times$, which we know is cyclic. Is there an general way to characterize this group's generators (the primitive $(...
Mithrandir's user avatar
1 vote
1 answer
186 views

Understanding Neukirch´s proof

I´m studying algebraic number theory from Neukirch´s book. I´m reading the Proposition 10.2 which says: A $\mathbb{Z}$-basis of the ring $O$ of integers of $\mathbb{Q}(\zeta)$ is given by $1, \zeta, \...
John Andrew's user avatar
0 votes
0 answers
110 views

Why it is sufficient to look at prime divisor of $p-1$ when finding generators of $\mathbb{Z}_p^*$?

Let's say that I want to find the generators of $\mathbb{Z}_p^*$, where $p$ is a prime number. I found the following necessary and sufficient condition: An element $x \in \mathbb{Z}_p^*$ is a ...
Bean Guy's user avatar
  • 321
1 vote
0 answers
120 views

A Primitive element in Finite Fields

My question is about the roots of unity in finite fields. It goes like this: Suppose we have two primes p and q, both greater than 3, which satisfy $q|(p-1)$. Then there exists a $q$-the root of unity ...
math seeker's user avatar
2 votes
0 answers
42 views

Quadratic number fields that contain primitive root of unity

Find all quadratic fields $\mathbb{Q}[\sqrt{d}]$ that contain some $p$-th primitive root of unity, where $p>2$ is a prime. Now, my reasoning was: if $\mathbb{Q}[\sqrt{d}]$ contains one $p$-th root ...
blue's user avatar
  • 816
1 vote
1 answer
71 views

Finding a counter-example for Gaussian-periods for non-primes

I need to give a counter-example against the following theorem: Suppose $H \subset \operatorname{Gal}(\mathbb{Q}(\zeta_n)/\mathbb{Q})$ is a subgroup. Then we have $\mathbb{Q}(\zeta_n)^H = \mathbb{Q}(\...
Sigurd's user avatar
  • 1,659
0 votes
0 answers
53 views

Determine if a $4$-th root of unity is contained in $\mathbb{F}_9$

I have two questions, one of those is the same here, but I'd like to use another argument and I need a check! The text is: i) Is it true that a primitive 3-th root of the unit over $\mathbb{F}_3$ is ...
bobinthebox's user avatar
0 votes
0 answers
81 views

Smallest field and root of unity

I'm trying to solve the following: Let $K$ be the smallest field, with characteristic $2$ such that it contains a $15$-primitive root of the unit. Find its cardinality and a primitive element of ...
lukk's user avatar
  • 166
1 vote
3 answers
159 views

what is the value of $\binom{n}{1}​+\binom{n}{4}+\binom{n}{7}​+\binom{n}{10}+\binom{n}{13}+\dots$

what is the value of $$\binom{n}{1}​+\binom{n}{4}+\binom{n}{7}​+\binom{n}{10}+\binom{n}{13}+\dots$$ in the form of number, cos, sin attempts : I can calculate the value of $$\binom{n}{0}​+\binom{n}{...
Beamz Channel's user avatar
1 vote
1 answer
381 views

Primitive roots of the unity in $\mathbb C$

Let $\omega$ be a primitive $n-$th root of unity. (i) Show that its powers $\omega^k$, for $k ∈ {1, \ldots, n}$, are all different; (ii) Deduce that they are precisely all the $n-$th roots of unity. ...
user avatar
0 votes
1 answer
131 views

Is $\bar{x}$ a primitive element in $\mathbb{F}_p[x]/(P(x))$

Let $\mathbb{F}_p$ be the finite field of $p$ elements (where $p$ is a prime) and let $P(x)\in \mathbb{F}_p[x]$ be an irreducible polynomial. I have to prove that $\bar{x}$ is a primitive element of $\...
Tengen's user avatar
  • 1,016
3 votes
1 answer
220 views

Why is $[\mathbb{Q}(\zeta):\mathbb{Q}] = 8$ and not $14$? (Where $\zeta$ is a primitive $15^{th}$ root of unity)

I have a field extension $\mathbb{Q}(\zeta)/\mathbb{Q}$, where $\zeta$ is a primitive $15^{th}$ root of unity. So, since $x^{15}-1 = \phi_{1}(x)\phi_{3}(x)\phi_{5}(x)\phi_{15}(x)$, where $\phi_{n}(x)$...
ponky's user avatar
  • 443
0 votes
0 answers
32 views

Let $w \in G_{63}$ be a primitive root of unity. Find all $n\geq 6$ such that $\sum_{k=6}^n w^{35k} = 0$ and $w^{12n} = w^{15}$

This is probably totally wrong. We know that $5$ and $63$ are relatively prime, therefore $w^5 \in G_{63}$ primitive (we'll suppose $w= w^5$ without loss of generality). We also know that $(w^7)^9 = ...
Deep_Television's user avatar
0 votes
1 answer
155 views

Rational coefficients of the prime roots of unity (basis set in $\mathbb{Q}$).

It is well known that the set of prime roots of unity $S = \{\zeta, \zeta^2, \zeta^3, ..., \zeta^{p-1}\}$ form a basis in $\mathbb{Q}$ (where $\zeta = e^{\frac {i2\pi}{p}}$, $p \in \mathbb{N}, p $ is ...
2vrk1504's user avatar
2 votes
1 answer
36 views

Let $w \in G_{15}$ be a primitive root. Find every $n \in \mathbb{N}$ such that $\sum_{i=2}^{n-1} w^{3i} = 0$

We can first rewrite the series in a useful form, $$\sum_{i=2}^{n-1} w^{3i} = \bigg( \sum_{i=0}^{n-1} w^{3i} \bigg) - w^3 - 1 $$ But since $w$ is primitive, we can apply the geometric series formula,...
ydnfmew's user avatar
  • 825

15 30 50 per page