This is the Accepted Manuscript version of an article accepted for publication in the journal: ADVANCES IN GROUP THEORY AND APPLICATIONS. arXiv admin note: text overlap with arXiv:2312.12215
Let $\mathbb{F}$ be a field of characteristic $0$ or an odd rational prime $p$. In this article, we give an explicit classification of all the inner and outer derivations of the group algebra $\mathbb{F}V_{8n}$, where $V_{8n}$ is a group of order $8n$ ($n$ a positive integer) with presentation $\langle a, b \mid a^{2n} = b^{4} = 1, ba = a^{-1}b^{-1}, b^{-1}a = a^{-1}b \rangle$. First, we explicitly classify all the $\mathbb{F}$-derivations of $\mathbb{F}V_{8n}$ by giving the dimension and a basis of the derivation algebra consisting of all $\mathbb{F}$-derivations of $\mathbb{F}V_{8n}$. Consequently, we classify all inner and outer derivations of $\mathbb{F}V_{8n}$ when $\mathbb{F}$ is an algebraic extension of a prime field. Thus, we establish that all the derivations of $\mathbb{F}V_{8n}$ are inner when the characteristic of $\mathbb{F}$ is $0$ or $p$ with $p$ relatively prime to $n$, and that non-zero outer derivations exist only in the case when the characteristic of $\mathbb{F}$ is $p$ with $p$ dividing $n$.
We construct Artin algebras with vanishing first Hochschild Cohomology but a loop in their ordinary quiver. Some authors guessed earlier that such examples could not exist.
In the present paper we prove the existence outer derivations finite-dimensional solvable Lie algebras with nilradical of maximal rank and complementary subspace to nilardical of dimension less than rank of the nilradical.
We describe subalgebras of the Lie algebra $\mf{gl}(n^2)$ that contain all inner derivations of $A=M_n(F)$ (where $n\ge 5$ and $F$ is an algebraically closed field of characteristic 0). In a more general context where $A$ is a prime algebra satisfying certain technical restrictions, we establish a density theorem for the associative algebra generated by all inner derivations of $A$.
We investigate almost inner derivations of some finite-dimensional nilpotent Leibniz algebras. We show the existence of almost inner derivations of Leibniz filiform non-Lie algebras differing from inner derivations, we also show that the almost inner derivations of some filiform Leibniz algebras containing filiform Lie algebras do not coincide with inner derivations.
Let $A$ be a special biserial algebra over an algebraically closed field. We show that the first Hohchshild cohomology group of $A$ with coefficients in the bimodule $A$ vanishes if and only if $A$ is representation finite and simply connected (in the sense of Bongartz and Gabriel), if and only if the Euler characteristic of $Q$ equals the number of indecomposable non uniserial projective injective $A$-modules (up to isomorphism). Moreover, if this is the case, then all the higher Hochschild cohomology groups of $A$ vanish.
We study almost inner derivations of Lie algebras, which were introduced by Gordon and Wilson in their work on isospectral deformations of compact solvmanifolds. We compute all almost inner derivations for low-dimensional Lie algebras, and introduce the concept of fixed basis vectors for proving that all almost inner derivations are inner for $2$-step nilpotent Lie algebras determined by graphs, free $2$ and $3$-step nilpotent Lie algebras, free metabelian nilpotent Lie algebras on two generators, almost abelian Lie algebras and triangular Lie algebras. On the other hand we also exhibit famili…
In this paper we prove that every finite-dimensional nilpotent restricted Lie algebra over a field of prime characteristic has an outer restricted derivation whose square is zero unless the restricted Lie algebra is a torus or it is one-dimensional or it is isomorphic to the three-dimensional Heisenberg algebra in characteristic two as an ordinary Lie algebra. This result is the restricted analogue of a result of Tôgô on the existence of nilpotent outer derivations of ordinary nilpotent Lie algebras in arbitrary characteristic and the Lie-theoretic analogue of a classical group-theoretic resul…
We continue the algebraic study of almost inner derivations of Lie algebras over a field of characteristic zero and determine these derivations for free nilpotent Lie algebras, for almost abelian Lie algebras, for Lie algebras whose solvable radical is abelian and for several classes of filiform nilpotent Lie algebras. We find a family of $n$-dimensional characteristically nilpotent filiform Lie algebras $\mathfrak{f}_n$, for all $n\ge 13$, all of whose derivations are almost inner. Finally we compare the almost inner derivations of Lie algebras considered over two different fields $K\supseteq…
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 minimal indices and elementary divisors over an arbitrary algebraically closed field of characteristic not $2$ and over the real numbers.
We describe the groups of inner and outer automorphisms of the free metabelian nilpotent Lie algebra of finite rank over a field of characteristic 0. To obtain this result we first describe the groups of inner and continuous outer automorphisms of the completion with respect to the formal power series topology of the free metabelian Lie algebra finite rank.
In the present paper we prove that every additive (not necessarily homogenous) local inner derivation on the algebra of matrices over an arbitrary field is an inner derivation, and every local inner derivation on the ring of matrices over a finite ring generated by the identity element or the ring of integers is an inner derivation. We also prove that every additive local inner derivation on the Jordan algebra of symmetric matrices over an arbitrary field is a derivation, and every local inner derivation on the Jordan ring of symmetric matrices over a finite ring generated by the identity elem…
We show that the Hochschild cohomology of a monomial algebra over a field of characteristic zero vanishes from degree two if the first Hochschild cohomology is semisimple as a Lie algebra. We also prove that first Hochschild cohomology of a radical square zero algebra is reductive as a Lie algebra. In the case of the multiple loops quiver, we obtain the Lie algebra of square matrices of size equal to the number of loops.
In this paper, we describe the $K$-module $HH^1(L_K(Γ))$ of outer derivations of the Leavitt path algebra $L_K(Γ)$ of a row-finite graph $Γ$ with coefficients in an associative commutative ring $K$ with unit. We give an explicit formula for every outer derivation of $L_K(Γ)$. We also describe the Lie algebra structure of outer derivations of the Toeplitz algebra and we prove that every derivation of the Leavitt path algebra can be extended to a derivation of the corresponding $C^*$-algebra.
Let $f(X_1,\dots, X_n)$ be a nonzero multilinear noncommutative polynomial. If $A$ is a unital algebra with a surjective inner derivation, then every element in $A$ can be written as $f(a_1,\dots,a_n)$ for some $a_i\in A$.
It is well-known that every derivation of a semisimple Lie algebra $L$ over an algebraically closed field $F$ with characteristic zero is inner. The aim of this paper is to show what happens if the characteristic of $F$ is prime with $L$ an exceptional Lie algebra. We prove that if $L$ is a Chevalley Lie algebra of type $\{G_2,F_4,E_6,E_7,E_8\}$ over a field of characteristic $p$ then the derivations of $L$ are inner except in the cases $G_2$ with $p=2$, $E_6$ with $p=3$ and $E_7$ with $p=2$.
The aim of this paper is to describe all inner and all outer derivations of Leavitt path algebra W(n) via explicit formulas. In fact the space of all inner and all outer derivations of the Leavitt path algebra W(n) has been described.
We describe derivations and automorphisms of infinite tensor products of matrix algebras. Using this description we show that for a countable--dimensional locally matrix algebra $A$ over a field $\mathbb{F}$ the dimension of the Lie algebra of outer derivations of $A$ and the order of the group of outer automorphisms of $A$ are both equal to $|\mathbb{F}|^{\aleph_0},$ where $|\mathbb{F}|$ is the cardinality of the field $\mathbb{F}.$
Let $\mathbb{F}$ be the underlying base field of characteristic $p>3 $ and denote by $\mathcal{W}$ and $\mathcal{S}$ the even parts of the finite-dimensional generalized Witt Lie superalgebra $W$ and the special Lie superalgebra $S,$ respectively. We first give the generator sets of the Lie algebras $\mathcal{W}$ and $\mathcal{S}.$ Using certain properties of the canonical tori of $\mathcal{W}$ and $\mathcal{S},$ we then determine the derivation algebra of $\mathcal{W}$ and the derivation space of $\mathcal{S} $ to $\mathcal{W},$ where $\mathcal{W}$ is viewed as $\mathcal{S} $-module by means …
In the present paper we prove that every 2-local inner derivation on the matrix ring over a commutative ring is an inner derivation and every derivation on an associative ring has an extension to a derivation on the matrix ring over this associative ring. We also develop a Jordan analog of the above method and prove that every 2-local inner derivation on the Jordan matrix ring over a commutative ring is a derivation.
Let $L$ be a finite dimensional Lie algebra over a field $F$. It is well known that the solvable radical $S(L)$ of the algebra $L$ is a characteristic ideal of $L$ if $\char F=0$ and there are counterexamples to this statement in case $\char F=p>0$. We prove that the sum $S(L)$ of all solvable ideals of a Lie algebra $L$ (not necessarily finite dimensional) is a characteristic ideal of $L$ in the following cases: 1) $\char F=0;$ 2) $S(L)$ is solvable and its derived length is less than $\log_{2}p.$ Some estimations (in characteristic 0) for the derived length of ideals $I+D(I)+... +D^{k}(I)$ a…
We characterize derivations and 2-local derivations from $M_{n}(\mathcal{A})$ into $M_{n}(\mathcal{M})$, $n \ge 2$, where $\mathcal{A}$ is a unital algebra over $\mathbb{C}$ and $\mathcal{M}$ is a unital $\mathcal{A}$-bimodule. We show that every derivation $D: M_{n}(\mathcal{A}) \to M_{n}(\mathcal{M})$, $n \ge 2,$ is the sum of an inner derivation and a derivation induced by a derivation from $\mathcal{A}$ to $\mathcal{M}$. We say that $\mathcal{A}$ commutes with $\mathcal{M}$ if $am=ma$ for every $a\in\mathcal{A}$ and $m\in\mathcal{M}$. If $\mathcal{A}$ commutes with $\mathcal{M}$ we prove t…
In the present paper we prove that every 2-local inner derivation on the Lie ring of skew-symmetric matrices over a commutative ring is an inner derivation. We also apply our technique to various Lie algebras of infinite dimensional skew-adjoint matrix-valued maps on a set and prove that every 2-local spatial derivation on such algebras is a spatial derivation.
In the present paper it is proved that every inner 2-local derivation on the matrix ring $M_n(\Re)$ of $n\times n$ matrices over a commutative associative ring $\Re$ is an inner derivation. Also, it is proved that, every derivation on an associative ring $\Re$ has an extension to a derivation on the matrix ring $M_n(\Re)$ of $n\times n$ matrices over $\Re$.
In the present paper we prove that every 2-local inner derivation on the Lie ring of skew-adjoint matrices over a commutative $*$-ring is an inner derivation. We also apply our technique to various Lie algebras of infinite-dimensional skew-adjoint matrix-valued maps on a set and prove that every 2-local spatial derivation on such algebras is a spatial derivation. We also show that every local spatial derivation on the above Lie algebras is a derivation.
In the paper, a method of describing the outer derivations of the group algebra of a finitely presentable group is given. The description of derivations is given in terms of characters of the groupoid of the adjoint action of the group.
