共查询到20条相似文献,搜索用时 15 毫秒
1.
Tamás Dékány 《Semigroup Forum》2014,89(3):600-608
An example of an extension of a completely simple semigroup \(U\) by a group \(H\) is given which cannot be embedded into the wreath product of \(U\) by \(H\) . On the other hand, every central extension of \(U\) by \(H\) is shown to be embeddable in the wreath product of \(U\) by \(H\) , and any extension of \(U\) by \(H\) is proved to be embeddable in a semidirect product of a completely simple semigroup \(V\) by \(H\) where the maximal subgroups of \(V\) are direct powers of those of \(U\) . 相似文献
2.
3.
4.
In this paper, the Cayley graphs of completely simple semigroups are investigated. The basic structure and properties of this
kind of Cayley graph are given, and a condition is given for a Cayley graph of a completely simple semigroup to be a disjoint
union of complete graphs. We also describe all pairs (S,A) such that S is a completely simple semigroup, A⊆S, and Cay (S,A) is a strongly connected bipartite Cayley graph. 相似文献
5.
The main result of the paper is a structure theorem concerning the ideal extensions of archimedean ordered semigroups. We
prove that an archimedean ordered semigroup which contains an idempotent is an ideal extension of a simple ordered semigroup
containing an idempotent by a nil ordered semigroup. Conversely, if an ordered semigroup S is an ideal extension of a simple ordered semigroup by a nil ordered semigroup, then S is archimedean. As a consequence, an ordered semigroup is archimedean and contains an idempotent if and only if it is an
ideal extension of a simple ordered semigroup containing an idempotent by a nil ordered semigroup. 相似文献
6.
7.
Artem N. Shevlyakov 《代数通讯》2017,45(9):3757-3767
A semigroup S is called an equational domain if any finite union of algebraic sets over S is algebraic. We give some necessary and su?cient conditions for a completely simple semigroup to be an equational domain. 相似文献
8.
Bella V. Rozenblat 《Israel Journal of Mathematics》2002,128(1):355-379
The connections between first-order formulas over a completely simple semigroupC and corresponding formulas over its structure groupH are found in this paper. For the case of finite sandwich-matrix the criterion of decidability of the elementary theoryT(C) is established in terms of the elementary theory ofH in the enriched signature (Theorem 1). For the general case the criterion is established in terms of two-sorted algebraic
systems (Theorem 2). Sufficient conditions in terms ofH for decidability and for undecidability ofT(C) are outlined. Corollaries and examples are presented, among them an example of a completely simple semigroup with a finite
structure group and with undecidable elementary theory (Theorem 3). 相似文献
9.
10.
11.
V. A. Fortunatov 《Semigroup Forum》1976,13(1):283-295
12.
13.
Mario Petrich 《代数通讯》2013,41(8):3535-3553
Let S be a completely simple semigroup represented as a Rees matrix semigroup M(I,G,P) with normalized sandwich matrix P. On the congruence lattice C(S) of S we consider the relations T i, K and T r which identify congruences with the same left trace, kernel and right trace, respectively. These are equivalences whose classes are intervals. The upper and lower ends of these intervals induce the following operators on C(S) Tl, K, Tr, tl, k and tr .We construct here the semigroup generated by these operators as a homomorphic image of a semigroup given by generators and relations and demonstrate the minimality of the latter. 相似文献
14.
15.
16.
17.
Mario Petrich 《Monatshefte für Mathematik》1993,116(3-4):287-298
For a Rees matrix semigroupS with normalized sandwich matrix and C(S), the congruence lattice ofS, we consider the lattice generated by {itpTl, pK, pTr, ptl, pk, ptr}. HerepT
1 andpt
l
are the upper and lower ends of the interval which makes up the
i
-class of ,
i
being the left trace relation onC(S). The remaining symbols have the analogous meaning relative to the kernel and the right trace relations. We also consider the lattice generated by {T
l, K, Tr, tl, k, tr} where and are the equality and the universal relations onS, respectively. In both cases, we find lattices freest relative to these lattices and represent them as distributive lattices with generators and relations.With 3 Figures 相似文献
18.
The purpose of this note is to provide a correct proof of the fact that there exist finite completely simple semigroups having no finite basis of identities. 相似文献
19.
20.