Formation theory and groups of automorphisms of -groups

Author(s):  
M. J. Tomkinson

SynopsisFurther results from the theory of finite soluble groups are extended to the class of locally finite groups with a satisfactory Sylow structure. Let be a saturated U-formation and A a -group of automorphisms of the -group G. A is said to act -centrally on G if G has an A-composition series (Λσ/Vσ; σ ∈ ∑) such that A induces an f(p)-group of automorphisms in each p-factor Λσ/Vσ. We show that in this situation A is an -group, thus generalising the result of Schmid [8]. Associated results of Schmid and of Baer are also extended to the infinite case.

1995 ◽  
Vol 38 (3) ◽  
pp. 511-522 ◽  
Author(s):  
M. J. Tomkinson

We introduce a definition of a Schunck class of periodic abelian-by-finite soluble groups using major subgroups in place of the maximal subgroups used in Finite groups. This allows us to develop the theory as in the finite case proving the existence and conjugacy of projectors. Saturated formations are examples of Schunck classes and we are also able to obtain an infinite version of Gaschütz Ω-subgroups.


Author(s):  
B. Hartley ◽  
M. J. Tomkinson

It is a well known theorem of Gaschütz (4) and Schenkman (12) that if G is a finite group whose nilpotent residual A is Abelian, then G splits over A and the complements to A in G are conjugate. Following Robinson (10) we describe this situation by saying that G splits conjugately over A. A number of generalizations of this result have since been obtained, some of them being in the context of the formation theory of finite or locally finite groups (see, for example, (1), (3)) and others, for example, the recent and far-reaching results of Robinson (10, 11) being concerned with groups which are not necessarily periodic. Our results here are of the latter type.


1980 ◽  
Vol 21 (1) ◽  
pp. 81-84
Author(s):  
M. J. Tomkinson

Finite soluble groups in which all the Sylow subgroups are abelian were first investigated by Taunt [8] who referred to them as A-groups. Locally finite groups with the same property have been considered by Graddon [2]. By the use of Sylow theorems it is clear that every section (homomorphic image of a subgroup) of an A-group is also an A-group and hence every nilpotent section of an A-group is abelian. This is the characterization that we use here in considering groups which are not, in general, periodic.


2019 ◽  
Vol 84 (02) ◽  
pp. 704-712
Author(s):  
ULLA KARHUMÄKI

AbstractWe prove that infinite definably simple locally finite groups of finite centraliser dimension are simple groups of Lie type over locally finite fields. Then, we identify conditions on automorphisms of a stable group that make it resemble the Frobenius maps, and allow us to classify definably simple stable groups in the specific case when they admit such automorphisms.


Author(s):  
Olivia Caramello

This chapter discusses several classical as well as new examples of theories of presheaf type from the perspective of the theory developed in the previous chapters. The known examples of theories of presheaf type that are revisited in the course of the chapter include the theory of intervals (classified by the topos of simplicial sets), the theory of linear orders, the theory of Diers fields, the theory of abstract circles (classified by the topos of cyclic sets) and the geometric theory of finite sets. The new examples include the theory of algebraic (or separable) extensions of a given field, the theory of locally finite groups, the theory of vector spaces with linear independence predicates and the theory of lattice-ordered abelian groups with strong unit.


1976 ◽  
Vol 43 (1) ◽  
pp. 168-175 ◽  
Author(s):  
Angus Macintyre ◽  
Saharon Shelah

Sign in / Sign up

Export Citation Format

Share Document