scholarly journals Truncations of ordered abelian groups

2021 ◽  
Vol 82 (2) ◽  
Author(s):  
Paola D’Aquino ◽  
Jamshid Derakhshan ◽  
Angus Macintyre
Keyword(s):  
Abelian Group ◽  
Model Theory ◽  
Abelian Groups ◽  
Forthcoming Paper ◽  
Peano Arithmetic ◽  
Local Rings ◽  
Principal Ideals ◽  
Valuation Rings ◽  
Nonstandard Models ◽  
Quotient Rings

AbstractWe give axioms for a class of ordered structures, called truncated ordered abelian groups (TOAG’s) carrying an addition. TOAG’s come naturally from ordered abelian groups with a 0 and a $$+$$ + , but the addition of a TOAG is not necessarily even a cancellative semigroup. The main examples are initial segments $$[0, \tau ]$$ [ 0 , τ ] of an ordered abelian group, with a truncation of the addition. We prove that any model of these axioms (i.e. a truncated ordered abelian group) is an initial segment of an ordered abelian group. We define Presburger TOAG’s, and give a criterion for a TOAG to be a Presburger TOAG, and for two Presburger TOAG’s to be elementarily equivalent, proving analogues of classical results on Presburger arithmetic. Their main interest for us comes from the model theory of certain local rings which are quotients of valuation rings valued in a truncation [0, a] of the ordered group $${\mathbb {Z}}$$ Z or more general ordered abelian groups, via a study of these truncations without reference to the ambient ordered abelian group. The results are used essentially in a forthcoming paper (D’Aquino and Macintyre, The model theory of residue rings of models of Peano Arithmetic: The prime power case, 2021, arXiv:2102.00295) in the solution of a problem of Zilber about the logical complexity of quotient rings, by principal ideals, of nonstandard models of Peano arithmetic.

Anneaux de fonctions p-adiques

1995 ◽  
Vol 60 (2) ◽  
pp. 484-497 ◽  
Author(s):  
Luc Bélair
Keyword(s):  
Prime Ideal ◽  
Residue Field ◽  
Local Rings ◽  
First Order ◽  
Valuation Rings ◽  
Integrally Closed ◽  
Definable Functions ◽  
Quotient Rings

AbstractWe study first-order properties of the quotient rings (V)/ by a prime ideal where (V) is the ring of p-adic valued continuous definable functions on some affine p-adic variety V. We show that they are integrally closed Henselian local rings, with a p-adically closed residue field and field of fractions, and they are not valuation rings in general but always satisfy ∀ x, y(x∣y2 ∨ y∣x2).

The order indiscernibles of divisible ordered abelian groups

1984 ◽  
Vol 49 (1) ◽  
pp. 151-160
Author(s):  
David Rosenthal
Keyword(s):  
Abelian Group ◽  
Model Theory ◽  
Algebraic Structure ◽  
Abelian Groups ◽  
Quantifier Elimination ◽  
Simple Condition ◽  
Algebraic Invariants ◽  
Image Position ◽  
And Algebra ◽  
Simplified Form

There has been much work in developing the interconnections between model theory and algebra. Here we look at a particular example, the divisible ordered abelian groups, and show how the indiscernibles are related to the algebraic structure. Now a divisible ordered abelian group is a model of Th (Q, +, 0, <) and so is linearly ordered by <. Thus the theory is unstable and has a large number of models. It is therefore unrealistic to expect that a simple condition will completely determine a model. Instead we would just like to obtain nice algebraic invariants.Definition. A subset C of a divisible ordered abelian group is a set of (order) indiscernibles iff for every sequence of integers n1,…,nk and for every c1 < … < ck and d1 < … < dk in CNote that this simplified form of indiscernibility is an immediate consequence of quantifier elimination for the theory. The above definition could be formulated in the language of +, 0, < but we have used subtraction as a matter of convenience. Similarly we may also use rational coefficients. Also note that a set of order indiscernibles is usually defined with respect to some external order. But in this case there are only two possibilities: the ordering inherited from or its reverse. So we will always assume that a set of order indiscernibles has the ordering inherited from . We may sometimes refer to a set of indiscernibles as a sequence of indiscernibles if we want to explicitly mention the ordering associated with the set.

Additive bases via Fourier analysis

2021 ◽  
pp. 1-12
Author(s):  
Bodan Arsovski
Keyword(s):  
Abelian Group ◽  
Fourier Analysis ◽  
Vector Space ◽  
Abelian Groups ◽  
Finite Abelian Group ◽  
Probabilistic Method ◽  
Additive Basis ◽  
Generating Sets

Abstract Extending a result by Alon, Linial, and Meshulam to abelian groups, we prove that if G is a finite abelian group of exponent m and S is a sequence of elements of G such that any subsequence of S consisting of at least $$|S| - m\ln |G|$$ elements generates G, then S is an additive basis of G . We also prove that the additive span of any l generating sets of G contains a coset of a subgroup of size at least $$|G{|^{1 - c{ \in ^l}}}$$ for certain c=c(m) and $$ \in = \in (m) < 1$$ ; we use the probabilistic method to give sharper values of c(m) and $$ \in (m)$$ in the case when G is a vector space; and we give new proofs of related known results.

scholarly journals A lattice-theoretic characterization of pure subgroups of Abelian groups

2021 ◽  
Author(s):  
M. Ferrara ◽  
M. Trombetti
Keyword(s):  
Abelian Group ◽  
Abelian Groups ◽  
Subgroup Lattice ◽  
General Definition ◽  
Short Paper ◽  
Theoretic Characterization ◽  
Definition Of

AbstractLet G be an abelian group. The aim of this short paper is to describe a way to identify pure subgroups H of G by looking only at how the subgroup lattice $$\mathcal {L}(H)$$ L ( H ) embeds in $$\mathcal {L}(G)$$ L ( G ) . It is worth noticing that all results are carried out in a local nilpotent context for a general definition of purity.

On the square subgroups of decomposable torsion-free abelian groups of rank three

2016 ◽  
Vol 7 (4) ◽  
Author(s):  
Fysal Hasani ◽  
Fatemeh Karimi ◽  
Alireza Najafizadeh ◽  
Yousef Sadeghi
Keyword(s):  
Abelian Group ◽  
Abelian Groups ◽  
Free Abelian Groups ◽  
Torsion Free

AbstractThe square subgroup of an abelian group

Weakly atomic-compact relational structures

1971 ◽  
Vol 36 (1) ◽  
pp. 129-140 ◽  
Author(s):  
G. Fuhrken ◽  
W. Taylor
Keyword(s):  
Abelian Group ◽  
Model Theory ◽  
Compact Abelian Group ◽  
Finite Subset ◽  
Relational Structure ◽  
Similarity Type ◽  
First Order ◽  
Relational Structures ◽  
Order Language ◽  
Weakly Atomic

A relational structure is called weakly atomic-compact if and only if every set Σ of atomic formulas (taken from the first-order language of the similarity type of augmented by a possibly uncountable set of additional variables as “unknowns”) is satisfiable in whenever every finite subset of Σ is so satisfiable. This notion (as well as some related ones which will be mentioned in §4) was introduced by J. Mycielski as a generalization to model theory of I. Kaplansky's notion of an algebraically compact Abelian group (cf. [5], [7], [1], [8]).

scholarly journals ABELIAN GROUPS WITH A p2-BOUNDED SUBGROUP, REVISITED

2011 ◽  
Vol 10 (03) ◽  
pp. 377-389
Author(s):  
CARLA PETRORO ◽  
MARKUS SCHMIDMEIER
Keyword(s):  
Abelian Group ◽  
Prime Number ◽  
Maximal Ideal ◽  
Abelian Groups ◽  
Finitely Generated ◽  
Uniserial Ring

Let Λ be a commutative local uniserial ring of length n, p be a generator of the maximal ideal, and k be the radical factor field. The pairs (B, A) where B is a finitely generated Λ-module and A ⊆B a submodule of B such that pmA = 0 form the objects in the category [Formula: see text]. We show that in case m = 2 the categories [Formula: see text] are in fact quite similar to each other: If also Δ is a commutative local uniserial ring of length n and with radical factor field k, then the categories [Formula: see text] and [Formula: see text] are equivalent for certain nilpotent categorical ideals [Formula: see text] and [Formula: see text]. As an application, we recover the known classification of all pairs (B, A) where B is a finitely generated abelian group and A ⊆ B a subgroup of B which is p2-bounded for a given prime number p.

Spectral synthesis and residually finite-dimensional algebras

2017 ◽  
Vol 16 (10) ◽  
pp. 1750200 ◽  
Author(s):  
László Székelyhidi ◽  
Bettina Wilkens
Keyword(s):  
Spectral Analysis ◽  
Abelian Group ◽  
Theoretical Approach ◽  
Abelian Groups ◽  
Spectral Synthesis ◽  
Residually Finite ◽  
Finite Dimensional ◽  
Analysis And Synthesis ◽  
Spectral Analysis And Synthesis

In 2004, a counterexample was given for a 1965 result of R. J. Elliott claiming that discrete spectral synthesis holds on every Abelian group. Since then the investigation of discrete spectral analysis and synthesis has gained traction. Characterizations of the Abelian groups that possess spectral analysis and spectral synthesis, respectively, were published in 2005. A characterization of the varieties on discrete Abelian groups enjoying spectral synthesis is still missing. We present a ring theoretical approach to the issue. In particular, we provide a generalization of the Principal Ideal Theorem on discrete Abelian groups.

Sign in / Sign up

Export Citation Format

Share Document