Abelian \(p\)-groups with no invariants
type: Item
instance of: scholarly article
title: Abelian \(p\)-groups with no invariants
zbMATH Open document ID: 0786.03025
DOI: 10.1016/0022-4049(93)90068-5
author: Yanyan Li
published in: Journal of Pure and Applied Algebra
publication date: 1994-05-05T00:00:00Z
review text: The main result of this paper is a non-structure theorem for Abelian \(p\)- groups of cardinality \(\aleph_ 1\) and involves the construction of non- isomorphic groups which are similar in a sense defined in terms of game theory. We say that groups \(A\) and \(B\) are \(T\)-equivalent, where \(T\) is a tree of cardinality \(\leq\omega_ 1\) with no uncountable branches, if the isomorphism player has a winning strategy in a certain two-player Ehrenfeucht-Fraïssé game in which the other, non-isomorphism, player has to choose ascending nodes of a branch of \(T\) as he plays. [See \textit{T. Hyttinen} and \textit{H. Tuuri}, Ann. Pure Appl. Logic 52, 203-248 (1991; Zbl 0735.03016), for more on the program.] The main theorem says that, assuming CH, there is an Abelian \(p\)-group \(A\) of cardinality \(\aleph_ 1\) such that for every such tree \(T\), there is a group \(B_ T\) which is \(T\)-equivalent to \(A\), but not isomorphic to \(A\). A consequence, which justifies the term non-structure theorem, is that no sentence of a certain infinitary language, \(M_{\omega_ 2\omega_ 2}\), (whose formulas are syntactical, non-well-founded, trees) can serve as a complete invariant for \(A\). The proof of the main theorem uses an analogous result for linear orders proved by Hyttinen and Tuuri [loc. cit.] together with a Hahn power construction. The result settles a question left open by Hyttinen and Tuuri: a stable theory with NOTOP and NDOP with a strong non-structure result.
Mathematics Subject Classification ID: 03C60
Mathematics Subject Classification ID: 20K10
Mathematics Subject Classification ID: 03C75
Mathematics Subject Classification ID: 03C45
Mathematics Subject Classification ID: 20A15
zbMATH DE Number: 219101
zbMATH Keywords: non-structure theorem
zbMATH Keywords: Abelian \(p\)-groups
zbMATH Keywords: two-player Ehrenfeucht- Fraïssé game
zbMATH Keywords: Hahn power
zbMATH Keywords: stable theory
reviewed by: Paul C. Eklof
MaRDI profile type: Publication
full work available at URL: 0022-4049(93)90068-5
OpenAlex ID: W2074666012
cites work: Infinitary logic and admissible sets
cites work: Infinitary properties of abelian torsion groups
cites work: Q3964625
cites work: Q5509706
cites work: Q5673086
cites work: Vector spaces with valuations
cites work: Q3903183
cites work: Constructing strongly equivalent nonisomorphic models for unstable theories
cites work: On Scott and Karp trees of uncountable models
cites work: Q5666547
cites work: On Ehrenfeucht-Fraïssé equivalence of linear orderings
cites work: Four concepts from “geometrical” stability theory in modules
Recommended article: Q3822151
Recommended article: Ehrenfeucht–Fraïssé Games on Linear Orders
Recommended article: Club-guessing and non-structure of trees
Recommended article: On Ehrenfeucht-Fraïssé equivalence of linear orderings
Recommended article: Almost free groups and long Ehrenfeucht-Fraïssé games
Recommended article: A Characterization of Strongly Dependent Ordered Abelian Groups
Recommended article: Quantifier elimination in ordered abelian groups
Recommended article: Lawless order
Recommended article: Strong theories of ordered Abelian groups
Recommended article: A recursion principle for linear orderings
description: scientific article; zbMATH DE number 219101