Abstract
Solution sets of systems of linear equations over fields are characterized as being affine subspaces. But what can we say about the “shape” of the set of all solutions of other systems of equations? We study solution sets over arbitrary algebraic structures, and we give a necessary condition for a set of n-tuples to be the set of solutions of a system of equations in n unknowns over a given algebra. In the case of Boolean equations we obtain a complete characterization, and we also characterize solution sets of systems of Boolean functional equations.
Similar content being viewed by others
References
Burris, S., Willard, R.: Finitely many primitive positive clones. Proc. Am. Math. Soc. 101, 427–430 (1987)
Couceiro, M., Lehtonen, E., Waldhauser, T.: On equational definability of function classes. J. Mult. Valued Logic Soft Comput. 24, 203–222 (2015)
Hermann, M.: On Boolean primitive clones. Discrete Math. 308, 3151–3162 (2008)
Post, E.L.: The Two-Valued Iterative Systems of Mathematical Logic. Annals of Mathematics Studies, vol. 5. Princeton University Press, Princeton (1941)
Waldhauser, T.: On composition-closed classes of Boolean functions. J. Mult. Valued Logic Soft Comput. 19, 493–518 (2012)
Author information
Authors and Affiliations
Corresponding author
Additional information
Research supported by the Hungarian National Foundation for Scientific Research (Grant Nos. K104251 and K115518) and by the János Bolyai Research Scholarship.
Rights and permissions
About this article
Cite this article
Tóth, E., Waldhauser, T. On the shape of solution sets of systems of (functional) equations. Aequat. Math. 91, 837–857 (2017). https://doi.org/10.1007/s00010-017-0499-2
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00010-017-0499-2