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 mod 2 cohomology of the mapping class group of the Klein bottle with marked points

The purpose of this article is to compute the mod 2 cohomology of ${\mathrm{\Gamma }}^q(\mathbb{K})$, the mapping class group of the Klein bottle with q marked points. We provide a concrete construction of Eilenberg–MacLane spaces $X_q=K({\mathrm{\Gamma }}^q(\mathbb{K}),1)$ and fiber bundles $F_q(\mathbb{K})/{\mathrm{\Sigma }}_q\to X_q\to B({\mathbb{Z}}_2\times O(2))$, where $F_q(\mathbb{K})/{\mathrm{\Sigma }}_q$ denotes the configuration space of unordered q-tuples of distinct points in $\mathbb{K}$ and $B({\mathbb{Z}}_2\times O(2))$ is the classifying space of the group ${\mathbb{Z}}_2\times O(2)$. Moreover, we show the mod 2 Serre spectral sequence of the bundle above collapses.     

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.     

Pairs of quadratic forms over a quadratic field extension

Let F be a field of characteristic distinct from 2, $L=F(\sqrt{d})$ a quadratic field extension. Let further f and g be quadratic forms over L considered as polynomials in n variables, $M_f$, $M_g$ their matrices. We say that the pair $(f,g)$ is a k-pair if there exist $S\in G{L}_n(L)$ such that all the entries of the $k\times k$ upper-left corner of the matrices $S{M}_f{S}^t$ and $S{M}_g{S}^t$ are in F. We give certain criteria to determine whether a given pair $(f,g)$ is a k-pair. We consider the transfer ${\mathrm{cor}}_{L(t)/F(t)}$ determined by the $F(t)$-linear map $s:L(t)\to F(t)$ with $s(1)=0$, $s(\sqrt{d})=1$, and prove that if $\dim {\mathrm{cor}}_{L(t)/F(t)}{(f+tg)}_{an}\le 2(n?k)$, then $(f,g)$ is a $[\frac{k+1}{2}]$-pair. If, additionally, the form $f+tg$ does not have a totally isotropic subspace of dimension $p+1$ over $L(t)$, we show that $(f,g)$ is a $(k?2p)$-pair. In particular, if the form $f+tg$ is anisotropic, and $\dim {\mathrm{cor}}_{L(t)/F(t)}{(f+tg)}_{an}\le 2(n?k)$, then $(f,g)$ is a k-pair.     

Triangular C1-bialgebra defined as the direct sum of matrix algebras

Let $M_{*}(\mathbf{C})$ denote the ${\mathrm{C}}^1$-algebra defined as the direct sum of all matrix algebras $\{M_n(\mathbf{C}):n?1\}$. It is known that $M_{*}(\mathbf{C})$ has a non-cocommutative comultiplication ${\mathrm{\Delta }}_{\phi }$. From a certain set of transformations of integers, we construct a universal R-matrix R of the ${\mathrm{C}}^1$-bialgebra $(M_{*}(\mathbf{C})\text{,}{\mathrm{\Delta }}_{\phi })$ such that the quasi-cocommutative ${\mathrm{C}}^1$-bialgebra $(M_{*}(\mathbf{C})\text{,}{\mathrm{\Delta }}_{\phi }\text{,}R)$ is triangular. Furthermore, it is shown that certain linear Diophantine equations are corresponded to the Yang–Baxter equations of R.     

The extended Bloch groups of biquadratic and dihedral number fields

In this paper, we study the Galois action on the extended Bloch groups of biquadratic and dihedral number fields. We prove that if F is a biquadratic number field, then the index $Q_2(F)$ in Browkin and Gangl's formulas on the Brauer–Kuroda relation can only be 1 or 2. This is exactly what Browkin and Gangl predicted in their paper. Moreover we give the explicit criteria for $Q_2(F)=1$ or 2 in terms of the Tate kernels. We also prove that $Q_2(F)=1$ or p for any dihedral extension $F/\mathbb{Q}$ whose Galois group is the dihedral group of order 2p, where p is an odd prime.     

Necessary conditions for reversed Dickson polynomials of the second kind to be permutational

In this paper, we present several necessary conditions for the reversed Dickson polynomial $E_n(1,x)$ of the second kind to be a permutation of ${\mathbb{F}}_q$. In particular, we give explicit evaluation of the sum ${\sum }_{a\in {\mathbb{F}}_q}{E}_n(1,a)$.     

On the distance between linear codes

Let V be an n-dimensional vector space over the finite field consisting of q elements and let ${\mathrm{\Gamma }}_k(V)$ be the Grassmann graph formed by k-dimensional subspaces of V, $1<k<n-1$. Denote by $\mathrm{\Gamma }{(n,k)}_q$ the restriction of ${\mathrm{\Gamma }}_k(V)$ to the set of all non-degenerate linear ${[n,k]}_q$ codes. We show that for any two codes the distance in $\mathrm{\Gamma }{(n,k)}_q$ coincides with the distance in ${\mathrm{\Gamma }}_k(V)$ only in the case when $n<{(q+1)}^2+k-2$, i.e. if n is sufficiently large then for some pairs of codes the distances in the graphs ${\mathrm{\Gamma }}_k(V)$ and $\mathrm{\Gamma }{(n,k)}_q$ are distinct. We describe one class of such pairs.