Skip to main content Accessibility help
×
Home
Hostname: page-component-5bf98f6d76-slc4r Total loading time: 0.296 Render date: 2021-04-20T21:19:39.862Z Has data issue: true Feature Flags: { "shouldUseShareProductTool": true, "shouldUseHypothesis": true, "isUnsiloEnabled": true, "metricsAbstractViews": false, "figures": false, "newCiteModal": false, "newCitedByModal": true }

DECIDING SOME MALTSEV CONDITIONS IN FINITE IDEMPOTENT ALGEBRAS

Published online by Cambridge University Press:  16 June 2020

ALEXANDR KAZDA
Affiliation:
DEPARTMENT OF ALGEBRA CHARLES UNIVERSITY PRAGUE, CZECH REPUBLIC E-mail: alex.kazda@gmail.com
MATT VALERIOTE
Affiliation:
DEPARTMENT OF MATHEMATICS & STATISTICS MCMASTER UNIVERSITY, HAMILTON ONTARIO, CANADA E-mail: matt@math.mcmaster.ca
Corresponding

Abstract

In this paper we investigate the computational complexity of deciding if the variety generated by a given finite idempotent algebra satisfies a special type of Maltsev condition that can be specified using a certain kind of finite labelled path. This class of Maltsev conditions includes several well known conditions, such as congruence permutability and having a sequence of n Jónsson terms, for some given n. We show that for such “path defined” Maltsev conditions, the decision problem is polynomial-time solvable.

Type
Articles
Copyright
© The Association for Symbolic Logic 2020

Access options

Get access to the full version of this content by using one of the access options below.

References

Barto, L. and Kozik, M., Constraint satisfaction problems solvable by local consistency methods . Journal of the ACM, vol. 61 (2014), no. 1, pp. 319.CrossRefGoogle Scholar
Barto, L., Krokhin, A., and Willard, R., Polymorphisms, and how to use them , The Constraint Satisfaction Problem: Complexity and Approximability, (Krokhin, A. and Zivny, S., editors), Dagstuhl Follow- Ups, vol. 7, Schloss Dagstuhl–Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2017, pp. 144.Google Scholar
Barto, L., Opršal, J., and Pinsker, M., The wonderland of reflections . Israel Journal of Mathematics, vol. 223 (2018), no. 1, pp. 363398.CrossRefGoogle Scholar
Bergman, C., Universal Algebra: Fundamentals and Selected Topics, Pure and Applied Mathematics, vol. 301, CRC Press, Boca Raton, FL, 2012.Google Scholar
Burris, S. and Sankappanavar, H. P., A course in universal algebra , Graduate Texts in Mathematics, vol. 78, Springer-Verlag, New York; Berlin, 1981.10.1007/978-1-4613-8130-3CrossRefGoogle Scholar
Chen, H. and Larose, B., Asking the metaquestions in constraint tractability . ACM Transactions on Computation Theory, vol. 9 (2017), no. 3, pp. 11:111:27.10.1145/3134757CrossRefGoogle Scholar
Day, A., A characterization of modularity for congruence lattices of algebras . Canadian Mathematical Bulletin, vol. 12 (1969), pp. 167173.CrossRefGoogle Scholar
Freese, R., Kiss, E., and Valeriote, M., Universal algebra calculator, 2011, Available at www.uacalc.org.Google Scholar
Freese, R. and Valeriote, M. A., On the complexity of some Maltsev conditions . International Journal of Algebra and Computation, vol. 19 (2009), no. 1, pp. 4177.CrossRefGoogle Scholar
García, O. C. and Taylor, W., The lattice of interpretability types of varieties . Memoirs of the American Mathematical Society, vol. 50 (1984), no. 305.CrossRefGoogle Scholar
Gumm, H. P., Geometrical methods in congruence modular algebras . Memoirs of the American Mathematical Society, vol. 45 (1983), no. 286.CrossRefGoogle Scholar
Hagemann, J. and Mitschke, A., On n-permutable congruences . Algebra Universalis, vol. 3 (1973), pp. 812.CrossRefGoogle Scholar
Hobby, D. and McKenzie, R., The structure of finite algebras , Contemporary Mathematics, vol. 76, American Mathematical Society, Providence, RI, revised in 1996, 1988.Google Scholar
Horowitz, J., Computational complexity of various Mal’cev conditions . International Journal of Algebra and Computation, vol. 23 (2013), no. 6, pp. 15211531.CrossRefGoogle Scholar
Jónsson, B., Algebras whose congruence lattices are distributive . Mathematica Scandinavica, vol. 21 (1967), pp. 110121.CrossRefGoogle Scholar
Kazda, A., Kozik, M., McKenzie, R., and Moore, M., Absorption and Directed Jónsson Terms , Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science (Czelakowski, J., editor), Springer International Publishing, Cham, 2018, pp. 203220.Google Scholar
Kazda, A., Opršal, J., Valeriote, M., and Zhuk, D., Deciding the existence of minority terms . Canadian Mathematical Bulletin, vol. 63 (2020), no. 3, pp. 577591.10.4153/S0008439519000651CrossRefGoogle Scholar
Kearnes, K. A. and Kiss, E. W., The shape of congruence lattices . Memoirs of the American Mathematical Society, vol. 222 (2013), no. 1046.Google Scholar
Maĺcev, A. I., On the general theory of algebraic systems . Matematicheskii Sbornik. N.S., vol. 35 (1954), no. 77, pp. 320.Google Scholar
McKenzie, R. N., McNulty, G. F., and Taylor, W. F., Algebras, lattices, varieties , The Wadsworth & Brooks/Cole Mathematics Series, vol. 1, Wadsworth & Brooks/Cole Advanced Books & Software, Monterey, CA, 1987.Google Scholar
Valeriote, M. and Willard, R., Idempotent n-permutable varieties . Bulletin of the London Mathematical Society, vol. 46 (2014), no. 4, pp. 870880.CrossRefGoogle Scholar

Full text views

Full text views reflects PDF downloads, PDFs sent to Google Drive, Dropbox and Kindle and HTML full text views.

Total number of HTML views: 0
Total number of PDF views: 21 *
View data table for this chart

* Views captured on Cambridge Core between 16th June 2020 - 20th April 2021. This data will be updated every 24 hours.

Send article to Kindle

To send this article to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle.

Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

DECIDING SOME MALTSEV CONDITIONS IN FINITE IDEMPOTENT ALGEBRAS
Available formats
×

Send article to Dropbox

To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Dropbox.

DECIDING SOME MALTSEV CONDITIONS IN FINITE IDEMPOTENT ALGEBRAS
Available formats
×

Send article to Google Drive

To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Google Drive.

DECIDING SOME MALTSEV CONDITIONS IN FINITE IDEMPOTENT ALGEBRAS
Available formats
×
×

Reply to: Submit a response


Your details


Conflicting interests

Do you have any conflicting interests? *