Let $ℛ$ be a commutative ring, $𝒢$ be a generalized matrix algebra over $ℛ$ with weakly loyal bimodule and $𝒵\left(𝒢\right)$ be the center of $𝒢$. Suppose that $𝔮:𝒢\times 𝒢\to 𝒢$ is an $ℛ$-bilinear mapping and that ${𝔗}_{𝔮}:𝒢\to 𝒢$ is a trace of $𝔮$. The aim of this article is to describe the form of ${𝔗}_{𝔮}$ satisfying the centralizing condition $[{𝔗}_{𝔮}\left(x\right),x]\in 𝒵\left(𝒢\right)$ (and commuting condition $[{𝔗}_{𝔮}\left(x\right),x]=0$) for all $x\in 𝒢$. More precisely, we will revisit the question of when the centralizing trace (and commuting trace) ${𝔗}_{𝔮}$ has the so-called proper form from a new perspective. Using the aforementioned...

Let $𝒳$ be a Banach space of dimension $n>1$ and $𝔄\subset ℬ\left(𝒳\right)$ be a standard operator algebra. In the present paper it is shown that if a mapping $d:𝔄\to 𝔄$ (not necessarily linear) satisfies $$d\left(\right[[U,V],W\left]\right)=\left[\right[d\left(U\right),V],W]+\left[\right[U,d\left(V\right)],W]+\left[\right[U,V],d(W\left)\right]$$ for all $U,V,W\in 𝔄$, then $d=\psi +\tau$, where $\psi$ is an additive derivation of $𝔄$ and $\tau :𝔄\to 𝔽I$ vanishes at second commutator $\left[\right[U,V],W]$ for all $U,V,W\in 𝔄$. Moreover, if $d$ is linear and satisfies the above relation, then there exists an operator $S\in 𝔄$ and a linear mapping $\tau$ from $𝔄$ into $𝔽I$ satisfying $\tau \left(\right[[U,V],W\left]\right)=0$ for all $U,V,W\in 𝔄$, such that $d\left(U\right)=SU-US+\tau \left(U\right)$ for all $U\in 𝔄$.

Let $𝒩$ denote the class of nilpotent Lie algebras. For any finite-dimensional Lie algebra $L$ over an arbitrary field $𝔽$, there exists a smallest ideal $I$ of $L$ such that $L/I\in 𝒩$. This uniquely determined ideal of $L$ is called the nilpotent residual of $L$ and is denoted by $L^{𝒩}$. In this paper, we define the subalgebra $S\left(L\right)={\bigcap }_{H\le L}{I}_L\left(H^{𝒩}\right)$. Set $S_0\left(L\right)=0$. Define $S_{i+1}\left(L\right)/S_i\left(L\right)=S(L/S_i\left(L\right))$ for $i\ge 1$. By $S_{\infty }\left(L\right)$ denote the terminal term of the ascending series. It is proved that $L=S_{\infty }\left(L\right)$ if and only if $L^{𝒩}$ is nilpotent. In addition, we investigate the basic properties of a...

A subgroup $H$ of a finite group $G$ is said to be $ss$-supplemented in $G$ if there exists a subgroup $K$ of $G$ such that $G=HK$ and $H\cap K$ is $s$-permutable in $K$. In this paper, we first give an example to show that the conjecture in A. A. Heliel’s paper (2014) has negative solutions. Next, we prove that a finite group $G$ is solvable if every subgroup of odd prime order of $G$ is $ss$-supplemented in $G$, and that $G$ is solvable if and only if every Sylow subgroup of odd order of $G$ is $ss$-supplemented in $G$. These results...

Let $𝔄=\left(\begin{array}{cc}𝒜& ℳ\\ & ℬ\end{array}\right)$ be the triangular algebra consisting of unital algebras $𝒜$ and $ℬ$ over a commutative ring $R$ with identity $1$ and $ℳ$ be a unital $(𝒜,ℬ)$-bimodule. An additive subgroup $𝔏$ of $𝔄$ is said to be a Lie ideal of $𝔄$ if $[𝔏,𝔄]\subseteq 𝔏$. A non-central square closed Lie ideal $𝔏$ of $𝔄$ is known as an admissible Lie ideal. The main result of the present paper states that under certain restrictions on $𝔄$, every generalized Jordan triple higher derivation of $𝔏$ into $𝔄$ is a generalized higher derivation of $𝔏$ into $𝔄$. ...

Let $M$ be an $m$-dimensional manifold and $A={𝔻}_k^r/I=ℝ\oplus N_A$ a Weil algebra of height $r$. We prove that any $A$-covelocity $T_x^{A}f\in T_x^{A*}M$, $x\in M$ is determined by its values over arbitrary $max\{\mathrm{width}A,m\}$ regular and under the first jet projection linearly independent elements of $T_x^{A}M$. Further, we prove the rigidity of the so-called universally reparametrizable Weil algebras. Applying essentially those partial results we give the proof of the general rigidity result $T^{A*}M\simeq T^{r*}M$ without coordinate computations, which improves and generalizes the partial...

Si studiano gli omomorfismi reticolari ($ℒ$-omomorfismi) di algebre di Lie sopra anelli commutativi con unità. Le algebre di Lie sopra un campo e le $p$-algebre di Lie non ammettono $ℒ$-omomorfismi propri. Si assegnano condizioni necessarie e sufficienti affinchè un'algebra di Lie periodica o mista possieda un «$ℒ$-omomorfismo su una catena di lunghezza $n$.

Let $G$ be a simple algebraic group over an algebraically closed field $𝕜$ of characteristic 0, and $𝔤=LieG$. Let $(e,h,f)$ be an $𝔰{𝔩}_2$-triple in $𝔤$ with $e$ being a long root vector in $𝔤$. Let $(·,·)$ be the $G$-invariant bilinear form on $𝔤$ with $(e,f)=1$ and let $\chi \in {𝔤}^{*}$ be such that $\chi \left(x\right)=(e,x)$ for all $x\in 𝔤$. Let $𝒮$ be the Slodowy slice at $e$ through the adjoint orbit of $e$ and let $H$ be the enveloping algebra of $𝒮$; see [31]. In this article we give an explicit presentation of $H$ by generators and relations. As a consequence we deduce that $H$ contains...

Let $N$ be a normal subgroup of a group $G$. The structure of $N$ is given when the $G$-conjugacy class sizes of $N$ is a set of a special kind. In fact, we give the structure of a normal subgroup $N$ under the assumption that the set of $G$-conjugacy class sizes of $N$ is $(p_{1n_1}^{a_{1n_1}},\cdots ,p_{11}^{a_{11}},1)\times \cdots \times (p_{r{n}_r}^{a_{r{n}_r}},\cdots ,p_{r1}^{a_{r1}},1)$, where $r>1$, $n_i>1$ and $p_{ij}$ are distinct primes for $i\in \{1,2,\cdots ,r\}$, $j\in \{1,2,\cdots ,n_i\}$.

Let $\sigma =\{{\sigma }_i:i\in I\}$ be some partition of the set of all primes $\mathbb{P}$, $G$ be a finite group and $\sigma \left(G\right)=\{{\sigma }_i:{\sigma }_i\cap \pi \left(G\right)\ne \varnothing \}$. A set $\mathscr{H}$ of subgroups of $G$ is said to be a complete Hall $\sigma$-set of $G$ if every non-identity member of $\mathscr{H}$ is a Hall ${\sigma }_i$-subgroup of $G$ and $\mathscr{H}$ contains exactly one Hall ${\sigma }_i$-subgroup of $G$ for every ${\sigma }_i\in \sigma \left(G\right)$. $G$ is said to be $\sigma$-full if $G$ possesses a complete Hall $\sigma$-set. A subgroup $H$ of $G$ is $\sigma$-permutable in $G$ if $G$ possesses a complete Hall $\sigma$-set $\mathscr{H}$ such that $H{A}^x$= $A^{x}H$ for all $A\in \mathscr{H}$ and all $x\in G$. A subgroup $H$ of $G$ is $\sigma$-permutably embedded in...

Let $R$ be a prime ring of characteristic different from 2 and 3, $Q_r$ its right Martindale quotient ring, $C$ its extended centroid, $L$ a non-central Lie ideal of $R$ and $n\ge 1$ a fixed positive integer. Let $\alpha$ be an automorphism of the ring $R$. An additive map $D:R\to R$ is called an $\alpha$-derivation (or a skew derivation) on $R$ if $D\left(xy\right)=D\left(x\right)y+\alpha \left(x\right)D\left(y\right)$ for all $x,y\in R$. An additive mapping $F:R\to R$ is called a generalized $\alpha$-derivation (or a generalized skew derivation) on $R$ if there exists a skew derivation $D$ on $R$ such that $F\left(xy\right)=F\left(x\right)y+\alpha \left(x\right)D\left(y\right)$ for all $x,y\in R$. We prove...

Let ${\Phi }_1,...,{\Phi }_{k+1}$ (with $k\ge 1$) be vector fields of class $C^k$ in an open set $U{\subset }^{N+m}$, let $𝕄$ be a $N$-dimensional $C^k$ submanifold of $U$ and define $$𝕋:=\{z\in 𝕄:{\Phi }_1\left(z\right),...,{\Phi }_{k+1}\left(z\right)\in T_z𝕄\}$$ where $T_z𝕄$ is the tangent space to $𝕄$ at $z$. Then we expect the following property, which is obvious in the special case when $z_0$ is an interior point (relative to $𝕄$) of $𝕋$: If $z_0\in 𝕄$ is a $(N+k)$-density point (relative to $𝕄$) of $𝕋$ then all the iterated Lie brackets of order less or equal to $k$ $${\Phi }_{i_1}\left(z_0\right),[{\Phi }_{i_1},{\Phi }_{i_2}]\left(z_0\right),[[{\Phi }_{i_1},{\Phi }_{i_2}],{\Phi }_{i_3}]\left(z_0\right),...(h,i_h\le k+1)$$ belong to $T_{z_0}𝕄$. Such a property has been proved in [9] for $k=1$ and its proof in the...