arXiv math/00122172000-12math.GRmath.AT

Finite simple groups and localization

Jose L. Rodriguez, Jerome Scherer, Jacques Thevenaz

备注：: 17 pages. See also http://magma.unil.ch/jscherer/ The two last sections (especially that about preservation of simplicity by localizations) have been removed and will be the subject of a separate paper. Some proofs have been rewritten in a clearer style

英文摘要：

The purpose of this paper is to explore the concept of localization, which comes from homotopy theory, in the context of finite simple groups. We give an easy criterion for a finite simple group to be a localization of some simple subgroup and we apply it in various cases. Iterating this process allows us to connect many simple groups by a sequence of localizations. We prove that all sporadic simple groups (except possibly the Monster) and several groups of Lie type are connected to alternating groups. The question remains open whether or not there are several connected components within the family of finite simple groups.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Non-simple localizations of finite simple groups

Often a localization functor (in the category of groups) sends a finite simple group to another finite simple group. We study when such a localization also induces a localization between the automorphism groups and between the universal central extensions. As a consequence we exhibit many examples of localizations of finite simple groups which are not simple.

2002-10-25math.ATmath.GR

On localizations of quasi-simple groups with given countable center

A group homomorphism $i: H \to G$ is a localization of $H$ if for every homomorphism $φ: H\rightarrow G$ there exists a unique endomorphism $ψ: G\rightarrow G$, such that $i ψ=φ$ (maps are acting on the right). Göbel and Trlifaj asked in \cite[Problem 30.4(4), p. 831]{GT12} which abelian groups are centers of localizations of simple groups. Approaching this question we show that every countable abelian group is indeed the center of some localization of a quasi-simple group, i.e. a central extension of a simple group. The proof uses Obraztsov and Ol'shanskii's construction of infinite simple gr…

2020-11-29math.ATmath.GR

Localizations of finitely generated soluble groups

The study of localizations of groups has concentrated on group theoretic properties which are preserved by localization. In this paper we look at finitely generated soluble groups and determine when the local groups associated with them are soluble.

2010-08-03math.GR

Large localizations of finite groups

We construct examples of localizations in the category of groups which take the Mathieu group $M_{11}$ to groups of arbitrarily large cardinality which are ``abelian up to finitely many generators''. The paper is part of a broader study on the group theoretic properties which are or are not preserved by localizations.

2008-10-09math.GR

Group localization and two problems of Levine

A. K. Bousfield's $H\mathbb Z$-localization of groups inverts homologically two-connected homomorphisms of groups. J. P. Levine's algebraic closure of groups inverts homomorphisms between finitely generated and finitely presented groups which are homologically two-connected and for which the image normally generates. We resolve an old problem concerning Bousfield $H\mathbb Z$-localization of groups, and answer two questions of Levine regarding algebraic closure of groups. In particular, we show that the kernel of the natural homomorphism from a group $G$ to it's Bousfield $H\mathbb Z$-localiza…

2013-06-25math.ATmath.GR

Large localizations of finite simple groups

A group homomorphism eta:H-->G is called a localization of H if every homomorphism phi:H-->G can be `extended uniquely' to a homomorphism Phi:G-->G in the sense that Phi eta=phi. Libman showed that a localization of a finite group need not be finite. This is exemplified by a well-known representation A_n-->SO_{n-1}(R) of the alternating group A_n, which turns out to be a localization for n even and n>9. Dror Farjoun asked if there is any upper bound in cardinality for localizations of A_n. In this paper we answer this question and prove, under the generalized continuum hypothesis, that every n…

1999-12-22math.GRmath.LO

更多相关论文收起更多论文

有限p-群的非幂零局部化

A non-nilpotent localization of a finite p-group

Beijing Institute of Mathematical Sciences and Applications (BIMSA)（北京数学与应用数学研究所）；Tsinghua University（清华大学）

该研究针对Farjoun的群局部化问题构造反例，证明有限p-群的局部化无需保持幂零性，且局部化映射不必为满射。

2026-10-14math.CTmath.GR

On lengths of HZ-localization towers

In this paper, the $H\mathbb Z$-length of different groups is studied. By definition, this is the length of $H\mathbb Z$-localization tower or the length of transfinite lower central series of $H\mathbb Z$-localization. It is proved that, for a free noncyclic group, its $H\mathbb Z$-length is $\geq ω+2$. For a large class of $\mathbb Z[C]$-modules $M,$ where $C$ is an infinite cyclic group, it is proved that the $H\mathbb Z$-length of the semi-direct product $M\rtimes C$ is $\leq ω+1$ and its $H\mathbb Z$-localization can be described as a central extension of its pro-nilpotent completion. In …

2016-06-27math.ATmath.GR

On transfinite nilpotence of the Vogel-Levine localization

We construct a finitely-presented group such that its Vogel-Levine localization is not transfinitely nilpotent. This answers a problem of J. P. Levine.

2014-06-10math.GRmath.GT

Localizations of Groups

A group homomorphism eta:A-> H is called a localization of A if every homomorphism phi:A-> H can be `extended uniquely' to a homomorphism Phi:H-> H in the sense that Phi eta = phi. This categorical concepts, obviously not depending on the notion of groups, extends classical localizations as known for rings and modules. Moreover this setting has interesting applications in homotopy theory. For localizations eta:A-> H of (almost) commutative structures A often H resembles properties of A, e.g. size or satisfying certain systems of equalities and non-equalities. Perhaps the best known example is …

2000-09-08math.GRmath.LOmath.RA