Let ${\mathbb {Z}}_{K}$ denote the ring of algebraic integers of an algebraic number field $K = {\mathbb Q}(\theta )$, where $\theta $ is a root of a monic irreducible polynomial $f(x) = x^n + a(bx+c)^m \in {\mathbb {Z}}[x]$, $1\leq m<n$. We say $f(x)$ is monogenic if $\{1, \theta , \ldots , \theta ^{n-1}\}$ is a basis for ${\mathbb {Z}}_K$. We give necessary and sufficient conditions involving only $a, b, c, m, n$ for $f(x)$ to be monogenic. Moreover, we characterise all the primes dividing the index of the subgroup ${\mathbb {Z}}[\theta ]$ in ${\mathbb {Z}}_K$. As an application, we also provide a class of monogenic polynomials having non square-free discriminant and Galois group $S_n$, the symmetric group on n letters.

We construct a new family of quintic non-Pólya fields with large Pólya groups. We show that the Pólya number of such a field never exceeds five times the size of its Pólya group. Finally, we show that these non-Pólya fields are nonmonogenic of field index one.

We use the Weyl bound for Dirichlet L-functions to derive zero-density estimates for L-functions associated to families of fixed-order Dirichlet characters. The results improve on previous bounds given by the author when $\sigma $ is sufficiently distant from the critical line.

Let $K={\mathbb {Q}}(\theta )$ be an algebraic number field with $\theta $ satisfying a monic irreducible polynomial $f(x)$ of degree n over ${\mathbb {Q}}.$ The polynomial $f(x)$ is said to be monogenic if $\{1,\theta ,\ldots ,\theta ^{n-1}\}$ is an integral basis of K. Deciding whether or not a monic irreducible polynomial is monogenic is an important problem in algebraic number theory. In an attempt to answer this problem for a certain family of polynomials, Jones [‘A brief note on some infinite families of monogenic polynomials’, Bull. Aust. Math. Soc. 100 (2019), 239–244] conjectured that if $n\ge 3$, $1\le m\le n-1$, $\gcd (n,mB)=1$ and A is a prime number, then the polynomial $x^n+A (Bx+1)^m\in {\mathbb {Z}}[x]$ is monogenic if and only if $n^n+(-1)^{n+m}B^n(n-m)^{n-m}m^mA$ is square-free. We prove that this conjecture is true.

A positive even number is said to be a Maillet number if it can be written as the difference between two primes, and a Kronecker number if it can be written in infinitely many ways as the difference between two primes. It is believed that all even numbers are Kronecker numbers. We study the division and multiplication of Kronecker numbers and show that these numbers are rather abundant. We prove that there is a computable constant k and a set D consisting of at most 720 computable Maillet numbers such that, for any integer n, $kn$ can be expressed as a product of a Kronecker number and a Maillet number in D. We also prove that every positive rational number can be written as a ratio of two Kronecker numbers.

We solve the problem of finding the inverse connection formulae for the generalised Bessel polynomials and their reciprocals, the reverse generalised Bessel polynomials. The connection formulae express monomials in terms of the generalised Bessel polynomials. They enable formulae for the elements of change of basis matrices for both kinds of generalised Bessel polynomials to be derived and proved correct directly.

The lifting problem for universal quadratic forms over a totally real number field K consists of determining the existence or otherwise of a quadratic form with integer coefficients (or $\mathbb {Z}$-form) that is universal over K. We prove the nonexistence of universal $\mathbb {Z}$-forms over simplest cubic fields for which the integer parameter is big enough. The monogenic case is already known. We prove the nonexistence in the nonmonogenic case by using the existence of a totally positive nonunit algebraic integer in K with minimal (codifferent) trace equal to one.

We show that certain sums of partition numbers are divisible by multiples of 2 and 3. For example, if $p(n)$ denotes the number of unrestricted partitions of a positive integer n (and $p(0)=1$, $p(n)=0$ for $n<0$), then for all nonnegative integers m,

$$ \begin{align*}\sum_{k=0}^\infty p(24m+23-\omega(-2k))+\sum_{k=1}^\infty p(24m+23-\omega(2k))\equiv 0~ (\text{mod}~144),\end{align*} $$

where $\omega (k)=k(3k+1)/2$.

In 1968, Steinberg [Endomorphisms of Linear Algebraic Groups, Memoirs of the American Mathematical Society, 80 (American Mathematical Society, Providence, RI, 1968)] proved a theorem stating that the exterior powers of an irreducible reflection representation of a Euclidean reflection group are again irreducible and pairwise nonisomorphic. We extend this result to a more general context where the inner product invariant under the group action may not necessarily exist.

The minimum number of idempotent generators is calculated for an incidence algebra of a finite poset over a commutative ring. This quantity equals either $\lceil \log _2 n\rceil $ or $\lceil \log _2 n\rceil +1$, where n is the cardinality of the poset. The two cases are separated in terms of the embedding of the Hasse diagram of the poset into the complement of the hypercube graph.

If E is a graph and K is a field, we consider an ideal I of the Leavitt path algebra $L_K(E)$ of E over K. We describe the admissible pair corresponding to the smallest graded ideal which contains I where the grading in question is the natural grading of $L_K(E)$ by ${\mathbb {Z}}$. Using this description, we show that the right and the left annihilators of I are equal (which may be somewhat surprising given that I may not be self-adjoint). In particular, we establish that both annihilators correspond to the same admissible pair and its description produces the characterisation from the title. Then, we turn to the property that the right (equivalently left) annihilator of any ideal is a direct summand and recall that a unital ring with this property is said to be quasi-Baer. We exhibit a condition on E which is equivalent to unital $L_K(E)$ having this property.

Ranks of partitions play an important role in the theory of partitions. They provide combinatorial interpretations for Ramanujan’s famous congruences for partition functions. We establish a family of congruences modulo powers of $5$ for ranks of partitions.

We prove analogues of Schur’s lemma for endomorphisms of extensions in Tannakian categories. More precisely, let $\mathbf {T}$ be a neutral Tannakian category over a field of characteristic zero. Let E be an extension of A by B in $\mathbf {T}$. We consider conditions under which every endomorphism of E that stabilises B induces a scalar map on $A\oplus B$. We give a result in this direction in the general setting of arbitrary $\mathbf {T}$ and E, and then a stronger result when $\mathbf {T}$ is filtered and the associated graded objects to A and B satisfy some conditions. We also discuss the sharpness of the results.

It is well known that the edge ideal $I(G)$ of a simple graph G has linear quotients if and only if $G^c$ is chordal. We investigate when the property of having linear quotients is inherited by homological shift ideals of an edge ideal. We will see that adding a cluster to the graph $G^c$ when $I(G)$ has homological linear quotients results in a graph with the same property. In particular, $I(G)$ has homological linear quotients when $G^c$ is a block graph. We also show that adding pinnacles to trees preserves the property of having homological linear quotients for the edge ideal of their complements. Furthermore, $I(G)$ has homological linear quotients for every graph G such that $G^c$ is a $\lambda $-minimal chordal graph.

Let G be a finite group and $\mathrm {Irr}(G)$ the set of all irreducible complex characters of G. Define the codegree of $\chi \in \mathrm {Irr}(G)$ as $\mathrm {cod}(\chi ):={|G:\mathrm {ker}(\chi ) |}/{\chi (1)}$ and let $\mathrm {cod}(G):=\{\mathrm {cod}(\chi ) \mid \chi \in \mathrm {Irr}(G)\}$ be the codegree set of G. Let $\mathrm {A}_n$ be an alternating group of degree $n \ge 5$. We show that $\mathrm {A}_n$ is determined up to isomorphism by $\operatorname {cod}(\mathrm {A}_n)$.

Carlsen [‘$\ast $-isomorphism of Leavitt path algebras over $\Bbb Z$’, Adv. Math. 324 (2018), 326–335] showed that any $\ast $-homomorphism between Leavitt path algebras over $\mathbb Z$ is automatically diagonal preserving and hence induces an isomorphism of boundary path groupoids. His result works over conjugation-closed subrings of $\mathbb C$ enjoying certain properties. In this paper, we characterise the rings considered by Carlsen as precisely those rings for which every $\ast $-homomorphism of algebras of Hausdorff ample groupoids is automatically diagonal preserving. Moreover, the more general groupoid result has a simpler proof.

The tropical analogue of the lemma on the logarithmic derivative is generalised for noncontinuous tropical meromorphic functions, that is, piecewise linear functions that may have discontinuities. In addition, two Borel type results are generalised for piecewise continuous functions. With the generalisation of the tropical analogue of the lemma on the logarithmic derivative, several tropical analogues of Clunie and Mohon’ko type results are also automatically generalised for noncontinuous tropical meromorphic functions.

Let $\alpha $ be a complex-valued $2$-cocycle of a finite group G with $\alpha $ chosen so that the $\alpha $-characters of G are class functions and analogues of the orthogonality relations for ordinary characters are valid. Then the real or rational elements of G that are also $\alpha $-regular are characterised by the values that the irreducible $\alpha $-characters of G take on those respective elements. These new results generalise two known facts concerning such elements and irreducible ordinary characters of $G;$ however, the initial choice of $\alpha $ from its cohomology class is not unique in general and it is shown the results can vary for a different choice.

Suppose that G is a finite solvable group. Let $t=n_c(G)$ denote the number of orders of nonnormal subgroups of G. We bound the derived length $dl(G)$ in terms of $n_c(G)$. If G is a finite p-group, we show that $|G'|\leq p^{2t+1}$ and $dl(G)\leq \lceil \log _2(2t+3)\rceil $. If G is a finite solvable nonnilpotent group, we prove that the sum of the powers of the prime divisors of $|G'|$ is less than t and that $dl(G)\leq \lfloor 2(t+1)/3\rfloor +1$.

A group $G=AB$ is the weakly mutually permutable product of the subgroups A and B, if A permutes with every subgroup of B containing $A \cap B$ and B permutes with every subgroup of A containing $A \cap B$. Weakly mutually permutable products were introduced by the first, second and fourth authors [‘Generalised mutually permutable products and saturated formations’, J. Algebra 595 (2022), 434–443] who showed that if $G'$ is nilpotent, A permutes with every Sylow subgroup of B and B permutes with every Sylow subgroup of A, then $G^{\mathfrak {F}}=A^{\mathfrak {F}}B^{\mathfrak {F}} $, where $ \mathfrak {F} $ is a saturated formation containing $ \mathfrak {U} $, the class of supersoluble groups. In this article we prove results on weakly mutually permutable products concerning $ \mathfrak {F} $-residuals, $ \mathfrak {F} $-projectors and $\mathfrak {F}$-normalisers. As an application of some of our arguments, we unify some results on weakly mutually $sn$-products.