Jump to content

Talk:Epigroup

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

Subsemigroups of epigroups need not be subepigroups?

[edit]

Let S be a subsemigroup of an epigroup E and pick any element x in S. It has a power x^k that is an element of a subgroup G with identity 1_G. Then x^w = 1_G for some w, which is in S. The set {x^w,...,x^{2w-1}} is then a subgroup of S, proving that S is an epigroup. This paper, https://core.ac.uk/download/pdf/81983813.pdf, states that epigroups are "closed under forming substructures". Is the wikipedia article wrong? Trevori (talk) 20:23, 25 August 2023 (UTC)[reply]