Determinant vanishing conjecture for finite semigroups in ECOM

Let SS be the finite semigroup under consideration, let u,uSu,u'\in S, let u+ru^{{+}_r} and u+l{u'}^{{+}_l} denote their associated right and left idempotents, let \boldsymbol{*} denote the operation defined in the paper, and let θS(X)\theta_S(X) be the determinant polynomial associated with SS. Determinant vanishing conjecture. If there exist elements uu and uu' such that

u+ru+landuu0,u^{{+}_r}\neq {u'}^{{+}_l}\quad\text{and}\quad u\boldsymbol{*}u'\neq 0,

then

θS(X)=0.\theta_S(X)=0.

This conjecture concerns the determinant of a finite semigroup in the pseudovariety ECOM; proving the stated condition forces the determinant to vanish would identify a structural obstruction to a nonzero determinant. The supplied text does not indicate whether the conjecture has been resolved.

Sources & referencesView supporting material

Primary source

M. H. Shahzamanian, “The determinant of finite semigroups of the pseudovariety ECOM”, arXiv:2302.04316 (2024).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.