Abstract
AbstractFor every groupG, the set$\mathcal {P}(G)$of its subsets forms a semiring under set-theoretical union$\cup $and element-wise multiplication$\cdot $, and forms an involution semigroup under$\cdot $and element-wise inversion${}^{-1}$. We show that if the groupGis finite, non-Dedekind, and solvable, neither the semiring$(\mathcal {P}(G),\cup ,\cdot )$nor the involution semigroup$(\mathcal {P}(G),\cdot ,{}^{-1})$admits a finite identity basis. We also solve the finite basis problem for the semiring of Hall relations over any finite set.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
