The antipode and the (co)invariants of a finite Hopf (co)quasigroup (Q354673): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 01:02, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The antipode and the (co)invariants of a finite Hopf (co)quasigroup |
scientific article |
Statements
The antipode and the (co)invariants of a finite Hopf (co)quasigroup (English)
0 references
19 July 2013
0 references
A quasigroup is a structure with a binary product where left and right divisions are defined, and where the binary law is not assumed to be associative. With a two-sided identity it is called a loop. Hence a loop may be seen as a weakened version of a group. For any quasigroup may be defined an ``associator'' that measures the lack of associativity. A loop will be said to be quasiassociative when its associator (and all its conjugates) takes its values in the group of associative elements of the loop. As a Hopf algebra generalizes the notion of a group in the setting of a braided category, the notion of Hopf (quasiassociative) quasigroup is the natural generalization of a loop. In this paper the authors study the property of being invertible for the antipode of a Hopf quasigroup. More precisely they establish the conditions under which the antipode is an isomorphism when the ambient category has an epic-monic factorization.
0 references
strict braided monoidal categories
0 references
finite objects
0 references
antipode
0 references
Hopf quasigroup
0 references