Effective codescent morphisms of \(n\)-quasigroups and \(n\)-loops (Q7033609)

The paper under review discusses effective codescent morphisms in the varieties of \(n\)-quasigroups and \(n\)-loops. The main result (Theorem 3.2 (a)) asserts that every codescent morphism is effective in these varieties. The result is obtained thanks to a carefully analysis of the existence of unique normal forms of the elements of amalgamated free products in the varieties (Theorem 3.2 (b)). It is also proved (Theorem 3.2 (c)) that the varieties of \(n\)-quasigroups and \(n\)-loops satisfy the strong amalgamation property. It should point out that Theorem 3.2 (a) generalizes the author's result on quasi-groups and loops [\textit{G. Samsonadze} and \textit{D. Zangurashvili}, Tbil. Math. J. 9, No. 1, 49--54 (2016; Zbl 1337.08004)], while Theorem 3.2 (b) and Theorem 3.2 (c) generalize the corresponding results on quasigroups and loops given by \textit{T. Evans} [Proc. Camb. Philos. Soc. 47, 637--649 (1951; Zbl 0043.02001)].