Finitely presented ordered groups
نویسندگان
چکیده
منابع مشابه
Finitely Presented Abelian Lattice-Ordered Groups
We give necessary and sufficient conditions for the first-order theory of a finitely presented abelian lattice-ordered group to be decidable. We also show that if the number of generators is at most 3, then elementary equivalence implies isomorphism. We deduce from our methods that the theory of the free MV -algebra on at least 2 generators is undecidable.
متن کاملFinitely presented partially ordered abelian groups
We study the partially-ordered abelian group, F (P; R), generated by a set of generators,P , and inequality relations, R, and its representations in Euclidean space. First F (P; R) is deened by a universal property and then existence is shown proof-theoretically. We then characterize the order structure of F (P; R). The rst main result of the paper utilizes the Marriage Theorem to prove that if...
متن کاملFinitely Presented Residually Free Groups
We establish a general criterion for the finite presentability of subdirect products of groups and use this to characterize finitely presented residually free groups. We prove that, for all n ∈ N, a residually free group is of type FPn if and only if it is of type Fn. New families of subdirect products of free groups are constructed, including the first examples of finitely presented subgroups ...
متن کاملFinitely generated nilpotent groups are finitely presented and residually finite
Definition 1. Let G be a group. G is said to be residually finite if the intersection of all normal subgroups of G of finite index in G is trivial. For a survey of results on residual finiteness and related properties, see Mag-nus, Karrass, and Solitar [6, Section 6.5]. We shall present a proof of the following well known theorem, which is important for Kharlampovich [4, 5]. See also O. V. Bele...
متن کاملDecompositions of finitely generated and finitely presented groups
In this paper we discuss the splitting or decomposing of finitely generated groups into free products, free products with amalgamation or HNN extensions and we discuss the JSJ decomposition of finitely presented groups.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the Edinburgh Mathematical Society
سال: 1990
ISSN: 0013-0915,1464-3839
DOI: 10.1017/s0013091500018204