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
SIMPLE GROUPS OF MORLEY RANK 5 ARE BAD
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
- Award ID(s):
- 1064446
- PAR ID:
- 10399541
- Date Published:
- Journal Name:
- The Journal of Symbolic Logic
- Volume:
- 83
- Issue:
- 3
- ISSN:
- 0022-4812
- Page Range / eLocation ID:
- 1217 to 1228
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
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
-
We prove an obstruction at the level of rational cohomology to the existence of positively curved metrics with large symmetry rank. The symmetry rank bound is logarithmic in the dimension of the manifold. As one application, we provide evidence for a generalized conjecture of H. Hopf, which states that no symmetric space of rank at least two admits a metric with positive curvature. Other applications concern product manifolds, connected sums, and manifolds with nontrivial fundamental group.more » « less
-
Abstract Let $$\Gamma $$ be a Zariski dense Anosov subgroup of a connected semisimple real algebraic group $$G$$. For a maximal horospherical subgroup $$N$$ of $$G$$, we show that the space of all non-trivial $NM$-invariant ergodic and $$A$$-quasi-invariant Radon measures on $$\Gamma \backslash G$$, up to proportionality, is homeomorphic to $${\mathbb {R}}^{\text {rank}\,G-1}$$, where $$A$$ is a maximal real split torus and $$M$$ is a maximal compact subgroup that normalizes $$N$$. One of the main ingredients is to establish the $NM$-ergodicity of all Burger–Roblin measures.more » « less
An official website of the United States government

