Related papers: On a problem by Nathan Jacobson
In this paper, using pseudo path algebras, we generalize Gabriel's Theorem on elementary algebras to left Artinian algebras over a field $k$ when it is splitting over its radical, in particular, when the dimension of the quotient algebra…
We prove the Nagata compactification theorem for any separated map of finite type between quasi-compact and quasi-separated algebraic spaces, generalizing earlier results of Raoult. Along the way we also prove (and use) absolute noetherian…
Given an Artinian algebra $A$ over a field $k$, there are several combinatorial objects associated to $A$. They are the diagram $D_A$ as defined in [DK], the natural quiver $\Delta_A$ defined in \cite{Li} (cf. Section 2), and a generalized…
We extend the concepts of the associator and commutator from algebras with a binary multiplication law to algebras with a ternary multiplication law using cube roots of unity. By analogy with the Jacobi identity for the binary commutator,…
A classical theorem by Jacobson says that a ring in which every element $x$ satisfies the equation $x^n=x$ for some $n>1$ is commutative. According to Birkhoff's Completeness Theorem, if $n$ is fixed, there must be an equational proof of…
We answer two questions posed 1998 in the book 'Arnolds problems'. First, over any field k there is a representative system for the similarity classes of nxn-matrices which is a finite disjoint union of affine subspaces. And second, for n>1…
In this paper, the notion of universal enveloping algebra introduced in [A. Ardizzoni, \emph{A First Sight Towards Primitively Generated Connected Braided Bialgebras}, submitted. (arXiv:0805.3391v3)] is specialized to the case of braided…
In a recent paper, Amini et al. introduce a general framework to prove duality theorems between special decompositions and their dual combinatorial object. They thus unify all known ad-hoc proofs in one single theorem. While this…
We study the restricted form of the qaunatized enveloping algebra of an untwisted affine Lie algebra and prove a triangular decomposition for it. In proving the decomposition we prove several new identities in the quantized algebra, one of…
We introduce two remarkable identities written in terms of single commutators and anticommutators for any three elements of arbitrary associative algebra. One is a consequence of other (fundamental identity). From the fundamental identity,…
We construct six unitary trace invariants for 2 by 2 quaternionic matrices which separate the unitary similarity classes of such matrices, and show that this set is minimal. We prove two quaternionic versions of a well known…
We give a constructive proof of the general Nullstellensatz: a univariate polynomial ring over a commutative Jacobson ring is Jacobson. This theorem implies that every finitely generated algebra over a zero-dimensional ring or the ring of…
We consider solutions of the 2x2 matrix Hamiltonians of the physical systems within the context of the su(2) and su(1,1) Lie algebra. Our technique is relatively simple when compared with the others and treats those Hamiltonians which can…
We provide sufficient conditions for systems of polynomial equations over general (real or complex) algebras to have a solution. This generalizes known results on quaternions, octonions and matrix algebras. We also generalize the…
We define a special matrix multiplication among a special subset of $2N\x 2N$ matrices, and study the resulting (non-associative) algebras and their subalgebras. We derive the conditions under which these algebras become alternative…
Under natural conditions (such as split property and geometric modular action of wedge algebras) it is shown that the unitary equivalence class of the net of local (von Neumann) algebras in the vacuum sector associated to double cones with…
Jacobson's commutativity theorem says that a ring is commutative if, for each $x$, $x^n = x$ for some $n > 1$. Herstein's generalization says that the condition can be weakened to $x^n-x$ being central. In both theorems, $n$ may depend on…
The second author gave a formula for the elements of the enveloping algebra of a Lie superalgebra defined by Gorelik under an appropriate unimodularity assumption. We show that this formula is a particular case of a formula for the Jacobian…
This is the second installment of an exposition of an ACL2 formalization of elementary linear algebra. It extends the results of Part I, which covers the algebra of matrices over a commutative ring, but focuses on aspects of the theory that…
An alternative proof of the duality of generalized Lie bialgebroid is given and proved a canonical Jacobi structure can be defined on the base of it. We also introduce the notion of morphism between generalized Lie bialgebroids and proved…