Interior operators in the category of groups

Abstract

A previously introduced notion of categorical interior operator is studied in the category of groups. The main purpose of this research is to try to find out how many of the general results that hold for a categorical interior operator in topology can be proved in the category of groups, paying particular attention to the notions of connectedness and disconnectedness. Some general properties of interior operators in groups are studied and the notions of discrete, indiscrete, connected and disconnected groups with respect to an interior operator are introduced. The main objective of this work is to discover whether by means of the above notions, a commutative diagram of Galois connections previously presented in the category of topological spaces, can be reconstructed in the group environment. However, unlike the topological case, the lack of commutativity between inverse images and suprema created a big obstacle that, for the time being, could be overcome only by means of two conjectures. Examples are provided.

Una noción introducida previamente de operador de interior de categorías es estudiado en la categoría de grupos. El propósito principal de esta investigación es intentar hallar cuántos de los resultados generales que se tienen para un operador de interior de categorías en topología pueden ser demostrados en la categoría de grupos, prestando especial atención a las nociones de conexidad y desconexidad. Algunas propiedades generales de los operadores de interior en grupos son estudiadas y las nociones de grupos discretos, indiscretos, conexos y desconexos son introducidas con respecto a un operador de interior. El objetivo principal de este trabajo es descubrir si por medio de las nociones mencionadas, un diagrama conmutativo de conexiones de Galois previamente presentado en la categoría de espacios topológicos, puede reconstruirse en el entorno de los grupos. Sin embargo, a diferencia del caso topológico, la falta de conmutatividad entre las imágenes inversas y supremos creó un gran obstáculo que, por el momento, podría ser superado sólo por medio de dos conjeturas. Se proporcionan ejemplos.