Skip to main content
Springer Nature Link
Log in

The naming problem for left distributivity

  • Conference paper
  • First Online:
Word Equations and Related Topics (IWWERT 1991)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 677))

Included in the following conference series:

  • 166 Accesses

Abstract

We consider the problem of naming the variables of a term so that it becomes equivalent to a given term when left distributivity is assumed, and describe an algorithm for solving this question using conjugacy in a free group. The correctness of the algorithm is reduced to a conjecture involving some particular words. A skew version of the conjecture is established.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. R. H. Crowell & R. H. Fox Knot Theory, Blaisdell Publ. Comp., (1963)

    Google Scholar 

  2. P. Dehornoy, Free distributive groupoids, Journal of Pure and Applied Algebra, 61 (1989) 123–146.

    Google Scholar 

  3. -Problème de mots dans les gerbes libres, Theor. Comp. Sc., 94 (1992) 199–213.

    Google Scholar 

  4. -, A canonical ordering for tree distributive magmas, Proc. of the AMS, to appear.

    Google Scholar 

  5. -, Braid Groups and Left Distributive Operations, preprint (1992).

    Google Scholar 

  6. G. Huet & D. Oppen, Equations and Rewrite Rules: a survey, in R. Book, ed., Formal Languages: Perspectives and Open Problems, Academic Press (1980).

    Google Scholar 

  7. R. Laver, The left distributive law and the freeness of an algebra of elementary embeddings, Advances in Mathematics, 91–2 (1992) 209–231.

    Google Scholar 

  8. -, A division algorithm for the free left distributive algebra, Proc. Helsinki 1990 ASL Meeting to appear.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Mathématiques, Université, 14 032, Caen, France

    Patrick Dehornoy

Authors
  1. Patrick Dehornoy
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Habib Abdulrab Jean-Pierre Pécuchet

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dehornoy, P. (1993). The naming problem for left distributivity. In: Abdulrab, H., Pécuchet, JP. (eds) Word Equations and Related Topics. IWWERT 1991. Lecture Notes in Computer Science, vol 677. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56730-5_31

Download citation

  • DOI: https://doi.org/10.1007/3-540-56730-5_31

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-56730-1

  • Online ISBN: 978-3-540-47636-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation