# Bases for pseudovarieties closed under bideterministic product

## TL;DR

This paper characterizes pseudovarieties of semigroups that have bases of pseudoidentities involving finite products of regular pseudowords, linking them to closure properties under bideterministic product in language varieties.

## Contribution

It establishes an equivalence between bases of pseudoidentities and closure under bideterministic product, extending understanding of pseudovariety structure and locality.

## Key findings

- Pseudovarieties containing finite semilattices and within DS have specific pseudoidentity bases.
- Equivalence between pseudoidentity bases and closure under bideterministic product is proven.
- The intersection of DH and ECom pseudovarieties is shown to be local.

## Abstract

We show that if $\mathsf V$ is a semigroup pseudovariety containing the finite semilattices and contained in $\mathsf {DS}$, then it has a basis of pseudoidentities between finite products of regular pseudowords if, and only if, the corresponding variety of languages is closed under bideterministic product. The key to this equivalence is a weak generalization of the existence and uniqueness of $\mathsf J$-reduced factorizations. This equational approach is used to address the locality of some pseudovarieties. In particular, it is shown that $\mathsf {DH}\cap\mathsf {ECom}$ is local, for any group pseudovariety $\mathsf H$.