Abstract
The paper deals with Σ-composition of terms, which allows us to extend the derivation rules in formal deduction of identities. The concepts of essential variables and essential positions of terms with respect to a set of identities form a key step in the simplification of the process of formal deduction. Σ-composition of terms is defined as replacement between Σ-equal terms. This composition induces ΣR-deductively closed sets of identities. In analogy to balanced identities we introduce and investigate Σ-balanced identities for a given set of identities Σ.
Similar content being viewed by others
References
Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra, millennium edn. http://www.math.uwaterloo.ca/~snburris/htdocs/ualg (2000)
Denecke K., Koppitz J., Shtrakov Sl.: Multi-hypersubstitutions and colored solid varieties. Internat. J. Algebra Comput. 16, 797–815 (2006)
Denecke, K., Lau, D., P¨oschel, R., Schweigert, D.: Solidifyable clones. In: General Algebra, vol. 20, pp. 41–69. Heldermann, Berlin (1993)
Graczýnska, E.: On normal and regular identities and hyperidentities. In: Universal and Applied Algebra (Turawa, 1988), pp. 107–135. World Scientific (1989)
Shtrakov Sl., Denecke K.: Essential variables and separable sets in universal algebra. Mult.-Valued Log. 8, 165–181 (2002)
Taylor W.: Hyperidentities and hypervarieties. Aequationes Math. 23, 30–49 (1981)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by M. Valeriote.
Rights and permissions
About this article
Cite this article
Shtrakov, S. Essential variables and positions in terms. Algebra Univers. 61, 381 (2009). https://doi.org/10.1007/s00012-009-0023-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00012-009-0023-1