EuDML | Browse

Page 1

Displaying 1 – 6 of 6

k-ary monoids of term operations.

W. Taylor, J. Hyndman, R. McKenzie (1992)

Semigroup forum

Kernels of tolerance relations.

Chajda, I., Czédli, G., Rosenberg, I.G. (1996)

Acta Mathematica Universitatis Comenianae. New Series

k-Normalization and (k+1)-level inflation of varieties

Valerie Cheng, Shelly Wismath (2008)

Discussiones Mathematicae - General Algebra and Applications

Let τ be a type of algebras. A common measurement of the complexity of terms of type τ is the depth of a term. For k ≥ 1, an identity s ≈ t of type τ is said to be k-normal (with respect to this depth complexity measurement) if either s = t or both s and t have depth ≥ k. A variety is called k-normal if all its identities are k-normal. Taking k = 1 with respect to the usual depth valuation of terms gives the well-known property of normality of identities or varieties. For any variety V, there is...