Related papers: Decidability Problems for Adele Rings and related …
We study the model theory of the ring of adeles of a number field. We obtain quantifier elimination results in the language of rings and some enrichments. We given consequences for definable subsets of the adeles, and their measures.
In this paper we study a relationship between elementary equivalence of endomorphism rings of Abelian p-groups and second order equivalence of the corresponding Abelian p-groups.
Much is known about the adele ring of an algebraic number field from the perspective of Harmonic Analysis and Class Field Theory. However, its ring-theoretical aspects are often ignored. Here we present a description of the prime spectrum…
We give axioms in the language of rings augmented by a 1-ary predicate symbol $Fin(x)$ with intended interpretation in the Boolean algebra of idempotents as the ideal of finite elements, i.e. finite unions of atoms. We prove that any…
In this paper we provide a complete algebraic characterization of elementary equivalence of rings with a finitely generated additive group in the language of pure rings. The rings considered are arbitrary otherwise.
In this paper we give a small review of some recent results of elementary equivalence of linear and algebraic groups and our last new results of elementary equivalence of categories of modules, endomorphism rings of modules, lattices of…
We describe a deterministic process to associate a practical, permanent label to isomorphism classes of abelian varieties defined over finite fields with commutative endomorphism algebra as long as they are ordinary or defined over a prime…
We study the first-order axiomatisability of finite semiring interpretations or, equivalently, the question whether elementary equivalence and isomorphism coincide for valuations of atomic facts over a finite universe into a commutative…
We prove an inclusion result for graded dagger closure for primary ideals in symmetric section rings of abelian varieties over an algebraically closed field of arbitrary characteristic.
This paper is a survey on model theory of adeles and applications to model theory, algebra, and number theory. Sections 1-12 concern model theory of adeles and the results are joint works with Angus Macintyre. The topics covered include…
In this paper, we construct derived equivalences between two subrings of relevant $\Phi$-Auslander-Yoneda rings from an arbitrary short exact sequence in an abelian category. As a consequence, any short exact sequence in an abelian category…
We classify, up to isomorphism and up to equivalence, division gradings (by abelian groups) on finite-dimensional simple real algebras. Gradings on finite-dimensional simple algebras are determined by division gradings, so our results give…
The adele ring of a number field is a central object in modern number theory. Its status as a locally compact topological ring is one of the key reasons why. We describe a formal proof that the adele ring of a number field is locally…
The ring of ad\`eles of a global field and its group of units, the group of id\`eles, are fundamental objects in modern number theory. We discuss a formalization of their definitions in the Lean 3 theorem prover. As a prerequisite, we…
We investigate the problem of deciding whether a system of linear equations, together with divisibility conditions on the variables, has a solution over holomorphy subrings of global fields. We obtain decidability results when we allow…
Let $A$ and $B$ be two connected graded algebras finitely generated in degree one. If $A$ is isomorphic to $B$ as ungraded algebras, then they are also isomorphic to each other as graded algebras.
We investigate Diophantine definability and decidability over some subrings of algebraic numbers contained in quadratic extensions of totally real algebraic extensions of $\mathbb Q$. Among other results we prove the following. The big…
In this paper, we will consider derived equivalences for differential graded endomorphism algebras by Keller's approaches. First we construct derived equivalences of differential graded algebras which are endomorphism algebras of the…
Similarly to how the classical group ring isomorphism problem asks, for a commutative ring $R$, which information about a finite group $G$ is encoded in the group ring $RG$, the twisted group ring isomorphism problem asks which information…
The classical Morita Theorem for rings established the equivalence of three statements, involving categorical equivalences, isomorphisms between corners of finite matrix rings, and bimodule homomorphisms. A fourth equivalent statement…