skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: GROUPS OF MORLEY RANK 4
Abstract We show that any simple group of Morley rank 4 must be a bad group with no proper definable subgroups of rank larger than 1. We also give an application to groups acting on sets of Morley rank 2.  more » « less
Award ID(s):
1064446
PAR ID:
10399538
Author(s) / Creator(s):
Date Published:
Journal Name:
The Journal of Symbolic Logic
Volume:
81
Issue:
1
ISSN:
0022-4812
Page Range / eLocation ID:
65 to 79
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract We show that any simple group of Morley rank 5 is a bad group all of whose proper definable connected subgroups are nilpotent of rank at most 2. The main result is then used to catalog the nonsoluble connected groups of Morley rank 5. 
    more » « less
  2. We investigate faithful representations of Alt(n) as automorphisms of a connected group 𝐺 of finite Morley rank. We target a lower bound of 𝑛 on the rank of such a nonsolvable 𝐺, and our main result achieves this in the case when 𝐺 is without involutions. In the course of our analysis, we also prove a corresponding bound for solvable 𝐺 by leveraging recent results on the abelian case. We conclude with an application towards establishing natural limits to the degree of generic transitivity for permutation groups of finite Morley rank. 
    more » « less
  3. Abstract We develop the theory of Kim-independence in the context of NSOP $$_{1}$$ theories satisfying the existence axiom. We show that, in such theories, Kim-independence is transitive and that -Morley sequences witness Kim-dividing. As applications, we show that, under the assumption of existence, in a low NSOP $$_{1}$$ theory, Shelah strong types and Lascar strong types coincide and, additionally, we introduce a notion of rank for NSOP $$_{1}$$ theories. 
    more » « less
  4. Abstract In light of a gap found by Krupiński, we give a new proof of associativity for the Morley (or “nonforking”) product of invariant measures in NIP theories. 
    more » « less
  5. Abstract We establish lower bounds on the rank of matrices in which all but the diagonal entries lie in a multiplicative group of small rank. Applying these bounds we show that the distance sets of finite pointsets in $$\mathbb {R}^d$$ generate high-rank multiplicative groups and that multiplicative groups of small rank cannot contain large sumsets. 
    more » « less