2-normalization of lattices

Ivan Chajda; W. Cheng; S. L. Wismath

Czechoslovak Mathematical Journal (2008)

  • Volume: 58, Issue: 3, page 577-593
  • ISSN: 0011-4642

Abstract

top
Let τ be a type of algebras. A valuation of terms of type τ is a function v assigning to each term t of type τ a value v ( t ) 0 . For k 1 , an identity s t of type τ is said to be k -normal (with respect to valuation v ) if either s = t or both s and t have value k . Taking k = 1 with respect to the usual depth valuation of terms gives the well-known property of normality of identities. A variety is called k -normal (with respect to the valuation v ) if all its identities are k -normal. For any variety V , there is a least k -normal variety N k ( V ) containing V , namely the variety determined by the set of all k -normal identities of V . The concept of k -normalization was introduced by K. Denecke and S. L. Wismath in their paper (Algebra Univers., 50, 2003, pp.107-128) and an algebraic characterization of the elements of N k ( V ) in terms of the algebras in V was given in (Algebra Univers., 51, 2004, pp. 395–409). In this paper we study the algebras of the variety N 2 ( V ) where V is the type ( 2 , 2 ) variety L of lattices and our valuation is the usual depth valuation of terms. We introduce a construction called the 3 -level inflation of a lattice, and use the order-theoretic properties of lattices to show that the variety N 2 ( L ) is precisely the class of all 3 -level inflations of lattices. We also produce a finite equational basis for the variety N 2 ( L ) .

How to cite

top

Chajda, Ivan, Cheng, W., and Wismath, S. L.. "2-normalization of lattices." Czechoslovak Mathematical Journal 58.3 (2008): 577-593. <http://eudml.org/doc/37854>.

@article{Chajda2008,
abstract = {Let $\tau $ be a type of algebras. A valuation of terms of type $\tau $ is a function $v$ assigning to each term $t$ of type $\tau $ a value $v(t) \ge 0$. For $k \ge 1$, an identity $s \approx t$ of type $\tau $ is said to be $k$-normal (with respect to valuation $v$) if either $s = t$ or both $s$ and $t$ have value $\ge k$. Taking $k = 1$ with respect to the usual depth valuation of terms gives the well-known property of normality of identities. A variety is called $k$-normal (with respect to the valuation $v$) if all its identities are $k$-normal. For any variety $V$, there is a least $k$-normal variety $N_k(V)$ containing $V$, namely the variety determined by the set of all $k$-normal identities of $V$. The concept of $k$-normalization was introduced by K. Denecke and S. L. Wismath in their paper (Algebra Univers., 50, 2003, pp.107-128) and an algebraic characterization of the elements of $N_k(V)$ in terms of the algebras in $V$ was given in (Algebra Univers., 51, 2004, pp. 395–409). In this paper we study the algebras of the variety $N_2(V)$ where $V$ is the type $(2,2)$ variety $L$ of lattices and our valuation is the usual depth valuation of terms. We introduce a construction called the $3$-level inflation of a lattice, and use the order-theoretic properties of lattices to show that the variety $N_2(L)$ is precisely the class of all $3$-level inflations of lattices. We also produce a finite equational basis for the variety $N_2(L)$.},
author = {Chajda, Ivan, Cheng, W., Wismath, S. L.},
journal = {Czechoslovak Mathematical Journal},
keywords = {2-normal identities; lattices; 2-normalized lattice; 3-level inflation of a lattice; 2-normal identities; lattices; 2-normalized lattice; 3-level inflation of a lattice},
language = {eng},
number = {3},
pages = {577-593},
publisher = {Institute of Mathematics, Academy of Sciences of the Czech Republic},
title = {2-normalization of lattices},
url = {http://eudml.org/doc/37854},
volume = {58},
year = {2008},
}

TY - JOUR
AU - Chajda, Ivan
AU - Cheng, W.
AU - Wismath, S. L.
TI - 2-normalization of lattices
JO - Czechoslovak Mathematical Journal
PY - 2008
PB - Institute of Mathematics, Academy of Sciences of the Czech Republic
VL - 58
IS - 3
SP - 577
EP - 593
AB - Let $\tau $ be a type of algebras. A valuation of terms of type $\tau $ is a function $v$ assigning to each term $t$ of type $\tau $ a value $v(t) \ge 0$. For $k \ge 1$, an identity $s \approx t$ of type $\tau $ is said to be $k$-normal (with respect to valuation $v$) if either $s = t$ or both $s$ and $t$ have value $\ge k$. Taking $k = 1$ with respect to the usual depth valuation of terms gives the well-known property of normality of identities. A variety is called $k$-normal (with respect to the valuation $v$) if all its identities are $k$-normal. For any variety $V$, there is a least $k$-normal variety $N_k(V)$ containing $V$, namely the variety determined by the set of all $k$-normal identities of $V$. The concept of $k$-normalization was introduced by K. Denecke and S. L. Wismath in their paper (Algebra Univers., 50, 2003, pp.107-128) and an algebraic characterization of the elements of $N_k(V)$ in terms of the algebras in $V$ was given in (Algebra Univers., 51, 2004, pp. 395–409). In this paper we study the algebras of the variety $N_2(V)$ where $V$ is the type $(2,2)$ variety $L$ of lattices and our valuation is the usual depth valuation of terms. We introduce a construction called the $3$-level inflation of a lattice, and use the order-theoretic properties of lattices to show that the variety $N_2(L)$ is precisely the class of all $3$-level inflations of lattices. We also produce a finite equational basis for the variety $N_2(L)$.
LA - eng
KW - 2-normal identities; lattices; 2-normalized lattice; 3-level inflation of a lattice; 2-normal identities; lattices; 2-normalized lattice; 3-level inflation of a lattice
UR - http://eudml.org/doc/37854
ER -

References

top
  1. Wismath, I. Chajda,S. L., Externalization of lattices, Demonstr. Math (to appear). Zbl1114.08001
  2. Christie, A., Wang, Q., Wismath, S. L., Minimal characteristic algebras for k -normality, Sci. Math. Jpn. 61 (2005), 547-565. (2005) Zbl1080.08001MR2140115
  3. Chromik, W., Externally compatible identities of algebras, Demonstr. Math. 23 (1990), 345-355. (1990) Zbl0734.08005MR1101497
  4. Clarke, G. T., 10.1007/BF02676655, Semigroup Forum 23 (1981), 311-319. (1981) Zbl0486.20033MR0638575DOI10.1007/BF02676655
  5. Denecke, K., Wismath, S. L., 10.1007/s00012-004-1864-2, Algebra Univers. 51 (2004), 395-409. (2004) Zbl1080.08002MR2082134DOI10.1007/s00012-004-1864-2
  6. Denecke, K., Wismath, S. L., 10.1007/s00012-003-1824-2, Algebra Univers. 50 (2003), 107-128. (2003) Zbl1092.08003MR2026831DOI10.1007/s00012-003-1824-2
  7. Graczyńska, E., 10.1007/BF01190718, Algebra Univers. 27 (1990), 387-397. (1990) MR1058483DOI10.1007/BF01190718
  8. Graczyńska, E., Identities and Constructions of Algebras, Opole (2006). (2006) 
  9. Płonka, J., P-compatible identities and their applications in classical algebras, Math. Slovaca 40 (1990), 21-30. (1990) MR1094969

NotesEmbed ?

top

You must be logged in to post comments.