Displaying similar documents to “Topologies in ℓ -groups”

Topology from Neighbourhoods

Roland Coghetto (2015)

Formalized Mathematics

Similarity:

Using Mizar [9], and the formal topological space structure (FMT_Space_Str) [19], we introduce the three U-FMT conditions (U-FMT filter, U-FMT with point and U-FMT local) similar to those VI, VII, VIII and VIV of the proposition 2 in [10]: If to each element x of a set X there corresponds a set B(x) of subsets of X such that the properties VI, VII, VIII and VIV are satisfied, then there is a unique topological structure on X such that, for each x ∈ X, B(x) is the set of neighborhoods...

Remarks on extremally disconnected semitopological groups

Igor V. Protasov (2002)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Answering recent question of A.V. Arhangel'skii we construct in ZFC an extremally disconnected semitopological group with continuous inverse having no open Abelian subgroups.

Extensions of topological and semitopological groups and the product operation

Aleksander V. Arhangel'skii, Miroslav Hušek (2001)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

The main results concern commutativity of Hewitt-Nachbin realcompactification or Dieudonné completion with products of topological groups. It is shown that for every topological group G that is not Dieudonné complete one can find a Dieudonné complete group H such that the Dieudonné completion of G × H is not a topological group containing G × H as a subgroup. Using Korovin’s construction of G δ -dense orbits, we present some examples showing that some results on topological groups are not valid...