Topological protomodular algebras

• Author(s): Borceux, F. ; Clementino, Maria Manuel
• Date: 2006
• Persistent ID: http://hdl.handle.net/10316/4613
• Origin: Estudo Geral - Universidade de Coimbra
• Subject(s): Topological algebra; Algebraic theory; Protomodular category
• Document Type: Article
• Language: English

Description

Topological groups have very striking properties, which have already been generalized to weaker "group like" structures, like various kinds of loops. This paper intends to show evidence that this generalization holds for a much wider class of theories, known as the protomodular theories, and which admit both an elegant categorical characterization and an easy description in universal algebra terms. Thus we propose a synthetic approach which allows to prove in a unique framework that the most striking properties of topological groups hold as well for loops or even semi-loops, rings with or without unit, associative algebras with or without unit, Lie algebras, Jordan algebras, Boolean algebras, Heyting algebras, Boolean rings, Heyting semi-lattices, and so on. http://www.sciencedirect.com/science/article/B6V1K-4GXVG0K-2/1/80524f4470b30ebfaf37012e4d8b45dc