Showing 1–19 of 19 results for author: Ferreira, B L M

Unraveling Functional Equations in Composition Algebra: Resolving Conjectures and Examining Implications

Authors: Daniel Kawai, Bruno Leonardo Macedo Ferreira

Abstract: We address the conjectures left by the recent article by Ferreira et al. titled ``Commuting maps and identities with inverses on alternative division rings.'' We also present an example showing the necessity of the conditions of the results that answer the conjectures. We address the conjectures left by the recent article by Ferreira et al. titled ``Commuting maps and identities with inverses on alternative division rings.'' We also present an example showing the necessity of the conditions of the results that answer the conjectures. △ Less

Submitted 16 March, 2024; originally announced March 2024.

Comments: 13

MSC Class: 16K20; 16W10

Exploring Functional Identities: From Division Rings to Matrix Algebras

Authors: Daniel Kawai, Bruno Leonardo Macedo Ferreira

Abstract: In this paper, we tackle unresolved inquiries by Ferreira et al. \cite{bruno} in their recent publication, ``Functional Identity on Division Algebras". We delve into the intricate behavior of additive functions on matrix algebras over division rings through rigorous analysis and theorem-proving. Our findings offer valuable insights into the nature of these functions and their implications for alge… ▽ More In this paper, we tackle unresolved inquiries by Ferreira et al. \cite{bruno} in their recent publication, ``Functional Identity on Division Algebras". We delve into the intricate behavior of additive functions on matrix algebras over division rings through rigorous analysis and theorem-proving. Our findings offer valuable insights into the nature of these functions and their implications for algebraic structures. △ Less

Submitted 16 March, 2024; originally announced March 2024.

Comments: 10

MSC Class: 16K20; 16R60

*-Jordan-type maps on alternative *-algebras

Authors: Aline J. O. Andrade, Bruno L. M. Ferreira, Liudmila Sabinina

Abstract: Let A and A' be two alternative *-algebras with identities 1_A and 1_A', respectively, and e_1 and e_2 = 1_A - e_1 nontrivial symmetric idempotents in A. In this paper we study the characterization of multiplicative *-Jordan-type maps on alternative algebras. Let A and A' be two alternative *-algebras with identities 1_A and 1_A', respectively, and e_1 and e_2 = 1_A - e_1 nontrivial symmetric idempotents in A. In this paper we study the characterization of multiplicative *-Jordan-type maps on alternative algebras. △ Less

Submitted 26 May, 2023; originally announced July 2023.

Comments: 10 pages

MSC Class: 17D05; 46L05

Transposed Poisson structures

Authors: Patrícia Damas Beites, Bruno Leonardo Macedo Ferreira, Ivan Kaygorodov

Abstract: To present a survey on known results from the theory of transposed Poisson algebras, as well as to establish new results on this subject, are the main aims of the present paper. Furthermore, a list of open questions for future research is given. To present a survey on known results from the theory of transposed Poisson algebras, as well as to establish new results on this subject, are the main aims of the present paper. Furthermore, a list of open questions for future research is given. △ Less

Submitted 16 January, 2024; v1 submitted 1 July, 2022; originally announced July 2022.

Multiplicative Maps on Generalized n-matrix Rings

Authors: Bruno L. M. Ferreira, Aisha Jabeen

Abstract: Let $\mathfrak{R}$ and $\mathfrak{R}'$ be two associative rings (not necessarily with the identity elements). A bijective map $\varphi$ of $\mathfrak{R}$ onto $\mathfrak{R}'$ is called a \textit{$m$-multiplicative isomorphism} if {$\varphi (x_{1} \cdots x_{m}) = \varphi(x_{1}) \cdots \varphi(x_{m})$} for all $x_{1}, \cdots ,x_{m}\in \mathfrak{R}.$ In this article, we establish a condition on gener… ▽ More Let $\mathfrak{R}$ and $\mathfrak{R}'$ be two associative rings (not necessarily with the identity elements). A bijective map $\varphi$ of $\mathfrak{R}$ onto $\mathfrak{R}'$ is called a \textit{$m$-multiplicative isomorphism} if {$\varphi (x_{1} \cdots x_{m}) = \varphi(x_{1}) \cdots \varphi(x_{m})$} for all $x_{1}, \cdots ,x_{m}\in \mathfrak{R}.$ In this article, we establish a condition on generalized $n$-matrix rings, that assures that multiplicative maps are additive on generalized $n$-matrix rings under certain restrictions. And then, we apply our result for study of $m$-multiplicative isomorphism and $m$-multiplicative derivation on generalized $n$-matrix rings. △ Less

Submitted 30 May, 2022; originally announced May 2022.

Comments: 14 pages

MSC Class: 16W99; 47B47; 47L35

*-Lie-Type maps on alternative *-algebras

Authors: Aline Jaqueline De Oliveira Andrade, Elisabete Barreiro, Bruno Leonardo Macedo Ferreira

Abstract: Let $A$ and $A'$ be two alternative $*$-algebras with identities 1_A and 1_A', respectively, and e_1 and e_2 = 1_A - e_1 nontrivial symmetric idempotents in A. In this paper we study the characterization of multiplicative *-Lie-type maps. As application, we get a result on alternative W*-algebras. Let $A$ and $A'$ be two alternative $*$-algebras with identities 1_A and 1_A', respectively, and e_1 and e_2 = 1_A - e_1 nontrivial symmetric idempotents in A. In this paper we study the characterization of multiplicative *-Lie-type maps. As application, we get a result on alternative W*-algebras. △ Less

Submitted 3 November, 2021; originally announced November 2021.

Comments: 10 pages. arXiv admin note: substantial text overlap with arXiv:2108.00025

MSC Class: 17D05; 16W20

Journal ref: Journal of Algebra and Its Applications Vol. 22, No. 06, 2350130 (2023)

Local and $2$-local derivations of simple $n$-ary algebras

Authors: Bruno Leonardo Macedo Ferreira, Ivan Kaygorodov, Karimbergen Kudaybergenov

Abstract: In the present paper, we prove that every local and $2$-local derivation of the complex finite-dimensional simple Filippov algebra is a derivation. As a corollary we have the description of all local and $2$-local derivations of complex finite-dimensional semisimple Filippov algebras. All local derivations of the ternary Malcev algebra $M_8$ are described. It is the first example of a finite-dimen… ▽ More In the present paper, we prove that every local and $2$-local derivation of the complex finite-dimensional simple Filippov algebra is a derivation. As a corollary we have the description of all local and $2$-local derivations of complex finite-dimensional semisimple Filippov algebras. All local derivations of the ternary Malcev algebra $M_8$ are described. It is the first example of a finite-dimensional simple algebra that admits pure local derivations, i.e. algebra admits a local derivation which is not a derivation. △ Less

Submitted 1 August, 2021; originally announced August 2021.

$*$-Lie-type maps on $C^*$-algebras

Authors: Ruth Nascimento Ferreira, Bruno Leonardo Macedo Ferreira, Henrique Guzzo Junior, Bruno Tadeu Costa

Abstract: Let $\mathfrak{A}$ and $\mathfrak{A}'$ be two $C^*$-algebras with identities $I_{\mathfrak{A}}$ and $I_{\mathfrak{A}'}$, respectively, and $P_1$ and $P_2 = I_{\mathfrak{A}} - P_1$ nontrivial symmetric projections in $\mathfrak{A}$. In this paper we study the characterization of multiplicative $*$-Lie-type maps. In particular, if $\mathcal{M}$ is a factor von Neumann algebra then every complex scal… ▽ More Let $\mathfrak{A}$ and $\mathfrak{A}'$ be two $C^*$-algebras with identities $I_{\mathfrak{A}}$ and $I_{\mathfrak{A}'}$, respectively, and $P_1$ and $P_2 = I_{\mathfrak{A}} - P_1$ nontrivial symmetric projections in $\mathfrak{A}$. In this paper we study the characterization of multiplicative $*$-Lie-type maps. In particular, if $\mathcal{M}$ is a factor von Neumann algebra then every complex scalar multiplication bijective unital multiplicative $*$-Lie-type map is $*$-isomorphism. △ Less

Submitted 30 July, 2021; originally announced August 2021.

Comments: 15. arXiv admin note: text overlap with arXiv:2005.11430

MSC Class: 47B48; 46L05

Additivity of $n$-Multiplicative Map**s of Gamma Rings

Authors: Aline Jaqueline de Oliveira Andrade, Gabriela Cotrim de Moraes, Ruth Nascimento Ferreira, Bruno Leonardo Macedo Ferreira

Abstract: In this paper, we address the additivity of $n$-multiplicative isomorphisms and $n$-multiplicative derivations on Gamma rings. We proved that, if $\M$ is a $Γ$-ring satisfying the some conditions, then any $n$-multiplicative isomorphism $\left(\varphi, φ\right)$ of $\M$ onto an arbitrary gamma ring is additive. In this paper, we address the additivity of $n$-multiplicative isomorphisms and $n$-multiplicative derivations on Gamma rings. We proved that, if $\M$ is a $Γ$-ring satisfying the some conditions, then any $n$-multiplicative isomorphism $\left(\varphi, φ\right)$ of $\M$ onto an arbitrary gamma ring is additive. △ Less

Submitted 24 May, 2021; originally announced July 2021.

Comments: 10 pages

Journal ref: Afrika Matematika 32 (2021) 1563-1571

Nonlinear $*$-Jordan-type derivations on alternative $*$-algebras

Authors: Aline Jaqueline de Oliveira Andrade, Gabriela C. Moraes, Ruth Nascimento Ferreira, Bruno Leonardo Macedo Ferreira

Abstract: Let $A$ be an unital alternative $*$-algebra. Assume that $A$ contains a nontrivial symmetric idempotent element $e$ which satisfies $xA \cdot e = 0$ implies $x = 0$ and $xA \cdot (1_A - e) = 0$ implies $x = 0$. In this paper, it is shown that $Φ$ is a nonlinear $*$-Jordan-type derivation on A if and only if $Φ$ is an additive $*$-derivation. As application, we get a result on alternative $W^{*}$-… ▽ More Let $A$ be an unital alternative $*$-algebra. Assume that $A$ contains a nontrivial symmetric idempotent element $e$ which satisfies $xA \cdot e = 0$ implies $x = 0$ and $xA \cdot (1_A - e) = 0$ implies $x = 0$. In this paper, it is shown that $Φ$ is a nonlinear $*$-Jordan-type derivation on A if and only if $Φ$ is an additive $*$-derivation. As application, we get a result on alternative $W^{*}$-algebras. △ Less

Submitted 23 April, 2021; originally announced May 2021.

Comments: 18 pages

MSC Class: 17D05; 47B47

Journal ref: Siberian Electronic Mathematical Reports 19, 1 (2022), 125-137

$\frac{1}{2}$-derivations of Lie algebras and transposed Poisson algebras

Authors: Bruno Leonardo Macedo Ferreira, Ivan Kaygorodov, Viktor Lopatkin

Abstract: A relation between $\frac{1}{2}$-derivations of Lie algebras and transposed Poisson algebras was established. Some non-trivial transposed Poisson algebras with a certain Lie algebra (Witt algebra, algebra $\mathcal{W}(a,-1)$, thin Lie algebra and solvable Lie algebra with abelian nilpotent radical) were constructed. In particular, we constructed an example of the transposed Poisson algebra with as… ▽ More A relation between $\frac{1}{2}$-derivations of Lie algebras and transposed Poisson algebras was established. Some non-trivial transposed Poisson algebras with a certain Lie algebra (Witt algebra, algebra $\mathcal{W}(a,-1)$, thin Lie algebra and solvable Lie algebra with abelian nilpotent radical) were constructed. In particular, we constructed an example of the transposed Poisson algebra with associative and Lie parts isomorphic to the Laurent polynomials and the Witt algebra. On the other side, it was proven that there are no non-trivial transposed Poisson algebras with Lie algebra part isomorphic to a semisimple finite-dimensional algebra, a simple finite-dimensional superalgebra, the Virasoro algebra, $N=1$ and $N=2$ superconformal algebras, or a semisimple finite-dimensional $n$-Lie algebra. △ Less

Submitted 1 November, 2021; v1 submitted 1 October, 2020; originally announced October 2020.

$*$-Jordan-type maps on $C^{*}$-algebras

Authors: Bruno Leonardo Macedo Ferreira, Bruno Tadeu Costa

Abstract: Let $\mathfrak{A}$ and $\mathfrak{A}'$ be two $C^*$-algebras with identities $I_{\mathfrak{A}}$ and $I_{\mathfrak{A}'}$, respectively, and $P_1$ and $P_2 = I_{\mathfrak{A}} - P_1$ nontrivial projections in $\mathfrak{A}$. In this paper we study the characterization of multiplicative $*$-Jordan-type maps. In particular, if $\mathcal{M}$ is a factor von Neumann algebra then every bijective unital mu… ▽ More Let $\mathfrak{A}$ and $\mathfrak{A}'$ be two $C^*$-algebras with identities $I_{\mathfrak{A}}$ and $I_{\mathfrak{A}'}$, respectively, and $P_1$ and $P_2 = I_{\mathfrak{A}} - P_1$ nontrivial projections in $\mathfrak{A}$. In this paper we study the characterization of multiplicative $*$-Jordan-type maps. In particular, if $\mathcal{M}$ is a factor von Neumann algebra then every bijective unital multiplicative $*$-Jordan-type maps are $*$-ring isomorphisms. △ Less

Submitted 22 May, 2020; originally announced May 2020.

Comments: 14 pages

MSC Class: 17D05; 46L05

Commuting maps on alternative rings

Authors: Bruno Leonardo Macedo Ferreira, Ivan Kaygorodov

Abstract: Suppose $\mathfrak{R}$ is a $2$,$3$-torsion free unital alternative ring having an idempotent element $e_1$ $\left(e_2 = 1-e_1\right)$ which satisfies $x \mathfrak{R} \cdot e_i = \{0\} \rightarrow x = 0$ $\left(i = 1,2\right)$. In this paper, we aim to characterize the commuting maps. Let $\varphi$ be a commuting map of $\mathfrak{R}$ so it is shown that $\varphi(x) = zx + Ξ(x)$ for all… ▽ More Suppose $\mathfrak{R}$ is a $2$,$3$-torsion free unital alternative ring having an idempotent element $e_1$ $\left(e_2 = 1-e_1\right)$ which satisfies $x \mathfrak{R} \cdot e_i = \{0\} \rightarrow x = 0$ $\left(i = 1,2\right)$. In this paper, we aim to characterize the commuting maps. Let $\varphi$ be a commuting map of $\mathfrak{R}$ so it is shown that $\varphi(x) = zx + Ξ(x)$ for all $x \in \mathfrak{R}$, where $z \in \mathcal{Z}(\mathfrak{R})$ and $Ξ$ is an additive map from $\mathfrak{R}$ into $\mathcal{Z}(\mathfrak{R})$. As a consequence a characterization of anti-commuting maps is obtained and we provide as an application, a characterization of commuting maps on von Neumann algebras relative alternative $C^{*}$-algebra with no central summands of type $I_1$. △ Less

Submitted 1 May, 2020; originally announced May 2020.

Comments: arXiv admin note: text overlap with arXiv:2003.03371

$*$-Lie-Jordan-type maps on $C^{*}$-algebras

Authors: Bruno Leonardo Macedo Ferreira, Bruno Tadeu Costa

Abstract: Let A and A' be two Cstar-algebras with identities I_A and I_A', respectively, and P_1 and P_2 = I_A - P_1 nontrivial projections in A. In this paper we study the characterization of multiplicative star-Lie-Jordan-type maps, where the notion of these maps arise here. In particular, if M_A is a von Neumann algebra relative Cstar-algebra A without central summands of type I_1 then every bijective un… ▽ More Let A and A' be two Cstar-algebras with identities I_A and I_A', respectively, and P_1 and P_2 = I_A - P_1 nontrivial projections in A. In this paper we study the characterization of multiplicative star-Lie-Jordan-type maps, where the notion of these maps arise here. In particular, if M_A is a von Neumann algebra relative Cstar-algebra A without central summands of type I_1 then every bijective unital multiplicative star-Lie-Jordan-type maps are star-ring isomorphisms. △ Less

Submitted 16 May, 2020; v1 submitted 24 March, 2020; originally announced March 2020.

Comments: 15 pages

MSC Class: 17D05; 46L05

Lie maps on alternative rings preserving idempotents

Authors: Bruno Leonardo Macedo Ferreira, Henrique Guzzo Jr., Ivan Kaygorodov

Abstract: Let $\Re$ and $\Re'$ unital $2$,$3$-torsion free alternative rings and $\varphi: \Re \rightarrow \Re'$ be a surjective Lie multiplicative map that preserves idempotents. Assume that $\Re$ has a nontrivial idempotents. Under certain assumptions on $\Re$, we prove that $\varphi$ is of the form $ψ+ τ$, where $ψ$ is either an isomorphism or the negative of an anti-isomorphism of $\Re$ onto $\Re'$ and… ▽ More Let $\Re$ and $\Re'$ unital $2$,$3$-torsion free alternative rings and $\varphi: \Re \rightarrow \Re'$ be a surjective Lie multiplicative map that preserves idempotents. Assume that $\Re$ has a nontrivial idempotents. Under certain assumptions on $\Re$, we prove that $\varphi$ is of the form $ψ+ τ$, where $ψ$ is either an isomorphism or the negative of an anti-isomorphism of $\Re$ onto $\Re'$ and $τ$ is an additive map** of $\Re$ into the centre of $\Re'$ which maps commutators into zero. △ Less

Submitted 5 March, 2020; originally announced March 2020.

Comments: arXiv admin note: text overlap with arXiv:2002.00304, arXiv:1802.04316

On $\ast-$Reverse Derivable Maps

Authors: Gurninder S. Sandhu, Bruno L. M. Ferreira, D. Kumar

Abstract: Let $R$ be a ring with involution containing a nontrivial symmetric idempotent element $e$. Let $δ: R\rightarrow R$ be a map** such that $δ(ab)=δ(b)a^{\ast}+b^{\ast}δ(a)$ for all $a,b\in R$, we call $δ$ a $\ast-$reverse derivable map on $R$. In this paper, our aim is to show that under some suitable restrictions imposed on $R$, every $\ast-$reverse derivable map of $R$ is additive. Let $R$ be a ring with involution containing a nontrivial symmetric idempotent element $e$. Let $δ: R\rightarrow R$ be a map** such that $δ(ab)=δ(b)a^{\ast}+b^{\ast}δ(a)$ for all $a,b\in R$, we call $δ$ a $\ast-$reverse derivable map on $R$. In this paper, our aim is to show that under some suitable restrictions imposed on $R$, every $\ast-$reverse derivable map of $R$ is additive. △ Less

Submitted 8 February, 2020; originally announced February 2020.

MSC Class: 17C27

Multiplicative Lie-type derivations on alternative rings

Authors: Bruno Leonardo Macedo Ferreira, Henrique Guzzo Jr., Feng Wei

Abstract: Let $\R$ be an alternative ring containing a nontrivial idempotent and $\D$ be a multiplicative Lie-type derivation from $\R$ into itself. Under certain assumptions on $\R$, we prove that $\D$ is almost additive. Let $p_n(x_1, x_2, \cdots, x_n)$ be the $(n-1)$-th commutator defined by $n$ indeterminates $x_1, \cdots, x_n$. If $\R$ is a unital alternative ring with a nontrivial idempotent and is… ▽ More Let $\R$ be an alternative ring containing a nontrivial idempotent and $\D$ be a multiplicative Lie-type derivation from $\R$ into itself. Under certain assumptions on $\R$, we prove that $\D$ is almost additive. Let $p_n(x_1, x_2, \cdots, x_n)$ be the $(n-1)$-th commutator defined by $n$ indeterminates $x_1, \cdots, x_n$. If $\R$ is a unital alternative ring with a nontrivial idempotent and is $\{2,3,n-1,n-3\}$-torsion free, it is shown under certain condition of $\R$ and $\D$, that $\D=δ+τ$, where $δ$ is a derivation and $τ\colon\R\longrightarrow{\mathcal Z}(\R)$ such that $τ(p_n(a_1,\ldots,a_n))=0$ for all $a_1,\ldots,a_n\in\R$. △ Less

Submitted 1 February, 2020; originally announced February 2020.

Comments: 23 pages

MSC Class: 17A36; 17D05

Generalized Jordan derivations of Incidence Algebras

Authors: Bruno Leonardo Macedo Ferreira, Tanise Carnieri Pierin, Ruth Nascimento Ferreira

Abstract: For a given ring $\mathfrak{R}$ and a locally finite pre-ordered set $(X, \leq)$, consider $I(X, \mathfrak{R})$ to be the incidence algebra of $X$ over $\mathfrak{R}$. Motivated by a Xiao's result which states that every Jordan derivation of $I(X,\mathfrak{R})$ is a derivation in the case $\mathfrak{R}$ is $2$-torsion free, one proves that each generalized Jordan derivation of $I(X,\mathfrak{R})$… ▽ More For a given ring $\mathfrak{R}$ and a locally finite pre-ordered set $(X, \leq)$, consider $I(X, \mathfrak{R})$ to be the incidence algebra of $X$ over $\mathfrak{R}$. Motivated by a Xiao's result which states that every Jordan derivation of $I(X,\mathfrak{R})$ is a derivation in the case $\mathfrak{R}$ is $2$-torsion free, one proves that each generalized Jordan derivation of $I(X,\mathfrak{R})$ is a generalized derivation provided $\mathfrak{R}$ is $2$-torsion free, getting as a consequence the above mentioned result. △ Less

Submitted 4 June, 2018; originally announced June 2018.

Comments: 7 pages. arXiv admin note: text overlap with arXiv:1411.6123 by other authors

MSC Class: 16W25; 47B47

Generalized Jordan derivations on semiprime rings

Authors: Bruno L M Ferreira, Henrique Guzzo Jr., Ruth N. Ferreira

Abstract: The purpose of this note is to prove the following. Suppose $\R$ is a semiprime unity ring having an idempotent element e $\left(e \neq 0, e \neq 1\right)$ which satisfies mild conditions. It is shown that every additive generalized Jordan derivation on $\R$ is a generalized derivation. The purpose of this note is to prove the following. Suppose $\R$ is a semiprime unity ring having an idempotent element e $\left(e \neq 0, e \neq 1\right)$ which satisfies mild conditions. It is shown that every additive generalized Jordan derivation on $\R$ is a generalized derivation. △ Less

Submitted 30 April, 2018; originally announced May 2018.

Comments: 9 pages

MSC Class: 16W25; 47B47