首页 | 本学科首页   官方微博 | 高级检索  
     检索      


Iterative Algebras without Projections
Authors:K L Safin  E V Sukhanov
Institution:(1) Ural State University, Russia;(2) Ural State University, Russia
Abstract:We deal with iterative algebras of functions of 
$$k$$
-valued logic lacking projections, which we call algebras without projections. It is shown that a partially ordered set of algebras of functions of 
$$m$$
-valued logic, for 
$$k >m$$
, without projections contains an interval isomorphic to the lattice of all iterative algebras of functions of 
$$k$$
-valued logic. It is found out that every algebra without projections is contained in some maximal algebra without projections, which is the stabilizer of a semigroup of non-surjective transformations of the basic set. It is proved that the stabilizer of a semigroup of all monotone non-surjective transformations of a linearly ordered 3-element set is not a maximal algebra without projections, but the stabilizer of a semigroup of all transformations preserving an arbitrary non one-element subset of the basic set is.
Keywords:iterative algebra  algebra without projections  stabilizer of a semigroup
本文献已被 SpringerLink 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号