Results 1 to 10 of about 360 (139)
Structure of the Semigroup of Semigroup Extensions [PDF]
Let B B denote a compact semigroup with identity and
Fulp, R. O., Stepp, J. W.
openaire +2 more sources
FUZZY SEMIGROUPS IN REDUCTIVE SEMIGROUPS [PDF]
Summary: We consider a fuzzy semigroup \(S\) in a right (or left) reductive semigroup \(X\) such that \(S(k)=1\) for some \(k \in X\) and find a faithful representation (or anti-representation) of \(S\) by transformations of \(S\). Also we show that a fuzzy semigroup \(S\) in a weakly reductive semigroup \(X\) such that \(S(k)=1\) for some \(k \in X ...
openaire +1 more source
The Hypergroupoid Semigroups as Generalizations of the Groupoid Semigroups [PDF]
We introduce the notion of hypergroupoids (HBin(X), □), and show that (HBin(X), □) is a super‐semigroup of the semigroup (Bin(X), □) via the identification x↔{x}. We prove that (HBin*(X), ⊖, [∅]) is a BCK‐algebra, and obtain several properties of (HBin*(X), □).
Jeong Soon Han +2 more
openaire +4 more sources
Nilpotent Semigroups and Semigroup Algebras
First, the structure of nilpotent semigroups is discussed. If \(S\) is a completely 0-simple semigroup over a maximal group \(G\), then \(S\) is nilpotent if and only if \(G\) is nilpotent and \(S\) is an inverse semigroup. The main results on semigroup algebras are very interesting, but technical; they examine the prime homomorphic images of semigroup
Jespers, E., Okninski, J.
openaire +1 more source
On Epiorthodox Semigroups [PDF]
It has been well known that the band of idempotents of a naturally ordered orthodox semigroup satisfying the “strong Dubreil‐Jacotin condition” forms a normal band. In the literature, the naturally ordered orthodox semigroups satisfying the strong Dubreil‐Jacotin condition were first considered by Blyth and Almeida Santos in 1992.
Shouxu Du, Xinzhai Xu, K. P. Shum
openaire +2 more sources
ON THE CAYLEY SEMIGROUP OF A FINITE APERIODIC SEMIGROUP [PDF]
Let S be a finite semigroup. In this paper, we introduce the functions φs:S* → S*, first defined by Rhodes, given by φs([a1,a2,…,an]) = [sa1,sa1a2,…,sa1a2 ⋯ an]. We show that if S is a finite aperiodic semigroup, then the semigroup generated by the functions {φs}s ∈ S is finite and aperiodic.
openaire +3 more sources
A semigroup-based setting for developing Hoare logics and refinement calculi is introduced together with procedures for translating between verification and refinement proofs. A new Hoare logic for multirelations and two minimalist generic verification and refinement components, implemented in an interactive theorem prover, are presented as ...
openaire +2 more sources
The action of any group on itself by conjugation and the corresponding conjugacy relation play an important role in group theory. There have been several attempts to extend the notion of conjugacy to semigroups. In this paper, we present a new definition of conjugacy that can be applied to an arbitrary semigroup and it does not reduce to the universal ...
João Araújo +2 more
openaire +3 more sources
In this paper we consider a semigroup on trigonometric expansions that will be called the Theta semigroup since its kernel is a multiple of the third Jacobi theta function. We study properties of this semigroup and prove that it is a positive diffusion semigroup. We also obtain that its subordinated semigroup is the classical Poisson semigroup.
Urbina, Wilfredo O., Zayed, Ahmed
openaire +2 more sources
A semigroup S is called F- semigroup if there exists a group-congruence ?? on S such that every ??-class contains a greatest element with respect to the natural partial order ???S of S (see [8]). This generalizes the concept of F-inverse semigroups introduced by V. Wagner [12] and investigated in [7].
Giraldes, E. +2 more
openaire +4 more sources

