We formulate a lattice theoretical Jordan normal form theorem for certain nilpotent lattice maps satisfying the so called JNB conditions. As an application of the general results, we obtain a transparent Jordan normal base of a nilpotent endomorphism in a …nitely generated semisimple module.
Given an endomorphism A over a finite dimensional vector space having Jordan-Chevalley decomposition, the lattices of invariant and hyperinvariant subspaces of A can be obtained from the nilpotent part of this decomposition. We extend this result for lattices of characteristic subspaces. We also obtain a generalization of Shoda's Theorem about the characterization of the existence of characteristic non hyperinvariant subspaces.
We describe the ternary and the generalized superderivations of finite-dimensional semisimple Jordan superalgebras over an algebraically closed field of characteristic zero and of finite-dimensional simple Jordan superalgebras with semisimple even part over an algebraically closed field of any characteristic not equal 2.
The centralizer of an endomorphism of a finite dimensional vector space is known when the endomorphism is nonderogatory or when its minimal polynomial splits over the field. It is also known for the real Jordan canonical form. In this paper we characterize the centralizer of endomorphisms over arbitrary fields for whatever minimal polynomial, and compute its dimension. The result is obtained via generalized Jordan canonical forms (for separable and non separable minimal polynomials). In addition, we also obtain the corresponding generalized Weyr canonical forms and the structure of its central…
Extending the Wedderburn-Artin theory of (classically) semisimple associative rings to the realm of topological rings with right linear topology, we show that the abelian category of left contramodules over such a ring is split (equivalently, semisimple) if and only if the abelian category of discrete right modules over the same ring is split (equivalently, semisimple). Our results in this direction complement those of Iovanov-Mesyan-Reyes. An extension of the Bass theory of left perfect rings to the topological realm is formulated as a list of conjecturally equivalent conditions, many equival…
We continue our study of the McKay Correspondence for grading preserving actions of semisimple Hopf algebras H on (noncommutative) Artin-Schelter regular algebras A. Here, we establish correspondences between module categories over A^H, over A\#H, and over \End_{A^H} A. We also study homological properties of (endomorphism rings of) maximal Cohen-Macaulay modules over A^H.
A commutative algebra is exact if its multiplication endomorphisms are trace-free and is Killing metrized if its Killing type trace-form is nondegenerate and invariant. A Killing metrized exact commutative algebra is necessarily neither unital nor associative. Such algebras can be viewed as commutative analogues of semisimple Lie algebras or, alternatively, as nonassociative generalizations of étale (associative) algebras. Some basic examples are described and there are introduced quantitative measures of nonassociativity, formally analogous to curvatures of connections, that serve to facilita…
Moens proved that a finite-dimensional Lie algebra over field of characteristic zero is nilpotent if and only if it has an invertible Leibniz-derivation. In this article we prove the analogous results for finite-dimensional Malcev, Jordan, (-1,1)-, quasiassociative, quasialternative, right alternative and Malcev-admissible noncommutative Jordan algebras over the field of characteristic zero. Also, we describe all Leibniz-derivations of semisimple Jordan, right alternative and Malcev algebras.
Let $\boldsymbolΛ_3(\mathbb C)\,(=\mathbb C^{27})$ be the space of structure vectors of $3$-dimensional algebras over $\mathbb C$ considered as a $G$-module via the action of $G={\rm GL}(3,\mathbb C)$ on $\boldsymbolΛ_3(\mathbb C)$ `by change of basis'. We determine the complete degeneration picture inside the algebraic subset $\mathcal A^s_3$ of $\boldsymbolΛ_3(\mathbb C)$ consisting of associative algebra structures via the corresponding information on the algebraic subsets $\mathcal L_3$ and $\mathcal J_3$ of $\boldsymbolΛ_3(\mathbb C)$ of Lie and Jordan algebra structures respectively. Thi…
We prove that the centralizer Cen(f) in Hom_R(M,M) of a nilpotent endomorphism f of a finitely generated semisimple left R-module M (over an arbitrary ring R) is the homomorphic image of the opposite of a certain Z(R)-subalgebra of the full m x m matrix algebra M_m(R[z]), where m is the dimension (composition length) of ker(f). If R is a local ring, then we provide an explicit description of the above Cen(f). If in addition Z(R) is a field and R/J(R) is finite dimensional over Z(R), then we give a formula for the Z(R)-dimension of Cen(f). If R is a local ring, f is as above and g is an arbitra…
An axial algebra over the field $\mathbb F$ is a commutative algebra generated by idempotents whose adjoint action has multiplicity-free minimal polynomial. For semisimple associative algebras this leads to sums of copies of $\mathbb F$. Here we consider the first nonassociative case, where adjoint minimal polynomials divide $(x-1)x(x-η)$ for fixed $0\neqη\neq 1$. Jordan algebras arise when $η=\frac{1}{2}$, but our motivating examples are certain Griess algebras of vertex operator algebras and the related Majorana algebras. We study a class of algebras, including these, for which axial automor…
Let $H$ be a Hopf algebra, $A/B$ be an $H$-Galois extension. Let $D(A)$ and $D(B)$ be the derived categories of right $A$-modules and of right $B$-modules respectively. An object $M^\cdot\in D(A)$ may be regarded as an object in $D(B)$ via the restriction functor. We discuss the relations of the derived endomorphism rings $E_A(M^\cdot)=\op_{i\in\mathbb{Z}}\Hom_{D(A)}(M^\cdot,M^\cdot[i])$ and $E_B(M^\cdot)=\op_{i\in\mathbb{Z}}\Hom_{D(B)}(M^\cdot,M^\cdot[i])$. If $H$ is a finite dimensional semisimple Hopf algebra, then $E_A(M^\cdot)$ is a graded subalgebra of $E_B(M^\cdot)$. In particular, if $…
