Let $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}R$ be a commutative ring, $I(R)$ be the set of all ideals of $R$ and $S$ be a subset of $I^*(R)=I(R)\setminus \{0\}$. We define a Cayley sum digraph of ideals of $R$, denoted by $\overrightarrow{\mathrm{Cay}}^+ (I(R),S)$, as a directed graph whose vertex set is the set $I(R)$ and, for every two distinct vertices $I$ and $J$, there is an arc from $I$ to $J$, denoted by $I\longrightarrow J$, whenever $I+K=J$, for some ideal $K $ in $S$. Also, the Cayley sum graph $ \mathrm{Cay}^+ (I(R), S)$ is an undirected graph whose vertex set is the set $I(R)$ and two distinct vertices $I$ and $J$ are adjacent whenever $I+K=J$ or $J+K=I$, for some ideal $K $ in $ S$. In this paper, we study some basic properties of the graphs $\overrightarrow{\mathrm{Cay}}^+ (I(R),S)$ and $ \mathrm{Cay}^+ (I(R), S)$ such as connectivity, girth and clique number. Moreover, we investigate the planarity, outerplanarity and ring graph of $ \mathrm{Cay}^+ (I(R), S)$ and also we provide some characterization for rings $R$ whose Cayley sum graphs have genus one.

Let $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}p$ be a prime and $b$ a primitive root of $p^2$. In this paper, we give an explicit formula for the number of times a value in $\{0,1,\ldots,b-1\}$ occurs in the periodic part of the base-$b$ expansion of $1/p^m$. As a consequence of this result, we prove two recent conjectures of Aragón Artacho et al. [‘Walking on real numbers’, Math. Intelligencer35(1) (2013), 42–60] concerning the base-$b$ expansion of Stoneham numbers.

We prove that if $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}S$ is a finite subset of an ordered group that generates a nonabelian ordered group, then $|S^2|\geq 3|S|-2$. This generalizes a classical result from the theory of set addition.

Let $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}R$ be a semiprime ring with extended centroid $C$ and with maximal right ring of quotients $Q_{mr}(R)$. Let $d{:}\ R\to Q_{mr}(R)$ be an additive map and $b\in Q_{mr}(R)$. An additive map $\delta {:}\ R\to Q_{mr}(R)$ is called a (left) $b$-generalized derivation with associated map $d$ if $\delta (xy)=\delta (x)y+bxd(y)$ for all $x, y\in R$. This gives a unified viewpoint of derivations, generalized derivations and generalized $\sigma $-derivations with an X-inner automorphism $\sigma $. We give a complete characterization of $b$-generalized derivations of $R$ having nilpotent values of bounded index. This extends several known results in the literature.

Groebner bases for the ideals determining mod $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}2$ cohomology of the real flag manifolds $F(1,1,n)$ and $F(1,2,n)$ are obtained. These are used to compute appropriate Stiefel–Whitney classes in order to establish some new nonembedding and nonimmersion results for the manifolds $F(1,2,n)$.

We give a separability criterion for the polynomials of the form

$$\begin{equation*} ax^{2n + 2} + (bx^{2m} + c)(d x^{2k} + e). \end{equation*}$$

$$\begin{equation*} z^2 = ax^{2n + 2} + (bx^{2m} + c)(d x^{2k} + e) \end{equation*}$$

In this paper we prove a structure theorem for the class of $\mathcal{AN}$-operators between separable, complex Hilbert spaces which is similar to that of the singular value decomposition of a compact operator. Apart from this, we show that a bounded operator is $\mathcal{AN}$ if and only if it is either compact or a sum of a compact operator and scalar multiple of an isometry satisfying some condition. We obtain characterizations of these operators as a consequence of this structure theorem and deduce several properties which are similar to those of compact operators.

We consider the weighted $L_p$ solvability for divergence and nondivergence form parabolic equations with partially bounded mean oscillation (BMO) coefficients and certain positive potentials. As an application, global regularity in Morrey spaces for divergence form parabolic operators with partially BMO coefficients on a bounded domain is established.