The Lattice of Subquasivarieties of a Locally Finite Quasivariety

ISBN-13: 9783319782348 / Angielski / Twarda / 2018 / 162 str.

Jennifer Hyndman; J. B. Nation

Opis

This book discusses the ways in which the algebras in a locally finite quasivariety determine its lattice of subquasivarieties. The methods are illustrated by applying them to quasivarieties of abelian groups, modular lattices, unary algebras and pure relational structures.

Spis treści

Introduction and Background.- Structure of Lattices of Subquasivarieties.- Omission and Bases for Quasivarieties.- Analyzing Lq(K).- Unary Algebras with 2-element Range.- 1-Unary Algebras.- Pure Unary Relational Structures.- Problems.- Appendix A: Properties of Lattices of Subquasivarieties.

O autorze

Jennifer Hyndman was a founding faculty member of the University of Northern British Columbia.  There she honed her passion for teaching that led to her winning the Canadian Mathematical Society Excellence in Teaching Award. When not engrossed in research on natural duality theory or quasi-equational theory she can be found in a dance studio learning jazz, modern, and ballet choreography.

J. B. Nation is professor emeritus at the University of Hawaii.  His research interests include lattice theory, universal algebra, coding theory and bio-informatics.  He enjoys running, refereeing soccer, and playing jazz flugelhorn.

Blurb

This book discusses the ways in which the algebras in a locally finite quasivariety determine its lattice of subquasivarieties.  The book starts with a clear and comprehensive presentation of the basic structure theory of quasivariety lattices, and then develops new methods and algorithms for their analysis.  Particular attention is paid to the role of quasicritical algebras.  The methods are illustrated by applying them to quasivarieties of abelian groups, modular lattices, unary algebras and pure relational structures.  An appendix gives an overview of the theory of quasivarieties.  Extensive references to the literature are provided throughout.