Lattice Ordered Polynomial Algebras |
| |
Authors: | Padmanabhan R Penner P |
| |
Institution: | (1) Dept. of Mathematics, University of Manitoba, Winnipeg, Manitoba, Canada R3T 2N2. E-mail |
| |
Abstract: | In this paper we define a lattice order on a set F of binary functions. We then provide necessary and sufficient conditions for the resulting algebra
F to be a distributive lattice or a Boolean algebra. We also prove a Cayley theorem for distributive lattices by showing that for every distributive lattice
, there is an algebra
F of binary functions, such that
is isomorphic to
F and we show that
F is a distributive lattice iff the operations and are idempotent and cummutative, showing that this result cannot be generalized to non-distributive lattices or quasilattices without changing the definitions of and . We also examine the equational properties of an Algebra
for which
, now defined on the set of binary
-polynomials is a lattice or Boolean algebra. |
| |
Keywords: | Boolean algebra Cayley theorems hyperidentities lattice order polynomial algebra Urbanik algebra |
本文献已被 SpringerLink 等数据库收录! |
|