Free Algebras over Biregularizations of Varieties |
| |
Authors: | J P?onka |
| |
Institution: | (1) Mathematical Institute of the Polish Academy of Sciences, Kopernika 18, 51-617 Wrocaw, Poland |
| |
Abstract: | Let : F N be a type of algebras, where F is a set of fundamental operation symbols and N is the set of nonnegative integers. An identity of type is called biregular if the sets of variables in and are identical and the sets of fundamental operation symbols in and are identical. If K is a variety of type , we denote by Kb the variety of type defined by all biregular identities from Id(K). Kb will be called the biregularization of K. In this paper we give a representation of free algebras over Kb by means of free algebras over K. |
| |
Keywords: | free algebras biregular identities varieties |
本文献已被 SpringerLink 等数据库收录! |