$\sigma$-Biderivations and $\sigma$-commuting maps of triangular algebras

Abstract

Let $\A$ be an algebra and $\sigma$ an automorphism of $\A$. A linear map $d$ of $\A$ is called a $\sigma$-derivation of $\A$ if $d(xy)=d(x)y+\sigma (x)d(y)$, for all $x, y \in \A$. A bilinear map $D: \A \times \A \to \A$ is said to be a $\sigma$-biderivation of $\A$ if it is a $\sigma$-derivation in each component. An additive map $\Theta$ of $\A$ is $\sigma$-commuting if it satisfies $\Theta (x)x-\sigma (x)\Theta (x)=0$, for all $x \in \A$. In this paper, we introduce the notions of inner and extremal $\sigma$-biderivations and of proper $\sigma$-commuting maps. One of our main results states that, under certain assumptions, every $\sigma$-biderivation of a triangular algebras is the sum of an extremal $\sigma$-biderivation and an inner $\sigma$-biderivation. Sufficient conditions are provided on a triangular algebra for all of its $\sigma$-biderivations (respectively, $\sigma$-commuting maps) to be inner (respectively, proper). A precise description of $\sigma$-commuting maps of triangular algebras is also given. A new class of automorphisms of triangular algebras is introduced and precisely described. We provide many classes of triangular algebras whose automorphisms can be precisely described.

32 pages