Skip to main content
SpringerLink
Log in

The isomorphism problem for varieties generated by a two-element algebra

  • Published:
algebra universalis Aims and scope Submit manuscript

Abstract

This paper presents a complete classification of the isomorphism problem for varieties and quasivarieties generated by a two-element algebra.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Babai, L.,Kantor, W. M. andLuks, E. M.,Computational complexity and the classification of finite simple groups, 24th IEEE Symposium on Foundations of Comp. Sci., (1983), 162–171.

  2. Babai, L.,Kantor, W. M. andLuks, E. M., unpublished.

  3. Booth, K. S.,Isomorphism testing for graphs, semigroups, and finite automata are polynomially equivalent problems, SIAM J. of Computing,7 (1978), 273–279.

    Google Scholar 

  4. Foster, A. L. andPixley, A. F.,Semi-categorical algebras, Math. Z.,83 (1964), 147–169,85 (1964), 169–184.

    Google Scholar 

  5. Garey, M. R., andJohnson, D. S.,Computers and Intractability. A Guide to the Theory of NP-Completeness, W. H. Freeman & Co., 1979.

  6. Goralčífcová, A.,Goralčík, P. andKoubek, V.,A boundary of isomorphism completeness in the lattice of semigroup pseudovarieties, Proc. ICALP'82, Lect. Notes in Comp. Sci., 140, Springer Verlag, 1982, pp. 292–299.

  7. Hedrlin, Z. andPultr, A.,On full embeddings of categories of algebras, Illinois J. of Math.,10 (1966), 392–406.

    Google Scholar 

  8. Idziak, P. M.,Isomorphism testing in arithmetical varieties, manuscript.

  9. Köbler, J.,Schöning, U. andTorán, J.,The Graph Isomorphism Problem: Its Structural Complexity, Progress in Theoretical Computer Science.

  10. Kučera, L. andTrnková, V.,Isomorphism testing of unary algebras, SIAM J. of Computing,17 (1988), 673–686.

    Google Scholar 

  11. Quackenbush, R. W.,Algebras with minimal spectrum, Algebra Universalis,10 (1980), 117–129.

    Google Scholar 

  12. Taylor, W.,The fine spectrum of a variety, Algebra Universalis,5 (1975), 263–303.

    Google Scholar 

  13. Valeriote, M. andWillard, R., unpublished.

  14. Willard, R., private communication.

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, Jagiellonian University, Kraków, Poland

    T. A. Gorazd & P. M. Idziak

Authors
  1. T. A. Gorazd
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. P. M. Idziak
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Gorazd, T.A., Idziak, P.M. The isomorphism problem for varieties generated by a two-element algebra. Algebra Universalis 34, 430–439 (1995). https://doi.org/10.1007/BF01182098

Download citation

  • Received:

  • Accepted:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01182098

Keywords

Search

Navigation