Finitely generated varieties of distributive double \(p\)-algebras universal modulo a group (Q2583587)

A distributive double \(p\)-algebra is a distributive \((0,1)\)-lattice with the unary operations of pseudocomplementation and dual pseudocomplementation. If \(\mathcal{K}\) and \(\mathcal{L}\) are categories, \(G\) is a group and \(F:\mathcal{K}\rightarrow \mathcal{L}\) is a faithful functor, then \(F\) is a full embedding modulo \(G\) if there exists a certain full and faithful functor \(F_G:\mathcal{K}\times G\rightarrow \mathcal{L}\). A category \(\mathcal{L}\) is universal modulo \(G\) if the category \(\mathcal{G}\) of all graphs and all their compatible mappings has a full embedding modulo \(G\) into \(\mathcal{L}\). One of the main results of the paper structurally characterizes all finitely generated varieties of distributive double \(p\)-algebras modulo a group. Further, the authors, e.g., characterize finitely generated varieties of distributive double \(p\)-algebras which are finite-to-finite universal modulo a group.