English
Related papers

Related papers: Finitely Presented Exponential Fields

200 papers

We study the exponentiation of elements of the gauge Lie algebras ${\rm hs}(\lambda)$ of three-dimensional higher spin theories. Exponentiable elements generate one-parameter groups of finite higher spin symmetries. We show that elements of…

High Energy Physics - Theory · Physics 2015-03-20 Samuel Monnier

We construct a computable, computably categorical field of infinite transcendence degree over the rational numbers, using the Fermat polynomials and assorted results from algebraic geometry. We also show that this field has an intrinsically…

Logic · Mathematics 2018-02-12 Russell Miller , Hans Schoutens

Let $\Lambda$ be a finite dimensional algebra over an algebraically closed field $k$. We survey some results on algebras of finite global dimension and address some open problems.

Representation Theory · Mathematics 2012-09-11 Dieter Happel , Dan Zacharia

A special final coalgebra theorem, in the style of Aczel's, is proved within standard Zermelo-Fraenkel set theory. Aczel's Anti-Foundation Axiom is replaced by a variant definition of function that admits non-well-founded constructions.…

Logic in Computer Science · Computer Science 2016-08-31 Lawrence C. Paulson

Let $A$ be a finite dimensional associative algebra with derivations over a field of characteristic zero, i.e., an algebra whose structure is enriched by the action of a Lie algebra $L$ by derivations, and let $c_n^L(A),$ $n\geq 1,$ be its…

Rings and Algebras · Mathematics 2023-08-10 Carla Rizzo

In 2007, Jarden and Narkiewicz raised the following question: Is it true that each algebraic number field has a finite extension L such that the ring of integers of L is generated by its units (as a ring)? In this article, we answer the…

Number Theory · Mathematics 2013-11-20 Christopher Frei

Automatic presentations, also called FA-presentations, were introduced to extend finite model theory to infinite structures whilst retaining the solubility of fundamental decision problems. A particular focus of research has been the…

Combinatorics · Mathematics 2013-03-04 Alan J. Cain , Nik Ruškuc

We study algebraic and model-theoretic properties of existentially closed fields with an action of a fixed finite group. Such fields turn out to be pseudo-algebraically closed in a rather strong sense. We place this work in a more general…

Logic · Mathematics 2019-05-24 Daniel Max Hoffmann , Piotr Kowalski

In this paper we study the $L^p-L^r$ boundedness of the extension operators associated with paraboloids in vector spaces over finite fields.In higher even dimensions, we estimate the number of additive quadruples in the subset $E$ of the…

Classical Analysis and ODEs · Mathematics 2008-05-08 Alex Iosevich , Doowon Koh

We show that for any finite-dimensional algebra $\Lambda$ of infinite representation type, over a perfect field, there is a bounded principal ideal domain $\Gamma$ and a representation embedding from $\Gamma -$mod into $\Lambda -$mod. As an…

Representation Theory · Mathematics 2024-06-24 Raymundo Bautista Ramos , Jesús Efrén Pérez Terrazas , Leonardo Salmerón Castro

An extension of algebras is a homomorphism of algebras preserving identities. We use extensions of algebras to study the finitistic dimension conjecture over Artin algebras. Let $f: B \to A$ be an extension of Artin algebras. We denote by…

Rings and Algebras · Mathematics 2018-03-01 Shufeng Guo

We introduce a model-complete theory which completely axiomatizes the structure $Z_{\alpha}=(Z, +, 0, 1, f)$ where $f : x \to \lfloor{\alpha} x \rfloor $ is a unary function with $\alpha$ a fixed transcendental number. When $\alpha$ is…

Logic · Mathematics 2025-10-16 Mohsen Khani , Ali N. Valizadeh , Afshin Zarei

For finitary regular monads T on locally finitely presentable categories we characterize the finitely presentable objects in the category of T-algebras in the style known from general algebra: they are precisely the algebras presentable by…

Category Theory · Mathematics 2019-09-06 Jiří Adámek , Stefan Milius , Lurdes Sousa , Thorsten Wißmann

We prove that a finite dimensional algebra $\Lambda$ is $\tau-$tilting finite if and only if all the bricks over $\Lambda$ are finitely generated. This is obtained as a consequence of the existence of proper locally maximal torsion classes…

Representation Theory · Mathematics 2020-11-19 Francesco Sentieri

The connections between Euler's equations on central extensions of Lie algebras and Euler's equations on the original, extended algebras are described. A special infinite sequence of central extensions of nilpotent Lie algebras constructed…

Differential Geometry · Mathematics 2024-12-03 I. A. Taimanov

We consider the tensor product of modules over the polynomial algebra corresponding to the usual tensor product of linear operators. We present a general description of the representation ring in case the ground field k is perfect. It is…

Representation Theory · Mathematics 2009-07-09 Erik Darpö , Martin Herschend

We show finiteness results on torsion points of commutative algebraic groups over a $p$-adic field $K$ with values in various algebraic extensions $L/K$ of infinite degree. We mainly study the following cases: (1) $L$ is an abelian…

Number Theory · Mathematics 2021-05-25 Yoshiyasu Ozeki

In this paper we show that every finite-dimensional Zinbiel algebra over an arbitrary field is nilpotent, extending a previous result by other authors that they are solvable.

Rings and Algebras · Mathematics 2022-02-25 David A. Towers

The paper has two purposes. First, we start to develop a theory of infinite global fields, i.e., of infinite algebraic extensions either of ${\mathbb{Q}}$ or of ${\mathbb{F}}_r(t)$. We produce a series of invariants of such fields, and we…

Number Theory · Mathematics 2007-05-23 Michael Tsfasman , Serge Vladut

It is well known that ordered exponential fields with a compatible non-trivial valuation cannot be spherically complete, but there are some that are ``complete enough''. This paper gives analogues of Kaplansky's theorem on maximally valued…

Logic · Mathematics 2026-03-06 Pietro Freni