For any integer m\neq 0$m\neq 0$, we prove that f(x)=x^{9}+9mx^{6}+192m^{3}$f(x)=x^{9}+9mx^{6}+192m^{3}$ is irreducible over \mathbb{Q}$\mathbb{Q}$ and that the Galois group of f(x)$f(x)$ over \mathbb{Q}$\mathbb{Q}$ is the dihedral group of order 18. Moreover, we show that for infinitely many values of m$m$, the splitting fields for f(x)$f(x)$ are distinct.

Let G$G$ be a group and \unicode[STIX]{x1D70E}=\{\unicode[STIX]{x1D70E}_{i}\mid i\in I\}$\unicode[STIX]{x1D70E}=\{\unicode[STIX]{x1D70E}_{i}\mid i\in I\}$ some partition of the set of all primes. A subgroup A$A$ of G$G$ is \unicode[STIX]{x1D70E}$\unicode[STIX]{x1D70E}$-subnormal in G$G$ if there is a subgroup chain A=A_{0}\leq A_{1}\leq \cdots \leq A_{m}=G$A=A_{0}\leq A_{1}\leq \cdots \leq A_{m}=G$ such that either A_{i-1}\unlhd A_{i}$A_{i-1}\unlhd A_{i}$ or A_{i}/(A_{i-1})_{A_{i}}$A_{i}/(A_{i-1})_{A_{i}}$ is a finite \unicode[STIX]{x1D70E}_{j}$\unicode[STIX]{x1D70E}_{j}$-group for some j=j(i)$j=j(i)$ for i=1,\ldots ,m$i=1,\ldots ,m$, and it is modular in G$G$ if \langle X,A\cap Z\rangle =\langle X,A\rangle \cap Z$\langle X,A\cap Z\rangle =\langle X,A\rangle \cap Z$ when X\leq Z\leq G$X\leq Z\leq G$ and \langle A,Y\cap Z\rangle =\langle A,Y\rangle \cap Z$\langle A,Y\cap Z\rangle =\langle A,Y\rangle \cap Z$ when Y\leq G$Y\leq G$ and A\leq Z\leq G$A\leq Z\leq G$. The group G$G$ is called \unicode[STIX]{x1D70E}$\unicode[STIX]{x1D70E}$-soluble if every chief factor H/K$H/K$ of G$G$ is a finite \unicode[STIX]{x1D70E}_{i}$\unicode[STIX]{x1D70E}_{i}$-group for some i=i(H/K)$i=i(H/K)$. In this paper, we describe finite \unicode[STIX]{x1D70E}$\unicode[STIX]{x1D70E}$-soluble groups in which every \unicode[STIX]{x1D70E}$\unicode[STIX]{x1D70E}$-subnormal subgroup is modular.

Kang and Liu [‘On supersolvability of factorized finite groups’, Bull. Math. Sci.3 (2013), 205–210] investigate the structure of finite groups that are products of two supersoluble groups. The goal of this note is to give a correct proof of their main theorem.

Let k$k$ be a nonnegative integer. A subgroup X$X$ of a group G$G$ has normal length k$k$ in G$G$ if all chains between X$X$ and its normal closure X^{G}$X^{G}$ have length at most k$k$, and k$k$ is the length of at least one of these chains. The group G$G$ is said to have finite normal length if there is a finite upper bound for the normal lengths of its subgroups. The aim of this paper is to study groups of finite normal length. Among other results, it is proved that if all subgroups of a locally (soluble-by-finite) group G$G$ have finite normal length in G$G$, then the commutator subgroup G^{\prime }$G^{\prime }$ is finite and so G$G$ has finite normal length. Special attention is given to the structure of groups of normal length 2$2$. In particular, it is shown that finite groups with this property admit a Sylow tower.

Let G$G$ be a finite group. Let \operatorname{cl}(G)$\operatorname{cl}(G)$ be the set of conjugacy classes of G$G$ and let \operatorname{ecl}_{p}(G)$\operatorname{ecl}_{p}(G)$ be the largest integer such that p^{\operatorname{ecl}_{p}(G)}$p^{\operatorname{ecl}_{p}(G)}$ divides |C|$|C|$ for some C\in \operatorname{cl}(G)$C\in \operatorname{cl}(G)$. We prove the following results. If \operatorname{ecl}_{p}(G)=1$\operatorname{ecl}_{p}(G)=1$, then |G:F(G)|_{p}\leq p^{4}$|G:F(G)|_{p}\leq p^{4}$ if p\geq 3$p\geq 3$. Moreover, if G$G$ is solvable, then |G:F(G)|_{p}\leq p^{2}$|G:F(G)|_{p}\leq p^{2}$.

Let a prime p$p$ divide the order of a finite real reflection group. We classify the reflection subgroups up to conjugacy that are minimal with respect to inclusion, subject to containing a p$p$-Sylow subgroup. For Weyl groups, this is achieved by an algorithm inspired by the Borel–de Siebenthal algorithm. The cases where there is not a unique conjugacy class of reflection subgroups minimally containing the p$p$-Sylow subgroups are the groups of type F_{4}$F_{4}$ when p=2$p=2$ and I_{2}(m)$I_{2}(m)$ when m\geq 6$m\geq 6$ is even but not a power of 2$2$ for each odd prime divisor p$p$ of m$m$. The classification significantly reduces the cases required to describe the p$p$-Sylow subgroups of finite real reflection groups.

The catenary degree is an invariant that measures the distance between factorisations of elements within an atomic monoid. In this paper, we classify which finite subsets of \mathbb{Z}_{\geq 0}$\mathbb{Z}_{\geq 0}$ occur as the set of catenary degrees of a numerical monoid (that is, a co-finite, additive submonoid of \mathbb{Z}_{\geq 0}$\mathbb{Z}_{\geq 0}$). In particular, we show that, with one exception, every finite subset of \mathbb{Z}_{\geq 0}$\mathbb{Z}_{\geq 0}$ that can possibly occur as the set of catenary degrees of some atomic monoid is actually achieved by a numerical monoid.

We show that if a finitely generated group G$G$ has a nonelementary WPD action on a hyperbolic metric space X$X$, then the number of G$G$-conjugacy classes of X$X$-loxodromic elements of G$G$ coming from a ball of radius R$R$ in the Cayley graph of G$G$ grows exponentially in R$R$. As an application we prove that for N\geq 3$N\geq 3$ the number of distinct \text{Out}(F_{N})$\text{Out}(F_{N})$-conjugacy classes of fully irreducible elements \unicode[STIX]{x1D719}$\unicode[STIX]{x1D719}$ from an R$R$-ball in the Cayley graph of \text{Out}(F_{N})$\text{Out}(F_{N})$ with \log \unicode[STIX]{x1D706}(\unicode[STIX]{x1D719})$\log \unicode[STIX]{x1D706}(\unicode[STIX]{x1D719})$ of the order of R$R$ grows exponentially in R$R$.

We examine dynamical systems which are ‘nonchaotic’ on a big (in the sense of Lebesgue measure) set in each neighbourhood of a fixed point x_{0}$x_{0}$, that is, the entropy of this system is zero on a set for which x_{0}$x_{0}$ is a density point. Considerations connected with this family of functions are linked with functions attracting positive entropy at x_{0}$x_{0}$, that is, each mapping sufficiently close to the function has positive entropy on each neighbourhood of x_{0}$x_{0}$.

Based on the abstract version of the Smital property, we introduce an operator DS$DS$. We use it to characterise the class of semitopological abelian groups, for which addition is a quasicontinuous operation.

Let {\mathcal{S}}${\mathcal{S}}$ denote the class of analytic and univalent functions in \mathbb{D}:=\{z\in \mathbb{C}:|z|<1\}$\mathbb{D}:=\{z\in \mathbb{C}:|z|<1\}$ which are of the form f(z)=z+\sum _{n=2}^{\infty }a_{n}z^{n}$f(z)=z+\sum _{n=2}^{\infty }a_{n}z^{n}$. We determine sharp estimates for the Toeplitz determinants whose elements are the Taylor coefficients of functions in {\mathcal{S}}${\mathcal{S}}$ and certain of its subclasses. We also discuss similar problems for typically real functions.

We establish a new sufficient condition under which a monoid is nonfinitely based and apply this condition to Lee monoids L_{\ell }^{1}$L_{\ell }^{1}$, obtained by adjoining an identity element to the semigroup generated by two idempotents a$a$ and b$b$ with the relation 0=abab\cdots \,$0=abab\cdots \,$ (length \ell$\ell$). We show that every monoid M$M$ which generates a variety containing L_{5}^{1}$L_{5}^{1}$ and is contained in the variety generated by L_{\ell }^{1}$L_{\ell }^{1}$ for some \ell \geq 5$\ell \geq 5$ is nonfinitely based. We establish this result by analysing \unicode[STIX]{x1D70F}$\unicode[STIX]{x1D70F}$-terms for M$M$, where \unicode[STIX]{x1D70F}$\unicode[STIX]{x1D70F}$ is a certain nontrivial congruence on the free semigroup. We also show that if \unicode[STIX]{x1D70F}$\unicode[STIX]{x1D70F}$ is the trivial congruence on the free semigroup and \ell \leq 5$\ell \leq 5$, then the \unicode[STIX]{x1D70F}$\unicode[STIX]{x1D70F}$-terms (isoterms) for L_{\ell }^{1}$L_{\ell }^{1}$ carry no information about the nonfinite basis property of L_{\ell }^{1}$L_{\ell }^{1}$.

The main aim of this article is to establish analogues of Landau’s theorem for solutions to the \overline{\unicode[STIX]{x2202}}$\overline{\unicode[STIX]{x2202}}$-equation in Dirichlet-type spaces.

We prove the sharp inequality |H_{3,1}(f)|\leq 4/135$|H_{3,1}(f)|\leq 4/135$ for convex functions, that is, for analytic functions f$f$ with a_{n}:=f^{(n)}(0)/n!,~n\in \mathbb{N}$a_{n}:=f^{(n)}(0)/n!,~n\in \mathbb{N}$, such that

\begin{eqnarray}Re\bigg\{1+\frac{zf^{\prime \prime }(z)}{f^{\prime }(z)}\bigg\}>0\quad \text{for}~z\in \mathbb{D}:=\{z\in \mathbb{C}:|z|<1\},\end{eqnarray} $$\begin{eqnarray}Re\bigg\{1+\frac{zf^{\prime \prime }(z)}{f^{\prime }(z)}\bigg\}>0\quad \text{for}~z\in \mathbb{D}:=\{z\in \mathbb{C}:|z|<1\},\end{eqnarray}$$

H_{3,1}(f)$H_{3,1}(f)$

\begin{eqnarray}H_{3,1}(f):=\left|\begin{array}{@{}ccc@{}}a_{1} & a_{2} & a_{3}\\ a_{2} & a_{3} & a_{4}\\ a_{3} & a_{4} & a_{5}\end{array}\right|.\end{eqnarray} $$\begin{eqnarray}H_{3,1}(f):=\left|\begin{array}{@{}ccc@{}}a_{1} & a_{2} & a_{3}\\ a_{2} & a_{3} & a_{4}\\ a_{3} & a_{4} & a_{5}\end{array}\right|.\end{eqnarray}$$

We consider the uniqueness of an entire function and a linear differential polynomial generated by it. One of our results improves a result of Li and Yang [‘Value sharing of an entire function and its derivatives’, J. Math. Soc. Japan51(4) (1999), 781–799].

Let {\mathcal{H}}ol(B_{d})${\mathcal{H}}ol(B_{d})$ denote the space of holomorphic functions on the unit ball B_{d}$B_{d}$ of \mathbb{C}^{d}$\mathbb{C}^{d}$, d\geq 1$d\geq 1$. Given a log-convex strictly positive weight w(r)$w(r)$ on [0,1)$[0,1)$, we construct a function f\in {\mathcal{H}}ol(B_{d})$f\in {\mathcal{H}}ol(B_{d})$ such that the standard integral means M_{p}(f,r)$M_{p}(f,r)$ and w(r)$w(r)$ are equivalent for any p$p$ with 0<p\leq \infty$0<p\leq \infty$. We also obtain similar results related to volume integral means.

We give a succinct proof of a duality theorem obtained by Révész [‘Some trigonometric extremal problems and duality’, J. Aust. Math. Soc. Ser. A 50 (1991), 384–390] which concerns extremal quantities related to trigonometric polynomials. The key tool of our new proof is an intersection formula on dual cones in real Banach spaces. We show another application of this intersection formula which is related to integral estimates of nonnegative positive-definite functions.

It is shown that various definitions of \unicode[STIX]{x1D711}$\unicode[STIX]{x1D711}$-Connes amenability and \unicode[STIX]{x1D711}$\unicode[STIX]{x1D711}$-contractibility are equivalent to older and simpler concepts.

Let \unicode[STIX]{x1D6FA}$\unicode[STIX]{x1D6FA}$ be a member of a certain class of convex ellipsoids of finite/infinite type in \mathbb{C}^{2}$\mathbb{C}^{2}$. In this paper, we prove that every holomorphic function in L^{p}(\unicode[STIX]{x1D6FA})$L^{p}(\unicode[STIX]{x1D6FA})$ can be approximated by holomorphic functions on \bar{\unicode[STIX]{x1D6FA}}$\bar{\unicode[STIX]{x1D6FA}}$ in L^{p}(\unicode[STIX]{x1D6FA})$L^{p}(\unicode[STIX]{x1D6FA})$-norm, for 1\leq p<\infty$1\leq p<\infty$. For the case p=\infty$p=\infty$, the continuity up to the boundary is additionally required. The proof is based on L^{p}$L^{p}$ bounds in the additive Cousin problem.

We construct travelling waves in the Burgers equation with the fractional Laplacian (D^{2})^{\unicode[STIX]{x1D6FC}}$(D^{2})^{\unicode[STIX]{x1D6FC}}$, \unicode[STIX]{x1D6FC}\in (1/2,1)$\unicode[STIX]{x1D6FC}\in (1/2,1)$. This is done by first constructing odd solutions u_{\unicode[STIX]{x1D700}}$u_{\unicode[STIX]{x1D700}}$ of uu^{\prime }=K_{\unicode[STIX]{x1D700}_{1}}\ast u-k_{\unicode[STIX]{x1D700}_{1}}u+\unicode[STIX]{x1D700}_{2}u^{\prime \prime }$uu^{\prime }=K_{\unicode[STIX]{x1D700}_{1}}\ast u-k_{\unicode[STIX]{x1D700}_{1}}u+\unicode[STIX]{x1D700}_{2}u^{\prime \prime }$, u(-\infty )=u_{c}>0$u(-\infty )=u_{c}>0$, with K_{\unicode[STIX]{x1D700}_{1}}\ast u-k_{\unicode[STIX]{x1D700}_{1}}u$K_{\unicode[STIX]{x1D700}_{1}}\ast u-k_{\unicode[STIX]{x1D700}_{1}}u$ nonsingular, and then passing to the limit \unicode[STIX]{x1D700}_{1},\unicode[STIX]{x1D700}_{2}\rightarrow 0$\unicode[STIX]{x1D700}_{1},\unicode[STIX]{x1D700}_{2}\rightarrow 0$, to give K_{\unicode[STIX]{x1D700}_{1}}\ast u_{\unicode[STIX]{x1D700}}-k_{\unicode[STIX]{x1D700}_{1}}u_{\unicode[STIX]{x1D700}}\rightarrow (D^{2})^{\unicode[STIX]{x1D6FC}}u_{0}$K_{\unicode[STIX]{x1D700}_{1}}\ast u_{\unicode[STIX]{x1D700}}-k_{\unicode[STIX]{x1D700}_{1}}u_{\unicode[STIX]{x1D700}}\rightarrow (D^{2})^{\unicode[STIX]{x1D6FC}}u_{0}$ pointwise. The proof relies on operator splitting.