Primeness property for graded central polynomials of verbally prime algebras

Let F be an infinite field. The primeness property for central polynomials of $M_n(F)$ was established by A. Regev, i.e., if the product of two polynomials in distinct variables is central then each factor is also central. In this paper we consider the analogous property for $M_n(F)$ and determine, within the elementary gradings with commutative neutral component, the ones that satisfy this property, namely the crossed product gradings. Next we consider $M_n(R)$, where R admits a regular grading, with a grading such that $M_n(F)$ is a homogeneous subalgebra and provide sufficient conditions – satisfied by $M_n(E)$ with the trivial grading – to prove that $M_n(R)$ has the primeness property if $M_n(F)$ does. We also prove that the algebras $M_{a,b}(E)$ satisfy this property for ordinary central polynomials. Hence we conclude that, over a field of characteristic zero, every verbally prime algebra has the primeness property.     

Deformation of central charges,vertex operator algebras whose Griess algebras are Jordan algebras

If a vertex operator algebra $V={\oplus }_{n=0}^{\infty }{V}_n$ satisfies $\dim V_0=1$, $V_1=0$, then $V_2$ has a commutative (nonassociative) algebra structure called Griess algebra. One of the typical examples of commutative (nonassociative) algebras is a Jordan algebra. For example, the set ${\mathrm{Sym}}_d(\mathbb{C})$ of symmetric matrices of degree d becomes a Jordan algebra. On the other hand, in the theory of vertex operator algebras, central charges influence the properties of vertex operator algebras. In this paper, we construct vertex operator algebras with central charge c and its Griess algebra is isomorphic to ${\mathrm{Sym}}_d(\mathbb{C})$ for any complex number c and a positive integer d.     

An exact upper bound for sums of element orders in non-cyclic finite groups

Denote the sum of element orders in a finite group G by $\psi (G)$ and let $C_n$ denote the cyclic group of order n. Suppose that G is a non-cyclic finite group of order n and q is the least prime divisor of n. We proved that $\psi (G)\le \frac{7}{11}\psi (C_n)$ and $\psi (G)<\frac{1}{q?1}\psi (C_n)$. The first result is best possible, since for each $n=4k$, k odd, there exists a group G of order n satisfying $\psi (G)=\frac{7}{11}\psi (C_n)$ and the second result implies that if G is of odd order, then $\psi (G)<\frac{1}{2}\psi (C_n)$. Our results improve the inequality $\psi (G)<\psi (C_n)$ obtained by H. Amiri, S.M. Jafarian Amiri and I.M. Isaacs in 2009, as well as other results obtained by S.M. Jafarian Amiri and M. Amiri in 2014 and by R. Shen, G. Chen and C. Wu in 2015. Furthermore, we obtained some $\psi (G)$-based sufficient conditions for the solvability of G.     

On the automorphisms of quantum Weyl algebras

Motivated by Weyl algebra analogues of the Jacobian conjecture and the tame generators problem, we prove quantum versions of these problems for a family of analogues to the Weyl algebras. In particular, our results cover the Weyl–Hayashi algebras and tensor powers of a quantization of the first Weyl algebra which arises as a primitive factor algebra of $U_q^{+}({\mathfrak{so}}_5)$.     

Classifying bicrossed products of two Taft algebras

We classify all Hopf algebras which factor through two Taft algebras ${\mathbb{T}}_{n^2}(\stackrel{￣}{q})$ and respectively $T_{m^2}(q)$. To start with, all possible matched pairs between the two Taft algebras are described: if $\stackrel{￣}{q}\ne q^{n?1}$ then the matched pairs are in bijection with the group of d-th roots of unity in k, where $d=(m,n)$ while if $\stackrel{￣}{q}=q^{n?1}$ then besides the matched pairs above we obtain an additional family of matched pairs indexed by $k^{?}$. The corresponding bicrossed products (double cross product in Majid's terminology) are explicitly described by generators and relations and classified. As a consequence of our approach, we are able to compute the number of isomorphism types of these bicrossed products as well as to describe their automorphism groups.     

Central extensions of the algebra of formal pseudo-differential symbols via Hochschild (co)homology and quadratic symplectic Lie algebras

We describe the space of central extensions of the associative algebra ${\mathrm{\Psi }}_n$ of formal pseudo-differential symbols in $n\ge 1$ independent variables using Hochschild (co)homology groups: we prove that the first Hochschild (co)homology group $H{H}^1({\mathrm{\Psi }}_n)$ is 2n-dimensional and we use this fact to calculate the first Lie (co)homology group $H_{Lie}^1({\mathrm{\Psi }}_n)$ of ${\mathrm{\Psi }}_n$ equipped with the Lie bracket induced by its associative algebra structure. As an application, we use our calculations to provide examples of infinite-dimensional quadratic symplectic Lie algebras.     

Ramsey numbers of odd cycles versus larger even wheels

The generalized Ramsey number $R(G_1,G_2)$ is the smallest positive integer $N$ such that any red–blue coloring of the edges of the complete graph $K_N$ either contains a red copy of $G_1$ or a blue copy of $G_2$. Let $C_m$ denote a cycle of length $m$ and $W_n$ denote a wheel with $n+1$ vertices. In 2014, Zhang, Zhang and Chen determined many of the Ramsey numbers $R(C_{2k+1},W_n)$ of odd cycles versus larger wheels, leaving open the particular case where $n=2j$ is even and $k<j<3k∕2$. They conjectured that for these values of $j$ and $k$, $R(C_{2k+1},W_{2j})=4j+1$. In 2015, Sanhueza-Matamala confirmed this conjecture asymptotically, showing that $R(C_{2k+1},W_{2j})\le 4j+334$. In this paper, we prove the conjecture of Zhang, Zhang and Chen for almost all of the remaining cases. In particular, we prove that $R(C_{2k+1},W_{2j})=4j+1$ if $j?k\ge 251$, $k<j<3k∕2$, and $j\ge 212299$.     

Quasi-Baer module hulls and applications

Let V be a module with $S=\mathrm{End}(V)$. V is called a quasi-Baer module if for each ideal J of S, $r_V(J)=eV$ for some $e^2=e\in S$. On the other hand, V is called a Rickart module if for each $?\in S$, $\mathrm{Ker}(?)=eV$ for some $e^2=e\in S$. For a module N, the quasi-Baer module hull $\mathbf{qB}(N)$ (resp., the Rickart module hull $\mathbf{Ric}(N)$) of N, if it exists, is the smallest quasi-Baer (resp., Rickart) overmodule, in a fixed injective hull $E(N)$ of N. In this paper, we initiate the study of quasi-Baer and Rickart module hulls. When a ring R is semiprime and ideal intrinsic over its center, it is shown that every finitely generated projective R-module has a quasi-Baer hull. Let R be a Dedekind domain with F its field of fractions and let $\{K_i|i\in \mathrm{\Lambda }\}$ be any set of R-submodules of $F_R$. For an R-module $M_R$ with ${\mathrm{Ann}}_R(M)\ne 0$, we show that $M_R\oplus {({?}_{i\in \mathrm{\Lambda }}{K}_i)}_R$ has a quasi-Baer module hull if and only if $M_R$ is semisimple. This quasi-Baer hull is explicitly described. An example such that $M_R\oplus {({?}_{i\in \mathrm{\Lambda }}{K}_i)}_R$ has no Rickart module hull is constructed. If N is a module over a Dedekind domain for which $N/t(N)$ is projective and ${\mathrm{Ann}}_R(t(N))\ne 0$, where $t(N)$ is the torsion submodule of N, we show that the quasi-Baer hull $\mathbf{qB}(N)$ of N exists if and only if $t(N)$ is semisimple. We prove that the Rickart module hull also exists for such modules N. Furthermore, we provide explicit constructions of $\mathbf{qB}(N)$ and $\mathbf{Ric}(N)$ and show that in this situation these two hulls coincide. Among applications, it is shown that if N is a finitely generated module over a Dedekind domain, then N is quasi-Baer if and only if N is Rickart if and only if N is Baer if and only if N is semisimple or torsion-free. For a direct sum $N_R$ of finitely generated modules, where R is a Dedekind domain, we show that N is quasi-Baer if and only if N is Rickart if and only if N is semisimple or torsion-free. Examples exhibiting differences between the notions of a Baer hull, a quasi-Baer hull, and a Rickart hull of a module are presented. Various explicit examples illustrating our results are constructed.     

The E-normal structure of odd dimensional unitary groups

In this paper we define odd dimensional unitary groups ${\mathrm{U}}_{2n+1}(R,\mathrm{\Delta })$. These groups contain as special cases the odd dimensional general linear groups ${\mathrm{GL}}_{2n+1}(R)$ where R is any ring, the odd dimensional orthogonal and symplectic groups ${\mathrm{O}}_{2n+1}(R)$ and ${\mathrm{Sp}}_{2n+1}(R)$ where R is any commutative ring and further the first author's even dimensional unitary groups ${\mathrm{U}}_{2n}(R,\mathrm{\Lambda })$ where $(R,\mathrm{\Lambda })$ is any form ring. We classify the E-normal subgroups of the groups ${\mathrm{U}}_{2n+1}(R,\mathrm{\Delta })$ (i.e. the subgroups which are normalized by the elementary subgroup ${\mathrm{EU}}_{2n+1}(R,\mathrm{\Delta })$), under the condition that R is either a semilocal or quasifinite ring with involution and $n\ge 3$. Further we investigate the action of ${\mathrm{U}}_{2n+1}(R,\mathrm{\Delta })$ by conjugation on the set of all E-normal subgroups.     

Mutually orthogonal matrices from division algebras

Matrices A and B in $M_n(\mathbb{C})$ are said to be mutually orthogonal if $A{B}^{?}+B{A}^{?}=0$, where ^? denotes the conjugate transpose. We study cardinalities of certain $\mathbb{R}$-linearly independent families of matrices arising from matrix embeddings of a division algebra of index m with center a number field Z, satisfying the property that matrices from different families are mutually orthogonal. The question is of importance in the context of coding for certain wireless channels, where the cardinalities of such sets is connected to the maximum code rate consistent with low decoding complexity. It follows from our results that the maximum code rate for the codes we consider is severely limited.     

Hamiltonian cycles with all small even chords

Let $G$ be a graph of order $n\ge 3$. An even squared Hamiltonian cycle (ESHC) of $G$ is a Hamiltonian cycle $C=v_1{v}_2\dots v_n{v}_1$ of $G$ with chords $v_i{v}_{i+3}$ for all $1\le i\le n$ (where $v_{n+j}=v_j$ for $j\ge 1$). When $n$ is even, an ESHC contains all bipartite $2$-regular graphs of order $n$. We prove that there is a positive integer $N$ such that for every graph $G$ of even order $n\ge N$, if the minimum degree is $\delta \left(G\right)\ge \frac{n}{2}+92$, then $G$ contains an ESHC. We show that the condition of $n$ being even cannot be dropped and the constant $92$ cannot be replaced by $1$. Our results can be easily extended to even $k$th powered Hamiltonian cycles for all $k\ge 2$.