Isolated types in a weakly minimal set

1987 ◽  
Vol 52 (2) ◽  
pp. 543-547 ◽  
Author(s):  
Steven Buechler
Keyword(s):  
Prime Model ◽  
Morley Rank ◽  
Minimal Set ◽  
Superstable Theory ◽  
Finite Set ◽  
Minimal Type ◽  
Minimal Formula

AbstractTheorem A. Let T be a small superstable theory, A a finite set, and ψ a weakly minimal formula over A which is contained in some nontrivial type which does not have Morley rank. Then ψ is contained in some nonalqebraic isolated type over A.As an application we proveTheorem B. Suppose that T is small and superstable, A is finite, and there is a nontrivial weakly minimal type p ∈ S(A) which does not have Morley rank. Then the prime model over A is not minimal over A.

Pseudoprojective strongly minimal sets are locally projective

1991 ◽  
Vol 56 (4) ◽  
pp. 1184-1194 ◽  
Author(s):  
Steven Buechler
Keyword(s):  
Predicate Symbol ◽  
Infinite Dimension ◽  
Elementary Extension ◽  
Morley Rank ◽  
Minimal Set ◽  
Unary Predicate ◽  
Minimal Sets

AbstractLet D be a strongly minimal set in the language L, and D′ ⊃ D an elementary extension with infinite dimension over D. Add to L a unary predicate symbol D and let T′ be the theory of the structure (D′, D), where D interprets the predicate D. It is known that T′ is ω-stable. We proveTheorem A. If D is not locally modular, then T′ has Morley rank ω.We say that a strongly minimal set D is pseudoprojective if it is nontrivial and there is a k < ω such that, for all a, b ∈ D and closed X ⊂ D, a ∈ cl(Xb) ⇒ there is a Y ⊂ X with a ∈ cl(Yb) and ∣Y∣ ≤ k. Using Theorem A, we proveTheorem B. If a strongly minimal set D is pseudoprojective, then D is locally projective.The following result of Hrushovski's (proved in §4) plays a part in the proof of Theorem B.Theorem C. Suppose that D is strongly minimal, and there is some proper elementary extension D1 of D such that the theory of the pair (D1, D) is ω1-categorical. Then D is locally modular.

scholarly journals On Primitive Extensions of Rank 3 of Symmetric Groups

1966 ◽  
Vol 27 (1) ◽  
pp. 171-177 ◽  
Author(s):  
Tosiro Tsuzuku
Keyword(s):  
Permutation Group ◽  
Symmetric Groups ◽  
Transitive Group ◽  
Permutation Groups ◽  
Minimal Set ◽  
Finite Set ◽  
Rank 2 ◽  
One To One

1. Let Ω be a finite set of arbitrary elements and let (G, Ω) be a permutation group on Ω. (This is also simply denoted by G). Two permutation groups (G, Ω) and (G, Γ) are called isomorphic if there exist an isomorphism σ of G onto H and a one to one mapping τ of Ω onto Γ such that (g(i))τ=gσ(iτ) for g ∊ G and i∊Ω. For a subset Δ of Ω, those elements of G which leave each point of Δ individually fixed form a subgroup GΔ of G which is called a stabilizer of Δ. A subset Γ of Ω is called an orbit of GΔ if Γ is a minimal set on which each element of G induces a permutation. A permutation group (G, Ω) is called a group of rank n if G is transitive on Ω and the number of orbits of a stabilizer Ga of a ∊ Ω, is n. A group of rank 2 is nothing but a doubly transitive group and there exist a few results on structure of groups of rank 3 (cf. H. Wielandt [6], D. G. Higman M).

Fields of finite Morley rank

2001 ◽  
Vol 66 (2) ◽  
pp. 703-706 ◽  
Author(s):  
Frank Wagner
Keyword(s):  
Algebraic Closure ◽  
Prime Model ◽  
Morley Rank ◽  
Finite Morley Rank ◽  
Minimal Groups

AbstractIf K is a field of finite Morley rank, then for any parameter set A ⊆ Keq the prime model over A is equal to the model-theoretic algebraic closure of A. A field of finite Morley rank eliminates imaginaries. Simlar results hold for minimal groups of finite Morley rank with infinite acl(∅).

Idempotent generators in finite full transformation semigroups

1978 ◽  
Vol 81 (3-4) ◽  
pp. 317-323 ◽  
Author(s):  
J. M. Howie
Keyword(s):  
Transformation Semigroups ◽  
Minimal Set ◽  
Full Transformation ◽  
Generating Set ◽  
Finite Set

SynopsisIt was proved by Howie in 1966 that , the semigroup of all singular mappings of a finite set X into itself, is generated by its idempotents. Implicit in the method of proof, though not formally stated, is the result that if |X| = n then the n(n – 1) idempotents whose range has cardinal n – 1 form a generating set for. Here it is shown that if n ≧ 3 then a minimal set M of idempotent generators for contains ½n(n–1) members. A formula is given for the number of distinct sets M.

A note on finitely generated models

1983 ◽  
Vol 48 (1) ◽  
pp. 163-166
Author(s):  
Anand Pillay
Keyword(s):  
Countable Model ◽  
Stable Theory ◽  
Prime Model ◽  
Finitely Generated ◽  
First Order ◽  
Elementary Chain ◽  
Skolem Functions ◽  
Order Language ◽  
Finite Set

A model M (of a countable first order language) is said to be finitely generated if it is prime over a finite set, namely if there is a finite tuple ā in M such that (M, ā) is a prime model of its own theory. Similarly, if A ⊂ M, then M is said to be finitely generated overA if there is finite ā in M such that M is prime over A ⋃ ā. (Note that if Th(M) has Skolem functions, then M being prime over A is equivalent to M being generated by A in the usual sense, that is, M is the closure of A under functions of the language.) We show here that if N is ā model of an ω-stable theory, M ≺ N, M is finitely generated, and N is finitely generated over M, then N is finitely generated. A corollary is that any countable model of an ω-stable theory is the union of an elementary chain of finitely generated models. Note again that all this is trivial if the theory has Skolem functions.The result here strengthens the results in [3], where we show the same thing but assuming in addition that the theory is either nonmultidimensional or with finite αT. However the proof in [3] for the case αT finite actually shows the following which does not assume ω-stability): Let A be atomic over a finite set, tp(ā / A) have finite Cantor-Bendixson rank, and B be atomic over A ⋃ ā. Then B is atomic over a finite set.

A note on subgroups of the automorphism group of a saturated model, and regular types

1989 ◽  
Vol 54 (3) ◽  
pp. 858-864 ◽  
Author(s):  
A. Pillay
Keyword(s):  
Automorphism Group ◽  
Algebraic Closure ◽  
Saturated Model ◽  
Superstable Theory ◽  
Alternative Characterization ◽  
Finite Set ◽  
Superstable Theories

AbstractLet M be a saturated model of a superstable theory and let G = Aut(M). We study subgroups H of G which contain G(A), A the algebraic closure of a finite set, generalizing results of Lascar [L] as well as giving an alternative characterization of the simple superstable theories of [P]. We also make some observations about good, locally modular regular types p in the context of p-simple types.

Les automorphismes d'un ensemble fortement minimal

1992 ◽  
Vol 57 (1) ◽  
pp. 238-251 ◽  
Author(s):  
Daniel Lascar
Keyword(s):  
Normal Subgroup ◽  
Algebraic Closure ◽  
Finite Set ◽  
Saturated Structure ◽  
Minimal Formula

AbstractLet be a countable saturated structure, and assume that D(v) is a strongly minimal formula (without parameter) such that is the algebraic closure of D(). We will prove the two following theorems:Theorem 1. If G is a subgroup of Aut() of countable index, there exists a finite set A in such that every A-strong automorphism is in G.Theorem 2. Assume that G is a normal subgroup of Aut() containing an element g such that for all n there exists X ⊆ D() such that Dim(g(X)/X) > n. Then every strong automorphism is in G.

Weakly minimal groups of unbounded exponent

1990 ◽  
Vol 55 (3) ◽  
pp. 928-937 ◽  
Author(s):  
James Loveys
Keyword(s):  
Vector Space ◽  
Division Ring ◽  
General Context ◽  
Strong Type ◽  
Morley Rank ◽  
Connected Component ◽  
Boolean Combination ◽  
Minimal Set ◽  
Definable Subset ◽  
Group A

Weakly minimal sets were first invented by Shelah [S] to solve Łoś' conjecture for uncountable theories. The first major result about them, which is that any nonalgebraic strong type either is of Morley rank 1 or has locally modular geometry, was proved by Buechler [B1]. Recently, Hrushovski [Hr] showed that a locally modular weakly minimal set interprets an abelian group, a result which revolutionized the study of these sets. Also Hrushovski showed that the geometry on the connected component of a weakly minimal locally modular group is that of a vector space over a division ring. This is also implicit in the result of Pillay and Hrushovski (Theorem 1.3 from [HP]) quoted below. In a sense, this completes their study, as any vector space over any division ring is in fact strongly minimal if there is no other structure. But the question remains as to what other structure such a group could have. This is the issue we address here.Some work has been done on this question; in fact, Pillay ([Pi], generalized in [HP]) has demonstrated, in the more general context of a weakly normal group A, that any definable subset of An is in fact a Boolean combination of almost 0-definable cosets of almost 0-definable subgroups. In the weakly minimal case this can be sharpened a fair bit. The case of a weakly minimal group of bounded exponent is dealt with in [HL]. Here we consider the case where the group has unbounded exponent.

A free pseudospace

2000 ◽  
Vol 65 (1) ◽  
pp. 443-460 ◽  
Author(s):  
Andreas Baudisch ◽  
Anand Pillay
Keyword(s):  
Stable Theory ◽  
Infinite Field ◽  
Morley Rank ◽  
Minimal Set ◽  
3 Dimensional ◽  
Regular Type ◽  
Finite Morley Rank ◽  
Dimensional Version ◽  
Stable Field

In this paper we construct a non-CM -trivial stable theory in which no infinite field is interpretable. In fact our theory will also be trivial and ω-stable, but of infinite Morley rank. A long term aim would be to find a non CM-trivial theory which has finite Morley rank (or is even strongly minimal) and does not interpret a field. The construction in this paper is direct, and is a “3-dimensional” version of the free pseudoplane. In a sense we are cheating: the original point of the notion of CM-triviality was to describe the geometry of a strongly minimal set, or even of a regular type. In our example, non-CM-triviality will come from the behaviour of three orthogonal regular types.A stable theory is said to be CM-trivial if whenever A ⊆ B and acl(Ac) ∩ acl(B) = acl(A) in Teq, then Cb(stp(c/A)) ⊆ Cb(stp(c/B)). ( An infinite stable field will not be CM-trivial.) The notion is due to Hrushovski [3], where he gave several equivalent definitions, as well as showing that his new strongly minimal sets constructed “ab ovo” were CM-trivial. The notion was studied further in [6] where it was shown that CM-trivial groups of finite Morley rank are nilpotent-by-finite. These results were generalized in various ways to the superstable case in [8].

Flat Morley sequences

1999 ◽  
Vol 64 (3) ◽  
pp. 1261-1279
Author(s):  
Ludomir Newelski
Keyword(s):  
Superstable Theory ◽  
Complete Type ◽  
Finite Set ◽  
Countable Models

AbstractAssume T is a small superstable theory. We introduce the notion of a flat Morley sequence, which is a counterpart of the notion of an infinite Morley sequence in a type p, in case when p is a complete type over a finite set of parameters. We show that for any flat Morley sequence Q there is a model M of T which is τ-atomic over {Q}. When additionally T has few countable models and is 1-based, we prove that within M there is an infinite Morley sequence I, with I ⊂ dcl(Q), such that M is prime over I.

Sign in / Sign up

Export Citation Format

Share Document