We construct a sequence of homogeneous polynomials on the unit ball ${}_d$ in ${ℂ}^d$ which are big at each point of the unit sphere . As an application we construct a holomorphic function on ${}_d$ which is not integrable with any power on the intersection of ${}_d$ with any complex subspace.

Let K be any subset of ${ℂ}^N$. We define a pluricomplex Green’s function $V_{K,\theta }$ for θ-incomplete polynomials. We establish properties of $V_{K,\theta }$ analogous to those of the weighted pluricomplex Green’s function. When K is a regular compact subset of ${ℝ}^N$, we show that every continuous function that can be approximated uniformly on K by θ-incomplete polynomials, must vanish on $K\setminus supp{\left(d{d}^c{V}_{K,\theta }\right)}^N$. We prove a version of Siciak’s theorem and a comparison theorem for θ-incomplete polynomials. We compute $supp{\left(d{d}^c{V}_{K,\theta }\right)}^N$ when K is a compact...

Let $\parallel ·\parallel$ be the uniform norm in the unit disk. We study the quantities $M_n\left(\alpha \right):=inf(\parallel zP\left(z\right)+\alpha \parallel -\alpha )$ where the infimum is taken over all polynomials $P$ of degree $n-1$ with $\parallel P\left(z\right)\parallel =1$ and $\alpha >0$. In a recent paper by Fournier, Letac and Ruscheweyh (Math. Nachrichten 283 (2010), 193-199) it was shown that ${inf}_{\alpha >0}{M}_n\left(\alpha \right)=1/n$. We find the exact values of $M_n\left(\alpha \right)$ and determine corresponding extremal polynomials. The method applied uses known cases of maximal ranges of polynomials.

When $S$ is a polynomial ring or more generally a standard graded algebra over a field $K$, with homogeneous maximal ideal $𝔪$, it is known that for an ideal $I$ of $S$, the regularity of powers of $I$ becomes eventually a linear function, i.e., $\mathrm{reg}\left(I^m\right)=dm+e$ for $m\gg 0$ and some integers $d$, $e$. This motivates writing $\mathrm{reg}\left(I^m\right)=dm+e_m$ for every $m\ge 0$. The sequence $e_m$, called the of the ideal $I$, is the subject of much research and its nature is still widely unexplored. We know that $e_m$ is eventually constant. In this article, after proving...

Let $I$ be an ideal in a commutative Noetherian ring $R$. Then the ideal $I$ has the strong persistence property if and only if $\left(I^{k+1}{:}_{R}I\right)=I^k$ for all $k$, and $I$ has the symbolic strong persistence property if and only if $\left(I^{(k+1)}{:}_R{I}^{\left(1\right)}\right)=I^{\left(k\right)}$ for all $k$, where $I^{\left(k\right)}$ denotes the $k$th symbolic power of $I$. We study the strong persistence property for some classes of monomial ideals. In particular, we present a family of primary monomial ideals failing the strong persistence property. Finally, we show that every square-free monomial...

Let $R$ be a commutative ring with identity. A proper ideal $I$ is said to be an $n$-ideal of $R$ if for $a,b\in R$, $ab\in I$ and $a\notin \sqrt{0}$ imply $b\in I$. We give a new generalization of the concept of $n$-ideals by defining a proper ideal $I$ of $R$ to be a semi $n$-ideal if whenever $a\in R$ is such that $a^2\in I$, then $a\in \sqrt{0}$ or $a\in I$. We give some examples of semi $n$-ideal and investigate semi $n$-ideals under various contexts of constructions such as direct products, homomorphic images and localizations. We present various characterizations of this new...

Let $𝔞\subseteq ℂ[x_1,...,x_n]$ be a monomial ideal and $𝒥\left({𝔞}^c\right)$ the multiplier ideal of $𝔞$ with coefficient $c$. Then $𝒥\left({𝔞}^c\right)$ is also a monomial ideal of $ℂ[x_1,...,x_n]$, and the equality $𝒥\left({𝔞}^c\right)=𝔞$ implies that $0<c<n+1$. We mainly discuss the problem when $𝒥\left(𝔞\right)=𝔞$ or $𝒥\left({𝔞}^{n+1-\epsilon }\right)=𝔞$ for all $0<\epsilon <1$. It is proved that if $𝒥\left(𝔞\right)=𝔞$ then $𝔞$ is principal, and if $𝒥\left({𝔞}^{n+1-\epsilon }\right)=𝔞$ holds for all $0<\epsilon <1$ then $𝔞=(x_1,...,x_n)$. One global result is also obtained. Let $\widetilde{𝔞}$ be the ideal sheaf on ${\mathbb{P}}^{n-1}$ associated with $𝔞$. Then it is proved that the equality $𝒥\left(\widetilde{𝔞}\right)=\widetilde{𝔞}$ implies that $\widetilde{𝔞}$ is principal.

The concept of $\alpha$-ideals in posets is introduced. Several properties of $\alpha$-ideals in $0$-distributive posets are studied. Characterization of prime ideals to be $\alpha$-ideals in $0$-distributive posets is obtained in terms of minimality of ideals. Further, it is proved that if a prime ideal $I$ of a $0$-distributive poset is non-dense, then $I$ is an $\alpha$-ideal. Moreover, it is shown that the set of all $\alpha$-ideals $\alpha \mathrm{Id}\left(P\right)$ of a poset $P$ with $0$ forms a complete lattice. A result analogous to separation theorem for...

Let $R$ be a commutative ring with identity. We study the concept of strongly 1-absorbing primary ideals which is a generalization of $n$-ideals and a subclass of $1$-absorbing primary ideals. A proper ideal $I$ of $R$ is called strongly 1-absorbing primary if for all nonunit elements $a,b,c\in R$ such that $abc\in I$, it is either $ab\in I$ or $c\in \sqrt{0}$. Some properties of strongly 1-absorbing primary ideals are studied. Finally, rings $R$ over which every semi-primary ideal is strongly 1-absorbing primary, and rings $R$ over which...

For 0 < γ ≤ 1, let $\Lambda {⁺}_{\gamma }$ be the big Lipschitz algebra of functions analytic on the open unit disc which satisfy a Lipschitz condition of order γ on ̅. For a closed set E on the unit circle and an inner function Q, let $J_{\gamma }(E,Q)$ be the closed ideal in $\Lambda {⁺}_{\gamma }$ consisting of those functions $f\in \Lambda {⁺}_{\gamma }$ for which (i) f = 0 on E, (ii) $|f\left(z\right)-f\left(w\right)|=o\left(\right|z-w{|}^{\gamma })$ as d(z,E),d(w,E) → 0, (iii) $f/Q\in \Lambda {⁺}_{\gamma }$. Also, for a closed ideal I in $\Lambda {⁺}_{\gamma }$, let $E_I$ = z ∈ : f(z) = 0 for every f ∈ I and let $Q_I$ be the greatest common divisor of the inner parts of non-zero functions...

For n ∈ ℕ, L > 0, and p ≥ 1 let ${\kappa }_p(n,L)$ be the largest possible value of k for which there is a polynomial P ≠ 0 of the form $P\left(x\right)={\sum }_{j=0}^n{a}_j{x}^j$, $|a_0\left|\ge L\right({\sum }_{j=1}^n|a_j{|}^p$1/p$,$aj ∈ ℂ$,$such that ${(x-1)}^k$ divides P(x). For n ∈ ℕ and L > 0 let ${\kappa }_{\infty }(n,L)$ be the largest possible value of k for which there is a polynomial P ≠ 0 of the form $P\left(x\right)={\sum }_{j=0}^n{a}_j{x}^j$, $|a_0|\ge Lma{x}_{1\le j\le n}|a_j|$, $a_j\in ℂ$, such that ${(x-1)}^k$ divides P(x). We prove that there are absolute constants c₁ > 0 and c₂ > 0 such that $c_1\surd (n/L)-1\le {\kappa }_{\infty }(n,L)\le c_2\surd (n/L)$ for every L ≥ 1. This complements an earlier result of the authors valid for every n ∈ ℕ and L ∈...

We consider the space ${}^{ℳ}$ of ultradifferentiable functions with compact supports and the space of polynomials on ${}^{ℳ}$. A description of the space ${(}^{ℳ})$ of polynomial ultradistributions as a locally convex direct sum is given.

The paper deals with the approximation by polynomials with integer coefficients in $L_p(0,1)$, 1 ≤ p ≤ ∞. Let $P_{n,r}$ be the space of polynomials of degree ≤ n which are divisible by the polynomial $x^r{(1-x)}^r$, r ≥ 0, and let $P_{n,r}^{\mathbb{Z}}\subset P_{n,r}$ be the set of polynomials with integer coefficients. Let $\mu (P_{n,r}^{\mathbb{Z}};L_p)$ be the maximal distance of elements of $P_{n,r}$ from $P_{n,r}^{\mathbb{Z}}$ in $L_p(0,1)$. We give rather precise quantitative estimates of $\mu (P_{n,r}^{\mathbb{Z}};L₂)$ for n ≳ 6r. Then we obtain similar, somewhat less precise, estimates of $\mu (P_{n,r}^{\mathbb{Z}};L_p)$ for p ≠ 2. It follows that $\mu (P_{n,r}^{\mathbb{Z}};L_p)\asymp n^{-2r-2/p}$ as n → ∞. The results...

Let $X$ be a completely regular Hausdorff space and, as usual, let $C\left(X\right)$ denote the ring of real-valued continuous functions on $X$. The lattice of $z$-ideals of $C\left(X\right)$ has been shown by Martínez and Zenk (2005) to be a frame. We show that the spectrum of this lattice is (homeomorphic to) $\beta X$ precisely when $X$ is a $P$-space. This we actually show to be true not only in spaces, but in locales as well. Recall that an ideal of a commutative ring is called a $d$-ideal if whenever two elements have the same annihilator...