The equitable presentation of the quantum algebra $U_q(\widehat{sl_2})$ is considered. This was originally introduced by T. Ito and P. Terwilliger. In this paper, following Terwilliger's recent works (nonstandard) positive part type $U_q^{IT,+}$ its second realization (current algebra) $U_q^{T,+}$ are studied. A for given in terms a K-operator satisfying Freidel-Maillet equation condition on de...

Motivated by the Alday-Gaiotto-Tachikawa (AGT) conjecture, we construct a homomorphism from affine super Yangian [Formula: see text] to universal enveloping algebra of rectangular W-superalgebra for all m ≠ n, m, n ≥ 2 or 3, = 0. Furthermore, show that image this is dense, provided k + ( − n)( l 1)

Let *3* be the algebra of polynomials in one indeterminate x over the complex field C. Suppose || • || is a norm on 9 such that the coefficient functionals c,: X a.oc' —* a, (j = 0,1,2, • • •) are all continuous with respect to || • ||, and let K CC be the set of characters on 9> which are || • ||-continuous. Then K is compact, C\K is connected, and 0 G K. Let A be the completion of 9 with resp...

in this paper we characterize hyper mv -algebras in which 0 or1 are scalar elements . we prove that any nite hyper mv -algebra that 0is a scaler element in it, is an mv -algebra. finally we characterize hypermv -algebras of order 2 and order 3.

In this paper, we investigate the structure and representations of the quantum group U(∞) = Uυ(gl∞). We will present a realization for U(∞), following Beilinson–Lusztig–MacPherson (BLM) [1], and show that the natural algebra homomorphism ζr from U(∞) to the infinite q-Schur algebra S(∞, r) is not surjective for any r > 1. We will give a BLM type realization for the image U(∞, r) := ζr(U(∞)) and...

In this paper, we investigate the structure and representations of the quantum group U(∞) = Uυ(gl∞). We will present a realization for U(∞), following Beilinson–Lusztig–MacPherson (BLM) [1], and show that the natural algebra homomorphism ζr from U(∞) to the infinite q-Schur algebra S(∞, r) is not surjective for any r > 1. We will give a BLM type realization for the image U(∞, r) := ζr(U(∞)) and...

We present a generic method for establishing interpolation properties by ‘borrowing’ across logical systems. The framework used is that of the so-caled ‘institution theory’ which is a categorical abstract model theory providing a formal definition for the informal concept of ‘logical system’ and a mathematical concept of ‘homomorphism’ between logical systems. We develop three different styles ...

(1.2) PV~V where p is defined by p(s, t) = (t, s), (s, tET). We shall assume throughout that T is arcwise connected. Let 77 be an associative and anticommutative graded if-algebra with unit 1, where ii is a field. We assume throughout that 77'= 0 if i<0, and 77° = 7C-1. Let 77+ denote the submodule spanned by the elements of positive degree. 77 is a Hopf algebra over K if there is an algebra ho...

Let M be a von Neumann algebra and ρ : M → M be a ∗-homomorphism. Then ρ is called a centrally extendable ∗-homomorphism (CEH) if there is a maximal abelian subalgebra (masa) M of the commutant M of M and a surjective ∗-homomorphism φ : M → M such that φ(Z) = ρ(Z) for all Z in the center of M. A ∗-ρderivation δ : M → M is called a centrally extendable ∗-ρ-derivation (CED) if there is a masa M o...

In this article, we generalize the concept of the Lie algebra of vector fields to the set of smooth sections of a T-bundle which is by definition a canonical generalization of the concept of a tangent bundle. We define a Lie bracket multiplication on this set so that it becomes a Lie algebra. In the particular case of tangent bundles this Lie algebra coincides with the Lie algebra of vector fie...