023796 Friggstad Z;Wismath S L (Department of Mathematics and Computer Science, University of Lethbridge, Lethbridge, Ab, Canada T1K-3M4) : Minimal Characteristic Algebras for K-normality for Unary Types. J appl Algebra Discrete Structs 2005, 3(2), 65-89.
A property p of identities of a fixed type τ is said to be hereditary if for every set I of identities having the property p, every consequence of I (under the usual derivation rules for identities) also has the property. A characteristic algebra for such a hereditary property is an algebra A such that for any variety V of type ε, <65> ∈ V iff every identity satisfied by V has the property p. This is equivalent to <65> being a generator for the variety determined by all identities of type τ which have property p. Plonka has produced minimal (smallest cardinality) characteristic algebras for a number of hereditary properties, including regularity, normality, uniformity, biregularity, outermost, and external-compatibility. Denecke and Wismath defined a property of identities called K-normality, for natural numbers K ≥ 1, which-generalizes the usual concept of normality, and gave conditions under which it is a hereditary property. Christie, Wang and Wismath produced minimal characteristic algebras for K-normality, for K = 1,2,3,4 and type (2), using the depth valuation to give a hereditary property. Characteristic algebras for K-normality, for unary types have been studies. Minimal characteristic algebras for all K ≥ 1 for type (1), then some general properties of such algebras for type (1,1,..., l) have been described. These properties have been described to produce minimal characteristic algebras for type (1, 1), for 1 ≤ K ≤ 5.
7 illus, 12 ref