287 citations · 1.4k across the 60 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2022
On the enumeration of finite -algebras
C. Dietzel, P. Menchón, L. Vendramin
We use Constraint Satisfaction Methods to construct and enumerate finite -algebras up to isomorphism. These objects were recently introduced by Rump and appear in Garside theory…
math.LO2022★ 6 cited
The prime spectrum of an -algebra
W. Rump, L. Vendramin
We prove that the lattice of ideals of an arbitrary -algebra is distributive. As a consequence, a spectral theory applies with no restriction. We also study the spectrum (i.e. t…