|
Je dokázáno, že pseudovarieta DG všech konečných monoidů, jejichž všechny regulární D-třídy jsou podgrupami, je lokální. To znamená, že je ověřeno, že pseudovarieta gDG konečných kategorií generovaná pseudovarietou DG je totožná s pseudovarietou lDG všech konečných kategorií, jejichž lokální monoidy všechny náleží pseudovarietě DG. Obecnější tvrzení tohoto typu jsou dále odvozena. Takto se objevují výsledky takového druhu, jako že pro každé prvočíslo p pseudovarieta DGp všech konečných monoidů, jejichž všechny regulární D-třídy jsou p-grupy, je lokální, anebo že pseudovariety DGsol, případně DGnil všech konečných monoidů, jejichž všechny regulární D-třídy jsou řešitelné grupy, případně nilpotentní grupy, jsou lokální.
|