期刊论文详细信息
| 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 | |
 PDF
|
|
【 摘 要 】
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 |
|---|---|---|---|
| RO201901235302078ZK.pdf | 69KB |  download |
878987797
028-85220240
