This paper is concerned with the type structure of a system including polymorphism, type properties and subtypes. This type system originates from computer algebra but it is not intended to be the solution of all type problems in this area. Types (or sets of types) are denoted by terms in some order-sorted algebra.:[: We consider a rewrite relation in this algebra, which is intended to express ...

We solve the Jacobi identity of metric 3-Lie algebras for which an associated Lie algebra either does not admit bi-invariant 4-forms or it is the sum of up to three abelian directions and a semi-simple Lie algebra. In all cases, we find that the structure constants of the metric 3-Lie algebras are sums of orthogonal simple 4-forms verifying a conjecture in math/0211170. In particular, there is ...

In this paper we prove that if G is a connected, simplyconnected, semi-simple algebraic group over an algebraically closed field of sufficiently large characteristic, then all the blocks of the restricted enveloping algebra (Ug)0 of the Lie algebra g of G can be endowed with a Koszul grading (extending results of Andersen, Jantzen, Soergel). We also give information about the Koszul dual rings....

In this paper we give an elementary proof of the Fundamental Theorem of Algebra for polynomials over the rational tropical semi-ring. We prove that, tropically, the rational numbers are algebraically closed. We provide a simple algorithm for factoring tropical polynomials of a single variable. A central idea is the concept of least-coefficient polynomials as representatives for classes of funct...

It will be shown that for 1 < p < 2 the Schatten p-class is isometrically isomor-phic to a subspace of the predual of a von Neumann algebra. Similar results hold for non-commutative L p (N;)-spaces deened by a semi-nite, normal, faithful trace on a von Neumann algebra N. The embeddings rely on a suitable notion of p-stable processes in the non-commutative setting.

The concepts of semicompactness, countable semicompactness, and the semi-Lindelöf property are introduced in L-topological spaces, where L is a complete de Morgan algebra. They are defined by means of semiopen L-sets and their inequalities. They do not rely on the structure of basis lattice L and no distributivity in L is required. They can also be characterized by semiclosed L-sets and their i...

It is shown that a conservative expansion of in…nite valued ×ukasiewicz logic by new connectives univocally determined by their axioms does not necessarily have a complete semantics in the real interval [0,1]. However, such extensions are always complete with respect to valuations in a family of MV-chains, Rational ×ukasiewicz logic being the largest one that has a complete semantics in [0,1]. ...

0

Some unexpected properties of the cubic algebra generated by the covariant derivatives of a generic Yang-Mills connection over the (s+ 1)-dimensional pseudo euclidean space are pointed out. This algebra is Gorenstein and Koszul of global dimension 3 but except for s = 1 (i.e. in the 2-dimensional case) where it is the universal enveloping algebra of the Heisenberg Lie algebra and is a cubic Art...

In this work we obtain a version of the Procesi-Rasmyslov Theorem for the algebra of semi-invariants of representations of an arbitrary quiver with dimension vector (2, 2, . . . , 2).