On the completeness of localic groups

MaRDI QIDQ2761028zbMATH OpenFDO

Authors Bernhard Banaschewski, J. J. C. Vermeulen

Publication date 17 December 2001

Published in Commentationes Mathematicae Universitatis Carolinae (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/121660

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

\(LT\)-groupsclosed subgroup theorem for localic groupsframe homomorphismslocalic grouptwo-sidedly complete topological groupsuniformities of localic group

Mathematics Subject Classification ID

Structure of general topological groups (22A05) Topological groups (topological aspects) (54H11)

Review text

A localic group is a frame \(L\) together with frame homomorphisms \(\mu \:L\rightarrow L\oplus L\), \(\iota \:L\rightarrow L\) and \(\varepsilon \:L\rightarrow L\) (its multiplication, inversion and unit, respectively) subject to the duals of the familiar groups laws. It is then known that the sets \(T_s=\{a\in L\:(a^{-1}a)\vee (aa^{-1})\leq s\}\) \((s\in N = \{s\in L\:\varepsilon (s)=1\})\) form a basis of uniformity on \(L\), called the two-sided uniformity of \(L\). The authors then prove that any localic group is complete in its two-sided uniformity. Moreover, they obtain a special functor from topological to localic groups which is then shown to give rise to some relationships between topological and localic groups.

Recommendations

• Uniformities and a quantale structure on localic groups
• Entourages, covers and localic groups
• scientific article; zbMATH DE number 3968856
• Completion of topological loops
• scientific article; zbMATH DE number 4079770

Cited in

(16)

• Some connections between frames of radical ideals and frames of \(z\)-ideals
• Entourages, covers and localic groups
• Uniformities and a quantale structure on localic groups
• On the local Cartesian closure of exact completions
• Completeness of locally \(k_{\omega}\)-groups and related infinite-dimensional Lie groups
• Paralocalic groups
• Classification of Finite Completions of a Class of LocallyD₈Amalgams, II
• A note on weakly pseudocompact locales
• scientific article; zbMATH DE number 3968856 (Why is no real title available?)
• scientific article; zbMATH DE number 3973158 (Why is no real title available?)
• scientific article; zbMATH DE number 4079770 (Why is no real title available?)
• scientific article; zbMATH DE number 2156379 (Why is no real title available?)
• scientific article; zbMATH DE number 970552 (Why is no real title available?)
• Uniform locales and their constructive aspects
• On the completeness of localic groups via generators and relations
• Presenting the frame of the unit circle.

This page was built for publication: On the completeness of localic groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2761028)