Related papers: An elementary proof of the Briancon-Skoda theorem

In the theories of Lebesgue integration and of ordinary differential equations, the Lebesgue Dominated Convergence Theorem provides one of the most widely used tools. Available analogy in the Riemann or Riemann-Stieltjes integration is the…

Sturm's theorem (1829/35) provides an elegant algorithm to count and locate the real roots of any real polynomial. In his residue calculus (1831/37) Cauchy extended Sturm's method to count and locate the complex roots of any complex…

$(1)$ Let $M\subset N$ be a commutative cancellative torsion-free and subintegral extension of monoids. Then we prove that in the case of ring extension $A[M]\subset A[N]$, the two notions, subintegral and weakly subintegral coincide…

Let $(X, 0)$ be a normal complex surface germ embedded in $(\mathbb{C}^n, 0)$, and denote by $\mathfrak{m}$ the maximal ideal of the local ring $\mathcal{O}_{X,0}$. In this paper, we associate to each $\mathfrak{m}$-primary ideal $I$ of…

Let $K$ be a square Cantor set, i.e. the Cartesian product $K=E\times E$ of two linear Cantor sets. Let $\delta_n$ denote the proportion of the intervals removed in the $n$th stage of the construction of $E$. It is shown that if…

Arzel\`a's bounded convergence theorem (1885) states that if a sequence of Riemann integrable functions on a closed interval is uniformly bounded and has an integrable pointwise limit, then the sequence of their integrals tends to the…

We extend the notion of $\mu^*$-sequence and Tjurina number of functions to the framework of Bruce-Roberts numbers, that is, to pairs formed by the germ at $0$ of a complex analytic variety $X\subseteq \mathbb C^n$ and a finitely $\mathcal…

Let $G$ be a finite group, $N$ a normal subgroup of $G$, and $k$ a field of characteristic $p>0$. In this paper, we formulate the brick version of Clifford's theorem under suitable assumptions and prove it by using the theory of wide…

Combining the tools of geometric analysis with properties of Jordan angles and angle space distributions, we derive a spherical and a Euclidean Bernstein theorem for minimal submanifolds of arbitrary dimension and codimension, under the…

Let $\mathfrak{a},\mathfrak{b}$ be two ideals of a commutative noetherian ring $R$ and $M$ a finitely generated $R$-module.~We continue to study $\textrm{f}\textrm{-}\mathrm{grad}_R(\mathfrak{a},\mathfrak{b},M)$ which was introduced in…

Let $B$ be a Blaschke product. We prove in several different ways the corona theorem for the algebra $H^\infty_B:=\mC+BH^\infty$. That is, we show the equivalence of the classical {\em corona condition} on data $f_1, ..., f_n \in…

In this paper we present the first-ever computer formalization of the theory of Gr\"obner bases in reduction rings, which is an important theory in computational commutative algebra, in Theorema. Not only the formalization, but also the…

Let $f(z)=\sum_{n=1}^\infty a(n)q^n\in S^{\text{new}}_ k (\Gamma_0(N))$ be a newform with squarefree level $N$ that does not have complex multiplication. For a prime $p$, define $\theta_p\in[0,\pi]$ to be the angle for which $a(p)=2p^{( k…

In our previous works we found a power series expansion of a particular case of Fox's $H$ function $H^{q,0}_{p,q}$ in a neighborhood of its positive singularity. An inverse factorial series expansion of the integrand of $H^{q,0}_{p,q}$…

Let $\Sigma$ be a finite collection of linear forms in $\mathbb K[x_0,\ldots,x_n]$, where $\mathbb K$ is a field. Denote ${\rm Supp}(\Sigma)$ to be the set of all nonproportional elements of $\Sigma$, and suppose ${\rm Supp}(\Sigma)$ is…

The purpose of this note is to find an elemenary explanation of a surprising result of Ein--Lazarsfeld--Smith \cite{ELS} and Hochster--Huneke \cite{HH} on the containment between symbolic and ordinary powers of ideals in simple cases. This…

Let $A$ be a right Ore domain, $Z(A)$ be the center of $A$ and $Q_r(A)$ be the right total ring of fractions of $A$. If $K$ is a field and $A$ is a $K$-algebra, in this short paper we prove that if $A$ is finitely generated and ${\rm…

A result of Nayak asserts that $\underset{m\to \infty}\lim |A^m|^{1/m}$ exists for each $n\times n$ complex matrix $A$, where $|A| = (A^*A)^{1/2}$, and the limit is given in terms of the spectral decomposition. We extend the result of…

This note has two goals. The first is to give a short and self contained introduction to the Castelnuovo-Mumford regularity for standard graded ring $R$ over a general base ring. The second is to present a simple and concise proof of a…

Recent developments in the categorical foundations of universal algebra have given fresh impetus to an understanding of the lambda calculus coming from categorical logic: an interpretation is a semi-closed algebraic theory. Scott's…