Infinite Easier Waring Constants for Commutative Rings

Waring's problem for rational functions in one variable

Let $f\in \mathbb{Q}(x)$ be a non-constant rational function. We consider "Waring's Problem for $f(x)$," i.e., whether every element of $\bbq$ can be written as a bounded sum of elements of $\{f(a)\mid a\in \mathbb{Q}\}$. For rational functions of degree $2$, we give necessary and sufficient conditions. For higher degrees, we prove that every polynomial of odd degree and every odd Laurent polynomial satisfies Waring's Problem. We also consider the "Easier Waring's Problem": whether every element of $\mathbb{Q}$ can be represented as a bounded sum of elements of $\{\pm f(a)\mid a\in \mathbb{Q}\…

有限交换局部环上的华林数

Waring numbers over finite commutative local rings

该研究将有限交换局部环上的华林数与凯莱图直径关联，通过顶点膨胀将局部环上的华林数问题归约为有限剩余域上的华林数计算，进而利用有限域上的已知结果得到局部环上华林数的若干显式结论。

Waring's problem for matrices over orders in algebraic number fields

In this paper we give necessary and sufficient trace conditions for an n by n matrix over any commutative and associative ring with unity to be a sum of k-th powers of matrices over that ring, where n,k are integers greater equal 2. We prove a discriminant criterion for every 2 by 2 matrix over an order R to be sums of cubes and fourth powers over R. We also show that if q is a prime and n greater equal 2, then every n by n matrix over the ring of integers O, of a quadratic number field is a sum of q-th powers (of matrices) over O if and only if q is coprime to the discriminant of the quadrati…

Notes on noncommutative Fitting invariants

To each finitely presented module $M$ over a commutative ring $R$ one can associate an $R$-ideal $\mathrm{Fitt}_{R}(M)$, which is called the (zeroth) Fitting ideal of $M$ over $R$. This is of interest because it is always contained in the $R$-annihilator $\mathrm{Ann}_{R}(M)$ of $M$, but is often much easier to compute. This notion has recently been generalised to that of so-called `Fitting invariants' over certain noncommutative rings; the present author considered the case in which $R$ is an $\mathfrak{o}$-order $Λ$ in a finite dimensional separable algebra, where $\mathfrak{o}$ is an integr…