# Tagged Questions

Questions related to the algebraic structure of algebraic integers

54 views

### Is there a redundant assumption in Exercise 2, page 14, from Janusz “Algebraic Number Fields”?

The exercise says: Let $R$ be an integral domain with quotient field $K$ and let $M$ be an $R$-submodule of a finite dimensional $K$-vector space. Prove $M=\bigcap_{P} R_P M$, where the ...
36 views

### construct a unit on $\mathbb{Z}[\sqrt[3]{7}]$?

how might I construct a unit on $\mathbb{Z}[\sqrt[3]{7}]$? Can it be done using pigeonhole principle as with square roots and Pell equation. I had been reading about the Voronoi continued fraction or ...
38 views

### Nice shapes of ideals of $\mathbb{Z}[i]$ from a (lattice) geometric point of view?

If we draw the lattice for the ideal generated by $(2+i)$ in $\mathbb{Z}[i]$, and look at what is happening modulo $(2+i)$, we see a beautiful square, although it is rotated a little bit counterclock-...
59 views

### Questions that SAGE, MAGMA can answer?

I practice theoretical mathematics and I know (almost) nothing about SAGE, MAGMA. I would like to know (in general) what type of questions can I ask SAGE to do? For example, I know that given an ...
42 views

### Why assuming that the ideal in Minkowski's bound is prime

Minkowski’s bound states that given a quadratic field $K(\sqrt{d})$ then every class of ideals in $\mathcal{O}_K$ contains an integral ideal of norm<$\lambda(d)$. Then my notes say that this ...
68 views

### Galois group is isomorphic to group of characters. What can we say then?

Let $\overline{K}/K$ denote the separable closure of a finite field $K$ of characteristic $p$ and let $\mu_{n}$ denote the group of $n$-th roots of unity in $\overline{K}$, where $(n,p)=1$. Let us ...
34 views

### Showing $B_P$ is a finitely generated module over $A_P$ where $P$ is a prime ideal in a Dedekind domain.

Suppose we have $A$ a Dedekind domain, $K$ its field of fractions. Let $L$ be a field extension of $K$ of degree $n$ and also that it is separable. Let $B$ be the integral closure of $A$ in $L$. ...
36 views

42 views

### Proof that the Galois Field of order 8 is a field.

We know that the Galois Field of order 8 is isomorphic with $$\left( Z_2[x]^{< 3}, +_{d(x)}, \times_{d(x)}\right)$$ (Field of polynomials with coefficients in $Z_2$ and of grade smaller than 3, ...
141 views

### Can there be a set of numbers, which have properties like those of quaternions, but of dimension 3? [duplicate]

We all know what the complex numbers are : basically $$R^2$$ with a specified product formula, which is $$(a,b).(c,d)=(ac-bd,ad+bc).$$Hamilton defined the quaternions, which are a wonderful set of ...
52 views

### No ideals coprime in DVR?

There's this exercise in Neukirch, chapter I, §3 (i've changed the statement to deal only with the case that bothers me): Let $\mathfrak o$ be a Dedekind domain and $\mathfrak m$ be a nonzero ...
39 views

### When is norm surjective mod an ideal for global fields?

Given $K/k$ Abelian, for which ideals of $\frak p\unlhd\cal O_k$ will we have $N^K_k:\cal O_K\rightarrow\cal O_k/\frak p$ surjective? $k$ is an algebraic number field. In his article "On the norm ...
42 views

27 views

158 views

### Computing class group of $\mathbb Q(\sqrt{6})$

I am calculating the class group of $\mathbb Q(\sqrt 6)$. My working is as follows: The Minkowski bound is $\lambda(6)=\sqrt 6<3$ so we only need to look at prime ideals of norm $2$. $2$ divides ...
75 views

66 views

### Ideals in the ring of integers $\mathcal{O}_K$

I have two question about the proof of this theorem: Theorem: Let $K$ be an algebraic number field and $n = \dim_{\mathbb{Q}} K$. Then any ideal $I\neq 0$ in the ring of integers $\mathcal{O}_K$ ...
97 views

### Discriminant of a Polynomial over a Local Field

I am trying to prove the local Kronecker-Weber theorem for tamely ramified abelian extensions $L|\mathbb{Q}_p$. At some point in the proof I need to show that $\mathbb{Q}_p(u^{1/e})$ is unramified ...
184 views

### Norm and Trace of an element is an integer, then element is an integral?

Let $L/K$ be a finite field extension, and let $\{b_1,b_2,...,b_d\}$ be a basis for $L/K$ My notes define $O_k:=\mathbb{B}\cap K$, where $\mathbb{B}:=\{\alpha$ is algebraic|min poly of $\alpha$ ...
215 views

### Problem solving Neukirch's Algebraic Number Theory, Exercise 1.7.4

I have tried to solve exercise 1.7.4 in Neukirch's Algebraic Number Theory which states that $1+\zeta$ is a fundamental unit of $\mathbb Z [\zeta]$ when $\zeta$ is a primitive $5$th root of unity. I ...
85 views

### Ideal as kernel of a homomorphism in Gaußian integers

Consider the ring $\mathbb{Z}[i]$ of Gaußian integers. The principal ideal $(1+i)$ is maximal ideal in this ring. Since ideals are kernels of some homomorphisms, I would like to see a homomorphism ...
230 views

### Question about the proof of Hensel's Lemma

Hensel's Lemma: Let $F(x)=\alpha_0 + \alpha_1 x+ \dots + \alpha_n x^n \in \mathbb{Z}_p[x]$. We suppose that there is a $p$-adic $a_1 \in \mathbb{Z}_p$ such that F(a_1) \equiv 0 \mod p \...
57 views

### Eigenvalue of multiplication in a number field.

Let $\mathbb{K}$ be an algebraic number field. $b \in \mathbb{K}$ defines a linear transformation $\phi(b)$ on $\mathbb{K}/\mathbb{Q}$ by multiplication - $\phi(b)(x):=bx$ for all $x\in\mathbb{K}$. ...
269 views

### Prove generalisation of the Tower Law

I need to prove the following generalisation of the Tower Law: Let $L/K$ be an extension of fields, and $V$ a non-zero vector space over $L$. Then $V$ is finite-dimensional over $K$ if and only if $V$...
49 views

### Solve $\frac{x}{m}=\lfloor{x^{2/3}}\rfloor+ \lfloor{x^{1/2}}\rfloor+1$

Prove that for every natural number $m$ there is a natural solution for the eqation $\frac{x}{m}=\lfloor{x^{2/3}}\rfloor+ \lfloor{x^{1/2}}\rfloor+1$ Beside the typical inequality I can't get nothing ...
188 views

### Coprime cofactors of n'th powers are n'th powers, up to associates, for Gaussian integers

I'm trying to do the following exercise from Neukirch's Algebraic Number Theory (exercise 2, $\S 1$, chapter 1): Show that, in the ring $\mathbb{Z}[i]$, the relation $\alpha\beta=\varepsilon\gamma^n$,...
94 views

### A nonprincipal ideal and a nonprime irreducible in $\mathbb{Z}[\sqrt{-17}]$

The problem asks to find a nonprincipal ideal and a nonprime irreducible in $R = \mathbb{Z}[\sqrt{-17}]$. Since $-17 \equiv 3 \pmod 4$, $R$ is the ring of integers of $\mathbb{Q}(\sqrt{-17})$. I ...
67 views

87 views

### Is the group $I_K/K^{\ast}$ compact?
I have two question on adeles and ideles: $1)$Let $K$ be a number field. Is the group $I_K/K^{\ast}$ compact? Here $I_K$ is the idele group of $K$. $2)$ Also it will be helpful if someone explains ...