اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدKernel Classes of Varieties of Completely Regular Semigroups I
248
0
0.0
(
0
)
تأليف
Norman R. Reilly
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
Several complete congruences on the lattice L(CR) of varieties of completely regular semi- groups have been fundamental to studies of the structure of L(CR). These are the kernel relation K , the left trace relation Tl , the right trace relation Tr and their intersections KcapTl,Kcap Tr . However, with the exception of the lattice of all band varieties which happens to coincide with the kernel class of the trivial variety, almost nothing is known about the internal structure of individual K-classes beyond the fact that they are intervals in L(CR). Here we present a number of general results that are pertinent to the study of K -classes. This includes a variation of the renowned Polak Theorem and its relationship to the complete retraction V -> V cap B , where B denotes the variety of bands. These results are then applied, here and in a sequel, to the detailed analysis of certain families of K -classes. The paper concludes with results hinting at the complexity of K -classes in general, such as that the classes of relation K/Kl may have the cardinality of the continuum.
قيم البحث
اقرأ أيضاً
The kernel relation $K$ on the lattice $mathcal{L}(mathcal{CR})$ of varieties of completely regular semigroups has been a central component in many investigations into the structure of $mathcal{L}(mathcal{CR})$. However, apart from the $K$-class of t
he trivial variety, which is just the lattice of varieties of bands, the detailed structure of kernel classes has remained a mystery until recently. Kadourek [RK2] has shown that for two large classes of subvarieties of $mathcal{CR}$ their kernel classes are singletons. Elsewhere (see [RK1], [RK2], [RK3]) we have provided a detailed analysis of the kernel classes of varieties of abelian groups. Here we study more general kernel classes. We begin with a careful development of the concept of duality in the lattice of varieties of completely regular semigroups and then show that the kernel classes of many varieties, including many self-dual varieties, of completely regular semigroups contain multiple copies of the lattice of varieties of bands as sublattices.
This paper is a contribution to the theory of finite semigroups and their classification in pseudovarieties, which is motivated by its connections with computer science. The question addressed is what role can play the consideration of an order compa
tible with the semigroup operation. In the case of unions of groups, so-called completely regular semigroups, the problem of which new pseudovarieties appear in the ordered context is solved. As applications, it is shown that the lattice of pseudovarieties of ordered completely regular semigroups is modular and that taking the intersection with the pseudovariety of bands defines a complete endomorphism of the lattice of all pseudovarieties of ordered semigroups.
Given a subdirectly irreducible *-regular ring R, we show that R is a homomorphic image of a regular *-subring of an ultraproduct of the (simple) eRe, e in the minimal ideal of R; moreover, R (with unit) is directly finite if all eRe are unit-regular
. Finally, unit-regularity is shown for every member of the variety generated by artinian *-regular rings (endowed with unit and pseudo-inversion).
This paper enriches the list of properties of the congruence sequences starting from the universal relation and successively performing the operations of lower $t$ and lower $k$. Three classes of completely regular semigroups, namely semigroups for w
hich $ker{sigma}$ is a cryptogroup, semigroups for which $ker{ u}$ is a cryptogroup and semigroups for which $kappa$ is over rectangular bands, are studied. $((omega_t)_k)_t$, $((mathcal{D}_t)_k)_t$ and $((omega_k)_t)_k$ are found to be the least congruences on $S$ such that the quotient semigroups are semigroups for which $ker{sigma}$ is a cryptogroup, $ker{ u}$ is a cryptogroup and $kappa$ is over rectangular bands, respectively. The results obtained present a response to three problems in Petrich and Reillys textbook textquotelefttextquoteleft Completely Regular Semigroupstextquoterighttextquoteright.
Motivated by the question of which completely regular semigroups have context-free word problem, we show that for certain classes of languages $mathfrak{C}$(including context-free), every completely regular semigroup that is a union of finitely many
finitely generated groups with word problem in $mathfrak{C}$ also has word problem in $mathfrak{C}$. We give an example to show that not all completely regular semigroups with context-free word problem can be so constructed.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
