English
Related papers

Related papers: Constructing examples of semigroups of valuations

200 papers

We describe the K-ring of the classifying space of the generalized quaternion group in terms of generators and the minimal set of relations. We also compute the order of the main generator in the truncated rings.

K-Theory and Homology · Mathematics 2013-01-04 Mehmet Kirdar , Sevilay Özdemir

\'Etant donn\'e un anneau de valuation $V$, de corps r\'esiduel $F$ et de groupe des valeurs $\Gamma$, on donne une condition suffisante pour qu'un anneau local dominant $V$ soit un anneau de valuation de groupe $\Gamma$. Lorsque $V$…

Commutative Algebra · Mathematics 2022-06-13 Laurent Moret-Bailly

We give an example of a valued field $(K,A)$ such that the valuation ring $A$ is definable by an $L_{\text{ring}}$-formula without parameters, but there is no $\exists\forall\exists$ or $\forall\exists\forall$-formula in $L_{\text{ring}}$…

Logic · Mathematics 2025-08-12 Mohsen Khani , Shaghayegh Shirani , Zahra Yadegari , Afshin Zarei

Suppose that $R$ is a local domain essentially of finite type over a field of characteristic 0, and $\nu$ a valuation of the quotient field of $R$ which dominates $R$. The rank of such a valuation often increases upon extending the…

Algebraic Geometry · Mathematics 2009-05-29 Steven Dale Cutkosky , Samar ElHitti

This papers studies centralizers of an element, $a$, in the nucleus of a non-associative algebra with a special type of valuation. We prove that the centralizer of $a$ is a free module of finite rank over the algebra generated by $a$.

Rings and Algebras · Mathematics 2026-01-12 Johan Richter

We study algebraic discrete valuations dominating normal local domains of dimension two. We construct a family of examples to show that the Hilbert-Samuel function of the associated graded ring of the valuation can fail to be asymptotically…

Commutative Algebra · Mathematics 2014-06-11 Soumya D. Sanyal

Kernel functions are frequently encountered in differential equations and machine learning applications. In this work, we study the rank of matrices arising out of the kernel function $K: X \times Y \mapsto \mathbb{R}$, where the sets $X, Y…

Numerical Analysis · Mathematics 2025-10-17 Sumit Singh , Sivaram Ambikasaran

This work is concerned with the kernel-based approximation of a complex-valued function from data, where the frequency response function of a partial differential equation in the frequency domain is of particular interest. In this setting,…

Computational Engineering, Finance, and Science · Computer Science 2024-11-26 Julien Bect , Niklas Georg , Ulrich Römer , Sebastian Schöps

We develop a sequential-topological study of rational points of schemes of finite type over local rings typical in higher dimensional number theory and algebraic geometry. These rings are certain types of multidimensional complete fields…

Algebraic Geometry · Mathematics 2012-03-02 Alberto Camara

Let O_K be a discrete valuation ring of mixed characteristics (0,p), with residue field k. Using work of Sekiguchi and Suwa, we construct some finite flat O_K-models of the group scheme \mu_{p^n,K} of p^n-th roots of unity, which we call…

Number Theory · Mathematics 2013-01-15 Ariane Mézard , Matthieu Romagny , Dajano Tossici

We give model theoretic criteria for $\exists \forall$ and $\forall \exists$- formulas in the ring language to define uniformly the valuation rings $\mathcal{O}$ of models $(K, \mathcal{O})$ of an elementary theory $\Sigma$ of henselian…

Commutative Algebra · Mathematics 2014-02-07 Alexander Prestel

We study the algebraic $K$-theory of the ring of continuous functions on a compact Hausdorff space with values in a local division ring, e.g., a local field: We compute its negative $K$-theory and show its $K$-regularity. The complex case…

K-Theory and Homology · Mathematics 2024-02-09 Ko Aoki

Let $K$ be a number field with ring of integers $\mathcal{O}_K$. We compute explicitly the local factors of the normal zeta functions of the Heisenberg groups $H(\mathcal{O}_K)$ that are indexed by rational primes which are unramified in…

Group Theory · Mathematics 2014-10-30 Michael M. Schein , Christopher Voll

Usually, complex-valued RKHS are presented as an straightforward application of the real-valued case. In this paper we prove that this procedure yields a limited solution for regression. We show that another kernel, here denoted as pseudo…

We construct a minimal free resolution of the semigroup ring k[C] in terms of minimal resolutions of k[A] and k[B] when <C> is a numerical semigroup obtained by gluing two numerical semigroups <A> and <B>. Using our explicit construction,…

Commutative Algebra · Mathematics 2018-04-18 Philippe Gimenez , Hema Srinivasan

A natural operation on numerical semigroups is taking a quotient by a positive integer. If $\mathcal S$ is a quotient of a numerical semigroup with $k$ generators, we call $\mathcal S$ a $k$-quotient. We give a necessary condition for a…

Commutative Algebra · Mathematics 2022-12-20 Tristram Bogart , Christopher O'Neill , Kevin Woods

We classify the types of root systems $R$ in the rings of integers of number fields $K$ such that the Weyl group $W(R)$ lies in the group $\mathcal L(K)$ generated by ${\rm Aut} (K)$ and multiplications by the elements of $K^*$. We also…

Group Theory · Mathematics 2019-07-29 Vladimir L. Popov , Yuri G. Zarhin

We consider $K$-semialgebras for a commutative semiring $K$ that are at the same time $\Sigma$-algebras and satisfy certain linearity conditions. When each finite system of guarded polynomial fixed point equations has a unique solution over…

Discrete Mathematics · Computer Science 2015-03-19 Zoltan Esik

We present a quick approach to computing the $K$-theory of the category of locally compact modules over any order in a semisimple $\mathbb{Q}$-algebra. We obtain the $K$-theory by first quotienting out the compact modules and subsequently…

K-Theory and Homology · Mathematics 2020-06-22 Oliver Braunling , Ruben Henrard , Adam-Christiaan van Roosmalen

Let $(K,\nu)$ be a real closed valued field, and let $S\subseteq K^n$ be a definable open semi-algebraic set. We find an algebraic characterization of rational functions which are OVF-integral on $S$. We apply the existing model theoretic…

Logic · Mathematics 2011-05-18 Yoav Yaffe