1 results
SEMIRING AND INVOLUTION IDENTITIES OF POWER GROUPS
- Part of
-
- Journal:
- Journal of the Australian Mathematical Society / Volume 115 / Issue 3 / December 2023
- Published online by Cambridge University Press:
- 17 January 2023, pp. 354-374
- Print publication:
- December 2023
-
- Article
-
- You have access
- HTML
- Export citation
-
For every group G, 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 group G is 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.
