Ryabukhin showed that there is a correspondence between elementary radical classes of rings and certain filters of ideals of the free ring on one generator, analogous to the Gabriel correspondence between torsion classes of left unital modules and certain filters of left ideals of the coefficient ring. This correspondence is further explored here. All possibilities for the intersection of the ideals

We find and prove a class of congruences modulo 4 for eta-products associated with certain ternary quadratic forms. This study was inspired by similar conjectured congruences modulo 4 for certain mock theta functions.

The notion of recurrent fractal interpolation functions (RFIFs) was introduced by Barnsley et al. [‘Recurrent iterated function systems’, Constr. Approx.5 (1989), 362–378]. Roughly speaking, the graph of an RFIF is the invariant set of a recurrent iterated function system on $\mathbb {R}^2$ . We generalise the definition of RFIFs so that iterated functions in the recurrent system need not be contractive

We provide a direct proof of a Bogomolov-type statement for affine varieties V defined over function fields K of finite transcendence degree over an arbitrary field k, generalising a previous result (obtained through a different approach) of the first author in the special case when K is a function field of transcendence degree $1$ . Furthermore, we obtain sharp lower bounds for the Weil height of

A (positive definite and integral) quadratic form is said to be prime-universal if it represents all primes. Recently, Doyle and Williams [‘Prime-universal quadratic forms $ax^2+by^2+cz^2$ and $ax^2+by^2+cz^2+dw^2$ ’, Bull. Aust. Math. Soc.101 (2020), 1–12] classified all prime-universal diagonal ternary quadratic forms and all prime-universal diagonal quaternary quadratic forms under two conjectures

We introduce the notion of the slot length of a family of matrices over an arbitrary field ${\mathbb {F}}$ . Using this definition it is shown that, if $n\ge 5$ and A and B are $n\times n$ complex matrices with A unicellular and the pair $\{A,B\}$ irreducible, the slot length s of $\{A,B\}$ satisfies $2\le s\le n-1$ , where both inequalities are sharp, for every n. It is conjectured that the slot length

We compactify and regularise the space of initial values of a planar map with a quartic invariant and use this construction to prove its integrability in the sense of algebraic entropy. The system has certain unusual properties, including a sequence of points of indeterminacy in $\mathbb {P}^{1}\!\times \mathbb {P}^{1}$ . These indeterminacy points lie on a singular fibre of the mapping to a corresponding

For $n\geq 3$ , let $Q_n\subset \mathbb {C}$ be an arbitrary regular n-sided polygon. We prove that the Cauchy transform $F_{Q_n}$ of the normalised two-dimensional Lebesgue measure on $Q_n$ is univalent and starlike but not convex in $\widehat {\mathbb {C}}\setminus Q_n$ .

Suppose that $\mathcal {A}$ is a unital subhomogeneous C*-algebra. We show that every central sequence in $\mathcal {A}$ is hypercentral if and only if every pointwise limit of a sequence of irreducible representations is multiplicity free. We also show that every central sequence in $\mathcal {A}$ is trivial if and only if every pointwise limit of irreducible representations is irreducible. Finally

We present several results on the connectivity of McKay quivers of finite-dimensional complex representations of finite groups, with no restriction on the faithfulness or self-duality of the representations. We give examples of McKay quivers, as well as quivers that cannot arise as McKay quivers, and discuss a necessary and sufficient condition for two finite groups to share a connected McKay quiver

We study lower bounds of a general family of L-functions on the $1$ -line. More precisely, we show that for any $F(s)$ in this family, there exist arbitrarily large t such that $F(1+it)\geq e^{\gamma _F} (\log _2 t + \log _3 t)^m + O(1)$ , where m is the order of the pole of $F(s)$ at $s=1$ . This is a generalisation of the result of Aistleitner, Munsch and Mahatab [‘Extreme values of the Riemann zeta

Let E and D be open subsets of $\mathbb {R}^{n+1}$ such that $\overline {D}$ is a compact subset of E, and let v be a supertemperature on E. A temperature u on D is called extendable by v if there is a supertemperature w on E such that $w=u$ on D and $w=v$ on $E\backslash \overline D$ . From earlier work of N. A. Watson, [‘Extendable temperatures’, Bull. Aust. Math. Soc.100 (2019), 297–303], either

For a given set $S\subseteq \mathbb {Z}_m$ and $\overline {n}\in \mathbb {Z}_m$ , let $R_S(\overline {n})$ denote the number of solutions of the equation $\overline {n}=\overline {s}+\overline {s'}$ with ordered pairs $(\overline {s},\overline {s'})\in S^2$ . We determine the structure of $A,B\subseteq \mathbb {Z}_m$ with $|(A\cup B)\setminus (A\cap B)|=m-2$ such that $R_{A}(\overline {n})=R_{B}(\overline

Linckelmann and Murphy have classified the Morita equivalence classes of p-blocks of finite groups whose basic algebra has dimension at most $12$ . We extend their classification to dimension $13$ and $14$ . As predicted by Donovan’s conjecture, we obtain only finitely many such Morita equivalence classes.

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.

We construct eta-quotient representations of two families of q-series involving the Rogers–Ramanujan continued fraction by establishing related recurrence relations. We also display how these eta-quotient representations can be utilised to dissect certain q-series identities.

In this paper we sharpen Hildebrand’s earlier result on a conjecture of Erdős on limit points of the sequence ${\{d(n)/d(n+1)\}}$ .

The notion of $\theta $ -congruent numbers is a generalisation of congruent numbers where one considers triangles with an angle $\theta $ such that $\cos \theta $ is a rational number. In this paper we discuss a criterion for a natural number to be $\theta $ -congruent over certain real number fields.

Zhang [‘On hyperstability of generalised linear functional equations in several variables’, Bull. Aust. Math. Soc.92 (2015), 259–267] proved a hyperstability result for generalised linear functional equations in several variables by using Brzdęk’s fixed point theorem. We complete and extend Zhang’s result. We illustrate our results for general linear equations in two variables and Fréchet equations

By making use of the ‘creative microscoping’ method, Guo and Zudilin [‘Dwork-type supercongruences through a creative $q$ -microscope’, Preprint, 2020, arXiv:2001.02311] proved several Dwork-type supercongruences, including some conjectures of Swisher. In this paper, we apply the Guo–Zudilin method to prove a new Dwork-type supercongruence, which uniformly generalises several conjectures of Swisher

Isaacs and Seitz conjectured that the derived length of a finite solvable group $G$ is bounded by the cardinality of the set of all irreducible character degrees of $G$ . We prove that the conjecture holds for $G$ if the degrees of nonlinear monolithic characters of $G$ having the same kernels are distinct. Also, we show that the conjecture is true when $G$ has at most three nonlinear monolithic characters

An undirected graph $G$ is determined by its $T$ -gain spectrum (DTS) if every $T$ -gain graph cospectral to $G$ is switching equivalent to $G$ . We show that the complete graph $K_{n}$ and the graph $K_{n}-e$ obtained by deleting an edge from $K_{n}$ are DTS, the star $K_{1,n}$ is DTS if and only if $n\leq 2$ , and an odd path $P_{2m+1}$ is not DTS if $m\geq 2$ . We give an operation for constructing

An edge-coloured graph $G$ is called properly connected if any two vertices are connected by a properly coloured path. The proper connection number, $pc(G)$ , of a graph $G$ , is the smallest number of colours that are needed to colour $G$ such that it is properly connected. Let $\unicode[STIX]{x1D6FF}(n)$ denote the minimum value such that $pc(G)=2$ for any 2-connected incomplete graph $G$ of order

Urysohn’s lemma is a crucial property of normal spaces that deals with separation of closed sets by continuous functions. It is also a fundamental ingredient in proving the Tietze extension theorem, another property of normal spaces that deals with the existence of extensions of continuous functions. Using the Cantor function, we give alternative proofs for Urysohn’s lemma and the Tietze extension

In this note, we provide refined estimates of two sums involving the Euler totient function, $$\begin{eqnarray}\mathop{\sum }_{n\leq x}\unicode[STIX]{x1D719}\biggl(\biggl[\frac{x}{n}\biggr]\biggr)\quad \text{and}\quad \mathop{\sum }_{n\leq x}\frac{\unicode[STIX]{x1D719}([x/n])}{[x/n]},\end{eqnarray}$$ where $[x]$ denotes the integral part of real $x$ . The above summations were recently considered

Given $d\in \mathbb{N}$ , we establish sum-product estimates for finite, nonempty subsets of $\mathbb{R}^{d}$ . This is equivalent to a sum-product result for sets of diagonal matrices. In particular, let $A$ be a finite, nonempty set of $d\times d$ diagonal matrices with real entries. Then, for all $\unicode[STIX]{x1D6FF}_{1}<1/3+5/5277$ , $$\begin{eqnarray}|A+A|+|A\cdot A|\gg _{d}|A|^{1+\unicode

Let $f$ be analytic in the unit disk $\mathbb{D}=\{z\in \mathbb{C}:|z|<1\}$ and ${\mathcal{S}}$ be the subclass of normalised univalent functions given by $f(z)=z+\sum _{n=2}^{\infty }a_{n}z^{n}$ for $z\in \mathbb{D}$ . We give sharp upper and lower bounds for $|a_{3}|-|a_{2}|$ and other related functionals for the subclass ${\mathcal{F}}_{O}(\unicode[STIX]{x1D706})$ of Ozaki close-to-convex functions

Consider an intermittent map  $f_{\unicode[STIX]{x1D705}}:[0,1]\rightarrow [0,1]$ and a Hölder continuous potential $\unicode[STIX]{x1D711}:[0,1]\rightarrow \mathbb{R}$ . We show that $\unicode[STIX]{x1D719}$ is stochastic for $f_{\unicode[STIX]{x1D705}}$ if and only if the topological pressure $P(f_{\unicode[STIX]{x1D705}},\unicode[STIX]{x1D711})$ satisfies $P(f_{\unicode[STIX]{x1D705}},\unicode[

We obtain several norm and eigenvalue inequalities for positive matrices partitioned into four blocks. The results involve the numerical range $W(X)$ of the off-diagonal block $X$ , especially the distance $d$ from $0$ to $W(X)$ . A special consequence is an estimate, $$\begin{eqnarray}\text{diam}\,W\left(\left[\begin{array}{@{}cc@{}}A & X\\ X^{\ast } & B\end{array}\right]\right)-\text{diam}\,W\bi

For a positive real number $t$ , define the harmonic continued fraction $$\begin{eqnarray}\text{HCF}(t)=\biggl[\frac{t}{1},\frac{t}{2},\frac{t}{3},\ldots \biggr].\end{eqnarray}$$ We prove that $$\begin{eqnarray}\text{HCF}(t)=\frac{1}{1-2t(\frac{1}{t+2}-\frac{1}{t+4}+\frac{1}{t+6}-\cdots \,)}.\end{eqnarray}$$

We derive estimates relating the values of a solution at any two points to the distance between the points for quasilinear parabolic equations on compact Riemannian manifolds under Ricci flow.

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.

For integers $p,b\geq 2$ , let $D=\{0,1,\ldots ,b-1\}$ be a set of consecutive digits. It is known that the Cantor measure $\unicode[STIX]{x1D707}_{pb,D}$ generated by the iterated function system $\{(pb)^{-1}(x+d)\}_{x\in \mathbb{R},d\in D}$ is a spectral measure with spectrum $$\begin{eqnarray}\unicode[STIX]{x1D6EC}(pb,S)=\bigg\{\mathop{\sum }_{j=0}^{\text{finite}}(pb)^{j}s_{j}:s_{j}\in S\bigg\}

This paper is concerned with the static Choquard equation $$\begin{eqnarray}-\unicode[STIX]{x1D6E5}u=\bigg(\frac{1}{|x|^{N-\unicode[STIX]{x1D6FC}}}\ast |u|^{p}\bigg)|u|^{p-2}u\quad \text{in }\mathbb{R}^{N},\end{eqnarray}$$ where $N,p>2$ and $\max \{0,N-4\}<\unicode[STIX]{x1D6FC}

The Severi variety $V_{d,n}$ of plane curves of a given degree $d$ and exactly $n$ nodes admits a map to the Hilbert scheme $\mathbb{P}^{2[n]}$ of zero-dimensional subschemes of $\mathbb{P}^{2}$ of degree $n$ . This map assigns to every curve $C\in V_{d,n}$ its nodes. For some $n$ , we consider the image under this map of many known divisors of the Severi variety and its partial compactification. We

For a finite group $G$ , define $l(G)=(\prod _{g\in G}o(g))^{1/|G|}/|G|$ , where $o(g)$ denotes the order of $g\in G$ . We prove that if $l(G)>l(A_{5}),l(G)>l(A_{4}),l(G)>l(S_{3}),l(G)>l(Q_{8})$ or $l(G)>l(C_{2}\times C_{2})$ , then $G$ is solvable, supersolvable, nilpotent, abelian or cyclic, respectively.

We advance a new conjecture in the spirit of the dynamical Manin–Mumford conjecture. We show that our conjecture holds for all polarisable endomorphisms of abelian varieties and for all polarisable endomorphisms of $(\mathbb{P}^{1})^{N}$ . Furthermore, we show various examples which highlight the restrictions one would need to consider in formulating any general conclusion in the dynamical Manin–Mumford

Motivated by the Bruhat and Cartan decompositions of general linear groups over local fields, we enumerate double cosets of the group of label-preserving automorphisms of a label-regular tree over the fixator of an end of the tree and over maximal compact open subgroups. This enumeration is used to show that every continuous homomorphism from the automorphism group of a label-regular tree has closed

We sharpen earlier work of Dabrowski on near-perfect power values of the quartic form $x^{4}-y^{4}$ , through appeal to Frey curves of various signatures and related techniques.

We extend existing methods which treat the semilinear Calderón problem on a bounded domain to a class of complex manifolds with Kähler metric. Given two semilinear Schrödinger operators with the same Dirchlet-to-Neumann data, we show that the integral identities that appear naturally in the determination of the analytic potentials are enough to deduce uniqueness on the boundary up to infinite order

We consider Stavskaya’s process, which is a two-state probabilistic cellular automaton defined on a one-dimensional lattice. The state of any vertex depends only on itself and on the state of its right-adjacent neighbour. This process was one of the first multicomponent systems with local interaction for which the existence of a kind of phase transition has been rigorously proved. However, the exact

In this note, we evaluate sums of partial theta functions. Our main tool is an application of an extended version of the Bailey transform to an identity of Gasper and Rahman on $q$ -hypergeometric series.

Let $G$ be a finite group and $p$ be an odd prime. We show that if $\mathbf{O}_{p}(G)=1$ and $p^{2}$ does not divide every irreducible $p$ -Brauer character degree of $G$ , then $|G|_{p}$ is bounded by $p^{3}$ when $p\geqslant 5$ or $p=3$ and $\mathsf{A}_{7}$ is not involved in $G$ , and by $3^{4}$ if $p=3$ and $\mathsf{A}_{7}$ is involved in $G$ .

We obtain a lower bound on the largest prime factor of the denominator of rational numbers in the Cantor set. This gives a stronger version of a recent result of Schleischitz [‘On intrinsic and extrinsic rational approximation to Cantor sets’, Ergodic Theory Dyn. Syst. to appear] obtained via a different argument.

Suppose $a^{2}(a^{2}+1)$ divides $b^{2}(b^{2}+1)$ with $b>a$ . We improve a previous result and prove a gap principle, without any additional assumptions, namely $b\gg a(\log a)^{1/8}/(\log \log a)^{12}$ . We also obtain $b\gg _{\unicode[STIX]{x1D716}}a^{15/14-\unicode[STIX]{x1D716}}$ under the abc conjecture.

We show that a class of area-preserving flows can deform every starshaped curve into a circle.

It is known that the Fourier–Stieltjes coefficients of a nonatomic coin-tossing measure may not vanish at infinity. However, we show that they could vanish at infinity along some integer subsequences, including the sequence ${\{b^{n}\}}_{n\geq 1}$ where $b$ is multiplicatively independent of 2 and the sequence given by the multiplicative semigroup generated by 3 and 5. The proof is based on elementary

Let $C(G)$ be the poset of cyclic subgroups of a finite group $G$ and let $\mathscr{P}$ be the class of $p$ -groups of order  $p^{n}$ ( $n\geq 3$ ). Consider the function $\unicode[STIX]{x1D6FC}:\mathscr{P}\longrightarrow (0,1]$ given by $\unicode[STIX]{x1D6FC}(G)=|C(G)|/|G|$ . In this paper, we determine the second minimum value of  $\unicode[STIX]{x1D6FC}$ , as well as the corresponding minimum points

In 1945–1946, C. L. Siegel proved that an $n$ -dimensional lattice $\unicode[STIX]{x1D6EC}$ of determinant $\text{det}(\unicode[STIX]{x1D6EC})$ has at most $m^{n^{2}}$ different sublattices of determinant $m\cdot \text{det}(\unicode[STIX]{x1D6EC})$ . In 1997, the exact number of the different sublattices of index $m$ was determined by Baake. We present a systematic treatment for counting the sublattices

Barnard and Steinerberger [‘Three convolution inequalities on the real line with connections to additive combinatorics’, Preprint, 2019, arXiv:1903.08731] established the autocorrelation inequality $$\begin{eqnarray}\min _{0\leq t\leq 1}\int _{\mathbb{R}}f(x)f(x+t)\,dx\leq 0.411||f||_{L^{1}}^{2}\quad \text{for}~f\in L^{1}(\mathbf{R}),\end{eqnarray}$$ where the constant $0.411$ cannot be replaced by

We discuss a truncated identity of Euler and present a combinatorial proof of it. We also derive two finite identities as corollaries. As an application, we establish two related $q$ -congruences for sums of $q$ -Catalan numbers, one of which has been proved by Tauraso [‘ $q$ -Analogs of some congruences involving Catalan numbers’, Adv. Appl. Math. 48 (2012), 603–614] by a different method.

For a character $\unicode[STIX]{x1D712}$ of a finite group $G$ , the co-degree of $\unicode[STIX]{x1D712}$ is $\unicode[STIX]{x1D712}^{c}(1)=[G:\text{ker}\unicode[STIX]{x1D712}]/\unicode[STIX]{x1D712}(1)$ . We study finite groups whose co-degrees of nonprincipal (complex) irreducible characters are divisible by a given prime $p$ .

Let $k$ be a finite field and $L$ be the function field of a curve $C/k$ of genus $g\geq 1$ . In the first part of this note we show that the number of separable $S$ -integral points on a constant elliptic curve $E/L$ is bounded solely in terms of $g$ and the size of $S$ . In the second part we assume that $L$ is the function field of a hyperelliptic curve $C_{A}:s^{2}=A(t)$ , where $A(t)$ is a square-free

Following recent investigations of vanishing coefficients in infinite products, we show that such instances are very rare when the infinite product is among a family of theta-quotients of modulus five. We also prove that a general family of products of theta functions of modulus five can always be effectively 5-dissected.

To study when a paratopological group becomes a topological group, Arhangel’skii et al. [‘Topological games and topologies on groups’, Math. Maced. 8 (2010), 1–19] introduced the class of $(\,\unicode[STIX]{x1D6FD},G_{\unicode[STIX]{x1D6F1}})$ -unfavourable spaces. We show that every $\unicode[STIX]{x1D707}$ -complete (or normal) $(\,\unicode[STIX]{x1D6FD},G_{\unicode[STIX]{x1D6F1}})$ -unfavourable

In robotics, a topological theory of motion planning was initiated by M. Farber. We present optimal motion planning algorithms which can be used in designing practical systems controlling objects moving in Euclidean space without collisions between them and avoiding obstacles. Furthermore, we present the multi-tasking version of the algorithms.

We extend bifurcation results of nonlinear eigenvalue problems from real Banach spaces to any neighbourhood of a given point. For points of odd multiplicity on these restricted domains, we establish that the component of solutions through the bifurcation point either is unbounded, admits an accumulation point on the boundary, or contains an even number of odd-multiplicity points. In the simple-multiplicity

For a given prime $p$ , we investigate the finite groups all of whose 2-minimal $p$ -subgroups are complemented.

In this paper we study a class ${\mathcal{Z}}_{H}$ of harmonic mappings on the open unit disk $\mathbb{D}$ in the complex plane that is an extension of the classical (analytic) Zygmund space. We extend to the elements of this class a characterisation that is valid in the analytic case. We also provide a similar result for a closed separable subspace of ${\mathcal{Z}}_{H}$ which we call the little harmonic

We prove rigidity theorems for ancient solutions of geometric flows of immersed submanifolds. Specifically, we find conditions on the second fundamental form that characterise the shrinking sphere among compact ancient solutions for the mean curvature flow in codimension two surfaces.