Showing 1–4 of 4 results for author: López, J P A

Closed bounded sets in 1-h-minimal valued fields

Authors: Juan Pablo Acosta López

Abstract: We show that the 1-h-minimal fields satisfy a property of naive compactness for decreasing definable families of closed bounded sets indexed by the value group. We use this to prove that a local topological definable group has a definable family of neighborhoods of the identity consisting of open subgroups. We show that the 1-h-minimal fields satisfy a property of naive compactness for decreasing definable families of closed bounded sets indexed by the value group. We use this to prove that a local topological definable group has a definable family of neighborhoods of the identity consisting of open subgroups. △ Less

Submitted 13 June, 2024; originally announced June 2024.

MSC Class: 03C07

Groups definable in Presburger arithmetic

Authors: Juan Pablo Acosta López

Abstract: We determine all groups definable in Presburger arithmetic, up to a finite index subgroup. We determine all groups definable in Presburger arithmetic, up to a finite index subgroup. △ Less

Submitted 3 December, 2021; v1 submitted 30 March, 2019; originally announced April 2019.

One dimensional groups definable in the p-adic numbers

Authors: Juan Pablo Acosta López

Abstract: A complete list of one dimensional groups definable in the p-adic numbers is given, up to a finite index subroup and a quotient by a finite subgroup. A complete list of one dimensional groups definable in the p-adic numbers is given, up to a finite index subroup and a quotient by a finite subgroup. △ Less

Submitted 24 November, 2018; originally announced November 2018.

Journal ref: J. symb. log. 86 (2021) 801-816

Universal property of skew $PBW$ extensions

Authors: Juan Pablo Acosta López, Oswaldo Lezama

Abstract: In this paper we prove the universal property of skew $PBW$ extensions generalizing this way the well known universal property of skew polynomial rings. For this, we will show first a result about the existence of this class of non-commutative rings. Skew $PBW$ extensions include as particular examples Weyl algebras, envelo** algebras of finite-dimensional Lie algebras (and its quantization), Ar… ▽ More In this paper we prove the universal property of skew $PBW$ extensions generalizing this way the well known universal property of skew polynomial rings. For this, we will show first a result about the existence of this class of non-commutative rings. Skew $PBW$ extensions include as particular examples Weyl algebras, envelo** algebras of finite-dimensional Lie algebras (and its quantization), Artamonov quantum polynomials, diffusion algebras, Manin algebra of quantum matrices, among many others. As a corollary we will give a new short proof of the Poincaré-Birkhoff-Witt theorem about the bases of envelo** algebras of finite-dimensional Lie algebras. △ Less

Submitted 16 December, 2014; originally announced December 2014.

MSC Class: 16S10; 16S80; 16S30; 16S36