<p>We study splittings of a lattice, first from a general lattice-theoretic point of view, then applying the obtained results to complete lattices of classes of algebras (mostly quasivarieties and varieties). In particular, the notion of separability of lattice, which entails many known properties of splittings in latices of varieties and quasivarieties alike, is of particular importance. We point out many differences between properties of splittings in lattices of subvarieties and subquasivarieties. We also introduce the notions of weak primitivity and weak tameness and we prove the finite basis theorem for weakly primitive weakly tame quasivarieties of finite type.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Splittings and Finite Basis Theorems

  • Paolo Aglianò,
  • Alex Citkin

摘要

We study splittings of a lattice, first from a general lattice-theoretic point of view, then applying the obtained results to complete lattices of classes of algebras (mostly quasivarieties and varieties). In particular, the notion of separability of lattice, which entails many known properties of splittings in latices of varieties and quasivarieties alike, is of particular importance. We point out many differences between properties of splittings in lattices of subvarieties and subquasivarieties. We also introduce the notions of weak primitivity and weak tameness and we prove the finite basis theorem for weakly primitive weakly tame quasivarieties of finite type.