Superextensions of three-element semigroups
Journal Title: Карпатські математичні публікації - Year 2017, Vol 9, Issue 1
Abstract
A family $\mathcal{A}$ of non-empty subsets of a set $X$ is called an {\em upfamily} if for each set $A\in\mathcal{A}$ any set $B\supset A$ belongs to $\mathcal{A}$. An upfamily $\mathcal L$ of subsets of $X$ is said to be {\em linked} if $A\cap B\ne\emptyset$ for all $A,B\in\mathcal L$. A linked upfamily $\mathcal M$ of subsets of $X$ is {\em maximal linked} if $\mathcal M$ coincides with each linked upfamily $\mathcal L$ on $X$ that contains $\mathcal M$. The {\em superextension} $\lambda(X)$ consists of all maximal linked upfamilies on $X$. Any associative binary operation $* : X\times X \to X$ can be extended to an associative binary operation $\circ: \lambda(X)\times\lambda(X)\to\lambda(X)$ by the formula $\mathcal L\circ\mathcal M=\Big\langle\bigcup_{a\in L}a*M_a:L\in\mathcal L,\;\{M_a\}_{a\in L}\subset\mathcal M\Big\rangle$ for maximal linked upfamilies $\mathcal{L}, \mathcal{M}\in\lambda(X)$. In the paper we describe superextensions of all three-element semigroups up to isomorphism.
Authors and Affiliations
V. Gavrylkiv
Keywords
Related Articles
- EP ID EP324812
- DOI 10.15330/cmp.9.1.28-36
- Views 69
- Downloads 0
SOME PROPERTIES OF APPROXIMANTS FOR BRANCHED CONTINUED FRACTIONS OF THE SPECIAL FORM WITH POSITIVE AND ALTERNATING-SIGN PARTIAL NUMERATORS
The paper deals with research of convergence for one of the generalizations of continued frac- tions — branched continued fractions of the special form with two branches. Such branched con- tinued fractions, similarly as...
A note on the necessity of filtering mechanism for polynomial observability of time-discrete wave equation
The problem of uniform polynomial observability was recently analyzed. It is shown that, when the continuous model is uniformly polynomially observable, it is sufficient to filter initial data to derive uniform poly...
A generalization of a localization property of Besov spaces
The notion of a localization property of Besov spaces is introduced by G. Bourdaud, where he has provided that the Besov spaces $B^{s}_{p,q}(\mathbb{R}^{n})$, with $s\in\mathbb{R}$ and $p,q\in[1,+\infty]$ such that $p\ne...
The nonlocal problem for the 2n differential equations with unbounded operator coefficients and the involution
We study a problem with periodic boundary conditions for a 2n-order differential equation whose coefficients are non-self-adjoint operators. It is established that the operator of the problem has two invariant subspaces...
The inverse and derivative connecting problems for some Hypergeometric polynomials
Given two polynomial sets {Pn(x)}n≥0, and {Qn(x)}n≥0 such that deg(Pn(x))=deg(Qn(x))=n. The so-called connection problem between them asks to find coefficients αn,k in the expression Qn(x)=n∑k=0αn,kPk(x). The connecti...