2,497 research outputs found
On properties of (weakly) small groups
A group is small if it has countably many complete -types over the empty
set for each natural number n. More generally, a group is weakly small if
it has countably many complete 1-types over every finite subset of G. We show
here that in a weakly small group, subgroups which are definable with
parameters lying in a finitely generated algebraic closure satisfy the
descending chain conditions for their traces in any finitely generated
algebraic closure. An infinite weakly small group has an infinite abelian
subgroup, which may not be definable. A small nilpotent group is the central
product of a definable divisible group with a definable one of bounded
exponent. In a group with simple theory, any set of pairwise commuting elements
is contained in a definable finite-by-abelian subgroup. First corollary : a
weakly small group with simple theory has an infinite definable
finite-by-abelian subgoup. Secondly, in a group with simple theory, a normal
solvable group A of derived length n is contained in an A-definable almost
solvable group of class n
Fields and rings with few types
Let R be an associative ring with possible extra structure. R is said to be
weakly small if there are countably many 1-types over any finite subset of R.
It is locally P if the algebraic closure of any finite subset of R has property
P. It is shown here that a field extension of finite degree of a weakly small
field either is a finite field or has no Artin-Schreier extension. A weakly
small field of characteristic 2 is finite or algebraically closed. Every weakly
small division ring of positive characteristic is locally finite dimensional
over its centre. The Jacobson radical of a weakly small ring is locally
nilpotent. Every weakly small division ring is locally, modulo its Jacobson
radical, isomorphic to a product of finitely many matrix rings over division
rings
Higher homotopy of groups definable in o-minimal structures
It is known that a definably compact group G is an extension of a compact Lie
group L by a divisible torsion-free normal subgroup. We show that the o-minimal
higher homotopy groups of G are isomorphic to the corresponding higher homotopy
groups of L. As a consequence, we obtain that all abelian definably compact
groups of a given dimension are definably homotopy equivalent, and that their
universal cover are contractible.Comment: 13 pages, to be published in the Israel Journal of Mathematic
- …