For every finite Abelian group Γ and for all $g,a₁,...,a_k\in \Gamma$, if there exists a solution of the equation ${\sum }_{i=1}^k{a}_i{x}_i=g$ in non-negative integers $x_i\le b_i$, where $b_i$ are positive integers, then the number of such solutions is estimated from below in the best possible way.

We say that an ideal I on ${}_{\kappa }\lambda$ is semiproper if the corresponding poset ${\mathbb{P}}_I$ is semiproper. In this paper we investigate properties of semiproper ideals on ${}_{\kappa }\lambda$.

Let $F$ be a finite field of characteristic $p$ and $K$ a field which contains a primitive $p$th root of unity and $\mathrm{char}K\ne p$. Suppose that a classical group $G$ acts on the $F$-vector space $V$. Then it can induce the actions on the vector space $V\oplus V$ and on the group algebra $K[V\oplus V]$, respectively. In this paper we determine the structure of $G$-invariant ideals of the group algebra $K[V\oplus V]$, and establish the relationship between the invariant ideals of $K\left[V\right]$ and the vector invariant ideals of $K[V\oplus V]$, if $G$ is a unitary group or orthogonal...

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 $𝔞\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.

It is well-known that a probability measure $\mu$ on the circle $𝕋$ satisfies $\parallel {\mu }^n{*f-\int f\mathrm{d}m\parallel }_p\to 0$ for every $f\in L_p$, every (some) $p\in [1,\infty )$, if and only if $|\widehat{\mu }\left(n\right)|lt;1$ for every non-zero $n\in \mathbb{Z}$ ($\mu$ is strictly aperiodic). In this paper we study the a.e. convergence of ${\mu }^n*f$ for every $f\in L_p$ whenever $pgt;1$. We prove a necessary and sufficient condition, in terms of the Fourier–Stieltjes coefficients of $\mu$, for the strong sweeping out property (existence of a Borel set $B$ with $lim\; sup{\mu }^n*1_B=1$ a.e. and $lim\; inf{\mu }^n*1_B=0$ a.e.). The results are extended to general compact Abelian groups...

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 $G$ be a simple algebraic group over an algebraically closed field $𝕜$ of characteristic 0, and $𝔤=LieG$. Let $(e,h,f)$ be an $𝔰{𝔩}_2$-triple in $𝔤$ with $e$ being a long root vector in $𝔤$. Let $(·,·)$ be the $G$-invariant bilinear form on $𝔤$ with $(e,f)=1$ and let $\chi \in {𝔤}^{*}$ be such that $\chi \left(x\right)=(e,x)$ for all $x\in 𝔤$. Let $𝒮$ be the Slodowy slice at $e$ through the adjoint orbit of $e$ and let $H$ be the enveloping algebra of $𝒮$; see [31]. In this article we give an explicit presentation of $H$ by generators and relations. As a consequence we deduce that $H$ contains...

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...

Let $A\left(X\right)$ denote a subalgebra of $C\left(X\right)$ which is closed under local bounded inversion, briefly, an $LBI$-subalgebra. These subalgebras were first introduced and studied in Redlin L., Watson S., Structure spaces for rings of continuous functions with applications to realcompactifications, Fund. Math. 152 (1997), 151–163. By characterizing maximal ideals of $A\left(X\right)$, we generalize the notion of $z_A^{\beta }$-ideals, which was first introduced in Acharyya S.K., De D., An interesting class of ideals in subalgebras of $C\left(X\right)$...

Let be an abelian category, or more generally a weakly idempotent complete exact category, and suppose we have two complete hereditary cotorsion pairs $(,\tilde{})$ and $(\tilde{},)$ in satisfying $\tilde{}\subseteq$ and $\cap \tilde{}=\tilde{}\cap$. We show how to construct a (necessarily unique) abelian model structure on with (resp. $\tilde{}$) as the class of cofibrant (resp. trivially cofibrant) objects, and (resp. $\tilde{}$) as the class of fibrant (resp. trivially fibrant) objects.

Let $K$ be a field of odd characteristic $p$, let $f\left(x\right)$ be an irreducible separable polynomial of degree $n\ge 5$ with big Galois group (the symmetric group or the alternating group). Let $C$ be the hyperelliptic curve $y^2=f\left(x\right)$ and $J\left(C\right)$ its jacobian. We prove that $J\left(C\right)$ does not have nontrivial endomorphisms over an algebraic closure of $K$ if either $n\ge 7$ or $p\ne 3$.

If $A$ is a domain with the ascending chain condition on (integral) invertible ideals, then the group $I(A)$ of its invertible ideals is generated by the set $I_m(A)$ of maximal invertible ideals. In this note we study some properties of $I_m(A)$ and we prove that, if $I(A)$ is a free group on $I_m(A)$, then $A$ is a locally factorial Krull domain.

Let $𝔐$ and $\Re$ be algebras of subsets of a set $\Omega$ with $𝔐\subset \Re$, and denote by $E\left(\mu \right)$ the set of all quasi-measure extensions of a given quasi-measure $\mu$ on $𝔐$ to $\Re$. We show that $E\left(\mu \right)$ is order bounded if and only if it is contained in a principal ideal in $ba\left(\Re \right)$ if and only if it is weakly compact and $extrE\left(\mu \right)$ is contained in a principal ideal in $ba\left(\Re \right)$. We also establish some criteria for the coincidence of the ideals, in $ba\left(\Re \right)$, generated by $E\left(\mu \right)$ and $extrE\left(\mu \right)$.