Translator Disclaimer
June 2016 Effective codescent morphisms in the varieties determined by convergent term rewriting systems
Guram Samsonadze, Dali Zangurashvili
Author Affiliations +
Tbilisi Math. J. 9(1): 49-64 (June 2016). DOI: 10.1515/tmj-2016-0005

Abstract

It is shown that the elements of amalgamated free products in a variety of universal algebras have unique normal forms if the variety is represented by a confluent term rewriting system satisfying some additional requirements for its signature and rules. Applying this fact it is proved that any codescent morphism is effective in such varieties. In particular, this is the case for the variety of Mal'tsev algebras, the varieties of magmas with unit and two-sided inverses, idempotent quasigroups, unipotent quasigroups, left Steiner loops, and right Steiner loops.

Citation

Download Citation

Guram Samsonadze. Dali Zangurashvili. "Effective codescent morphisms in the varieties determined by convergent term rewriting systems." Tbilisi Math. J. 9 (1) 49 - 64, June 2016. https://doi.org/10.1515/tmj-2016-0005

Information

Received: 24 June 2015; Accepted: 15 December 2015; Published: June 2016
First available in Project Euclid: 12 June 2018

zbMATH: 1337.08004
MathSciNet: MR3461766
Digital Object Identifier: 10.1515/tmj-2016-0005

Subjects:
Primary: 08B05
Secondary: 08B25, 18C20, 68Q42

Rights: Copyright © 2016 Tbilisi Centre for Mathematical Sciences

JOURNAL ARTICLE
16 PAGES


SHARE
Vol.9 • No. 1 • June 2016
Back to Top