It is a well-known result of the covering groups that a subgroup G of the fundamental group at the identity of a semilocally simply connected topological group determines a covering morphism of topological groups with characteristic group G . In this paper we generalize this result to a large class of algebraic objects called topological groups with operations, including topological groups. We ...

In this second paper in a series of three we generalize the notions of fundamental group and Hawaiian earring . In the first paper [CC1] we generalized the notion of free group to that of a big free group. In the current article we generalize the notion of fundamental group by defining the big fundamental group of a topological space. We also describe big Hawaiian earrings, which are generaliza...

Abstract. A topological group H is called ω -narrow if for every neighbourhood V of it’s identity element there exists a countable set A such that V A = H = AV. A semigroup G is called a generalized group if for any x ∈ G there exists a unique element e(x) ∈ G such that xe(x) = e(x)x = x and for every x ∈ G there exists x − 1 ∈ G such that x − 1x = xx − 1 = e(x). Also le...

In topology, the notions of the fundamental group and the universal cover are closely intertwined. By importing usual notions from topology into the algebraic and arithmetic setting, we construct a fundamental group family from a universal cover, both of which are schemes. A geometric fiber of the fundamental group family (as a topological group) is canonically the étale fundamental group. The ...

A topological group $X$ is called $duoseparable$ if there exists a countable set $S\subseteq X$ such that $SUS=X$ for any neighborhood $U\subseteq of the unit. We construct functor $F$ assigning to each (abelian) duoseparable (abelain-by-cyclic) $FX$, containing an isomorphic copy $X$. In fact, defined on category unital topologized magmas. Also we prove $\sigma$-compact locally compact abelian...

The fundamental group is an invariant of topological spaces that measures the contractibility of loops. This project studies the fundamental group, its basic properties, some elementary computations, and a resulting theorem: the Fixed Point Theorem of Brouwer, which states that every continuous function mapping the disk to itself has a fixed point.

in this paper we construct the category of coverings of fundamental generalized lie group-groupoid associatedwith a connected generalized lie group. we show that this category is equivalent to the category of coverings of aconnected generalized lie group. in addition, we prove the category of coverings of generalized lie groupgroupoidand the category of actions of this generalized lie group-gro...