“…If it is a K-group then Proposition 5.21 in [2] and Fact 3.9 in [20] prove the statement. If it is a simple group then the arguments used to prove Proposition 2.33 in [3] show that the stabilizer of a connected component of G is weakly embedded in G. Then Fact 2.11 yields the stated identification. Proof.…”
Section: Weak Embeddingmentioning
confidence: 85%
“…The following result was proved in [3] though stated somewhat differently; our formulation comes from [4]. …”
Section: O G Is the Largest Connected Definable Normalmentioning
confidence: 86%
“…Here F = Z α−4 Z α as in (3). As Q α acts trivially on U and FQ α = G α F/C F U G α /Q α is of type SL 2 .…”
Section: For S a Sylow 2-subgroup Of M S/mentioning
“…If it is a K-group then Proposition 5.21 in [2] and Fact 3.9 in [20] prove the statement. If it is a simple group then the arguments used to prove Proposition 2.33 in [3] show that the stabilizer of a connected component of G is weakly embedded in G. Then Fact 2.11 yields the stated identification. Proof.…”
Section: Weak Embeddingmentioning
confidence: 85%
“…The following result was proved in [3] though stated somewhat differently; our formulation comes from [4]. …”
Section: O G Is the Largest Connected Definable Normalmentioning
confidence: 86%
“…Here F = Z α−4 Z α as in (3). As Q α acts trivially on U and FQ α = G α F/C F U G α /Q α is of type SL 2 .…”
Section: For S a Sylow 2-subgroup Of M S/mentioning
“…Section 2.4) is a natural generalization of strong embedding and far more flexible in practice (see for example the rapid elimination of cores in 2-local subgroups at the end of [3]). Tameness will be discussed in Section 2.…”
Section: Theorem 11 Let G Be a Simple Tame K * -Group Of Finite Mormentioning
confidence: 98%
“…The present paper, together with the ongoing work on pushing up and the global C G T theorem, constitutes the last in the series of papers laying the foundations of the analysis of tame groups of even type by providing some general tools which are mostly connected with fusion analysis. One of the main tools in proving Theorem 1.1, or any of the classification theorems of this type, is the following classification theorem: Fact 1.2 [3]. Let G be a simple, tame, K * -group of finite Morley rank of even type.…”
Section: Theorem 11 Let G Be a Simple Tame K * -Group Of Finite Mormentioning
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.