Hypergroups of type \(U\) and homology of complexes (Q1906524)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Hypergroups of type \(U\) and homology of complexes |
scientific article |
Statements
Hypergroups of type \(U\) and homology of complexes (English)
0 references
10 June 1996
0 references
A subhypergroup \(h\) of a hypergroup \(H\) is ultraclosed if for every \(x\) in \(H\) the sets \(xh\cap (H\setminus h)\) and \(hx\cap (H\setminus h)\) are empty. If \(f: H\to K\) is a morphism of hypergroups its kernel is defined by \(\text{Ker f}= f^{-1} (U)\), where \(U\) is the intersection of all ultraclosed subhypergroups of \(K\). Thus, in the particular case of groups this notion coincides to the classical one \(\text{Ker } f= f^{-1} (e)\), \(e\) being the neutral element of the group \(K\). In this paper the notion of kernel of a morphism of hypergroups is used in a supercategory of the category of groups, namely the category of the hypergroups of type \(U\) on the right. Recall that a hypergroup \(H\) is of type \(U\) on the right if 1) there exists \(\varepsilon\in H\) such that \(x\varepsilon =x\), for any \(x\in H\); 2) if \(x,y\) are in \(H\) and \(x\in xy\) then \(y= \varepsilon\). Thus a notion of exact sequence is introduced and the existence of Ker-Coker sequences is established. By analogy to the homology of groups, complexes of hypergroups and hypergroups of homology are introduced and their functoriality is proved.
0 references
category of hypergroups of type \(U\)
0 references
ultraclosed subhypergroups
0 references
morphism of hypergroups
0 references
category of groups
0 references
Ker-Coker sequences
0 references
complexes of hypergroups
0 references
hypergroups of homology
0 references
functoriality
0 references
0 references