Questions related to the algebraic structure of algebraic integers

learn more… | top users | synonyms

0
votes
0answers
32 views

What does Lang mean here by “the usual criterion”?

Let $K$ be a number field containing the $n$th roots of unity, $S$ a finite set of places containing all the archimedean ones and all those which divide $n$, $K_S$ the group of $S$-units of $K$, and ...
3
votes
0answers
45 views

Valuations on $\Bbb Q(t)$

Ex. $2.3.3$ in Algebraic Number Theory by Neukirch is the following: Let $k$ be a field and $K = k(t)$ the function field in one variable. Show that the valuations $v_{\mathfrak p} $ associated to ...
0
votes
1answer
8 views

$K_S$ modulo $K_S^n$, where $K_S$ is the group of $S$-units

Let $K$ be a field containing the $n$th roots of unity, $S$ a finite set of places containing all the archimedean ones, and $K_S$ the group of $S$-units, i.e. those $x \in K^{\ast}$ which are units at ...
0
votes
1answer
19 views

the field fixed by inertia group is the maximal unramified field

$K/F$ is a ablian galois extension of a number field. $\mathcal{O}_F$ (resp.$\mathcal{O}_K$) is the interger ring of $F$(resp.$K$). Let $\mathfrak{P}$ be a prime of $\mathcal{O}_K$ and ...
0
votes
0answers
14 views

square classes of quadratic extensions of 2-adic fialds

I have a question about square classes of quadratic extensions of 2-adic fields. I appreciate anybody help me to understand. Why all elements of $1+\mathfrak{p}^5$ are square in ...
5
votes
1answer
26 views

Why $R^q(\Gamma \circ \eta_{*}) (\Bbb G_{m, \eta}) = H^q(\eta_{ét}, \Bbb G_{m, \eta})$?

Let $X$ be a smooth, projective and connected curve over an algebraically closed field, and let $\eta \rightarrow X$ be its generic point (we also call the inclusion as $\eta$). I want to understand ...
2
votes
1answer
23 views

Bibilography: Riemann's hypothesis and positive semi-definite billinear forms

This is a bibliography request: I remember browsing through a book, some years ago, in a library, in which Riemann's hypothesis was proved over some type of fields (I cannot remember what type), the ...
3
votes
0answers
21 views

Why is this done? (Quadratic integer rings definition) [duplicate]

From Dummit & Foote pg. 229: Let $D$ be a squarefree integer. It is immediate from the addition and multiplication that the subset $\Bbb{Z}[\sqrt{D}] = \{a + b \sqrt{D} | a,b, \in \Bbb{Z}\}$ ...
6
votes
1answer
62 views

Integral basis of $\mathbb{Q}(\theta)$, where $\theta^3-\theta-4=0$

I am working on the text book "algebraic number theory" by Jurgen Neukirch(P15, exercise 6). To prove the integer basis is$ \{1, \theta, \frac{\theta^2+\theta}{2}\}$. After a long and tedious ...
12
votes
2answers
131 views

Sum of Reciprocals of Primes in Imaginary Quadratic Field Diverges (2014 Miklós Schweitzer)

Problem 5 of the 2014 Miklós Schweitzer states: Let $\alpha$ be a non-real algebraic integer of degree two, and let $P$ be the set of irreducible elements of the ring $\mathbb{Z}[\alpha]$. Prove that ...
-1
votes
1answer
72 views

If $\pi$ is not algebraic number then : is $\pi ^{n}$ algebraic number for $n >1$?

if $\pi$ is not algebraic number then : is $$\pi ^{n}$$ algebraic number for $n >1$ ? Thank you for any kind of help .
2
votes
1answer
20 views

Is a Galois group of a number field faithfully represented by its action on the set prime ideals of the ring of integers?

Is a Galois group $G$ of a number field $K$ faithfully represented by its action on the set prime ideals of the ring of integers $O_K$? This is true in some cases, like $Z[i]$. (Where we can see the ...
1
vote
1answer
33 views

List all elements in the residue field $Z[i]/(q)$

Consider a Gaußian prime $q$. How to list all elements in the residue field $Z[i]/(q)$? Is there any formulas or criteria? Here I'm looking for the case $q$ is a complex number, as I can do the real ...
0
votes
0answers
26 views

Discriminant ideal and short exact sequence of finite group schemes

Let $0 \to G' \to G \to G'' \to 0$ be a short exact sequence of finite flat commutative group schemes over a Dedekind domain $\mathcal O$ with field of fractions of characteristic zero. Let ...
1
vote
1answer
21 views

Number of solutions of $x_{0}x_{1} - x_{2}x_{3}$ over $\mathbb{F}_{p^{s}}$

I'm trying to solve the following exercise: Compute the zeta function of $x_{0}x_{1} - x_{2}x_{3}$ over $\mathbb{F}_{p}$. Well, for this, I need to find $N_{s}$, the number of solutions in the field ...
3
votes
0answers
34 views

Discriminant of $\mathbb{Z}[a,b]$

Let $K$ be an algebraic field extension of $\mathbb{Q}$. If $a\in \mathcal{O}_K$ is integral, then $Disc(\mathbb{Z}[a])=\prod_{i<j}( a_i - a_j)^2$ where the $a_i$ are the conjugates of $a$. Is ...
1
vote
1answer
14 views

moduli of the conjugates of a cyclotomic integer

I saw a theorem on the modulus of a cyclotomic integer: [Theorem] If every conjugate $\alpha '$of a cyclotomic integer $\alpha$ satisfies $|\alpha '|<\sqrt{2}$, then $\alpha$ is $0$ or a root of ...
0
votes
0answers
50 views

Non maximal prime ideals and localization

In the chapter on localization in Neukirch, Algebraic Number Theory, the following is mentioned: (A is an integral domain) Usually $S$ will be the complement of a union $\bigcup_{\mathfrak p \in ...
1
vote
0answers
28 views

Ramification index in a number field extension

I've a basic question: Let $L/K$ be an extension of number fields, $\mathfrak p$ a prime ideal of $\mathcal O_K$ and let $\mathfrak p \mathcal O_L=\prod_i P_i^{e_i}$ where $P_i$ are primes in $L$ and ...
2
votes
0answers
32 views

Good examples of (families of) tamely ramified extensions?

I am looking for examples of families of tamely ramified extensions of $\mathbb{Q}$. Thanks.
6
votes
1answer
41 views

How to geometrically interpret intertia of primes in field extensions?

I am trying to understand the intuition of thinking about number theoretic ideas in terms of geometric ones. For example, ramification is something that happens when a "covering" space of a Riemann ...
2
votes
1answer
30 views

Galois of successive polynomials in the series expansion $e^x=\sum_{n=0}^\infty\frac{x^n}{n!}$.

I read in a French paper an assertion without proof that I had not known before and that really catches my attention: The Galois group over $\mathbb{Q}$ of the equation ...
-3
votes
0answers
59 views

Proof that there Always is a Sequence to Map an Algebraic number to a Natural Number? [on hold]

For any algebraic number, b, does there always exist at least one sequence, $b_k$, where k < $\infty$, such that: $(((b^{b_{1}})^{b_{2}})^{...})^{b_{k-1}})^{b_{k}} \epsilon\mathbb{N} $, but not ...
2
votes
3answers
57 views

Understanding $p$-adic fields

OK, I'm completely lost on this. Define the $p$-adic integers $\mathbb{Z}_p$ as the projective limit $$\lim_{\leftarrow} \mathbb{Z}/p^n \mathbb{Z}.$$ So, if $a \in \mathbb{Z}_p$, then $a$ can be ...
5
votes
1answer
35 views

Is every non-archimedean absolute value on a number field equivalent to a $|\cdot|_{\mathfrak{p}}$?

Let $K$ be an algebraic number field, i.e. a finite field extension of $\Bbb{Q}$. I would like to prove that every non-archimedean absolute value on $K$ is equivalent to $$ |x|_{\mathfrak{p}} := ...
1
vote
1answer
18 views

Does the field norm commute with field morphisms?

Consider a field extension $K$ of $\Bbb{Q}$, a finite extension $L$ of $\Bbb{Q}_p$ for some fixed prime number $p$, and a field morphism $\sigma \colon K \to L$ such that the diagram $\require{AMScd}$ ...
3
votes
1answer
38 views

Elliptic curves, reduction map, $E_n$

Let $E$ be the elliptic curve and set $\phi: E(\mathbb{Q}_p) \rightarrow E(\mathbb{F}_p)$ to be the reduction morphism. Define $E_n := \{(x:y:z) \in \ker \phi | x/y \in p^n\mathbb{Z}_p\}$. I'm busy ...
1
vote
0answers
20 views

Is it possible to describe the places of $K$ purely in terms of the algebra of $\mathcal{O}_K$?

By "purely in terms of the algebra" of $\mathcal{O}_K$, I mean without any reference to the real numbers, topological fields, etc. Of course we can get the finite places by considering ...
2
votes
0answers
17 views

Non-archimedean exponential valuation and integral closure

I am trying to solve the following problem from Neukirch's book on ANT: Let $L|K$ be a finite field extension, $v$ a nonarchimedean exponential valuation, and $w$ an extension to $L.$ If ...
0
votes
0answers
14 views

Conductor in a number field is non-zero [duplicate]

Let $L|K$ be an extension of number fields and define $\mathfrak J = \{\alpha \in \mathcal O_L\mid\alpha\mathcal O_L \subset \mathcal O_K[\theta]\}$, the largest ideal of $\mathcal O_L$ contained in ...
1
vote
1answer
39 views

Descending chain of ideals becoming stationary

Exercise 3.7 of Algebraic Number Theory (Neukrich) is: In a noetherian ring R in which every prime ideal is maximal, each descending chian of ideals $\mathfrak{a_1 \supset a_2 \dots}$ becomes ...
0
votes
0answers
32 views

Proving factorization into prime ideals in a Dedekind domain

Let $\mathcal O_K$ be a Dedekind domain and $\mathfrak p$ a prime ideal in $\mathcal O_K$. Assume that we have shown the existence of a fractional ideal $\mathfrak p^{-1}$ such that ...
2
votes
0answers
19 views

What is binary norm of quadratic fields of sum of two squares such that one of them is necessarily even like $a^2 +4b^2?$

I am trying to simplify an expression which I have reached, suppose a number can be represented in the form of $D=a^2 + 4b^2$. What is binary norm of $D$, or how else can it be represented?
2
votes
1answer
32 views

How to express Witt vectors by their ghost components

Let $x_1,x_2,\cdots$ be infinitely many indeterminates, the ghost components of the Witt vector $x=(x_1,x_2,\cdots)$ is given by \begin{equation*} x^{(n)}:=\sum_{d\mid n}dx_d^{n/d}. \end{equation*} ...
1
vote
0answers
28 views

Is this polynomial irreducible over the rationals?

Prove (or disprove): Define $T_n(x)$ as the Chebyshev polynomial of the first kind with degree $n$. If $p$ is an odd prime, then $\sqrt{\frac{T_p(x)-1}{x-1}}$ is an irreducible polynomial over the ...
1
vote
1answer
39 views

Class number and complex conjugation

Let $h$ be the be the class number of the ring of integers of the $p$th cyclotomic field. Suppose $p\mid h$ and let $I$ be an ideal of order $m$ such that $p \mid m$. Does $p$ divide the order of $I ...
0
votes
1answer
16 views

Why is there a set $W$ (to be described below) such that $\mathbb{A}_K = W + K$?

To prove the compactness of $\mathbb{A}_{\mathbb{Q}}/ \mathbb{Q}$ (and hence $\mathbb{A}_K/K$ for an arbitrary number field $K$), one finds a set $W \subseteq \mathbb{A}_{\mathbb{Q}}$ of the form $$ ...
3
votes
2answers
39 views

Under what $p$, $-1$ is a square in $\mathbf F_p$? [duplicate]

Let $p$ be a prime number. If -1 is a square in $\mathbf F_p$, it means that there exists an element of order 4. So $p-1$ is divisible by 4 and therefore $p \equiv 1$ (mod 4). I wonder the converse is ...
0
votes
0answers
54 views

root of unity in a local field

Let $K$ be a local field with residue field of cardinality $q$ that contains the $n$-th roots of unity (for some $n\in\mathbb N^*$). Does $n$ divide $q-1$? If not, is there a relation between $n$ and ...
2
votes
0answers
48 views

Are any two $\ell$-adic Tate twists (non-canonically) isomorphic?

Recall that for a prime $\ell$, the $\ell$-adic Tate twist is defined by $$\mathbb Z_{\ell}(n) := \varprojlim_r \mu_{\ell^r}^{\otimes n}.$$ As abelian groups, we have a (non-canonical) isomorphism ...
0
votes
1answer
83 views

In $(\mathbf Z/p^r \mathbf Z)^*$, finding an element with order $p-1$.

Let $p$ be an odd prime number. I want to prove that $(\mathbf Z/p^r \mathbf Z)^*$ is an cyclic group. I have known that $\overline {p-1} \in (\mathbf Z/p^r \mathbf Z)^*$ is of order $p^{r-1}$. Since ...
13
votes
2answers
85 views

What is the correct analogue of $\mathbb N$ in a ring of integers?

Question: Let $K$ be a number field. The proper intuitive motivation for the ring of integers $\mathcal O_K$ is that $\mathbb Z$ is to $\mathbb Q$ as $\mathcal O_K$ is to $K$. But what plays the role ...
4
votes
1answer
42 views

Field extension $\mathbb{Q}[a]$ with $a,b$ algebraic integers: show $bf'(a)\in\mathbb{Z}[a]$

I am trying to understand a paper which seems to claim the following: Let $f$ be monic irreducible in $\mathbb{Z}[X]$, and $a$ be one of its roots in $\mathbb{C}$. Let $b$ be an algebraic integer in ...
0
votes
0answers
15 views

What is the additive inverse of a 2-adic Witt vector?

The ring of $p$-adic Witt Vector is defined as follows: First, let $X_0, X_1, \cdots$ be an infinite sequence of unknowns and put \begin{equation*} W_n = X_0^{p^n} + pX_1^{p^{n-1}} + \cdots + ...
0
votes
1answer
47 views

$\log (1+x)$ when $x$ is $p$-adic

It's written when $x$ is $p$-adic integer then $\log (1+x) = \sum (-1)^{n-1}\frac{x^n}{n}$ converges, I don't understand what this statement mean. Can one please explain me ?
2
votes
1answer
25 views

Valuation of a particular element

I am tying to compute the valuation of a particular element of $\mathbb{Q}_p$. I am trying to compute $\operatorname{val}_p(P)$ where $P=\frac{\log(1+p^2)}{\log(1+p)}$ and $\log$ is the $p$-adic ...
0
votes
1answer
29 views

Prove that $L(\psi_N , s) = \zeta(s) \prod_{p \mid N}(1 − p^{-s})$

Let $N$ be a positive integer, and let $\psi_N$ be the trivial Dirichlet character with conductor $N,$ so $\psi_N (a) = 0$ if $\gcd(a, N) \ne 1$ and $\psi_N (a) = 1$ if $\gcd(a, N) = 1.$ Prove that ...
3
votes
2answers
58 views

Prove the class number of $\mathbb{Z}[\sqrt{-5}]$ is $2$.

Prove the class number of $\mathbb{Z}[\sqrt{-5}]$ is $2$ . This argument Prove that the class number of $\mathbb{Z}[\zeta_3]$ is $1$ doesn't work since $\mathbb{Z}[\sqrt{-5}]$ is not a unique ...
4
votes
1answer
41 views

Show an intersection of Galois groups is trivial

Let $L/K$ be a finite abelian extension of number fields, and for an extension of places $w/v$ consider the local Artin map $\Phi: K_v^{\ast} \rightarrow Gal(L_w/K_v)$, defined via the global Artin ...
3
votes
2answers
74 views

Transform a polynomial so that positive roots are shifted right and negative roots are shifted left

I'm trying to figure out if it is possible to shift the roots of a polynomial outward, instead of to the left or right. Its relatively simple to shift all the solutions in one direction by ...