arXiv subjects
Publications and source records attributed to Jose L. Rodriguez.
We connect work done by Enochs, Rada and Hill in module approximation theory with work undertaken by several group theorists and algebraic topologists in the context of homotopical localization and cellularization of spaces. This allows one to consider envelopes and covers of arbitrary groups. We show some characterizing results for certain classes of groups, and present some open questions.
Let $M$ denote a two-dimensional Moore space (so $H_2(M; \Z) = 0$), with fundamental group $G$. The $M$-cellular spaces are those one can build from $M$ by using wedges, push-outs, and telescopes (and hence all pointed homotopy colimits). The question we address here is to characterize the class of $M$-cellular spaces by means of algebraic properties derived from the group $G$. We show that the cellular type of the fundamental group and homological information does not suffice, and one is forced to study a certain universal extension.
In this paper we consider probabilistic normed spaces as defined by Alsina, Sklar, and Schweizer, but equipped with non necessarily continuous triangle functions. Such spaces endow a generalized topology that is Fréchet-separable, translation-invariant and countably generated by radial and circled 0-neighborhoods. Conversely, we show that such generalized topologies are probabilistically normable.
The motivation of this paper is a suggestion by Höle of comparing the notions of $\D$-boundedness and boundedness in Probabilistic Normed spaces (briefly PN spaces), with non necessarily continuous triangle functions. Such spaces are here called ``pre-PN spaces''. Some results on Šerstnev spaces due to B. Lafuerza, J. A. Rodriguez, and C. Sempi, are here extended to generalized Šerstnev spaces (these are pre-PN spaces satisfying a more general Šerstnev condition). We also prove some facts on PN spaces (with continuous triangle functions). First, a connection between fuzzy normed spaces defined by Felbin and certain Šerstnev PN spaces is established. We further observe that topological vector PN spaces are $F$-normable and paranormable, and also that locally convex topological vector PN spaces are bornological. This last fact allows to describe continuous linear operators between certain generalized Šerstnev spaces in terms of bounded subsets.
In this paper we answer negatively a question posed by Casacuberta, Farjoun, and Libman about the preservation of perfect groups under localization functors. Indeed, we show that a certain $P$-localization of Berrick and Casacuberta's universal acyclic group is not perfect. We also investigate under which conditions perfectness is preserved: For instance, we show that if the localization of a perfect group is finite then it is perfect.
Quillen's plus construction is a topological construction that kills the maximal perfect subgroup of the fundamental group of a space without changing the integral homology of the space. In this paper we show that there is a topological construction that, while leaving the integral homology of a space unaltered, kills even the intersection of the transfinite lower central series of its fundamental group. Moreover, we show that this is the maximal subgroup that can be factored out of the fundamental group without changing the integral homology of a space.
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.
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 non abelian finite simple group H, has arbitrarily large localizations. This shows that there is a proper class of distinct homotopy types which are localizations of a given Eilenberg--Mac Lane space K(H,1) for any non abelian finite simple group H.