<p>A retract variety is defined as a class of algebras closed under isomorphisms, retracts and products. Let a principal retract variety be generated by one algebra and a set-principal retract variety be generated by some set of algebras. It is shown that (a) not each set-principal retract variety is principal, and (b) not each retract variety is set-principal. A class of connected monounary algebras <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\({\mathcal {S}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">S</mi> </math></EquationSource> </InlineEquation> such that every retract variety of monounary algebras is generated by algebras that have all connected components from <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\({\mathcal {S}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">S</mi> </math></EquationSource> </InlineEquation> and at most two connected components are isomorphic is defined, this generating class is constructively described. All set-principal retract varieties of monounary algebras are characterized via degree function of monounary algebras.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

On retract varieties of algebras

  • Emília Halušková,
  • Danica Jakubíková-Studenovská

摘要

A retract variety is defined as a class of algebras closed under isomorphisms, retracts and products. Let a principal retract variety be generated by one algebra and a set-principal retract variety be generated by some set of algebras. It is shown that (a) not each set-principal retract variety is principal, and (b) not each retract variety is set-principal. A class of connected monounary algebras \({\mathcal {S}}\) S such that every retract variety of monounary algebras is generated by algebras that have all connected components from \({\mathcal {S}}\) S and at most two connected components are isomorphic is defined, this generating class is constructively described. All set-principal retract varieties of monounary algebras are characterized via degree function of monounary algebras.