We prove that every clone of operations on a finite set $A$, if it contains a Malcev operation, is finitely related – i.e., identical with the clone of all operations respecting $R$ for some finitary relation $R$ over $A$. It follows that for a fixed finite set $A$, the set of all such Malcev clones is countable. This completes the solution of a problem that was first formulated in 1980, or earlier: how many Malcev clones can finite sets support? More generally, we prove that every finite algebra...

Suppose $A$ is a separable unital $𝒞\left(X\right)$-algebra each fibre of which is isomorphic to the same strongly self-absorbing and $K_1$-injective $C^{*}$-algebra $𝒟$. We show that $A$ and $𝒞\left(X\right)\otimes 𝒟$ are isomorphic as $𝒞\left(X\right)$-algebras provided the compact Hausdorff space $X$ is finite-dimensional. This statement is known not to extend to the infinite-dimensional case.

This paper is devoted to the study of a class of left-continuous uninorms locally internal in the region $A\left(e\right)$ and the residual implications derived from them. It is shown that such uninorm can be represented as an ordinal sum of semigroups in the sense of Clifford. Moreover, the explicit expressions for the residual implication derived from this special class of uninorms are given. A set of axioms is presented that characterizes those binary functions $I:{[0,1]}^2\to [0,1]$ for which a uninorm $U$ of this special...

T. Almada and J. Vaz de Carvalho (2001) stated the problem to investigate if these Łukasiewicz algebras are algebras of some logic system. In this article an affirmative answer is given and the ${ℒ}_n^m$-propositional calculus, denoted by ${\ell }_n^m$, is introduced in terms of the binary connectives $\to$ (implication), $\twoheadrightarrow$ (standard implication), $\wedge$ (conjunction), $\vee$ (disjunction) and the unary ones $f$ (negation) and $D_i$, $1\le i\le n-1$ (generalized Moisil operators). It is proved that ${\ell }_n^m$ belongs to the class of standard systems...

Let $G$ be a group generated by a set of finite order elements. We prove that any bicrossed product $H_{m,d}\left(q\right)\bowtie k\left[G\right]$ between the generalized Taft algebra $H_{m,d}\left(q\right)$ and group algebra $k\left[G\right]$ is actually the smash product $H_{m,d}\left(q\right)♯k\left[G\right]$. Then we show that the classification of these smash products could be reduced to the description of the group automorphisms of $G$. As an application, the classification of $H_{m,d}\left(q\right)\bowtie k[C_{n_1}\times C_{n_2}]$ is completely presented by generators and relations, where $C_n$ denotes the $n$-cyclic group.

Let $\mathbb{Z}$ be the set of integers, ${\mathbb{N}}_0$ the set of nonnegative integers and $F(x_1,x_2)=u_1{x}_1+u_2{x}_2$ be a binary linear form whose coefficients $u_1$, $u_2$ are nonzero, relatively prime integers such that $u_1{u}_2\ne \pm 1$ and $u_1{u}_2\ne -2$. Let $f:\mathbb{Z}\to {\mathbb{N}}_0\cup \left\{\infty \right\}$ be any function such that the set $f^{-1}\left(0\right)$ has asymptotic density zero. In 2007, M. B. Nathanson (2007) proved that there exists a set $A$ of integers such that $r_{A,F}\left(n\right)=f\left(n\right)$ for all integers $n$, where $r_{A,F}\left(n\right)=\left|\{(a,a^{\text{'}}):n=u_{1}a+u_2{a}^{\text{'}}:a,a^{\text{'}}\in A\}\right|$. We add the structure of difference for the binary linear form $F(x_1,x_2)$.

Completely regular semigroups $\mathrm{𝒞ℛ}$ are considered here with the unary operation of inversion within the maximal subgroups of the semigroup. This makes $\mathrm{𝒞ℛ}$ a variety; its lattice of subvarieties is denoted by $ℒ\left(\mathrm{𝒞ℛ}\right)$. We study here the relations $𝐊,T,L$ and $𝐂$ relative to a sublattice $\Psi$ of $ℒ\left(\mathrm{𝒞ℛ}\right)$ constructed in a previous publication. For $𝐑$ being any of these relations, we determine the $𝐑$-classes of all varieties in the lattice $\Psi$ as well as the restrictions of $𝐑$ to $\Psi$.

G. B. Belyavskaya and G. L. Mullen showed the existence of a complement for a $k$-tuple of orthogonal $n$-ary operations, where $k<n$, to an $n$-tuple of orthogonal $n$-ary operations. But they proposed no method for complementing. In this article, we give an algorithm for complementing a $k$-tuple of orthogonal $n$-ary operations to an $n$-tuple of orthogonal $n$-ary operations and an algorithm for complementing a $k$-tuple of orthogonal $k$-ary operations to an $n$-tuple of orthogonal $n$-ary operations. Also...

Let $D$ be a ${𝒞}^d$ $q$-convex intersection, $d\ge 2$, $0\le q\le n-1$, in a complex manifold $X$ of complex dimension $n$, $n\ge 2$, and let $E$ be a holomorphic vector bundle of rank $N$ over $X$. In this paper, ${𝒞}^k$-estimates, $k=2,3,\cdots ,\infty$, for solutions to the $\overline{\partial }$-equation with small loss of smoothness are obtained for $E$-valued $(0,s)$-forms on $D$ when $n-q\le s\le n$. In addition, we solve the $\overline{\partial }$-equation with a support condition in ${𝒞}^k$-spaces. More precisely, we prove that for a $\overline{\partial }$-closed form $f$ in ${𝒞}_{0,q}^k(X\setminus D,E)$, $1\le q\le n-2$, $n\ge 3$, with compact support and for $\epsilon$ with $0<\epsilon <1$ there...

Let $𝒜={\left\{A_t\right\}}_{t\in G}$ and $ℬ={\left\{B_t\right\}}_{t\in G}$ be $C^{*}$-algebraic bundles over a finite group $G$. Let $C={⨁}_{t\in G}{A}_t$ and $D={⨁}_{t\in G}{B}_t$. Also, let $A=A_e$ and $B=B_e$, where $e$ is the unit element in $G$. We suppose that $C$ and $D$ are unital and $A$ and $B$ have the unit elements in $C$ and $D$, respectively. In this paper, we show that if there is an equivalence $𝒜-ℬ$-bundle over $G$ with some properties, then the unital inclusions of unital $C^{*}$-algebras $A\subset C$ and $B\subset D$ induced by $𝒜$ and $ℬ$ are strongly Morita equivalent. Also, we suppose that $𝒜$ and $ℬ$ are saturated and that $A^{\text{'}}\cap C=𝐂1$. We show that...