Showing 1–46 of 46 results for author: Bresar, M

Splittable Jordan homomorphisms and commutator ideals

Authors: Matej Brešar

Abstract: We define a Jordan homomorphism $\varphi$ from a ring $R$ to a ring $R'$ to be splittable if the ideal (of the subring generated by the image of $\varphi$) generated by all $\varphi(xy)-\varphi(x)\varphi(y)$, $x,y\in R$, has trivial intersection with the ideal generated by all $\varphi(xy)-\varphi(y)\varphi(x)$, $x,y\in R$. Our main result states that a splittable Jordan homomorphism is the sum of… ▽ More We define a Jordan homomorphism $\varphi$ from a ring $R$ to a ring $R'$ to be splittable if the ideal (of the subring generated by the image of $\varphi$) generated by all $\varphi(xy)-\varphi(x)\varphi(y)$, $x,y\in R$, has trivial intersection with the ideal generated by all $\varphi(xy)-\varphi(y)\varphi(x)$, $x,y\in R$. Our main result states that a splittable Jordan homomorphism is the sum of a homomorphism and an antihomomorphism on the commutator ideal. As applications, we obtain results that give new insight into the question of the structure of Jordan homomorphisms on some classes of rings. △ Less

Submitted 9 October, 2024; originally announced October 2024.

Non-asymptotic bounds for forward processes in denoising diffusions: Ornstein-Uhlenbeck is hard to beat

Authors: Miha Brešar, Aleksandar Mijatović

Abstract: Denoising diffusion probabilistic models (DDPMs) represent a recent advance in generative modelling that has delivered state-of-the-art results across many domains of applications. Despite their success, a rigorous theoretical understanding of the error within DDPMs, particularly the non-asymptotic bounds required for the comparison of their efficiency, remain scarce. Making minimal assumptions on… ▽ More Denoising diffusion probabilistic models (DDPMs) represent a recent advance in generative modelling that has delivered state-of-the-art results across many domains of applications. Despite their success, a rigorous theoretical understanding of the error within DDPMs, particularly the non-asymptotic bounds required for the comparison of their efficiency, remain scarce. Making minimal assumptions on the initial data distribution, allowing for example the manifold hypothesis, this paper presents explicit non-asymptotic bounds on the forward diffusion error in total variation (TV), expressed as a function of the terminal time $T$. We parametrise multi-modal data distributions in terms of the distance $R$ to their furthest modes and consider forward diffusions with additive and multiplicative noise. Our analysis rigorously proves that, under mild assumptions, the canonical choice of the Ornstein-Uhlenbeck (OU) process cannot be significantly improved in terms of reducing the terminal time $T$ as a function of $R$ and error tolerance $\varepsilon>0$. Motivated by data distributions arising in generative modelling, we also establish a cut-off like phenomenon (as $R\to\infty$) for the convergence to its invariant measure in TV of an OU process, initialized at a multi-modal distribution with maximal mode distance $R$. △ Less

Submitted 25 August, 2024; originally announced August 2024.

Comments: 22 pages, 4 figures; see short YouTube video https://youtu.be/hQvfpwI0UPk?si=tfL-DrH2EzqCuGSN for the results in the context of tempered Langevin diffusions; the YouTube video https://youtu.be/xjzVPOEkl44?si=fq9l3kZFg8eELYG3 explains our general results for ergodic diffusions and discusses the proofs

MSC Class: 60J60; 68T99

The Wedderburn-Artin Theorem

Authors: Matej Brešar

Abstract: The celebrated Wedderburn-Artin theorem states that a simple left artinian ring is isomorphic to the ring of matrices over a division ring. We give a short and self-contained proof which avoids the use of modules. The celebrated Wedderburn-Artin theorem states that a simple left artinian ring is isomorphic to the ring of matrices over a division ring. We give a short and self-contained proof which avoids the use of modules. △ Less

Submitted 7 May, 2024; originally announced May 2024.

Comments: 7 pages

Frobenius' Theorem on Division Algebras

Authors: Matej Brešar

Abstract: Frobenius' Theorem states that the only finite-dimensional real division algebras are the algebra of real numbers $\mathbb R$, the algebra of complex numbers $\mathbb C$, and the algebra of quaternions $\mathbb H$. We present a short proof which uses only standard undergraduate mathematics. Frobenius' Theorem states that the only finite-dimensional real division algebras are the algebra of real numbers $\mathbb R$, the algebra of complex numbers $\mathbb C$, and the algebra of quaternions $\mathbb H$. We present a short proof which uses only standard undergraduate mathematics. △ Less

Submitted 3 May, 2024; originally announced May 2024.

Products of commutators in matrix rings

Authors: Matej Brešar, Eusebio Gardella, Hannes Thiel

Abstract: Let $R$ be a ring and let $n\ge 2$. We discuss the question of whether every element in the matrix ring $M_n(R)$ is a product of (additive) commutators $[x,y]=xy-yx$, for $x,y\in M_n(R)$. An example showing that this does not always hold, even when $R$ is commutative, is provided. If, however, $R$ has Bass stable rank one, then under various additional conditions every element in $M_n(R)$ is a pro… ▽ More Let $R$ be a ring and let $n\ge 2$. We discuss the question of whether every element in the matrix ring $M_n(R)$ is a product of (additive) commutators $[x,y]=xy-yx$, for $x,y\in M_n(R)$. An example showing that this does not always hold, even when $R$ is commutative, is provided. If, however, $R$ has Bass stable rank one, then under various additional conditions every element in $M_n(R)$ is a product of three commutators. Further, if $R$ is a division ring with infinite center, then every element in $M_n(R)$ is a product of two commutators. If $R$ is a field and $a\in M_n(R)$, then every element in $M_n(R)$ is a sum of elements of the form $[a,x][a,y]$ with $x,y\in M_n(R)$ if and only if the degree of the minimal polynomial of $a$ is greater than $2$. △ Less

Submitted 28 April, 2024; originally announced April 2024.

Comments: 15 pages

MSC Class: Primary 16S50. Secondary 15A30; 16K40; 16W25; 46L05; 46L10

Subexponential lower bounds for $f$-ergodic Markov processes

Authors: Miha Brešar, Aleksandar Mijatović

Abstract: We provide a criterion for establishing lower bounds on the rate of convergence in $f$-variation of a continuous-time ergodic Markov process to its invariant measure. The criterion consists of novel super- and submartingale conditions for certain functionals of the Markov process. It provides a general approach for proving lower bounds on the tails of the invariant measure and the rate of converge… ▽ More We provide a criterion for establishing lower bounds on the rate of convergence in $f$-variation of a continuous-time ergodic Markov process to its invariant measure. The criterion consists of novel super- and submartingale conditions for certain functionals of the Markov process. It provides a general approach for proving lower bounds on the tails of the invariant measure and the rate of convergence in $f$-variation of a Markov process, analogous to the widely used Lyapunov drift conditions for upper bounds. Our key technical innovation produces lower bounds on the tails of the heights and durations of the excursions from bounded sets of a continuous-time Markov process using path-wise arguments. We apply our theory to elliptic diffusions and Lévy-driven stochastic differential equations with known polynomial/stretched exponential upper bounds on their rates of convergence. Our lower bounds match asymptotically the known upper bounds for these classes of models, thus establishing their rate of convergence to stationarity. The generality of the approach suggests that, analogous to the Lyapunov drift conditions for upper bounds, our methods can be expected to find applications in many other settings. △ Less

Submitted 13 April, 2024; v1 submitted 21 March, 2024; originally announced March 2024.

Comments: Theorem 3.11 strengthened to cover multiplicative noise for Levy-driven SDEs; some references added; 46 pages; 1 figure; for a short YouTube video describing the results, see https://youtu.be/FD37xTPrUCw?si=q7DPZnyVCJw-aDoF

MSC Class: 60J25; 37A25 (Primary); 60J35; 60J60 (Secondary)

Superdiffusive limits for Bessel-driven stochastic kinetics

Authors: Miha Brešar, Conrado da Costa, Aleksandar Mijatović, Andrew Wade

Abstract: We prove anomalous-diffusion scaling for a one-dimensional stochastic kinetic dynamics, in which the stochastic drift is driven by an exogenous Bessel noise, and also includes endogenous volatility which is permitted to have arbitrary dependence with the exogenous noise. We identify the superdiffusive scaling exponent for the model, and prove a weak convergence result on the corresponding scale. W… ▽ More We prove anomalous-diffusion scaling for a one-dimensional stochastic kinetic dynamics, in which the stochastic drift is driven by an exogenous Bessel noise, and also includes endogenous volatility which is permitted to have arbitrary dependence with the exogenous noise. We identify the superdiffusive scaling exponent for the model, and prove a weak convergence result on the corresponding scale. We show how our result extends to admit, as exogenous noise processes, not only Bessel processes but more general processes satisfying certain asymptotic conditions. △ Less

Submitted 5 February, 2025; v1 submitted 22 January, 2024; originally announced January 2024.

Comments: Integrability assumption in Theorem 1.1 has been removed; Subsection 2.2, discussing the proof of the main results, has been added; 17 pages, 1 figure; for a short YouTube video describing the results, see https://youtu.be/O20plic5Ko8?si=-cg5XGdZlkO9WvYr

MSC Class: 60J60 (Primary); 60K50 (Secondary)

Matrix evaluations of noncommutative rational functions and Waring problems

Authors: Matej Brešar, Jurij Volčič

Abstract: Let $r$ be a nonconstant noncommutative rational function in $m$ variables over an algebraically closed field $K$ of characteristic 0. We show that for $n$ large enough, there exists an $X\in M_n(K)^m$ such that $r(X)$ has $n$ distinct and nonzero eigenvalues. This result is used to study the linear and multiplicative Waring problems for matrix algebras. Concerning the linear problem, we show that… ▽ More Let $r$ be a nonconstant noncommutative rational function in $m$ variables over an algebraically closed field $K$ of characteristic 0. We show that for $n$ large enough, there exists an $X\in M_n(K)^m$ such that $r(X)$ has $n$ distinct and nonzero eigenvalues. This result is used to study the linear and multiplicative Waring problems for matrix algebras. Concerning the linear problem, we show that for $n$ large enough, every matrix in $sl_n(K)$ can be written as $r(Y)-r(Z)$ for some $Y,Z\in M_n(K)^m$. We also discuss variations of this result for the case where $r$ is a noncommutative polynomial. Concerning the multiplicative problem, we show, among other results, that if $f$ and $g$ are nonconstant polynomials, then, for $n$ large enough, every nonscalar matrix in $GL_n(K)$ can be written as $f(Y)g(Z)$ for some $Y,Z\in M_n(K)^m$. △ Less

Submitted 21 January, 2024; originally announced January 2024.

Comments: 15 pages

f-zpd algebras and a multilinear Nullstellensatz

Authors: Ž. Bajuk, M. Brešar, P. Fagundes, A. Ioppolo

Abstract: Let $f=f(x_1,\dots,x_m)$ be a multilinear polynomial over a field $F$. An $F$-algebra $A$ is said to be $f$-zpd ($f$-zero product determined) if every $m$-linear functional $\varphi\colon A^{m}\rightarrow F$ which preserves zeros of $f$ is of the form $\varphi(a_1,\dots,a_m)=τ(f(a_1,\dots,a_m))$ for some linear functional $τ$ on $A$. We are primarily interested in the question whether the matrix a… ▽ More Let $f=f(x_1,\dots,x_m)$ be a multilinear polynomial over a field $F$. An $F$-algebra $A$ is said to be $f$-zpd ($f$-zero product determined) if every $m$-linear functional $\varphi\colon A^{m}\rightarrow F$ which preserves zeros of $f$ is of the form $\varphi(a_1,\dots,a_m)=τ(f(a_1,\dots,a_m))$ for some linear functional $τ$ on $A$. We are primarily interested in the question whether the matrix algebra $M_d(F)$ is $f$-zpd. While the answer is negative in general, we provide several families of polynomials for which it is positive. We also consider a related problem on the form of a multilinear polynomial $g=g(x_1,\dots,x_m)$ with the property that every zero of $f$ in $M_d(F)^{m}$ is a zero of $g$. Under the assumption that $m<2d-3$, we show that $g$ and $f$ are linearly dependent. △ Less

Submitted 23 October, 2023; originally announced October 2023.

MSC Class: 16R20; 16S50; 16U40; 15A86

Brownian motion with asymptotically normal reflection in unbounded domains: from transience to stability

Authors: Miha Brešar, Aleksandar Mijatović, Andrew Wade

Abstract: We quantify the asymptotic behaviour of multidimensional drifltess diffusions in domains unbounded in a single direction, with asymptotically normal reflections from the boundary. We identify the critical growth/contraction rates of the domain that separate stability, null recurrence and transience. In the stable case we prove existence and uniqueness of the invariant distribution and establish th… ▽ More We quantify the asymptotic behaviour of multidimensional drifltess diffusions in domains unbounded in a single direction, with asymptotically normal reflections from the boundary. We identify the critical growth/contraction rates of the domain that separate stability, null recurrence and transience. In the stable case we prove existence and uniqueness of the invariant distribution and establish the polynomial rate of decay of its tail. We also establish matching polynomial upper and lower bounds on the rate of convergence to stationarity in total variation. All exponents are explicit in the model parameters that determine the asymptotics of the growth rate of the domain, the interior covariance, and the reflection vector field. Proofs are probabilistic, and use upper and lower tail bounds for additive functionals up to return times to compact sets, for which we develop novel sub/supermartingale criteria, applicable to general continuous semimartingales. Narrowing domains fall outside of the standard literature, in part because boundary local time can accumulate arbitrarily rapidly. Establishing Feller continuity (essential for characterizing stability) thus requires an extension of the usual approach. Our recurrence/transience classification extends previous work on strictly normal reflections, and expands the range of phenomena observed across all dimensions. For all recurrent cases, we provide quantitative information through upper and lower bounds on tails of return times to compact sets (see https://www.youtube.com/watch?v=oDDDWdbPx74 for a short YouTube video describing the results). △ Less

Submitted 7 April, 2023; v1 submitted 13 March, 2023; originally announced March 2023.

Comments: Theorem 1.2(b) strengthened and its proof restructured, new references added, 50 pages, 3 figures, for a short YouTube video describing the results, see https://www.youtube.com/watch?v=oDDDWdbPx74

MSC Class: 60J60 (Primary); 60J25; 60J65 (Secondary)

Journal ref: Annals of Probability 2025, Vol. 53, No. 1, 175-222

Functional identities and their applications

Authors: Matej Brešar

Abstract: The paper surveys the theory of functional identities and its applications. No prior knowledge of the theory is required to follow the paper. The paper surveys the theory of functional identities and its applications. No prior knowledge of the theory is required to follow the paper. △ Less

Submitted 21 February, 2023; originally announced February 2023.

Comments: Accepted for publication in Bulletin of Mathematical Sciences

The Waring Problem for Matrix Algebras, II

Authors: Matej Brešar, Peter Šemrl

Abstract: Let $f$ bea noncommutativepolynomial of degree $m\ge 1$ over an algebraically closed field $F$ of characteristic $0$. If $n\ge m-1$ and $α_1,α_2,α_3$ are nonzero elements from $F$ such that $α_1+α_2+α_3=0$, then every trace zero $n\times n$ matrix over $F$ can be written as $α_1 A_1+α_2A_2+α_3A_3$ for some $A_i$ in the image of $f$ in $M_n(F)$. Let $f$ bea noncommutativepolynomial of degree $m\ge 1$ over an algebraically closed field $F$ of characteristic $0$. If $n\ge m-1$ and $α_1,α_2,α_3$ are nonzero elements from $F$ such that $α_1+α_2+α_3=0$, then every trace zero $n\times n$ matrix over $F$ can be written as $α_1 A_1+α_2A_2+α_3A_3$ for some $A_i$ in the image of $f$ in $M_n(F)$. △ Less

Submitted 10 February, 2023; originally announced February 2023.

Comments: Accepted for publication in Bull. London Math. Soc

Derivations and homomorphisms in commutator-simple algebras

Authors: J. Alaminos, M. Brešar, J. Extremera, M. L. C. Godoy, A. R. Villena

Abstract: We call an algebra $A$ commutator-simple if $[A,A]$ does not contain nonzero ideals of $A$. After providing several examples, we show that in these algebras derivations are determined by a condition that is applicable to the study of local derivations. This enables us to prove that every continuous local derivation $D\colon L^1(G)\to L^1(G)$, where $G$ is a unimodular locally compact group, is a d… ▽ More We call an algebra $A$ commutator-simple if $[A,A]$ does not contain nonzero ideals of $A$. After providing several examples, we show that in these algebras derivations are determined by a condition that is applicable to the study of local derivations. This enables us to prove that every continuous local derivation $D\colon L^1(G)\to L^1(G)$, where $G$ is a unimodular locally compact group, is a derivation. We also give some remarks on homomorphism-like maps in commutator-simple algebras. △ Less

Submitted 20 November, 2022; v1 submitted 7 November, 2022; originally announced November 2022.

MSC Class: 43A20; 47L10; 16W20; 16W25

Jordan maps and zero Lie product determined algebras

Authors: Matej Brešar

Abstract: Let $A$ be an algebra over a field $F$ with {\rm char}$(F)\ne 2$. If $A$ is generated as an algebra by $[[A,A],[A,A]]$, then for every skew-symmetric bilinear map $Φ:A\times A\to X$, where $X$ is an arbitrary vector space over $F$, the condition that $Φ(x^2,x)=0 $ for all $x\in A$ implies that $Φ(xy,z) +Φ(zx,y) + Φ(yz,x)=0$ for all $x,y,z\in A$. This is applicable to the question of whether $A$… ▽ More Let $A$ be an algebra over a field $F$ with {\rm char}$(F)\ne 2$. If $A$ is generated as an algebra by $[[A,A],[A,A]]$, then for every skew-symmetric bilinear map $Φ:A\times A\to X$, where $X$ is an arbitrary vector space over $F$, the condition that $Φ(x^2,x)=0 $ for all $x\in A$ implies that $Φ(xy,z) +Φ(zx,y) + Φ(yz,x)=0$ for all $x,y,z\in A$. This is applicable to the question of whether $A$ is zero Lie product determined, and is also used in proving that a Jordan homomorphism from $A$ onto a semiprime algebra $B$ is the sum of a homomorphism and an antihomomorphism. △ Less

Submitted 27 September, 2022; originally announced September 2022.

Journal ref: Turkish J. Math. 46 (2022), 1691-1698 (special volume dedicated to Vesselin Drensky on his 70th birthday)

Two-sided zero product determined algebras

Authors: Žan Bajuk, Matej Brešar

Abstract: An algebra $A$ is said to be two-sided zero product determined if every bilinear functional $\varphi:A\times A\to F$ satisfying $ \varphi(x,y)=0$ whenever $xy=yx=0$ is of the form $\varphi(x,y)=τ_1(xy) + τ_2(yx)$ for some linear functionals $τ_1,τ_2$ on $A$. We present some basic properties and equivalent definitions, examine connections with some properties of derivations, and as the main result… ▽ More An algebra $A$ is said to be two-sided zero product determined if every bilinear functional $\varphi:A\times A\to F$ satisfying $ \varphi(x,y)=0$ whenever $xy=yx=0$ is of the form $\varphi(x,y)=τ_1(xy) + τ_2(yx)$ for some linear functionals $τ_1,τ_2$ on $A$. We present some basic properties and equivalent definitions, examine connections with some properties of derivations, and as the main result prove that a finite-dimensional simple algebra that is not a division algebra is two-sided zero product determined if and only if it is separable. △ Less

Submitted 27 September, 2022; originally announced September 2022.

Journal ref: Linear Algebra Appl. 643, 2022, 125-136

Maps preserving two-sided zero products on Banach algebras

Authors: M. Brešar, M. L. C. Godoy, A. R. Villena

Abstract: Let $A$ and $B$ be Banach algebras with bounded approximate identities and let $Φ:A\to B$ be a surjective continuous linear map which preserves two-sided zero products (i.e., $Φ(a)Φ(b)=Φ(b)Φ(a)=0$ whenever $ab=ba=0$). We show that $Φ$ is a weighted Jordan homomorphism provided that $A$ is zero product determined and weakly amenable. These conditions are in particular fulfilled when $A$ is the grou… ▽ More Let $A$ and $B$ be Banach algebras with bounded approximate identities and let $Φ:A\to B$ be a surjective continuous linear map which preserves two-sided zero products (i.e., $Φ(a)Φ(b)=Φ(b)Φ(a)=0$ whenever $ab=ba=0$). We show that $Φ$ is a weighted Jordan homomorphism provided that $A$ is zero product determined and weakly amenable. These conditions are in particular fulfilled when $A$ is the group algebra $L^1(G)$ with $G$ any locally compact group. We also study a more general type of continuous linear maps $Φ:A\to B$ that satisfy $Φ(a)Φ(b)+Φ(b)Φ(a)=0$ whenever $ab=ba=0$. We show in particular that if $Φ$ is surjective and $A$ is a $C^*$-algebra, then $Φ$ is a weighted Jordan homomorphism. △ Less

Submitted 16 December, 2021; originally announced December 2021.

MSC Class: 43A20; 46H05; 46L05

Automorphisms and derivations of finite-dimensional algebras

Authors: Matej Brešar

Abstract: Let $A$ be a finite-dimensional algebra over a field $F$ with char$(F)\ne 2$. We show that a linear map $D:A\to A$ satisfying $xD(x)x\in [A,A]$ for every $x\in A$ is the sum of an inner derivation and a linear map whose image lies in the radical of $A$. Assuming additionally that $A$ is semisimple and char$(F)\ne 3$, we show that a linear map $T:A\to A$ satisfies $T(x)^3- x^3 \in [A,A]$ for every… ▽ More Let $A$ be a finite-dimensional algebra over a field $F$ with char$(F)\ne 2$. We show that a linear map $D:A\to A$ satisfying $xD(x)x\in [A,A]$ for every $x\in A$ is the sum of an inner derivation and a linear map whose image lies in the radical of $A$. Assuming additionally that $A$ is semisimple and char$(F)\ne 3$, we show that a linear map $T:A\to A$ satisfies $T(x)^3- x^3 \in [A,A]$ for every $x\in A$ if and only if there exist a Jordan automorphism $J$ of $A$ lying in the multiplication algebra of $A$ and a central element $α$ satisfying $α^3=1$ such that $T(x)=αJ(x)$ for all $x\in A$. These two results are applied to the study of local derivations and local (Jordan) automorphisms. In particular, the second result is used to prove that every local Jordan automorphism of a finite-dimensional simple algebra $A$ (over a field $F$ with char$(F)\ne 2,3$) is a Jordan automorphism. △ Less

Submitted 30 November, 2021; originally announced November 2021.

Comments: 15 pages

Weighted Jordan homomorphisms

Authors: Matej Brešar, Maria Luisa C. Godoy

Abstract: Let $A$ and $B$ be unital rings. An additive map $T:A\to B$ is called a weighted Jordan homomorphism if $c=T(1)$ is an invertible central element and $cT(x^2) = T(x)^2$ for all $x\in A$. We provide assumptions, which are in particular fulfilled when $A=B=M_n(R)$ with $n\ge 2$ and $R$ any unital ring with $\frac{1}{2}$, under which every surjective additive map $T:A\to B$ with the property that… ▽ More Let $A$ and $B$ be unital rings. An additive map $T:A\to B$ is called a weighted Jordan homomorphism if $c=T(1)$ is an invertible central element and $cT(x^2) = T(x)^2$ for all $x\in A$. We provide assumptions, which are in particular fulfilled when $A=B=M_n(R)$ with $n\ge 2$ and $R$ any unital ring with $\frac{1}{2}$, under which every surjective additive map $T:A\to B$ with the property that $T(x)T(y)+T(y)T(x)=0$ whenever $xy=yx=0$ is a weighted Jordan homomorphism. Further, we show that if $A$ is a prime ring with char$(A)\ne 2,3,5$, then a bijective additive map $T:A\to A$ is a weighted Jordan homomorphism provided that there exists an additive map $S:A\to A$ such that $S(x^2)=T(x)^2$ for all $x\in A$. △ Less

Submitted 30 November, 2021; originally announced November 2021.

Comments: 14 pages

The Waring Problem for Matrix Algebras

Authors: Matej Bresar, Peter Semrl

Abstract: If a noncommutative polynomial $f$ is neither an identity nor a central polynomial of $\mathcal A=M_n(\C)$, then every trace zero matrix in $\mathcal A$ can be written as a sum of two matrices from $f(\mathcal A)-f(\mathcal A)$. Moreover, "two" cannot be replaced by "one". If a noncommutative polynomial $f$ is neither an identity nor a central polynomial of $\mathcal A=M_n(\C)$, then every trace zero matrix in $\mathcal A$ can be written as a sum of two matrices from $f(\mathcal A)-f(\mathcal A)$. Moreover, "two" cannot be replaced by "one". △ Less

Submitted 19 March, 2021; originally announced March 2021.

Commutators and images of noncommutative polynomials

Authors: Matej Brešar

Abstract: Let $A$ be an algebra and let $f$ be a nonconstant noncommutative polynomial. In the first part of the paper, we consider the relationship between $[A,A]$, the linear span of commutators in $A$, and span$f(A)$, the linear span of the image of $f$ in $A$. In particular, we show that $[A,A]=A$ implies span$f(A)=A$. In the second part, we establish some Waring type results for images of polynomials.… ▽ More Let $A$ be an algebra and let $f$ be a nonconstant noncommutative polynomial. In the first part of the paper, we consider the relationship between $[A,A]$, the linear span of commutators in $A$, and span$f(A)$, the linear span of the image of $f$ in $A$. In particular, we show that $[A,A]=A$ implies span$f(A)=A$. In the second part, we establish some Waring type results for images of polynomials. For example, we show that if $C$ is a commutative unital algebra over a field $F$ of characteristic $0$, $A$ is the matrix algebra $M_n(C)$, and the polynomial $f$ is neither an identity nor a central polynomial of $M_n(F)$, then every commutator in $A$ can be written as a difference of two elements, each of which is a sum of $7788$ elements from $f(A)$ (if $C=F$ is an algebraically closed field, then $4$ elements suffice). Similar results are obtained for some other algebras, in particular for the algebra $B(H)$ of all bounded linear operators on a Hilbert space $H$. △ Less

Submitted 24 July, 2020; v1 submitted 28 January, 2020; originally announced January 2020.

Comments: 18 pages

Functional identities and zero Lie product determined Banach algebras

Authors: Matej Brešar

Abstract: Three problems connecting functional identities to the recently introduced notion of a zero Lie product determined Banach algebra are discussed. The first one concerns commuting linear maps, the second one concerns derivations that preserve commutativity, and the third one concerns bijective commutativity preserving linear maps. Three problems connecting functional identities to the recently introduced notion of a zero Lie product determined Banach algebra are discussed. The first one concerns commuting linear maps, the second one concerns derivations that preserve commutativity, and the third one concerns bijective commutativity preserving linear maps. △ Less

Submitted 17 December, 2019; originally announced December 2019.

On, Around, and Beyond Frobenius' Theorem on Division Algebras

Authors: Matej Brešar, Victor S. Shulman

Abstract: Frobenius' Theorem states that the algebra of quaternions $\mathbb H$ is, besides the fields of real and complex numbers, the only finite-dimensional real division algebra. We first give a short elementary proof of this theorem, then characterize finite-dimensional real algebras that contain either a copy of $\mathbb C$, a copy of $\mathbb H$, or a pair of anticommuting invertible elements through… ▽ More Frobenius' Theorem states that the algebra of quaternions $\mathbb H$ is, besides the fields of real and complex numbers, the only finite-dimensional real division algebra. We first give a short elementary proof of this theorem, then characterize finite-dimensional real algebras that contain either a copy of $\mathbb C$, a copy of $\mathbb H$, or a pair of anticommuting invertible elements through the dimensions of their (left) ideals, and finally consider the problem of lifting algebraic elements modulo ideals. △ Less

Submitted 17 December, 2019; originally announced December 2019.

Centrally Stable Algebras

Authors: Matej Brešar, Ilja Gogić

Abstract: We define an algebra $A$ to be centrally stable if, for every epimorhism $\varphi$ from $A$ to another algebra $B$, the center $Z(B)$ of $B$ is equal to $\varphi(Z(A))$, the image of the center of $A$. After providing some examples and basic observations, we consider in somewhat greater detail central stability in tensor products of algebras, and finally establish our main result which states that… ▽ More We define an algebra $A$ to be centrally stable if, for every epimorhism $\varphi$ from $A$ to another algebra $B$, the center $Z(B)$ of $B$ is equal to $\varphi(Z(A))$, the image of the center of $A$. After providing some examples and basic observations, we consider in somewhat greater detail central stability in tensor products of algebras, and finally establish our main result which states that a finite-dimensional unital algebra $A$ over a perfect field $F$ is centrally stable if and only if $A$ is isomorphic to a direct product of algebras of the form $C_i\otimes_{F_i}A_i$, where $F_i$ is a field extension of $F$, $C_i$ is a commutative $F_i$-algebra, and $A_i$ is a central simple $F_i$-algebra. △ Less

Submitted 25 July, 2019; v1 submitted 4 May, 2019; originally announced May 2019.

Comments: 15 pages, to appear in J. of Algebra

MSC Class: 16D70; 16K20; 16N20; 16U70

Zero Jordan product determined Banach algebras

Authors: J. Alaminos, M. Brešar, J. Extremera, A. R. Villena

Abstract: A Banach algebra $A$ is said to be a zero Jordan product determined Banach algebra if every continuous bilinear map $\varphi\colon A\times A\to X$, where $X$ is an arbitrary Banach space, which satisfies $\varphi(a,b)=0$ whenever $a$, $b\in A$ are such that $ab+ba=0$, is of the form $\varphi(a,b)=σ(ab+ba)$ for some continuous linear map $σ$. We show that all $C^*$-algebras and all group algebras… ▽ More A Banach algebra $A$ is said to be a zero Jordan product determined Banach algebra if every continuous bilinear map $\varphi\colon A\times A\to X$, where $X$ is an arbitrary Banach space, which satisfies $\varphi(a,b)=0$ whenever $a$, $b\in A$ are such that $ab+ba=0$, is of the form $\varphi(a,b)=σ(ab+ba)$ for some continuous linear map $σ$. We show that all $C^*$-algebras and all group algebras $L^1(G)$ of amenable locally compact groups have this property, and also discuss some applications. △ Less

Submitted 13 February, 2019; originally announced February 2019.

Journal ref: J. Aust. Math. Soc. 111 (2021) 145-158

Biderivations and commuting linear maps on Lie algebras

Authors: Matej Brešar, Kaiming Zhao

Abstract: Let $L$ be a Lie algebra over a field of characteristic different from $2$. If $L$ is perfect and centerless, then every skew-symmetric biderivation $δ:L\times L\to L$ is of the form $δ(x,y)=γ([x,y])$ for all $x,y\in L$, where $γ\in{\rm Cent}(L)$, the centroid of $L$. Under a milder assumption that $[c,[L,L]]=\{0\}$ implies $c=0$, every commuting linear map from $L$ to $L$ lies in ${\rm Cent}(L)$.… ▽ More Let $L$ be a Lie algebra over a field of characteristic different from $2$. If $L$ is perfect and centerless, then every skew-symmetric biderivation $δ:L\times L\to L$ is of the form $δ(x,y)=γ([x,y])$ for all $x,y\in L$, where $γ\in{\rm Cent}(L)$, the centroid of $L$. Under a milder assumption that $[c,[L,L]]=\{0\}$ implies $c=0$, every commuting linear map from $L$ to $L$ lies in ${\rm Cent}(L)$. These two results are special cases of our main theorems which concern biderivations and commuting linear maps having their ranges in an $L$-module. We provide a variety of examples, some of them showing the necessity of our assumptions and some of them showing that our results cover several results from the literature. △ Less

Submitted 3 January, 2018; originally announced January 2018.

MSC Class: 17B05; 17B40; 16R60

Journal ref: J. Lie Theory, 28 (2018), No. 3, 885--900

Zero Lie product determined Banach algebras, II

Authors: J. Alaminos, M. Bresar, J. Extremera, A. R. Villena

Abstract: A Banach algebra $A$ is said to be zero Lie product determined if every continuous bilinear functional $\varphi \colon A\times A\to \mathbb{C}$ satisfying $\varphi(a,b)=0$ whenever $ab=ba$ is of the form $\varphi(a,b)=ω(ab-ba)$ for some $ω\in A^*$. We prove that $A$ has this property provided that any of the following three conditions holds: (i) $A$ is a weakly amenable Banach algebra with propert… ▽ More A Banach algebra $A$ is said to be zero Lie product determined if every continuous bilinear functional $\varphi \colon A\times A\to \mathbb{C}$ satisfying $\varphi(a,b)=0$ whenever $ab=ba$ is of the form $\varphi(a,b)=ω(ab-ba)$ for some $ω\in A^*$. We prove that $A$ has this property provided that any of the following three conditions holds: (i) $A$ is a weakly amenable Banach algebra with property $\mathbb{B}$ and having a bounded approximate identity, (ii) every continuous cyclic Jordan derivation from $A$ into $A^*$ is an inner derivation, (iii) $A$ is the algebra of all $n\times n$ matrices, where $n\ge 2$, over a cyclically amenable Banach algebra with a bounded approximate identity. △ Less

Submitted 27 September, 2017; originally announced September 2017.

Skolem-Noether algebras

Authors: Matej Brešar, Christoph Hanselka, Igor Klep, Jurij Volčič

Abstract: An algebra $S$ is called a Skolem-Noether algebra (SN algebra for short) if for every central simple algebra $R$, every homomorphism $R\to R\otimes S$ extends to an inner automorphism of $R\otimes S$. One of the important properties of such an algebra is that each automorphism of a matrix algebra over $S$ is the composition of an inner automorphism with an automorphism of $S$. The bulk of the pape… ▽ More An algebra $S$ is called a Skolem-Noether algebra (SN algebra for short) if for every central simple algebra $R$, every homomorphism $R\to R\otimes S$ extends to an inner automorphism of $R\otimes S$. One of the important properties of such an algebra is that each automorphism of a matrix algebra over $S$ is the composition of an inner automorphism with an automorphism of $S$. The bulk of the paper is devoted to finding properties and examples of SN algebras. The classical Skolem-Noether theorem implies that every central simple algebra is SN. In this article it is shown that actually so is every semilocal, and hence every finite-dimensional algebra. Not every domain is SN, but, for instance, unique factorization domains, polynomial algebras and free algebras are. Further, an algebra $S$ is SN if and only if the power series algebra $S[[ξ]]$ is SN. △ Less

Submitted 27 June, 2017; originally announced June 2017.

Journal ref: J. Algebra 498 (2018) 294-314

Zero product determined Lie algebras

Authors: Matej Bresar, Xiangqian Guo, Genqiang Liu, Rencai Lu, Kaiming Zhao

Abstract: A Lie algebra $L$ over a field $\mathbb{F}$ is said to be zero product determined (zpd) if every bilinear map $f:L\times L\to \mathbb{F}$ with the property that $f(x,y)=0$ whenever $x$ and $y$ commute is a coboundary. The main goal of the paper is to determine whether or not some important Lie algebras are zpd. We show that the Galilei Lie algebra $\mathfrak{sl}_2\ltimes V$, where $V$ is a simple… ▽ More A Lie algebra $L$ over a field $\mathbb{F}$ is said to be zero product determined (zpd) if every bilinear map $f:L\times L\to \mathbb{F}$ with the property that $f(x,y)=0$ whenever $x$ and $y$ commute is a coboundary. The main goal of the paper is to determine whether or not some important Lie algebras are zpd. We show that the Galilei Lie algebra $\mathfrak{sl}_2\ltimes V$, where $V$ is a simple $\mathfrak{sl}_2$-module, is zpd if and only if $\dim V =2$ or $\dim V$ is odd. The class of zpd Lie algebras also includes the quantum torus Lie algebras $\mathcal{L}_q$ and $\mathcal{L}^+_q$, the untwisted affine Lie algebras, the Heisenberg Lie algebras, and all Lie algebras of dimension at most $3$, while the class of non-zpd Lie algebras includes the ($4$-dimensional) aging Lie algebra $\mathfrak {age}(1)$ and all Lie algebras of dimension more than $3$ in which only linearly dependent elements commute. We also give some evidence of the usefulness of the concept of a zpd Lie algebra by using it in the study of commutativity preserving linear maps. △ Less

Submitted 23 October, 2016; originally announced October 2016.

Comments: 25 pages

Journal ref: Eurapean J. Math., June 2019, Volume 5, Issue 2, 424-453

Zero Lie product determined Banach algebras

Authors: J. Alaminos, M. Brešar, J. Extremera, A. R. Villena

Abstract: A Banach algebra $A$ is said to be zero Lie product determined if every continuous bilinear functional $\varphi \colon A\times A\to \mathbb{C}$ with the property that $\varphi(a,b)=0$ whenever $a$ and $b$ commute is of the form $\varphi(a,b)=τ(ab-ba)$ for some $τ\in A^*$. In the first part of the paper we give some general remarks on this class of algebras. In the second part we consider amenable… ▽ More A Banach algebra $A$ is said to be zero Lie product determined if every continuous bilinear functional $\varphi \colon A\times A\to \mathbb{C}$ with the property that $\varphi(a,b)=0$ whenever $a$ and $b$ commute is of the form $\varphi(a,b)=τ(ab-ba)$ for some $τ\in A^*$. In the first part of the paper we give some general remarks on this class of algebras. In the second part we consider amenable Banach algebras and show that all group algebras $L^1(G)$ with $G$ an amenable locally compact group are zero Lie product determined. △ Less

Submitted 12 October, 2016; originally announced October 2016.

Comments: 10 pages

Functional identities on matrix algebras

Authors: Matej Brešar, Špela Špenko

Abstract: Complete solutions of functional identities $\sum_{k\in K}F_k(\bar{x}_m^k)x_k = \sum_{l\in L}x_lG_l(\bar{x}_m^l)$ on the matrix algebra $M_n(\mathbb{F})$ are given. The nonstandard parts of these solutions turn out to follow from the Cayley-Hamilton identity. Complete solutions of functional identities $\sum_{k\in K}F_k(\bar{x}_m^k)x_k = \sum_{l\in L}x_lG_l(\bar{x}_m^l)$ on the matrix algebra $M_n(\mathbb{F})$ are given. The nonstandard parts of these solutions turn out to follow from the Cayley-Hamilton identity. △ Less

Submitted 9 November, 2014; v1 submitted 21 March, 2014; originally announced March 2014.

Comments: 20 pages, comments welcome, version 2- applications have been added

Functional identities of one variable

Authors: Matej Brešar, Špela Špenko

Abstract: Let $A$ be a centrally closed prime algebra over a characteristic 0 field $k$, and let $q:A\to A$ be the trace of a $d$-linear map (i.e., $q(x)=M(x,...,x)$ where $M:A^d\to A$ is a $d$-linear map). If $[q(x),x]=0$ for every $x\in A$, then $q$ is of the form $q(x) =\sum_{i=0}^{d} μ_i(x)x^i$ where each $μ_i$ is the trace of a $(d-i)$-linear map from $A$ into $k$. For infinite dimensional algebras and… ▽ More Let $A$ be a centrally closed prime algebra over a characteristic 0 field $k$, and let $q:A\to A$ be the trace of a $d$-linear map (i.e., $q(x)=M(x,...,x)$ where $M:A^d\to A$ is a $d$-linear map). If $[q(x),x]=0$ for every $x\in A$, then $q$ is of the form $q(x) =\sum_{i=0}^{d} μ_i(x)x^i$ where each $μ_i$ is the trace of a $(d-i)$-linear map from $A$ into $k$. For infinite dimensional algebras and algebras of dimension $>d^2$ this was proved by Lee, Lin, Wang, and Wong in 1997. In this paper we cover the remaining case where the dimension is $ \le d^2$. Using this result we are able to handle general functional identities of one variable on $A$; more specifically, we describe the traces of $d$-linear maps $q_i:A\to A$ that satisfy $\sum_{i=0}^m x^i q_i(x)x^{m-i}\in k$ for every $x\in A$. △ Less

Submitted 8 July, 2013; originally announced July 2013.

Comments: 10 pages

Derivations preserving quasinilpotent elements

Authors: J. Alaminos, M. Brešar, J. Extremera, Š. Špenko, A. R. Villena

Abstract: We consider a Banach algebra $A$ with the property that, roughly speaking, sufficiently many irreducible representations of $A$ on nontrivial Banach spaces do not vanish on all square zero elements. The class of Banach algebras with this property turns out to be quite large -- it includes $C^*$-algebras, group algebras on arbitrary locally compact groups, commutative algebras, $L(X)$ for any Banac… ▽ More We consider a Banach algebra $A$ with the property that, roughly speaking, sufficiently many irreducible representations of $A$ on nontrivial Banach spaces do not vanish on all square zero elements. The class of Banach algebras with this property turns out to be quite large -- it includes $C^*$-algebras, group algebras on arbitrary locally compact groups, commutative algebras, $L(X)$ for any Banach space $X$, and various other examples. Our main result states that every derivation of $A$ that preserves the set of quasinilpotent elements has its range in the radical of $A$. △ Less

Submitted 8 July, 2013; originally announced July 2013.

Comments: 6 pages

Quasi-identities on matrices and the Cayley-Hamilton polynomial

Authors: Matej Brešar, Claudio Procesi, Špela Špenko

Abstract: We consider certain functional identities on the matrix algebra $M_n$ that are defined similarly as the trace identities, except that the "coefficients" are arbitrary polynomials, not necessarily those expressible by the traces. The main issue is the question of whether such an identity is a consequence of the Cayley-Hamilton identity. We show that the answer is affirmative in several special case… ▽ More We consider certain functional identities on the matrix algebra $M_n$ that are defined similarly as the trace identities, except that the "coefficients" are arbitrary polynomials, not necessarily those expressible by the traces. The main issue is the question of whether such an identity is a consequence of the Cayley-Hamilton identity. We show that the answer is affirmative in several special cases, and, moreover, for every such an identity $P$ and every central polynomial $c$ with zero constant term there exists $m\in\mathbb{N}$ such that the affirmative answer holds for $c^mP$. In general, however, the answer is negative. We prove that there exist antisymmetric identities that do not follow from the Cayley-Hamilton identity, and give a complete description of a certain family of such identities. △ Less

Submitted 28 January, 2014; v1 submitted 19 December, 2012; originally announced December 2012.

Comments: Version 2: 24 pages. This paper is a replacement of the paper "Quasi-identities and the Cayley-Hamilton quasi-polynomial" by the first and the third author. The changes are substantial. Version 3: 27 pages. The title has been changed slightly, the exposition improved, references added, and some typos removed

Central polynomials for matrices over finite fields

Authors: Matej Brešar, Vesselin Drensky

Abstract: Let $c(x_1,...,x_d)$ be a multihomogeneous central polynomial for the $n\times n$ matrix algebra $M_n(K)$ over an infinite field $K$ of positive characteristic $p$. We show that there exists a multihomogeneous polynomial $c_0(x_1,...,x_d)$ of the same degree and with coefficients in the prime field $F_p$ which is central for the algebra $M_n(F)$ for any (possibly finite) field $F$ of characteristi… ▽ More Let $c(x_1,...,x_d)$ be a multihomogeneous central polynomial for the $n\times n$ matrix algebra $M_n(K)$ over an infinite field $K$ of positive characteristic $p$. We show that there exists a multihomogeneous polynomial $c_0(x_1,...,x_d)$ of the same degree and with coefficients in the prime field $F_p$ which is central for the algebra $M_n(F)$ for any (possibly finite) field $F$ of characteristic $p$. The proof is elementary and uses standard combinatorial techniques only. △ Less

Submitted 22 May, 2012; originally announced May 2012.

Comments: 5 pages

MSC Class: 16R10; 16R30

On Lie and associative algebras containing inner derivations

Authors: M. Brešar, Š. Špenko

Abstract: 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 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$. △ Less

Submitted 23 April, 2012; originally announced April 2012.

Comments: 11 pages, accepted for publication in Linear Algebra Appl

Maps preserving zeros of a polynomial

Authors: J. Alaminos, M. Brešar, Š. Špenko, A. R. Villena

Abstract: Let $\A$ be an algebra and let $f(x_1,...,x_d)$ be a multilinear polynomial in noncommuting indeterminates $x_i$. We consider the problem of describing linear maps $φ:\A\to \A$ that preserve zeros of $f$. Under certain technical restrictions we solve the problem for general polynomials $f$ in the case where $\A=M_n(F)$. We also consider quite general algebras $\A$, but only for specific polynomial… ▽ More Let $\A$ be an algebra and let $f(x_1,...,x_d)$ be a multilinear polynomial in noncommuting indeterminates $x_i$. We consider the problem of describing linear maps $φ:\A\to \A$ that preserve zeros of $f$. Under certain technical restrictions we solve the problem for general polynomials $f$ in the case where $\A=M_n(F)$. We also consider quite general algebras $\A$, but only for specific polynomials $f$. △ Less

Submitted 23 April, 2012; originally announced April 2012.

Comments: 11 pages, accepted for publication in Linear Algebra Appl

Lie Superautomorphisms on Associative Algebras, II

Authors: Y. Bahturin, M. Brešar, Š. Špenko

Abstract: Lie superautomorphisms of prime associative superalgebras are considered. A definitive result is obtained for central simple superalgebras: their Lie superautomorphisms are of standard forms, except when the dimension of the superalgebra in question is 2 or 4. Lie superautomorphisms of prime associative superalgebras are considered. A definitive result is obtained for central simple superalgebras: their Lie superautomorphisms are of standard forms, except when the dimension of the superalgebra in question is 2 or 4. △ Less

Submitted 23 April, 2012; originally announced April 2012.

Comments: 19 pages, accepted for publication in Algebr. Represent. Theory

Identifying derivations through the spectra of their values

Authors: M. Brešar, B. Magajna, Š. Špenko

Abstract: We consider the relationship between derivations $d$ and $g$ of a Banach algebra $B$ that satisfy $\s(g(x)) \subseteq \s(d(x))$ for every $x\in B$, where $\s(\, . \,)$ stands for the spectrum. It turns out that in some basic situations, say if $B=B(X)$, the only possibilities are that $g=d$, $g=0$, and, if $d$ is an inner derivation implemented by an algebraic element of degree 2, also $g=-d$. The… ▽ More We consider the relationship between derivations $d$ and $g$ of a Banach algebra $B$ that satisfy $\s(g(x)) \subseteq \s(d(x))$ for every $x\in B$, where $\s(\, . \,)$ stands for the spectrum. It turns out that in some basic situations, say if $B=B(X)$, the only possibilities are that $g=d$, $g=0$, and, if $d$ is an inner derivation implemented by an algebraic element of degree 2, also $g=-d$. The conclusions in more complex classes of algebras are not so simple, but are of a similar spirit. A rather definitive result is obtained for von Neumann algebras. In general $C^*$-algebras we have to make some adjustments, in particular we restrict our attention to inner derivations implemented by selfadjoint elements. We also consider a related condition $\|[b,x]\|\leq M\|[a,x]\|$ for all selfadjoint elements $x$ from a $C^*$-algebra $B$, where $a,b\in B$ and $a$ is normal. △ Less

Submitted 22 April, 2012; originally announced April 2012.

Comments: 12 pages

Determining elements in Banach algebras through spectral properties

Authors: M. Brešar, Š. Špenko

Abstract: Let $A$ be a Banach algebra. By $σ(x)$ and $r(x)$ we denote the spectrum and the spectral radius of $x\in A$, respectively. We consider the relationship between elements $a,b\in A$ that satisfy one of the following two conditions: (1) $σ(ax) = σ(bx)$ for all $x\in A$, (2) $r(ax) \le r(bx)$ for all $x\in A$. In particular we show that (1) implies $a=b$ if $A$ is a $C^*$-algebra, and (2) implies… ▽ More Let $A$ be a Banach algebra. By $σ(x)$ and $r(x)$ we denote the spectrum and the spectral radius of $x\in A$, respectively. We consider the relationship between elements $a,b\in A$ that satisfy one of the following two conditions: (1) $σ(ax) = σ(bx)$ for all $x\in A$, (2) $r(ax) \le r(bx)$ for all $x\in A$. In particular we show that (1) implies $a=b$ if $A$ is a $C^*$-algebra, and (2) implies $a\in \mathbb C b$ if $A$ is a prime $C^*$-algebra. As an application of the results concerning the conditions (1) and (2) we obtain some spectral characterizations of multiplicative maps. △ Less

Submitted 22 April, 2012; originally announced April 2012.

Comments: 10 pages, accepted for publication in J. Math. Anal. Appl

Group gradings on finitary simple Lie algebras

Authors: Yuri Bahturin, Matej Brešar, Mikhail Kochetov

Abstract: We classify, up to isomorphism, all gradings by an arbitrary abelian group on simple finitary Lie algebras of linear transformations (special linear, orthogonal and symplectic) on infinite-dimensional vector spaces over an algebraically closed field of characteristic different from 2. We classify, up to isomorphism, all gradings by an arbitrary abelian group on simple finitary Lie algebras of linear transformations (special linear, orthogonal and symplectic) on infinite-dimensional vector spaces over an algebraically closed field of characteristic different from 2. △ Less

Submitted 30 November, 2012; v1 submitted 14 June, 2011; originally announced June 2011.

Comments: Several typographical errors have been corrected

MSC Class: 17B70 (Primary) 16R60; 16W50; 17B60 (Secondary)

Journal ref: International Journal of Algebra and Computation, 22, no. 5 (2012), 1250046, 46 pp

A local-global principle for linear dependence of noncommutative polynomials

Authors: Matej Bresar, Igor Klep

Abstract: A set of polynomials in noncommuting variables is called locally linearly dependent if their evaluations at tuples of matrices are always linearly dependent. By a theorem of Camino, Helton, Skelton and Ye, a finite locally linearly dependent set of polynomials is linearly dependent. In this short note an alternative proof based on the theory of polynomial identities is given. The method of the pro… ▽ More A set of polynomials in noncommuting variables is called locally linearly dependent if their evaluations at tuples of matrices are always linearly dependent. By a theorem of Camino, Helton, Skelton and Ye, a finite locally linearly dependent set of polynomials is linearly dependent. In this short note an alternative proof based on the theory of polynomial identities is given. The method of the proof yields generalizations to directional local linear dependence and evaluations in general algebras over fields of arbitrary characteristic. A main feature of the proof is that it makes it possible to deduce bounds on the size of the matrices where the (directional) local linear dependence needs to be tested in order to establish linear dependence. △ Less

Submitted 9 March, 2011; originally announced March 2011.

Comments: 8 pages

MSC Class: Primary 16R50; 08B20; Secondary 16W10

Journal ref: Israel J. Math. 193 (2013), 71-82

On locally complex algebras and low-dimensional Cayley-Dickson algebras

Authors: Matej Bresar, Peter Semrl, Spela Spenko

Abstract: The paper begins with short proofs of classical theorems by Frobenius and (resp.) Zorn on associative and (resp.) alternative real division algebras. These theorems characterize the first three (resp. four) Cayley-Dickson algebras. Then we introduce and study the class of real unital nonassociative algebras in which the subalgebra generated by any nonscalar element is isomorphic to C. We call them… ▽ More The paper begins with short proofs of classical theorems by Frobenius and (resp.) Zorn on associative and (resp.) alternative real division algebras. These theorems characterize the first three (resp. four) Cayley-Dickson algebras. Then we introduce and study the class of real unital nonassociative algebras in which the subalgebra generated by any nonscalar element is isomorphic to C. We call them locally complex algebras. In particular, we describe all such algebras that have dimension at most 4. Our main motivation, however, for introducing locally complex algebras is that this concept makes it possible for us to extend Frobenius' and Zorn's theorems in a way that it also involves the fifth Cayley-Dickson algebra, the sedenions. △ Less

Submitted 25 November, 2010; v1 submitted 11 October, 2010; originally announced October 2010.

Comments: Some changes suggested by the referee, accepted for publication in Journal of Algebra

MSC Class: 17A35; 17A45; 17A70; 17D05

An alternative approach to the structure theory of PI-rings

Authors: Matej Bresar

Abstract: We expose a rather simple and direct approach to the structure theory of prime PI-rings ("Posner's theorem"), based on fundamental properties of the extended centroid of a prime ring. We expose a rather simple and direct approach to the structure theory of prime PI-rings ("Posner's theorem"), based on fundamental properties of the extended centroid of a prime ring. △ Less

Submitted 27 March, 2010; originally announced March 2010.

A Note on Values of Noncommutative Polynomials

Authors: Matej Bresar, Igor Klep

Abstract: We find a class of algebras A satisfying the following property: for every nontrivial noncommutative polynomial, the linear span of all its values in A equals A. This class includes the algebras of all bounded and all compact operators on an infinite dimensional Hilbert space. We find a class of algebras A satisfying the following property: for every nontrivial noncommutative polynomial, the linear span of all its values in A equals A. This class includes the algebras of all bounded and all compact operators on an infinite dimensional Hilbert space. △ Less

Submitted 14 September, 2009; originally announced September 2009.

Comments: 4 pages

MSC Class: 08B20; 16R99; 47L30

Journal ref: Proc. Amer. Math. Soc. 138 (2010), no. 7, 2375-2379

An elementary approach to Wedderburn's structure theory

Authors: Matej Bresar

Abstract: Wedderburn's theorem on the structure of finite dimensional semisimple algebras is proved by using minimal prerequisites. Wedderburn's theorem on the structure of finite dimensional semisimple algebras is proved by using minimal prerequisites. △ Less

Submitted 1 February, 2009; originally announced February 2009.

MSC Class: 16K20

Values of Noncommutative Polynomials, Lie Skew-Ideals and the Tracial Nullstellensatz

Authors: Matej Bresar, Igor Klep

Abstract: A subspace of an algebra with involution is called a Lie skew-ideal if it is closed under Lie products with skew-symmetric elements. Lie skew-ideals are classified in central simple algebras with involution (there are eight of them for involutions of the first kind and four for involutions of the second kind) and this classification result is used to characterize noncommutative polynomials via t… ▽ More A subspace of an algebra with involution is called a Lie skew-ideal if it is closed under Lie products with skew-symmetric elements. Lie skew-ideals are classified in central simple algebras with involution (there are eight of them for involutions of the first kind and four for involutions of the second kind) and this classification result is used to characterize noncommutative polynomials via their values in these algebras. As an application, we deduce that a polynomial is a sum of commutators and a polynomial identity of $d\times d$ matrices if and only if all of its values in the algebra of $d\times d$ matrices have zero trace. △ Less

Submitted 9 October, 2008; originally announced October 2008.

Comments: 20 pages

MSC Class: 16R50 (Primary); 16W10 (Secondary)

Journal ref: Math. Res. Lett. 16 (2009), no. 4, 605-626