All Questions
23 questions
2
votes
2
answers
432
views
Expositions of the classical approach to local class field theory (Brauer group and Hasse invariant)
I've posted this question already on MSE and didn't get much out of it, so I hope it's OK to repost here.
I'm an undergraduate trying to learn local class field theory from the corresponding chapter ...
- 121
1
vote
0
answers
118
views
Degrees of trigonometric numbers
For a rational number $r\in(0,1)$ the number $z=\sin(r\pi)$ is an algebraic number — such numbers appear to be called trigonometric numbers.
What is its degree?
That is, what is the minimal degree of ...
- 8,086
7
votes
1
answer
633
views
Given a rational matrix $Q$, can we generate $\langle Q^{i}(v)\mid i\in\mathbb Z,v\in\mathbb Z^{2}\rangle$ using only non-negative powers of a matrix?
I have copied this question from StackExchange, thank you to those who helped me to improve the question. (apology if you have seen this question already)
Let $Q $ be a matrix in $ \operatorname{GL}(...
- 823
2
votes
2
answers
384
views
A ring map from algebraic integers to algebraic closure of $\mathbb F_p$
Let $p$ be a prime and ${\mathbb F}_p$ the finite field with $p$ elements. There is a canonical ring map ${\mathbb Z} \to {\mathbb F}_p \cong {\mathbb Z}/ p {\mathbb Z}$. Denote the image of $n$ by $[...
- 803
4
votes
1
answer
266
views
Positive system of algebraic integers
Let $\mathbb{A}$ be the ring of algebraic integers. Consider a sequence $(d_i)_{i \in I}$, with $I$ a finite set and $d_i \in \mathbb{A} \cap \mathbb{R}_{\ge 1}$, such that $$d_i d_j = \sum_{k \in I} ...
1
vote
0
answers
200
views
Units in residue classes modulo prime ideal
Let $K$ be a number field and $\mathcal{O}_K$ be its ring of integers with unit rank $\geq 1$. For a given prime ideal $\mathfrak{p}$, shall we say that the map $\mathcal{O}_K^\times \to (\mathcal{O}...
- 11
3
votes
1
answer
134
views
Trace-free basis for $\mathcal{O}_K$, $K$ a cubic field
Let $K$ be a cubic field and let $\mathcal{O}_K$ be its ring of integers. Does there always exist elements $\alpha, \beta \in \mathcal{O}_K$ with $\text{Tr}(\alpha) = \text{Tr}(\beta) = 0$ such that $\...
- 26.9k
5
votes
1
answer
335
views
About the structure of unit groups appearing in number theory
I think the following statement is not true in the general situations, but consider it:
$R$ is a ring, $\mathfrak{p}$ is a prime ideal, then the unit group of $\dfrac{R}{\mathfrak{p}^nR}$ is ...
7
votes
1
answer
550
views
Explicit construction of division algebras of degree 3 over $\mathbb{Q}$
In his book Introduction to arithmetic groups, Dave Witte Morris implicitly gives a construction of central division algebras of degree 3 over $\mathbb{Q}$ in Proposition 6.7.4. More precisely, let $L/...
- 767
7
votes
0
answers
92
views
Is the set of conjugates of Pisot numbers dense?
Let $S$ be the set of Pisot numbers. It is known that $S$ is closed and has infinitely many limit points. However, I want to know if there are are results about the set of conjugates of Pisot numbers. ...
- 171
2
votes
1
answer
216
views
A problem about an unramified prime in a Galois extension
I asked this question in MathStackExchange, but I didn't receive any answer.
Let $K/\mathbb{Q}$ be a Galois extension of degree $n$, and denote its ring of integers by $\mathcal{O}_K$. Let $\mathfrak{...
6
votes
0
answers
143
views
Newer versions of Mahler's Lemma
I'm trying to find a way to numerically ensure that two constructible numbers are equal (this would be done by a computer).
The idea is to find a polynomial $p(x)$ that contains both numbers as roots ...
- 563
2
votes
1
answer
746
views
Motivation to study the order theory (ring theory)
I'm currently reading a paper of Georges Gras on the Reflection Principle.
The paper uses some theorems about orders (ring theory) from the book "Maximal Orders" by Reiner. I find the book interesting,...
- 1,013
0
votes
0
answers
108
views
Preimage of projection of idèles, and other usual maps
Let $K$ be a quadratic number field.
I am struggling with some "usual" maps in algebraic number theory, but with which I am not used to, confusing a lot of different settings, as idèles, ...
- 5,424
5
votes
3
answers
550
views
Reference request: correspondence between central simple algebras and quadratic forms
Let $A$ be an algebra over $k$, $\operatorname{tr_A}(x, y):=\operatorname{tr}(m_{xy})$ be a trace form on $A$, and $V_A$ be its restriction on the orthogonal complement to $1$. I wonder why a map $A \...
- 1,980
0
votes
2
answers
369
views
Counting Divisors in $\mathbb{Z}^n$
Basically, I'm looking for ways to multiply elements of $\mathbb{R}^n$ that allow me to count divisors in $\mathbb{Z}^n$.
For every positive integer $n$, I'm looking for an algebra structure on $\...
- 217
2
votes
1
answer
216
views
Criteria for the surjectivity of the reduction map of the $SL_n$-group scheme
Let $R$ be a commutative ring and let $I\subseteq R$ be an ideal. We have a natural projection map
$$
\pi:SL_n(R)\rightarrow SL_n(R/I)
$$
(In the original question I had put $GL_n$ instead of $SL_n$ ...
- 7,609
1
vote
0
answers
189
views
What is the ring of integers in $\mathbb Q^c\otimes_K K_\mathfrak p$? [closed]
Let $K$ be a number field with ring of integers $\mathcal O_K$ and $\mathfrak p$ a prime of $K$. Let $\mathbb Q^c$ be the algebraic closure of $\mathbb Q$ in $\mathbb C$.
If $L$ is a number field ...
- 255
3
votes
1
answer
180
views
Bibliography suggestion for Kummer theory
I already posted a question about a sum involving the degree of a Kummer extension.
Now I'm interested in a more specific fact about Kummer extensions.
From Hooley's paper "On Artin's conjecture", we ...
- 215
1
vote
0
answers
62
views
Valuations in Higher-dimensional local fields
I have the following question which I believ should be true but I would like to have a different opinion about it:
Let $M/L$ is a finite Galois extension of $n$-dimensional local fields and $t_1,\...
- 11
2
votes
0
answers
109
views
classification of rank $2$ $\mathbb{Z}/p^n\mathbb{Z}$-algebra with invertible discriminant
Let $p$ be a prime number and $n$ be an integer. Let $A$ be an $\mathbb{Z}/p^n\mathbb{Z}$-algebra of rank $2$ whose discriminant is non invertible. In Serre's book lecture on the mordell Weil theorem (...
- 21
6
votes
1
answer
290
views
Algebraic integers in skew fields
Hi everyone,
let $D$ be a skew field, which is finite dimensional over its center $k$. Assume that $k$ is a number field, and let $\mathcal{O}_D$ be the set of elements $z\in D$ which are roots of a ...
- 183
10
votes
3
answers
1k
views
Infinite dimensional central simple algebras
When constructing the Brauer group of a field, only the finite-dimensional central simple algebras are considered (because of Artin-Wedderburn's characterization).
But what happens to the infinite-...
- 2,992