Results 61 to 70 of about 144,318 (259)
Classification of Monogenic Ternary Semigroups [PDF]
Mathematics Interdisciplinary Research, 2018 The aim of this paper is to classify all monogenic ternary semigroups, up to isomorphism. We divide them to two groups: finite and infinite. We show that every infinite monogenic ternary semigroup is isomorphic to the ternary semigroup O, the odd ...
Nahid Ashrafi, Zahra Yazdanmehr
doaj +1 more source
Matroids related to groups and semigroups
Researches in Mathematics, 2023 Matroid is defined as a pair $(X,\mathcal{I})$, where $X$ is a nonempty finite set, and $\mathcal{I}$ is a nonempty set of subsets of $X$ that satisfies the Hereditary Axiom and the Augmentation Axiom.
D.I. Bezushchak
doaj +1 more source
THE ÉTALE GROUPOID OF AN INVERSE SEMIGROUP AS A GROUPOID OF FILTERS [PDF]
Journal of the Australian Mathematical Society, 2011 Paterson showed how to construct an étale groupoid from an inverse semigroup using ideas from functional analysis. This construction was later simplified by Lenz.
M. Lawson, S. Margolis, B. Steinberg
semanticscholar +1 more source
On representation type of the semigroup $S^0_{32}$ over an arbitrary field
Науковий вісник Ужгородського університету. Серія: Математика і інформатика, 2018 In this paper we study matrix representations of a semigroup that is the simplest amplification of the wild semigroup S_{32}=, namely the semigroup S^0_{32}=. We prove that the semigroup S^0_{32} has finite representation type over an arbitrary field.
О. В. Зубарук
doaj +1 more source
The subpower membership problem for semigroups
, 2016 Fix a finite semigroup $S$ and let $a_1,\ldots,a_k, b$ be tuples in a direct power $S^n$. The subpower membership problem (SMP) asks whether $b$ can be generated by $a_1,\ldots,a_k$.
Bulatov, Andrei +3 more
core +1 more source
Mathematical Structures in Computer Science, 2017 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
Semigroup of k-bi-Ideals of a Semiring with Semilattice Additive Reduct
Demonstratio Mathematica, 2016 We associate a semigroup B(S) to every semiring S with semilattice additive reduct, namely the semigroup of all k-bi-ideals of S; and such semirings S have been characterized by this associated semigroup B(S). A semiring S is k-regular if and only if B(S)
Bhuniya A. K., Jana K.
doaj +1 more source
On endomorphisms of groups of order 32 with maximal subgroups C24 or C42 ; pp. 1–14 [PDF]
Proceedings of the Estonian Academy of Sciences, 2016 It is proved that each group of order 32 that has a maximal subgroup isomorphic to C2 x C2 x C2 x C2 or C4 x C4 is determined by its endomorphism semigroup in the class of all groups.
Piret Puusemp, Peeter Puusemp
doaj +1 more source
ON INVERSE SEMIGROUP C ∗ -ALGEBRAS AND CROSSED PRODUCTS [PDF]
, 2011 We describe the C -algebra of an E-unitary or strongly 0- E-unitary inverse semigroup as the partial crossed product of a commu- tative C -algebra by the maximal group image of the inverse semigroup.
David Milan, B. Steinberg
semanticscholar +1 more source
On representation of semigroups of inclusion hyperspaces
Karpatsʹkì Matematičnì Publìkacìï, 2013 Given a group $X$ we study the algebraic structure of the compact right-topological semigroup $G(X)$ consisting of inclusion hyperspaces on $X$. This semigroup contains the semigroup $\lambda(X)$ of maximal linked systems as a closed subsemigroup.
V. M. Gavrylkiv
doaj +1 more source