Related papers: Norm principle for even K-groups of number fields
We analyze definably compact groups in o-minimal expansions of ordered groups as a combination of semi-linear groups and groups definable in o-minimal expansions of real closed fields. The analysis involves structure theorems about their…
The celebrated Primitive Normal Basis Theorem states that for any $n\ge 2$ and any finite field $\mathbb F_q$, there exists an element $\alpha\in \mathbb F_{q^n}$ that is simultaneously primitive and normal over $\mathbb F_q$. In this…
Given a number field $K$ one associates to it the set $\Lambda_K$ of Dedekind zeta-functions of finite abelian extensions of $K$. In this short note we present a proof of the following Theorem: for any number field $K$ the set $\Lambda_K$…
Consider an algebraically closed field k and the Cremona group of all birational transformations of the projective plane over k. We characterize infinite order elements of this group having a non-zero power generating a proper normal…
We show that if $X$ is a toric scheme over a regular commutative ring $k$ then the direct limit of the $K$-groups of $X$ taken over any infinite sequence of nontrivial dilations is homotopy invariant. This theorem was previously known for…
Let $k$ be a field of characteristic not $2$. We give a positive answer to Serre's injectivity question for any smooth connected reductive $k$-group whose Dynkin diagram contains connected components only of type $A_n$, $B_n$ or $C_n$. We…
We give an elementary approach to studying whether rings of $S$-integers in complex quadratic fields are Euclidean with respect to the $S$-norm.
We give an upper bound for the essential dimension of a smooth unipotent algebraic group over an arbitrary field. We also show that over a field $k$ which is finitely generated over a perfect field, a smooth unipotent algebraic $k$-group is…
We prove that for no nontrivial ordered abelian group G, the ordered power series field R((G)) admits an exponential, i.e. an isomorphism between its ordered additive group and its ordered multiplicative group of positive elements, but that…
Motivated by intuitive properties of physical quantities, the notion of a non-anomalous semigroup is formulated. These are totally ordered semigroups where there are no `infinitesimally close' elements. The real numbers are then defined as…
Let $S$ be a submonoid of a free Abelian group of finite rank. We show that if $k$ is a field of prime characteristic such that the monoid $k$-algebra $k[S]$ is split $F$-regular, then $k[S]$ is a finitely generated $k$-algebra, or…
We classify all non-degenerate skew-hermitian forms defined over certain local rings, not necessarily commutative, and study some of the fundamental properties of the associated unitary groups, including their orders when the ring in…
We introduce a notion of highly Kummer-faithful fields and study its relationship with the notion of Kummer-faithful fields. We also give some examples of highly Kummer-faithful fields. For example, if $k$ is a number field of finite degree…
In this paper, we consider infinite Galois extensions of number fields and study the relation between their local degrees and the structure of their Galois groups. It is known that, if $K$ is a number field and $L/K$ is an infinite Galois…
We prove that, for every $n \geq 5$, the Hasse norm principle holds for a degree $n$ extension $K/k$ of number fields with normal closure $F$ such that $\operatorname{Gal}(F/k) \cong A_n$. We also show the validity of weak approximation for…
Let $p$ be a prime number, and let $A$ be a ring in which $p$ is nilpotent. In this paper, we consider the maps $$K_{q+1}(A[x]/(x^m), (x))\to K_{q+1}(A[x]/(x^{mn}), (x)),$$induced by the ring homomorphism $A[x]/(x^{m})\to A[x]/(x^{mn})$,…
Let $K/\mathbb{Q}$ be an algebraic number field of class number one and $\mathcal{O}_K$ be its ring of integers. We show that there are infinitely many non-Wieferich primes with respect to certain units in $\mathcal{O}_K$ under the…
We show that semigroup C*-algebras attached to ax+b-semigroups over rings of integers determine number fields up to arithmetic equivalence, under the assumption that the number fields have the same number of roots of unity. For finite…
We show that algebraic analogues of universal group covers, surjective group homomorphisms from a $\mathbb{Q}$-vector space to $F^{\times}$ with "standard kernel", are determined up to isomorphism of the algebraic structure by the…
We prove a local analogue of a theorem of J. Martinet about the absolute norm of the relative discriminant ideal of an extension of number fields. The result can be seen as a statement about 2-primary units. We also prove a similar…