Search

In this paper we continue our earlier investigations on normal families of meromorphic functions\cite{CS2}. Here, we prove some value distribution results which lead to some normality criteria for a family of meromorphic functions involving the sharing of a holomorphic function by more general differential polynomials generated by members of the family and get some recently known results extended and improved. In particular, the main result of this paper leads to a counterexample to the converse of Bloch's principle.

Some classes of finitely generated hyperabelian groups defined in terms of semipermutability and S-semipermutability are studied in the paper. The classification of finitely generated hyperabelian groups all of whose finite quotients are PST-groups recently obtained by Robinson is behind our results. An alternative proof of such a classification is also included in the paper.

Let G be a locally compact group and let ${\mathcal {SUB}(G)}$ be the hyperspace of closed subgroups of G endowed with the Chabauty topology. The main purpose of this paper is to characterise the connectedness of the Chabauty space ${\mathcal {SUB}(G)}$ . More precisely, we show that if G is a connected pronilpotent group, then ${\mathcal {SUB}(G)}$ is connected if and only if G contains a closed subgroup topologically isomorphic to ${{\mathbb R}}$ .

The paper gives a simple proof of Graev’s theorem (asserting that the free product of Hausdorff topological groups is Hausdorff) for a particular case which includes the countable case of $k_\omega $ -groups and the countable case of Lindelöf P-groups. For this it is shown that in these particular cases the topology of the free product of Hausdorff topological groups coincides with the $X_0$ -topology in the Mal’cev sense, where X is the disjoint union of the topological groups identifying their units.

A finite group whose irreducible complex characters are rational-valued is called a rational group. The aim of this paper is to determine the rational almost simple and rational quasi-simple groups.

In this paper, we extend the study of fixed point properties of semitopological semigroups of continuous mappings in locally convex spaces to the setting of completely regular topological spaces. As applications, we establish a general fixed point theorem, a convergence theorem and an application to amenable locally compact groups.

We prove hyperstability results for the Drygas functional equation on a restricted domain (a certain subset of a normed space). Our results are more general than the ones proposed by Aiemsomboon and Sintunavarat [‘Two new generalised hyperstability results for the Drygas functional equation’, Bull. Aust. Math. Soc.95 (2017), 269–280] and our proof does not rely on the fixed point theorem of Brzdęk as was the case there. A characterisation of the Drygas functional equation in terms of its asymptotic behaviour is given. Several examples are given to illustrate our generalisations. Finally, we point out a misleading statement in the proof of the second result in the paper by Aiemsomboon and Sintunavarat and propose its correction.

In this paper, we study some connections between the polynomial ring $R[y]$ and the differential polynomial ring $R[x;D]$. In particular, we answer a question posed by Smoktunowicz, which asks whether $R[y]$ is nil when $R[x;D]$ is nil, provided that $R$ is an algebra over a field of positive characteristic and $D$ is a locally nilpotent derivation.

In this paper we provide some bounds for the quantity$\Vert f(y)-f(x)\Vert$, where$f:D\rightarrow \mathbb{C}$is an analytic function on the domain$D\subset \mathbb{C}$and$x$,$y\in {\mathcal{B}}$, a Banach algebra, with the spectra$\unicode[STIX]{x1D70E}(x)$,$\unicode[STIX]{x1D70E}(y)\subset D$. Applications for the exponential and logarithmic functions on the Banach algebra${\mathcal{B}}$are also given.

Dorff et al. \cite{DN} formulated a question concerning the convolution of two right half-plane mappings, where the normalization of the functions was considered incorrectly. In this paper, we have reformulated the open problem in correct form and provided a solution to it in a more general form. In addition, we also obtain two new theorems which correct and improve some other results., 11 pages; An extended version of this article was in a couple of conferences, and also in later workshops in Chennai during 2017 in India. This version will appear in Bulletin of the Australian Mathematical Society

Let $G$ be a separable locally compact group with type $I$ left regular representation, $\widehat{G}$ its dual, $A(G)$ its Fourier algebra and $f\in A(G)$ with compact support. If $G=\mathbb{R}$ and the Fourier transform of $f$ is compactly supported, then, by a classical Paley–Wiener theorem, $f=0$. There are extensions of this theorem for abelian and some unimodular groups. In this paper, we prove that if $G$ has no (nonempty) open compact subsets, $\hat{f}$, the regularised Fourier cotransform of $f$, is compactly supported and $\text{Im}\,\hat{f}$ is finite dimensional, then $f=0$. In connection with this result, we characterise locally compact abelian groups whose identity components are noncompact.

In this paper, we give a complete description of left symmetric points for Birkhoff orthogonality in the preduals of von Neumann algebras. As a consequence, except for $\mathbb{C}$, $\ell _{\infty }^{2}$ and $M_{2}(\mathbb{C})$, there are no von Neumann algebras whose preduals have nonzero left symmetric points for Birkhoff orthogonality.

The first author [J. Brough, ‘On vanishing criteria that control finite group structure’, J. Algebra458 (2016), 207–215] has shown that for certain arithmetical results on conjugacy class sizes it is enough to consider only the vanishing conjugacy class sizes. In this paper we further weaken the conditions to consider only vanishing elements of prime power order.

In this paper, class operators are used to give a complete listing of distinct base radical and semisimple classes for universal classes of finite associative rings. General relations between operators reveal that the maximum order of the semigroup formed is 46. In this setting, the homomorphically closed semisimple classes are precisely the hereditary radical classes and hence radical–semisimple classes, and the largest homomorphically closed subclass of a semisimple class is a radical–semisimple class.

Let $V$ be a hypersurface with an isolated singularity at the origin defined by the holomorphic function $f:(\mathbb{C}^{n},0)\rightarrow (\mathbb{C},0)$. The Yau algebra, $L(V)$, is the Lie algebra of derivations of the moduli algebra of $V$. It is a finite-dimensional solvable algebra and its dimension $\unicode[STIX]{x1D706}(V)$ is the Yau number. Fewnomial singularities are those which can be defined by an $n$-nomial in $n$ indeterminates. Yau and Zuo [‘A sharp upper estimate conjecture for the Yau number of weighted homogeneous isolated hypersurface singularity’, Pure Appl. Math. Q.12(1) (2016), 165–181] conjectured a bound for the Yau number and proved that this conjecture holds for binomial isolated hypersurface singularities. In this paper, we verify this conjecture for weighted homogeneous fewnomial surface singularities.

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

The algebraic proof of the fundamental theorem of algebra uses two facts about real numbers. First, every polynomial with odd degree and real coefficients has a real root. Second, every nonnegative real number has a square root. Shipman [‘Improving the fundamental theorem of algebra’, Math. Intelligencer29(4) (2007), 9–14] showed that the assumption about odd degree polynomials is stronger than necessary; any field in which polynomials of prime degree have roots is algebraically closed. In this paper, we give a simpler proof of this result of Shipman.

In this paper, we investigate the two-dimensional shrinking target problem in beta-dynamical systems. Let $\unicode[STIX]{x1D6FD}>1$ be a real number and define the $\unicode[STIX]{x1D6FD}$-transformation on $[0,1]$ by $T_{\unicode[STIX]{x1D6FD}}:x\rightarrow \unicode[STIX]{x1D6FD}x\;\text{mod}\;1$. Let $\unicode[STIX]{x1D6F9}_{i}$ ($i=1,2$) be two positive functions on $\mathbb{N}$ such that $\unicode[STIX]{x1D6F9}_{i}\rightarrow 0$ when $n\rightarrow \infty$. We determine the Lebesgue measure and Hausdorff dimension for the $\limsup$ set $$\begin{eqnarray}W(T_{\unicode[STIX]{x1D6FD}},\unicode[STIX]{x1D6F9}_{1},\unicode[STIX]{x1D6F9}_{2})=\{(x,y)\in [0,1]^{2}:|T_{\unicode[STIX]{x1D6FD}}^{n}x-x_{0}| for any fixed $x_{0},y_{0}\in [0,1]$.

In this paper, we consider a scale invariant Cassinian metric and a Gromov hyperbolic metric. We discuss a distortion property of the scale invariant Cassinian metric under M\"obius maps of a punctured ball onto another punctured ball. We obtain a modulus of continuity of the identity map from a domain equipped with the scale invariant Cassinian metric (or the Gromov hyperbolic metric) onto the same domain equipped with the Euclidean metric. The quasi-invariance properties of both the metrics under quasiconformal maps are also established., Comment: 13 pages (to appear in Bull. Aust. Math. Soc.)

In this paper, we first give a description of the holomorphic automorphism group of a convex domain which is a simple case of the so-called generalised minimal ball. As an application, we show that any proper holomorphic self-mapping on this type of domain is biholomorphic.

The family ${\mathcal{F}}_{\unicode[STIX]{x1D706}}$ of orientation-preserving harmonic functions $f=h+\overline{g}$ in the unit disc $\mathbb{D}$ (normalised in the standard way) satisfying $$\begin{eqnarray}h^{\prime }(z)+g^{\prime }(z)=\frac{1}{(1+\unicode[STIX]{x1D706}z)(1+\overline{\unicode[STIX]{x1D706}}z)},\quad z\in \mathbb{D},\end{eqnarray}$$ for some $\unicode[STIX]{x1D706}\in \unicode[STIX]{x2202}\mathbb{D}$, along with their rotations, play an important role among those functions that are harmonic and orientation-preserving and map the unit disc onto a convex domain. The main theorem in this paper generalises results in recent literature by showing that convex combinations of functions in ${\mathcal{F}}_{\unicode[STIX]{x1D706}}$ are convex.

Rodriguez-Villegas conjectured four supercongruences associated to certain elliptic curves, which were first confirmed by Mortenson by using the Gross–Koblitz formula. In this paper we prove four supercongruences between two truncated hypergeometric series $_{2}F_{1}$. The results generalise the four Rodriguez-Villegas supercongruences.

In this paper we establish new optimal bounds for the derivative of some discrete maximal functions, in both the centred and uncentred versions. In particular, we solve a question originally posed by Bober et al. [‘On a discrete version of Tanaka’s theorem for maximal functions’, Proc. Amer. Math. Soc.140 (2012), 1669–1680].

In this paper, we show that every pair of large positive even integers can be represented in the form of a pair of Goldbach–Linnik equations, that is, linear equations in two primes and $k$ powers of two. In particular, $k=34$ powers of two suffice, in general, and $k=18$ under the generalised Riemann hypothesis. Our result sharpens the number of powers of two in previous results, which gave $k=62$, in general, and $k=31$ under the generalised Riemann hypothesis.

A class of abelian topological groups was previously defined to be a variety of topological groups with coproducts if it is closed under forming subgroups, quotients, products and coproducts in the category of all abelian topological groups and continuous homomorphisms. This extended research on varieties of topological groups initiated by the second author. The key to describing varieties of topological groups generated by various classes was proving that all topological groups in the variety are a quotient of a subgroup of a product of groups in the generating class. This paper analyses generating varieties of topological groups with coproducts. It focuses on the interplay between forming products and coproducts. It is proved that the variety of topological groups with coproducts generated by all discrete groups contains topological groups which cannot be expressed as a quotient of a subgroup of a product of a coproduct of discrete groups. It is proved that the variety of topological groups with coproducts generated by any infinite-dimensional Hilbert space contains all infinite-dimensional Hilbert spaces, answering an open question. This contrasts with the result that a variety of topological groups generated by a topological group does not contain any infinite-dimensional Hilbert space of greater cardinality.

In this paper we first give a negative answer to a question of Amini-Harandi [‘Best proximity point theorems for cyclic strongly quasi-contraction mappings’, J. Global Optim.56 (2013), 1667–1674] on a best proximity point theorem for cyclic quasi-contraction maps. Then we prove some new results on best proximity point theorems that show that results of Amini-Harandi for cyclic strongly quasi-contractions are true under weaker assumptions.

In this paper, we obtain some criteria for $p$-nilpotency and $p$-supersolvability of a finite group and extend some known results concerning weakly $S$-permutably embedded subgroups. In particular, we generalise the main results of Zhang et al. [‘Sylow normalizers and $p$-nilpotence of finite groups’, Comm. Algebra43(3) (2015), 1354–1363].

In this paper, we investigate the influence of certain subgroups of fixed prime power order on the $p$-supersolubility of finite groups.

In this paper, we characterise the structure of the eigencone for the Finsler Laplacian corresponding to the first Dirichlet eigenvalue on a compact Finsler manifold with a smooth boundary.

Let $R$ be a commutative Gorenstein ring. A result of Araya reduces the Auslander–Reiten conjecture on the vanishing of self-extensions to the case where $R$ has Krull dimension at most one. In this paper we extend Araya’s result to certain $R$-algebras. As a consequence of our argument, we obtain examples of bound quiver algebras that satisfy the Auslander–Reiten conjecture.

In this paper we prove the following result: let$m,n\geq 1$be distinct integers, let$R$be an$mn(m+n)|m-n|$-torsion free semiprime ring and let$D:R\rightarrow R$be an$(m,n)$-Jordan derivation, that is an additive mapping satisfying the relation$(m+n)D(x^{2})=2mD(x)x+2nxD(x)$for$x\in R$. Then$D$is a derivation which maps$R$into its centre.

The Brück conjecture states that if a nonconstant entire function $f$ with hyper-order ${\it\sigma}_{2}(f)\in [0,+\infty )\setminus \mathbb{N}$ shares one finite value $a$ (counting multiplicities) with its derivative $f^{\prime }$, then $f^{\prime }-a=c(f-a)$, where $c$ is a nonzero constant. The conjecture has been established for entire functions with order ${\it\sigma}(f) and hyper-order ${\it\sigma}_{2}(f). The purpose of this paper is to prove the Brück conjecture for the case ${\it\sigma}_{2}(f)=\frac{1}{2}$ by studying the infinite hyper-order solutions of the linear differential equations $f^{(k)}+A(z)f=Q(z)$. The shared value $a$ is extended to be a ‘small’ function with respect to the entire function $f$.

A subset$X$of a group$G$is a set of pairwise noncommuting elements if$ab\neq ba$for any two distinct elements$a$and$b$in$X$. If$|X|\geq |Y|$for any other set of pairwise noncommuting elements$Y$in$G$, then$X$is called a maximal subset of pairwise noncommuting elements and the cardinality of such a subset (if it exists) is denoted by${\it\omega}(G)$. In this paper, among other things, we prove that, for each positive integer$n$, there are only finitely many groups$G$, up to isoclinism, with${\it\omega}(G)=n$, and we obtain similar results for groups with exactly$n$centralisers.

In this paper, by using the theory of reproducing kernel Hilbert spaces and the pair correlation formula constructed by Chandee et al. [‘Simple zeros of primitive Dirichlet $L$-functions and the asymptotic large sieve’, Q. J. Math.65(1) (2014), 63–87], we prove that at least 93.22% of low-lying zeros of primitive Dirichlet $L$-functions are simple in a proper sense, under the assumption of the generalised Riemann hypothesis.

In 1987, Sullivan characterised the elements of the semigroupNI(X) generated by the nilpotents inI(X), the symmetric inverse semigroup on an infinite setX; and, in the same year, Gomes and Howie did the same for finiteX. In 1999, Marques-Smith and Sullivan determined all the ideals ofNI(X) for arbitraryX. In this paper, we use that work to describe all the congruences onNI(X).