The model theory of finitely generated finite-by-abelian groups

1984 ◽  
Vol 49 (4) ◽  
pp. 1115-1124
Author(s):  
Francis Oger
Keyword(s):  
Model Theory ◽  
Abelian Groups ◽  
Finitely Generated ◽  
Elementary Equivalence ◽  
Elementary Embeddings

AbstractIn [O1], we gave algebraic characterizations of elementary equivalence for finitely generated finite-by-abelian groups, i.e. finitely generated FC-groups. We also provided several examples of finitely generated finite-by-abelian groups which are elementarily equivalent without being isomorphic.In this paper, we shall use our previous results to describe precisely the models of the theories of finitely generated finite-by-abelian groups and the elementary embeddings between these models.

scholarly journals Elementary equivalence for finitely generated nilpotent groups and multilinear maps

1998 ◽  
Vol 58 (3) ◽  
pp. 479-493 ◽  
Author(s):  
Francis Oger
Keyword(s):  
Abelian Group ◽  
Abelian Groups ◽  
Nilpotent Groups ◽  
Commutative Rings ◽  
Finitely Generated ◽  
Elementary Equivalence ◽  
Linear Map ◽  
Multilinear Maps

We show that two finitely generated finite-by-nilpotent groups are elementarily equivalent if and only if they satisfy the same sentences with two alternations of quantifiers. For each integer n ≥ 2, we prove the same result for the following classes of structures:(1) the (n + 2)-tuples (A1, …, An+1, f), where A1, …, An+1 are disjoint finitely generated Abelian groups and f: A1 × … × An → An+1 is a n-linear map;(2) the triples (A, B, f), where A, B are disjoint finitely generated Abelian groups and f: An → B is a n-linear map;(3) the pairs (A, f), where A is a finitely generated Abelian group and f: An → A is a n-linear map.In the proof, we use some properties of commutative rings associated to multilinear maps.

scholarly journals Embedding the Picard group inside the class group: the case of $$\mathbb {Q}$$-factorial complete toric varieties

2021 ◽  
Author(s):  
Michele Rossi ◽  
Lea Terracini
Keyword(s):  
Free Group ◽  
Toric Variety ◽  
Class Group ◽  
Abelian Groups ◽  
Toric Varieties ◽  
Picard Group ◽  
Closed Field ◽  
Finitely Generated ◽  
Free Part ◽  
Canonical Injection

AbstractLet X be a $$\mathbb {Q}$$ Q -factorial complete toric variety over an algebraic closed field of characteristic 0. There is a canonical injection of the Picard group $$\mathrm{Pic}(X)$$ Pic ( X ) in the group $$\mathrm{Cl}(X)$$ Cl ( X ) of classes of Weil divisors. These two groups are finitely generated abelian groups; while the first one is a free group, the second one may have torsion. We investigate algebraic and geometrical conditions under which the image of $$\mathrm{Pic}(X)$$ Pic ( X ) in $$\mathrm{Cl}(X)$$ Cl ( X ) is contained in a free part of the latter group.

Infinitely presented permutation stable groups and invariant random subgroups of metabelian groups

2021 ◽  
pp. 1-36
Author(s):  
ARIE LEVIT ◽  
ALEXANDER LUBOTZKY
Keyword(s):  
Ergodic Theorem ◽  
Abelian Groups ◽  
Wreath Products ◽  
Finitely Generated ◽  
Metabelian Groups ◽  
Amenable Groups ◽  
Pointwise Ergodic Theorem ◽  
Lamplighter Group ◽  
Invariant Random Subgroups

Abstract We prove that all invariant random subgroups of the lamplighter group L are co-sofic. It follows that L is permutation stable, providing an example of an infinitely presented such group. Our proof applies more generally to all permutational wreath products of finitely generated abelian groups. We rely on the pointwise ergodic theorem for amenable groups.

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.

Some model theory for almost real closed fields

1996 ◽  
Vol 61 (4) ◽  
pp. 1121-1152 ◽  
Author(s):  
Françoise Delon ◽  
Rafel Farré
Keyword(s):  
Model Theory ◽  
Residue Field ◽  
Elementary Equivalence ◽  
First Order ◽  
Valuation Rings ◽  
Closed Fields ◽  
Theory Of Fields ◽  
Model Theory Of Fields ◽  
Elementary Inclusion ◽  
Henselian Valuation

AbstractWe study the model theory of fields k carrying a henselian valuation with real closed residue field. We give a criteria for elementary equivalence and elementary inclusion of such fields involving the value group of a not necessarily definable valuation. This allows us to translate theories of such fields to theories of ordered abelian groups, and we study the properties of this translation. We also characterize the first-order definable convex subgroups of a given ordered abelian group and prove that the definable real valuation rings of k are in correspondence with the definable convex subgroups of the value group of a certain real valuation of k.

On the product of finitely generated Abelian groups

1973 ◽  
Vol 13 (3) ◽  
pp. 266-268 ◽  
Author(s):  
N. F. Sesekin
Keyword(s):  
Abelian Groups ◽  
Finitely Generated
Sign in / Sign up

Export Citation Format

Share Document