期刊论文详细信息
Commentationes mathematicae Universitatis Carolinae | |
An algorithm for free algebras | |
J. Ježek1  | |
关键词: reflection; free algebra; variety; algorithm; | |
DOI : | |
学科分类:物理化学和理论化学 | |
来源: Univerzita Karlova v Praze * Matematicko-Fyzikalni Fakulta / Charles University in Prague, Faculty of Mathematics and Physics | |
【 摘 要 】
We present an algorithm for constructing the free algebra over a given finite partial algebra in the variety determined by a finite list of equations. The algorithm succeeds whenever the desired free algebra is finite.
【 授权许可】
CC BY
【 预 览 】
Files | Size | Format | View |
---|---|---|---|
RO201904032342749ZK.pdf | 69KB | download |