Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userA minimal nonfinitely based semigroup whose variety is polynomially recognizable
134
0
0.0
(
0
)
Added by
Mikhail Volkov
Publication date
2010
fields
Informatics Engineering
and research's language is
English
Ask ChatGPT about the research
No Arabic abstract
We exhibit a 6-element semigroup that has no finite identity basis but nevertheless generates a variety whose finite membership problem admits a polynomial algorithm.
rate research
Read More
Recent results of Qu and Tuarnauceanu describe explicitly the finite p-groups which are not elementary abelian and have the property that the number of their subgroups is maximal among p-groups of a given order. We complement these results from the bottom level up by determining completely the non-cyclic finite p-groups whose number of subgroups among p-groups of a given order is minimal.
We exhibit a simple condition under which a finite involutary semigroup whose semigroup reduct is inherently nonfinitely based is also inherently nonfinitely based as a unary semigroup. As applications, we get already known as well as new examples of inherently nonfinitely based involutory semigroups. We also show that for finite regular semigroups, our condition is not only sufficient but also necessary for the property of being inherently nonfinitely based to persist. This leads to an algorithmic description of regular inherently nonfinitely based involutory semigroups.
A subset $A$ of a semigroup $S$ is called a $chain$ ($antichain$) if $xyin{x,y}$ ($xy otin{x,y}$) for any (distinct) elements $x,yin S$. A semigroup $S$ is called ($anti$)$chain$-$finite$ if $S$ contains no infinite (anti)chains. We prove that each antichain-finite semigroup $S$ is periodic and for every idempotent $e$ of $S$ the set $sqrt[infty]{e}={xin S:exists ninmathbb N;;(x^n=e)}$ is finite. This property of antichain-finite semigroups is used to prove that a semigroup is finite if and only if it is chain-finite and antichain-finite. Also we present an example of an antichain-finite semilattice that is not a union of finitely many chains.
We construct locally compact groups with no non-trivial Invariant Random Subgroups and no non-trivial Uniformly Recurrent Subgroups.
A graph is split if there is a partition of its vertex set into a clique and an independent set. The present paper is devoted to the splitness of some graphs related to finite simple groups, namely, prime graphs and solvable graphs, and their compact forms. It is proved that the compact form of the prime graph of any finite simple group is split.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
