BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
The purpose of this note is to observe that a homomorphism of discrete groups f:Γ→G arises as the induced map π0(M)→π0(X) on path components of some closed normal inclusion of topological groups M⊆X, if and only if the map f can be equipped with a crossed module structure. In that case an essentially unique realization M⊆X exists by homotopically discrete topological groups.
Let φ:Γ→G be a homomorphism of groups. We consider factorizations ΓfMgG of φ such that either g or f are universal normal maps (namely, crossed modules). These two factorizations are natural generalizations of the usual normal closure and normalizer of a subgroup. Iterating these universal factorizations yield towers related, on the one hand, to hypercentral group extensions, Bousfield's localizations, and relative Schur multipliers. Dually, they extend to a relative situation, the automorphisms tower of a centerless group. Our constructions have strong ties to topological constructions.
In this note, starting with any group homomorphism f:Γ→G, which is surjective upon abelianization, we construct a universal central extension u:U↠G, UNDER Γ with the same surjective property, such that for any central extension m:M↠G, under f, there is a unique homomorphism U→M with the obvious commutation condition. The kernel of u is the relative Schur multiplier group H2(G,Γ;Z) as defined in the paper. The case where G is perfect corresponds to Γ=1. This yields homological obstructions to lifting solution of equations in G. Upon repetition, for finite groups, this gives a universal hypercentral factorization of the map f:Γ→G.
Let φ:Γ→G be a homomorphism of groups. In this paper we introduce the notion of a subnormal map (the inclusion of a subnormal subgroup into a group being a basic prototype). We then consider factorizations ΓψMnG of φ, with n a subnormal map. We search for a universal such factorization. When Γ and G are finite we show that such universal factorization exists: Γ→Γ∞→G, where Γ∞ is a hypercentral extension of the subnormal closure C of φ(Γ) in G (i.e.~the kernel of the extension Γ∞→C is contained in the hypercenter of Γ∞). This is closely related to the a relative version of the Bousfield-Kan Z-completion tower of a space. The group Γ∞ is the inverse limit of the normal closures tower of φ introduced by us in a recent paper. We prove several stability and finiteness properties of the tower and its inverse limit Γ∞.
Let M be a monoidal category endowed with a distinguished class of weak equivalences and with appropriately compatible classifying bundles for monoids and comonoids. We define and study homotopy-invariant notions of normality for maps of monoids and of conormality for maps of comonoids in M. These notions generalize both principal bundles and crossed modules and are preserved by nice enough monoidal functors, such as the normaliized chain complex functor. We provide several explicit classes of examples of homotopy-normal and of homotopy-conormal maps, when M is the category of simplicial sets or the category of chain complexes over a commutative ring.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.