Results 21 to 30 of about 24,881 (221)
Every group is a maximal subgroup of the free idempotent generated semigroup over a band [PDF]
Given an arbitrary group G we construct a semigroup of idempotents (band) BG with the property that the free idempotent generated semigroup over BG has a maximal subgroup isomorphic to G. If G is finitely presented then BG is finite. This answers several
Ruskuc, Nik +6 more
core +1 more source
On the growth of generating sets for direct powers of semigroups [PDF]
For a semigroup S its d-sequence is d(S) = (d1, d2, d3, . . .), where di is the smallest number of elements needed to generate the ith direct power of S.
J. T. Hyde +14 more
core +1 more source
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 +3 more sources
Generating the full transformation semigroup using order preserving mappings [PDF]
For a linearly ordered set X we consider the relative rank of the semigroup of all order preserving mappings O-X on X modulo the full transformation semigroup Ex. In other words, we ask what is the smallest cardinality of a set A of mappings such that =
Higgins, PM +4 more
core +1 more source
On Minimal Fuzzy Ideals of Semigroups
The present paper contains the sufficient condition of a fuzzy semigroup to be a fuzzy group using fuzzy points. The existence of a fuzzy kernel in semigroup is explored.
Madad Khan +2 more
doaj +1 more source
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
On maximal subgroups of free idempotent generated semigroups [PDF]
We prove the following results: (1) Every group is a maximal subgroup of some free idempotent generated semigroup. (2) Every finitely presented group is a maximal subgroup of some free idempotent generated semigroup arising from a finite semigroup.
Ruskuc, N. +6 more
core +1 more source
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
Finite coverings of semigroups and related structures [PDF]
For a semigroup $S$, the covering number of $S$ with respect to semigroups, $\sigma_s(S)$, is the minimum number of proper subsemigroups of $S$ whose union is $S$.
Casey Donoven, Luise-Charlotte Kappe
doaj +1 more source
On transformation semigroups which are ℬ𝒬-semigroups
A semigroup whose bi-ideals and quasi-ideals coincide is called a ℬ𝒬-semigroup. The full transformation semigroup on a set X and the semigroup of all linear transformations of a vector space V over a field F into itself are denoted, respectively, by T(X)
S. Nenthein, Y. Kemprasit
doaj +1 more source

