Subquasivariety Lattices in Languages with Equality

Erscheinungsjahr 2026
ISBN: 978-3-032-22178-0
Verlag: Springer Nature Switzerland AG

Buch, Englisch, 123 Seiten, Format (B × H): 155 mm x 235 mm

Reihe: SpringerBriefs in Mathematics

This book addresses the notoriously difficult problem of characterizing lattices of subquasivarieties of a quasivariety.Not every lattice can be represented as a lattice of subquasivarieties. Of those that can be represented, some cannot be represented in languages with equality.

Exploration of the connection between lattices of algebraically closed subsets and subquasivariety lattices yields new avenues for determining if a lattice can be represented as a lattice of subquasivarieties.Both longstyle representations and the new strong shortstyle representations guarantee representations in a language with equality.The two complementary methods not only generate extensive new families of examples, but also reveal structural constraints previously unknown.

Highlights of the book include a detailed summary of the current knowledge on properties of subquasivariety lattices with emphasis on equaclosure operators; detailed examples of longstyle and strong shortstyle representations and methods for creating lattices that can be represented in a language with equality; necessary conditions on an equaclosure operator on a lattice for a representation to exist; techniques for creating new longstyle representable lattices from existing representations; a thorough discussion on the representability of distributive lattices; a new equaclosure operator property required for a represenation; and a new lattice theoretic property required for a representation.A concluding collection of open problems highlights the many avenues still left to explore, inviting readers to advance the field further.

This book is ideal for graduate students in mathematics with interests in logic, universal algebra, or lattice theory. Researchers will find the new techniques and results indispensable tools for probing the structure of subquasivarieties lattices.

Zielgruppe

Research

Autoren/Hrsg.

Hyndman, Jennifer

Nation, J. B.

Fachgebiete

• Mathematik | Informatik Mathematik Algebra
• Mathematik | Informatik Mathematik Mathematik Allgemein Mathematische Logik

Inhaltsverzeichnis

Overview and background.- A glossary of subsemilattice representations.- Examples of longstyle representations.- Necessary conditions for a longstyle representation.- Direct products and gluing.- Finite distributive lattices.- Strong shortstyle representations.- Covers of the pentagon.- Some open questions.

Über Autor(innen)

Jennifer Hyndman and JB Nation have worked together for over 20 years on questions involving lattices and quasivarieties. Dr. Nation is Professor Emeritus at the University of Hawaii where he worked from 1979 to 2014 in the Department of Mathematics. He has over 100 publications. Dr. Hyndman is Professor in the Department of Mathematics and Statistics at the University of Northern British Columbia. She joined as Founding Faculty Member in 1994 and has won several mentorship and teaching awards. Together they coauthored Lattices of Subquasivarieties of Locally Finite Quasivarieties of Finite Type in 2018. Then in 2022 with K. Adaricheva and J. Nishida, they published A Primer of Subquasivariety Lattices.