Related papers: 2-Local derivations on matrix algebras over commut…

The operator space analogue of the {\em strong form} of the principle of local reflexivity is shown to hold for any von Neumann algebra predual, and thus for any $C^{*}$-algebraic dual. This is in striking contrast to the situation for…

We consider finite-dimensional complex Lie algebras admitting a periodic derivation, i.e., a nonsingular derivation which has finite multiplicative order. We show that such Lie algebras are at most two-step nilpotent and give several…

We discuss dualisable objects in minimal subcategories of compactly generated tensor triangulated categories, paying special attention to the derived category of a commutative noetherian ring. A cohomological criterion for detecting these…

Classical contact Lie algebras are the fundamental algebraic structures on the manifolds of contact elements of configuration spaces in classical mechanics. Xu introduced a large category of contact simple Lie algebras which are related to…

Let $\mathcal{A}$ be a unital algebra, $\delta$ be a linear mapping from $\mathcal{A}$ into itself and $m$, $n$ be fixed integers. We call $\delta$ an (\textit{m, n})-derivable mapping at $Z$, if…

We prove a theorem about the derivation algebra of the tensor product of two algebras. As an application, we determine the derivation algebra of the fixed point algebra of the tensor product of two algebras, with respect to the tensor…

Given a type I von Neumann algebra $M$ with a faithful normal semi-finite trace $\tau,$ let $S_0(M, \tau)$ be the algebra of all $\tau$-compact operators affiliated with $M.$ We give a complete description of all derivations on the algebra…

Let ${\mathcal M}$ be a von Neumann algebra with no central summands of type I$_1$. It is shown that every nonlinear $\xi-$Lie derivation ($\xi\neq 1$) on $\mathcal M$ is an additive derivation.

We prove that a finite-dimensional cocommutative Hopf algebra $H$ is local, if and only if the subalgebra generated by the first term of its coradical filtration $H_1$ is local. In particular if $H$ is connected, $H$ is local if and only if…

We give a rigorous formulation of the intuitive idea that a differentiable map should be thesame thing as a locally, or infinitesimally, linear map: just as a linear map respects the operations of addition and multiplication by scalars ina…

We investigate the arithmetic of algebraic curves on coarse moduli spaces for special linear rank two local systems on surfaces with fixed boundary traces. We prove a structure theorem for morphisms from the affine line into the moduli…

The algebra of supernatural matrices is a key example in the theory of locally finite central simple algebras, which studied in a previous paper of the authors (\cite{Local}). It is also a stand-alone object admits a rich study and various…

This paper focuses on the biderivations of 4-dimensional nilpotent complex Leibniz algebras. Using the existing classification of these algebras, we develop algorithms to compute derivations, antiderivations, and biderivations as pairs of…

We study the trace set of the commutator subgroup of $\Gamma(2),$ a type of Local-Global problem about thin groups. We determine the local obstructions and then use the correspondence between binary quadratic forms and hyperbolic matrices…

We study almost inner derivations of $2$-step nilpotent Lie algebras of genus $2$, i.e., having a $2$-dimensional commutator ideal, using matrix pencils. In particular we determine all almost inner derivations of such algebras in terms of…

In a previous paper [M.~Hanada, H.~Kawai and Y.~Kimura, Prog. Theor. Phys. 114 (2005), 1295] it is shown that a covariant derivative on any n-dimensional Riemannian manifold can be expressed in terms of a set of n matrices, and a new…

This note deals with two topics of linear algebra. We give a simple and short proof of the multiplicative property of the determinant and provide a constructive formula for rotations. The derivation of the rotation matrix relies on simple…

In this paper we will study $k$-commuting mappings of generalized matrix algebras. The general form of arbitrary $k$-commuting mapping of a generalized matrix algebra is determined. It is shown that under mild assumptions, every…

We take matrix decompositions that are usually applied to matrices over the real numbers or complex numbers, and extend them to matrices over an algebra called the double numbers. In doing so, we unify some matrix decompositions: For…

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…