Identities determining varieties of semigroups with completely regular power

We provide a transparent syntactic algorithm to decide whether an identity defines a variety of semigroups with completely regular power.     

Directed graphs and combinatorial properties of completely regular semigroups

In this paper, we investigate the divisibility graphs and power graphs of completely regular semigroups. We give the structures of these two kinds of graphs and describe a combinatorial property of completely regular semigroups defined in terms of divisibility graphs and power graphs, respectively.     

On the $$\mathbb {}$$-Riemann integral and Hermite–Hadamard inequalities for $$\mathbb {}$$-convex functions

In the present paper we introduce a notion of the \(\mathbb {K}\)-Riemann integral as a natural generalization of a usual Riemann integral and study its properties. The aim of this paper is to extend the classical Hermite–Hadamard inequalities to the case when the usual Riemann integral is replaced by the \(\mathbb {K}\)-Riemann integral and the convexity notion is replaced by \(\mathbb {K}\)-convexity.     

Dedekind $$\sigma $$ σ -complete $$\ell $$ ℓ -groups and Riesz spaces as varieties

Positivity - We prove that the category of Dedekind $$\sigma $$ -complete Riesz spaces is an infinitary variety, and we provide an explicit equational axiomatization. In fact, we show that finitely...     

Restriction semigroups and $$\lambda $$-Zappa-Szép products

The aim of this paper is to study \(\lambda \)-semidirect and \(\lambda \)-Zappa-Szép products of restriction semigroups. The former concept was introduced for inverse semigroups by Billhardt, and has been extended to some classes of left restriction semigroups. The latter was introduced, again in the inverse case, by Gilbert and Wazzan. We unify these concepts by considering what we name the scaffold of a Zappa-Szép product \(S\bowtie T\) where S and T are restriction. Under certain conditions this scaffold becomes a category. If one action is trivial, or if S is a semilattice and T a monoid, the scaffold may be ordered so that it becomes an inductive category. A standard technique, developed by Lawson and based on the Ehresmann-Schein-Nambooripad result for inverse semigroups, allows us to define a product on our category. We thus obtain restriction semigroups that are \(\lambda \)-semidirect products and \(\lambda \)-Zappa-Szép products, extending the work of Billhardt and of Gilbert and Wazzan. Finally, we explicate the internal structure of \(\lambda \)-semidirect products.     

The varieties of semilattice-ordered semigroups satisfying $$x^3\approx x$$ and $$xy\approx yx$$xy≈yx

The aim of this paper is to study the varieties of semilattice-ordered Burnside semigroups satisfying \(x^3\approx x\) and \(xy\approx yx.\) It is shown that the collection of all such varieties forms a distributive lattice of order 9. Also, all of them are finitely based and finitely generated. This gives a generalization and expansion of the results obtained by McKenzie and Romanowska (Contrib Gen Algebra Proc Klagenf Conf 1978 1:213–218, 1979).     

Note on the number of zeros of $$\zeta ^{(k)}(s)$$ ζ ( k ) ( s )

The Ramanujan Journal - Assuming the Riemann hypothesis, we prove that $$\begin{aligned} N_k(T) = \frac{T}{2\pi }\log \frac{T}{4\pi e} + O_k\bigg (\frac{\log T}{\log \log T}\bigg ), \end{aligned}$$...     

On $$\gamma $$ γ - and local $$\gamma $$ γ -vectors of the interval subdivision

Journal of Algebraic Combinatorics - We show that the $$\gamma $$ -vector of the interval subdivision of a simplicial complex with a nonnegative and symmetric h-vector is nonnegative. In...     

Mean-value theorems and extensions of the Elliott-Daboussi theorem on additive arithmetic semigroups

We present more general forms of the mean-value theorems established before for multiplicative functions on additive arithmetic semigroups and prove, on the basis of these new theorems, extensions of the Elliott-Daboussi theorem. Let be an additive arithmetic semigroup with a generating set ℘ of primes p. Assume that the number G(m) of elements a in with “degree” ∂(a)=m satisfies

The Hardy–Littlewood–Pólya inequality of majorization in the context of $$\mathbf {\omega }$$ – $$\textbf{m}$$ –star-convex functions

Aequationes mathematicae - The Hardy–Littlewood–Pólya inequality of majorization is extended for $$\mathbf {\omega }$$ – $$\textbf{m}$$ –star-convex functions to the...     

The finite basis problem for infinite involution semigroups of triangular 2 $$\times $$ 2 matrices

Let \(T_n(\mathbb {F})\) and \(UT_n(\mathbb {F})\) be the semigroups of all upper triangular \(n\times n\) matrices and all upper triangular \(n\times n\) matrices with 0s and/or 1s on the main diagonal over a field \(\mathbb {F}\) with \(\mathsf {char}(\mathbb {F})=0\), respectively. In this paper, we address the finite basis problem for \(T_2(\mathbb {F})\) and \(UT_2(\mathbb {F})\) as involution semigroups under the skew transposition. By giving a sufficient condition under which an involution semigroup is nonfinitely based, we show that both \(T_2(\mathbb {F})\) and \(UT_2(\mathbb {F})\) are nonfinitely based, and that there is a continuum of nonfinitely based involution monoid varieties between the involution monoid variety \(\mathsf {var} UT_2(\mathbb {F})\) generated by \(UT_2(\mathbb {F})\) and the involution monoid variety \(\mathsf {var} T_2(\mathbb {F})\) generated by \(T_2(\mathbb {F})\). Moreover, \(\mathsf {var} UT_2(\mathbb {F})\) cannot be defined within \(\mathsf {var} T_2(\mathbb {F})\) by any finite set of identities.     

Multiple Fourier sums and ϕ-strong means of their deviations on the classes of $$\bar \psi $$ -differentiable functions of many variables

We present the results concerning the approximation of -differentiable functions of many variables by rectangular Fourier sums in uniform and integral metrics and establish estimates for the ϕ-strong means of their deviations in terms of the best approximations. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 59, No. 8, pp. 1075–1093, August, 2007.     

Complete classification of finite semigroups for which the inverse monoid of local automorphisms is a $$\varDelta $$ Δ -semigroup

Semigroup Forum - A semigroup S is called a $$\varDelta $$ -semigroup if the lattice of its congruences forms a chain relative to the inclusion. A local automorphism of a semigroup S is defined as...     

On the Study of Processes of $$\sum (H)$$ and $$\sum _\mathrm{s}(H)$$∑s(H) Classes

In papers by Yor, a remarkable class \(({\varSigma })\) of submartingales is introduced, which, up to technicalities, are submartingales \((X_{t})_{t\ge 0}\) whose increasing process is carried by the times t such that \(X_{t}=0\). These submartingales have several applications in stochastic analysis: for example, the resolution of Skorokhod embedding problem, the study of Brownian local times and the study of zeros of continuous martingales. The submartingales of class \(({\varSigma })\) have been extensively studied in a series of articles by Nikeghbali (part of them in collaboration with Najnudel, some others with Cheridito and Platen). On the other hand, stochastic calculus has been extended to signed measures by Ruiz de Chavez (Le théorème de Paul Lévy pour des mesures signées. Séminaire de probabilités (Strasbourg). Springer, Berlin, 1984) and Beghdadi-Sakrani (Calcul stochastique pour les mesures signées. Séminaire de probabilités (Strasbourg). Springer, Berlin, 2003). In Eyi Obiang et al. (Stochastics 86(1):70–86, 2014), the authors of the present paper have extended the notion of submartingales of class \(({\varSigma })\) to the setting of Ruiz de Chavez (1984) and Beghdadi-Sakrani (2003), giving two different classes of stochastic processes named classes \(\sum (H)\) and \(\sum _\mathrm{s}(H)\) where from tools of the theory of stochastic calculus for signed measures, the authors provide general frameworks and methods for dealing with processes of these classes. In this work, we first give some formulas of multiplicative decomposition for processes of these classes. Afterward, we shall establish some representation results allowing to recover any process of one of these classes from its final value and the last time it visited the origin.     

Evaluation of Series Involving the Product of the Tail of $${\zeta(k)}$$ and $${\zeta(k+1)}$$ζ(k+1)

We aim at evaluating the following class of series involving the product of the tail of two consecutive zeta function values

$$\sum\limits_{n=1}^{\infty}\left(\zeta(k)-1-\frac{1}{2^k}-\cdots-\frac{1}{n^k}\right)\left(\zeta(k+1)-1-\frac{1}{2^{k+1}}-\cdots-\frac{1}{n^{k+1}}\right),$$

where \({k\geq 2}\) is an integer. We show that the series can be expressed in terms of Riemann zeta function values and a special integral involving a polylogarithm function.

     

The three-cross theorem and the six-cross theorem of Pálfy and Szabó

In 1995, Pálfy and Szabó stated the theorem that a projective space satisfies the six-cross theorem if and only if it is Desarguesian. A mistake in their proof is corrected. Moreover, for projective planes, the three-cross theorem of Pálfy and Szabó is identified as the Reidemeister condition.