Iterative Algebras without Projections |
| |
Authors: | K. L. Safin E. V. Sukhanov |
| |
Affiliation: | (1) Ural State University, Russia;(2) Ural State University, Russia |
| |
Abstract: | We deal with iterative algebras of functions of -valued logic lacking projections, which we call algebras without projections. It is shown that a partially ordered set of algebras of functions of -valued logic, for , without projections contains an interval isomorphic to the lattice of all iterative algebras of functions of -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 等数据库收录! |