Skip to main content
SpringerLink
Log in

On essential variables of dual operations and the consequences for operations

  • Published:
Algebra universalis Aims and scope Submit manuscript

Abstract

We investigate essential variables of dual operations (or co-operations) in a rather general category-theoretic setting. During this investigation, we collect some results about the essential arities and arity gaps of dual operations in concrete categories. Afterwards, we use duality theory to show that this approach and the obtained results can also be beneficial for questions regarding essential variables of operations on sets.

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. Clark, D. M., Davey, B. A.: Natural Dualities for the Working Algebraist. Cambridge studies in advanced mathematics, vol. 57, Cambridge University Press, Cambridge (1998)

  2. Couceiro, M., Lehtonen, E., Waldhauser, T.: A Survey on the Arity Gap. In: Multiple-Valued Logic (ISMVL), 2011 41st IEEE International Symposium on, pp. 277–281 (2011)

  3. Csákány B.: Completeness in coalgebras. Acta Sci. Math. 48, 75–84 (1985)

    MATH  Google Scholar 

  4. Davey B. A.: Natural dualities for structures. Acta Univ. M. Belii Ser. Math. 13, 3–28 (2006)

    MathSciNet  MATH  Google Scholar 

  5. Grätzer, G., Kisielewicz, A.: A survey of some open problems on p n -sequences and free spectra of algebras and varieties. In: Universal algebra and quasigroup theory (Jadwisin, 1989), Res. Exp. Math., vol. 19, pp. 57–88, Heldermann, Berlin (1992)

  6. Hofmann D.: A generalization of the duality compactness theorem. J. Pure Appl. Algebra 171, 205–217 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  7. Isbell J.: Median algebras. Trans. Amer. Math. Soc. 260, 319–362 (1980)

    Article  MathSciNet  MATH  Google Scholar 

  8. Kerkhoff, S., The essential arity of clones over algebras. In: Contributions to general algebra, vol. 16, pp. 139–149, Heyn, Klagenfurt (2010)

  9. Kerkhoff, S.: A general duality theory for clones. PhD thesis, Technische Universität Dresden (2011)

  10. Mašulović D.: On dualizing clones as Lawvere theories. Internat. J. Algebra Comput. 16, 675–687 (2006)

    Google Scholar 

  11. Priestley H. A.: Representation of distributive lattices by means of ordered Stone spaces. Bull. London Math. Soc. 2, 186–190 (1970)

    Article  MathSciNet  MATH  Google Scholar 

  12. Salomaa, A.: On essential variables of functions, especially in the algebra of logic. Ann. Acad. Sci. Fenn. Ser. A I No. 339, 11 p. (1963)

  13. Sichler J., Trnková V.: Essential operations in centralizer clones. Algebra Universalis 59, 277–301 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  14. Stone, M.H.: Topological representations of distributive lattices and Brouwerian logics. Časopis Pěst. Mat. 67, 1–25 (1937)

    Google Scholar 

  15. Willard R.: Essential arities of term operations in finite algebras. Discrete Math. 149, 239–259 (1996)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Algebra, Technische Universität Dresden, 01069, Dresden, Germany

    Sebastian Kerkhoff

Authors
  1. Sebastian Kerkhoff
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Sebastian Kerkhoff.

Additional information

Presented by H.P. Gumm.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Kerkhoff, S. On essential variables of dual operations and the consequences for operations. Algebra Univers. 70, 43–70 (2013). https://doi.org/10.1007/s00012-013-0234-3

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00012-013-0234-3

2010 Mathematics Subject Classification

Key words and phrases

Search

Navigation