The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
We prove a theorem (for arbitrary ring varieties and, in a stronger form, for varieties of associative rings) which basically reduces the problem of a description of varieties with distributive subvariety lattice to the case of algebras over a finite prime field.
We show that semigroups representable by triangular matrices over a fixed finite field form a decidable pseudovariety and provide a finite pseudoidentity basis for it.
We show that semigroups representable by triangular matrices over a fixed finite field
form a decidable pseudovariety and provide a finite pseudoidentity basis for it.
Download Results (CSV)