Structure and Functions of Topological Metagroups

: In this article, the structure of topological metagroups was investigated. Relations between topological and algebraic properties of metagroups were scrutinized. A uniform continuity of functions on them was studied. Smashed products of topological metagroups were investigated.


Introduction
In nonassociative algebra, noncommutative geometry, field theory, and topological algebra there frequently appear binary systems, which are nonassociative generalizations of groups and are related to loops, quasi-groups, and Moufang loops, etc. (see [1][2][3][4][5][6]).A particular class of quasi-groups known as gyrogroups G y arise as a skew product of a group A y and its automorphism group Aut(A y ).Relations between (ab)c and a(bc) for each a, b and c in G y are provided with the help of the automorphism ψ of A y acting on c, where ψ : G 2 y → Aut(A y ), ψ = ψ a,b may depend only on two parameters a and b in G y .They found applications in physics for studying Thomas precession with the help of the Lorentz group and its automorphism group [7].It was investigated and proved in the 20th century that a nontrivial geometry exists if and only if there exists a corresponding unital quasi-group (loop) [2,4].
A very important role in mathematics and quantum field theory play octonions and generalized Cayley-Dickson algebras [8][9][10].A multiplicative law of their canonical bases is nonassociative and leads to a more general notion of a metagroup instead of a group [11].They are used not only in algebra and geometry, but also in noncommutative analysis and PDEs, particle physics, and mathematical physics [9,10,[12][13][14][15][16][17][18][19][20][21][22][23][24][25][26].The preposition meta is used to emphasize that such an algebraic object has properties milder than those of a group.By their axiomatic metagroups are loops (that is, satisfy the conditions of Equations (1)-( 3)) with additional weak relations (10).Metagroups were used in [11] to investigate of automorphisms and derivations of nonassociative algebras, as well as cohomologies of nonassociative algebras [27].Constructions of metagroups from groups or other metagroups with the help of smashed and twisted wreath products, of certain nonassociative algebras and examples were given in [11,27,28].
This article is devoted to the structure of topological metagroups.Specific algebraic and topological features of metagroups are studied in Lemmas 1-4, Theorem 2, and Propositions 1 and 2. Relations between topological and algebraic properties of metagroups are scrutinized.A quotient of a metagroup by its central subgroup is investigated in Theorem 1.A uniform continuity of maps on topological metagroups is studied in Theorem 3 and Corollary 2.
Smashed products of topological metagroups are investigated in Section 3. It is proved in Theorems 4 and 5 and Corollaries 3-5 that there are abundant families of topological metagroups.
All main results of this paper are obtained for the first time.

Structure of Topological Metagroups
To avoid misunderstandings, we provide the necessary definition.A reader familiar with [2,11,27] can skip Definition 1.

Definition 1.
Let G be a set with a single-valued binary operation (multiplication) G 2 (a, b) → ab ∈ G defined on G satisfying the conditions: For for each g ∈ G.
The set of all elements h ∈ G commuting and associating with G: N r (G) is called the center C(G) of G.
We call G a metagroup if a set G possesses a single-valued binary operation and satisfies the conditions of Equations (1)-( 3) and (ab)c = t(a, b, c)a(bc) (10) for each a, b and c in G, where t(a, b, c Then G is called a central metagroup if in addition to (10) it satisfies the condition: for each a and b in G, where t 2 (a, b) ∈ C(G).
Let τ be a topology on G such that the multiplication G 2 (a, b) → ab ∈ G, the operations Div l (a, b) and Div r (a, b) are jointly continuous relative to τ, then (G, τ) will be called a topological metagroup.Henceforth, it will be assumed that τ is the T 1 ∩ T 3.5 topology, maps and functions on metagroups are supposed to be single-valued, if something other will not be specified.
A neighborhood U of the unit element e is called left (right) symmetric, if U = Inv l (U) (or U = Inv r (U) respectively), where Inv l (a) = Div l (a, e) is a left inversion, Inv r (a) = Div r (a, e) is a right inversion.If a neighborhood U is left and right symmetric, then it will be called symmetric.
Elements of a metagroup G will be denoted by small letters, subsets of G will be denoted by capital letters.If A and B are subsets in G, then A − B means the difference of them A − B = {a ∈ A : a / ∈ B}.
(a \ e)b = (a \ b)t(e/a, a, a \ e)/t(e/a, a, a \ b) b(e/a) = (b/a)t(b/a, a, a \ e)/t(e/a, a, a \ e) Proof.The conditions of Equations (1)- for each a and b in G. Using Equation (10) and the identities of Equations (15) and (16) (12).
Let c = a \ b, then from the identities of Equations (12) and (15) it follows that (a \ e)b = (e/a)t(e/a, a, a \ e)(ac) = ((e/a)a)(a \ b)t(e/a, a, a \ e)/t(e/a, a, a \ b), which provides Equation (13).
Lemma 2. Assume that G is a metagroup.Then for every a, a 1 , a 2 , a 3 in G and p 1 , p 2 , p 3 in C(G): t(a, a \ e, a)t(a \ e, a, e/a) = e Proof.Since (a 1 a 2 )a 3 = t(a 1 , a 2 , a 3 )a 1 (a 2 a 3 ) and t(a 1 , a 2 , a 3 ) ∈ C(G) for every a 1 , a 2 , a 3 in G, then t(a 1 , a 2 , a 3 ) = ((a 1 a 2 )a 3 )/(a 1 (a 2 a 3 )) Therefore, for every a 1 , a 2 , a 3 in G and p 1 , p 2 , p 3 in C(G) we infer that t(p 1 a 1 , p 2 a 2 , p 3 a 3 ) = (((p for each p ∈ C(G), a and b in G, because C(G) is the commutative group.Thus t(p 1 a 1 , p 2 a 2 , p 3 a 3 ) = t(a 1 , a 2 , a 3 ).
From the condition of Equation (10), Lemma 1 and the identity in Equation (17) it follows that t(a, a \ e, a) = ((a(a \ e))a)/(a((a \ e)a)) = a/[at(e/a, a, a \ e)] = e/t(a \ e, a, e/a) for each a ∈ G implying Equation (18).
Proof.This follows immediately from Equation (19) and Definition 1.

Proof. In view of Lemma 4 either
Proof.Let τ be a T 1 topology on G relative to which G is a topological metagroup.Then each point x in G is closed, since G is the T 1 topological space (see Section 1.5 in [29]).From the continuity of multiplication and the left inversion and right inversion it follows that the center C(G) is closed in G.
Therefore the subgroup C 0 is closed in G.As is tradition, the notation: is used for subsets A and B in G. Then from Equations (4)-( 8) it follows that for each a, b, c in G the identities take place.
We remind reader of the following.

Definition 2.
Let G be a topological metagroup.For a subset U in G it is put: The family of all subsets L U,G (or R U,G ) with U being an open neighborhood of e will be called a left (right correspondingly) uniform structure on G and denoted by L G (respectively R G ).
Theorem 2. Assume that G is a T 1 topological metagroup and a function t on G is defined by Equation (10).Then for each compact subset S in G and each open neighborhood V of e there exists an open symmetric neighborhood U of e in G such that for every a, b, c in S and u j , v j in U for each j ∈ {1, 2, 3}.Since S is compact in G and θ is continuous from (G, τ) into (Q, τ q ), then θ(S) =: Ŝ is compact in Q by Theorem 3.1.10in [29].Therefore, t( Ŝ, Ŝ, Ŝ) : for every â, b, ĉ in Ŝ and ûj , vj in Û for each j ∈ {1, 2, 3}, where â = θ(a) for each a ∈ G.
topological group as the direct product of three copies of the topological group Q (see Theorem 6.2 in [30]).Since Ŝ × Ŝ × Ŝ is compact in the topological group Q ⊗3 , then t is uniformly continuous on Ŝ × Ŝ × Ŝ relative to the uniformities L Q ⊗3 and R Q ⊗3 ; consequently, there exists an open symmetric neighborhood W of e Q in Q such that Equation (33) is satisfied for every â, b, ĉ in Ŝ and ûj , vj in W for each j ∈ {1, 2, 3}.Take an open symmetric neighborhood U of e in G such that U ⊆ θ −1 (W).With this U Equation (32) is fulfilled.Then Equation (15) and inclusion (34) imply inclusion (36).
Theorem 3. Let G and H be topological metagroups and let f : G → H be a continuous map so that for each open neighborhood V of a unit element e H in H a compact subset K V in G exists such that f (G

Proof.
Since each open neighborhood of e H in H contains an open symmetric neighborhood according to property (37), then it suffices to consider an open symmetric neighborhood AA for subsets A and B in H.By the conditions of this theorem, a compact subset For a subset A of the metagroup G let where P 0 (A) = A ∪ Inv l (A) ∪ Inv r (A), hence A ⊂ P 0 (A) and P 0 (A) ∪ {e} ⊂ P(A).
for every a, b, c in R 1 .For V 2 there exists a compact subset by the conditions of this theorem.If A and B are compact subsets in G, then their union A ∪ B is also compact.Therefore it is possible to choose From the continuity of the map f and Lemma 4 it follows that for each x ∈ G open symmetric neighborhoods W x,l and W x,r of e in G exist such that for an open symmetric neighborhood W x = W x,l ∩ W x,r of e in G.The compactness of S 2 implies that coverings {xW x : x ∈ S 2 } and {W y y : y ∈ S 2 } of S 2 have finite subcoverings {x j W x j : x j ∈ S 2 , j = 1, ..., n} and {W y i y i : is a symmetric open neighborhood of e in G. Therefore, according to Theorem 2, there exists an open symmetric neighborhood U of the unit element e in G such that for every a, b, c in S 2 , where W 0 is an open symmetric neighborhood of e in G such that W 2 0 ⊂ W. Let x and y in G be such that x \ y ∈ U. Then Equation (15) implies that There are several options.Consider first the case x ∈ K V 2 .From Equation (43), Inclusions (44), (45) and Corollary 1 it follows that there exists j ∈ {1, ..., n} such that x ∈ x j W x j and y ∈ x j W 2 x j .Therefore, Inclusions (41) and (42) imply that f (x) \ f (y) ∈ V.
From x \ y ∈ U and Equation (15) it follows that y = xu for a unique u ∈ U. Hence according to Equations (14) and (16).It remains the case e H in H are symmetric.From Inclusion (41), Equation (15) and the inclusion Using direct products it is always possible to extend either A or B to get such a case.In particular, either A or B may be a group.On A × B an equivalence relation Ξ is considered such that → C be single-valued mappings written shortly as η, κ and ξ correspondingly such that We put for each a 1 , a 2 in A, b 1 and b 2 in B.
The Cartesian product A × B supplied with such a binary operation (63) will be denoted by A φ,η,κ,ξ B. Theorem 5. Let the conditions of Remark 1 be satisfied.Then the Cartesian product A × B supplied with a binary operation of Equation ( 63) is a metagroup.
For the proof of this theorem see Theorem 9 in [27].Definition 3. The metagroup A φ,η,κ,ξ B of Theorem 5 is called a smashed product of metagroups A and B with smashing factors φ, η, κ and ξ.
Particularly, it is possible to consider the topological metagroup fulfilling the condition: there exists a compact subgroup C 0 = C 0 (G) in C(G) such that t G (a, b, c) ∈ C 0 for every a, b and c in G (64)

(i).
Assume that conditions of Theorem 4 are satisfied and for each j ∈ J a metagroup G j satisfies Condition (64).Then the product metagroup G satisfies Condition (64).
(ii).Moreover, if G j is compact for all j ∈ J 0 and locally compact for each j ∈ J \ J 0 , where J 0 ⊂ J and J \ J 0 is a finite set, then G is locally compact.
The last assertion (ii) follows from the known fact that G as a topological space is locally compact under the imposed above conditions by Theorem 3.3.13 in [29].
Corollary 4. Suppose that the conditions of Remark 1 are fulfilled and A and B are topological metagroups and smashing factors φ, η, κ, ξ are jointly continuous by their variables.Suppose also that A φ,η,κ,ξ B is supplied with a topology induced from the Tychonoff product topology on A × B. Then A φ,η,κ,ξ B is a topological metagroup.Example 1. Assume that X is a T 1 ∩ T 3.5 topological space, G is a T 1 ∩ T 3.5 topological metagroup (not a group).We consider the space C(X, G) of all continuous maps f : X → G supplied with the compact-open topology and the point-wise multiplication ( f g)(x) = f (x)g(x) for each f , g in C(X, G) and x ∈ X.Then this constriction and Definition 1 imply that there exist ( f \ g)(x) = f (x) \ g(x), ( f /g)(x) = f (x)/g(x), e C(X,G) (x) = e G and t C(X,G) ( f , g, h)(x) = t G ( f (x), g(x), h(x)) for each f , g and h in C(X, G) and x ∈ X.It can be easily seen that C(X, G) is the topological metagroup (not a group).Generally C(X, G) may be nonlocally compact metagroup for nontrivial X and G with the small inductive dimension ind(X) ≤ ind(G) and the topological weight w(X) ≥ ℵ 0 , w(G) > 7.
Other metagroups are given in Examples 1-3 in [28].In general they are nonassociative and hence different from groups.
Example 2. Particularly, H r := {i j , −i j , i j i, −i j i : j ∈ Λ r } is the metagroup, where either Λ r = {0, ..., 2 r − 1} with 3 ≤ r ∈ N or Λ ∞ = {j : 0 ≤ j ∈ Z}, i j and i j i with j ∈ Λ are the canonical generators of the complexified Cayley-Dickson algebra A r,C such that i j i = ii j and i 2 = −1; where i j with j ∈ Λ r are the canonical generators of the Cayley-Dickson algebra A r,R over the real field R, i 0 = 1 (for more details see Example 1 in [28]).Therefore, relative to the discrete topology H r is the compact nonassociative metagroup for each 3 ≤ r ∈ N; while H ∞ is the locally compact nonassociative metagroup and H ∞ is not compact.Then we put where α is a set, Ω p = {r ∈ N : 3 ≤ r ≤ p}, 3 ≤ p ≤ ∞, µ : α → Ω p is a map.We supply H α,µ,p with the Tychonoff product topology, hence H α,µ,p is the topological nonassociative metagroup by Theorem 4. If card(α) ≥ ℵ 0 , then H α,µ,p is not discrete.For each 3 ≤ p ∈ N, each set α and every map µ : α → Ω p , the metagroup H α,µ,p is compact.If 1 ≤ card{j : µ(j) = ∞} < ℵ 0 , then H α,µ,∞ is locally compact and noncompact by Corollary 3.For each α and µ such that card{j : µ(j) = ∞} ≥ ℵ 0 the metagroup H α,µ,∞ is not locally compact.

3.
If A and B are topological metagroups and A has the positive small inductive dimension ind(A) > 0, then ind(A × B) ≥ ind(A) > 0 according to Theorems 7.1.1 in [29] and 4 above.In particular, A may be a group and B be the nonassociative metagroup, hence A × B is the nonassociative topological metagroup with ind(A × B) > 0.
Remark 2. From Theorems 4 and 5 and Corollaries 3-5, it follows that taking nontrivial η, κ, and ξ and starting even from groups with nontrivial C(G j ) or C(A) it is possible to construct new metagroups with nontrivial C 0 (G) and ranges t G (G, G, G) of t G may be infinite and nondiscrete.With suitable smashing factors φ, η, κ and ξ and with nontrivial metagroups or groups A and B it is easy to get examples of metagroups in which e/a = a \ e for an infinite family of elements a in A φ,η,κ,ξ B. The latter and Examples 1-3 above show that there are a lot of metagroups G for which t G (a, b, c) depend nontrivially on all arguments a, b, and c in G.
In Theorem 5, instead of the family of all automorphisms of B, we used the family A(B) (see Remark 1).In particular, φ(a) ∈ A(B) may be different from the automorphism of B for some a ∈ A. Moreover multipliers t G in Definition 1, ξ, η, κ in Remark 1 and Theorem 5 provide left L q or right R q shifts on G or A, or B respectively, where q ∈ {t G (a, b, c); ξ((a 1 , b 1 ), (a 2 , b 2 )); η(a 1 , a 2 , b 1 ); κ(a 1 , b 1 , b 2 )} with a, b and c in G, a 1 and a 2 in A; b 1 and b 2 in B; where L q a 1 = qa 1 for each q ∈ A and a 1 ∈ A, R p b 1 = b 1 p for each p ∈ B and b 1 ∈ B, etc.The latter means that the maps L q and R q are bijective (injective and surjective).Then L q and R q are different from automorphisms of G, A, B and of A φ,η,κ,ξ B for each q = e, since each automorphism ψ of G satisfies the restrictions ψ(ab) = ψ  [28]).This implies that the class of metagroups is different from the class of gyrogroups.
Example 2 means that A 3,C is the complexified octonion algebra O C and A 3,R is the octonion algebra O over R. Thus the Cayley-Dickson algebras are metagroup algebras.The complexified octonion algebra O C was used, for example, in physics and geometry in [16,31,32].The metagroup algebra A r,C was used in [12,18,19,25] for solutions of PDEs.

Conclusions
The results of this article can be used for further studies of measures on homogeneous spaces and noncommutative manifolds related with metagroups.They can be used in topological algebra, harmonic analysis on nonassociative algebras and metagroups and loops, representation theory, geometry, mathematical physics, quantum field theory, particle physics and PDEs, etc.Besides them it is interesting to mention possible applications in mathematical coding theory, analysis of information flows and distributed databases [33][34][35][36], because codes and databases are based on topological-algebraic binary systems.Other very important applications include harmonic analysis, mathematical physics, quantum field theory, gauge theory, quantum gravity, representation theory of metagroups and nonassociative algebras, and noncommutative geometry [16,[20][21][22]26,30,37,38].

1 ) 2 )
each a and b in G there is a unique x ∈ G with ax = b (and a unique y ∈ G exists satisfying ya = b (which are denoted by x = a \ b = Div l (a, b) and y = b/a = Div r (a, b) correspondingly, there exists a neutral (i.e., unit) element e G = e ∈ G:

Lemma 1 .
If G is a metagroup, then for each a and b ∈ G the following identities are fulfilled: b \ e = (e/b)t(e/b, b, b \ e) we deduce that e/b = (e/b)(b(b \ e)) = (b \ e)/t(e/b, b, b \ e) which leads to Equation

Lemma 4 .Proposition 1 .
Assume that (G, τ) is a topological metagroup and U is an open subsets in G, then for each b ∈ G the sets Ub and bU are open in G. Proof.Take any c ∈ Ub and consider the equation xb = c (21) Then from Equation (2) it follows that x = c/b (22) Thus x = ψ b (c), where ψ b (c) = c/b is a continuous bijective function in the variable c by Equation (14) and Lemma 3. On the other hand, the right shift mapping R b u := ub (23) from G into G is continuous and bijective in u (see Definition 1).Moreover, ψ b • R b u = u and R b • ψ b (c) = c for each fixed b ∈ G and all u ∈ G and c ∈ G by (16).Thus R b and ψ b are open mappings, consequently, Ub is open.Similarly for the equation by = c (24) the unique solution is y = b \ c (25) by the condition of Equation (1).Therefore, y = θ b (c), where θ b (c) = b \ c is a continuous bijective function in c according to Lemma 3 and Equation (13).Next we consider the left shift mapping L b u = bu (26) for each fixed b ∈ G and any u ∈ G.This mapping L b is continuous, since the multiplication on G is continuous.Then L b • θ b (c) = c and θ b • L b u = u for every fixed b ∈ G and all u ∈ G and c ∈ G by Equation (15).Therefore θ b and L b are open mappings.Thus the subset bU is open in G. Let (G, τ) be a topological metagroup and let U and V be subsets in G such that either U or V is open, then UV is open in G.

Proof.
Let θ : G → G/C denote the quotient map of G on the quotient group G/C =: Q provided by Theorem 1, where C = C(G).That is aC = θ(a) for each a ∈ G. From Lemma 2 it follows that t on G induces a continuous map t on Q with values in C, where t(θ(a), θ(b), θ(c)) = t(a, b, c) for each a, b, c in G.
is an open neighborhood of the unit element e.Then there are elements b 1 , ..., b m in G and an open symmetric neighborhood U of e such that U ⊂ V (34) {b 1 \ (qU), ..., b m \ (qU)} (35) is an open covering of S, and b k (b k \ (qU)) ⊂ qV (36) for each k = 1,...,m.Proof.Since the left Inv l and right Inv r inversions are homeomorphisms of G onto itself as the topological space, then for each open neighborhood W of e the intersection W ∩ Inv l (W) ∩ Inv r (W) (37) is an open symmetric neighborhood of e, since Inv l • Inv r (b) = b and Inv r • Inv l (b) = b for each b in G.The multiplication is continuous on G, hence the left shift mapping L b (x) = bx is continuous on G in the variable x.On the other hand, the left inversion Inv l is continuous on G.In view of Lemmas 1, 4 and the compactness of S for each open symmetric neighborhood U of e in G there are b 1 , ..., b m in G such that {b 1 \ (qU), ..., b m \ (qU)} is an open covering of S.

Corollary 1 .
Let G be a topological metagroup.Then for each open neighborhood W of e in G there exists an open symmetric neighborhood U of e such that (∀x∀y((x then similarly from Equations (43), (46), inclusions (44), (45) and Corollary 1 it follows that there exists k ∈ {1, ..., n} such that y ∈ x k W x k and x ∈ x k W 2 x k , since an open neighborhood U of e is symmetric and t(a, b, e) = t(a, e, b) = t(e, a, b) = e for each a and b in G. Therefore, f (x) \ f (y) ∈ V by Inclusions (41) and (42), since the considered neighborhoods of e H in H and e = e G in G are symmetric and S 2 = P(K V 2 ) (see Equation (40)).

1 .
Let A and B be metagroups and let C be a commutative group such thatC m (A) → C, C m (B) → C, C → C(A) and C → C(B)(55)where C m (A) denotes a minimal subgroup in C(A) containing t A (a, b, c) for every a, b and c in A.

Corollary 5 .
If the conditions of Corollary 4 are satisfied and metagroups A and B are locally compact, then A φ,η,κ,ξ B is locally compact.Moreover, if A and B satisfy Condition (64) and ranges of η, κ, ξ are contained in C 0 (A)C 0 (B), then A φ,η,κ,ξ B satisfies Condition (64).
(a)ψ(b), ψ(a \ b) = ψ(a) \ ψ(b), ψ(a/b) = ψ(a)/ψ(b) for each a and b in G.Moreover, in the smashed twisted wreath product of metagroup construction operators Ŝd , T h , L w j (d,d 1 ,v) on F are used which are generally not automorphisms of F (see Theorem 6 in multiplication in H is continuous, then for each open neighborhood Y of e H there exists an open neighborhood X of e H such that X 2 ⊂ Y.By virtue of Theorem 2 there exists an open symmetric neighborhood V 2 of e H in H such that since the left Inv l and right Inv r inversions and multiplication are continuous on G (see Theorems 3.1.10,8.3.13-8.3.15 in [29]), hence R 1 = P( f (S 1 )) is compact in H.the