Abstract.
For a fixed similarity type which is at least binary, we show there is a linear time algorithm for computing the principal congruence generated by a pair of elements.
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to George Grätzer and E. Tamás Schmidt on their 70th birthdays
Received November 25, 2006; accepted in final form May 8, 2007.
Rights and permissions
About this article
Cite this article
Freese, R. Computing congruences efficiently. Algebra univers. 59, 337–343 (2008). https://doi.org/10.1007/s00012-008-2073-1
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00012-008-2073-1