√z-Ideals and √z^o-Ideals in C（X）

It is well known that every prime ideal minimal over a z-ideal is also a z-ideal. The converse is also well known in C（X）. Thus whenever I is an ideal in C（X）, then √I is a z-ideal if and only if I is, in which case √I = I. We show the same fact for z~-ideals and then it turns out that the sum of a primary ideal and a z-ideal （z^o-ideal） in C（X） which are not in a chain is a prime z-ideal （z^o-ideal）. We also show that every decomposable z-ideal （z^o-ideal） in C（X） is the intersection of a finite number of prime z-ideals （z^o-ideal）. Some counter-examples in general rings and some characterizations for the largest （smallest） z-ideal and z^o-ideal contained in （containing） an ideal are given.     

On π-regularity of General Rings

A general ring means an associative ring with or without identity.An idempotent e in a general ring I is called left （right） semicentral if for every x ∈ I,xe=exe （ex=exe）.And I is called semiabelian if every idempotent in I is left or right semicentral.It is proved that a semiabelian general ring I is π-regular if and only if the set N （I） of nilpotent elements in I is an ideal of I and I /N （I） is regular.It follows that if I is a semiabelian general ring and K is an ideal of I,then I is π-regular if and only if both K and I /K are π-regular.Based on this we prove that every semiabelian GVNL-ring is an SGVNL-ring.These generalize several known results on the relevant subject.Furthermore we give a characterization of a semiabelian GVNL-ring.     

关于纤维锥的深度和Hilbert级数

Let (R,m) be a Cohen-Macaulay local ring of dimension d with infinite residue field, I an m-primary ideal and K an ideal containing I. Let J be a minimal reduction of I such that, for some positive integer k, KIn ∩ J = JKIn-1 for n ≤ k ? 1 and λ( JKKIIkk-1 ) = 1. We show that if depth G(I) ≥ d-2, then such fiber cones have almost maximal depth. We also compute, in this case, the Hilbert series of FK(I) assuming that depth G(I) ≥ d - 1.     

More about the kernel convergence and the ideal convergence

Let I 2N be an ideal and let XI = span{χI ： I ∈ I}, and let pI be the quotient norm of l∞/XI. In this paper, we show first that for each proper ideal I 2N, the ideal convergence deduced by I is equivalent to pI-kernel convergence. In addition, let K = {x＊oχ（·） ： x＊∈ p（e）}, where p（x） = lim supn→∞1/n（∑k=1n｜x（k）｜, and let Iμ = {A N ： μ（A） = 0} for all μ = x＊oχ（·） ∈ K. Then Iμ is a proper ideal. We also show that the ideal convergence deduced by the proper ideal Iμ, the p-kernel convergence and the statistical convergence are also equivalent.     

序半环的序理想

An ordered semiring is a semiring S equipped with a partial order ≤ such that the operations are monotonic and constant 0 is the least element of S.In this paper,several notions,for example,ordered ideal,minimal ideal,and maximal ideal of an ordered semiring,simple ordered semirings,etc.,are introduced.Some properties of them are given and characterizations for minimal ideals are established.Also,the matrix semiring over an ordered semiring is consid-ered.Partial results obtained in this paper are analogous to the corresponding ones on ordered semigroups,and on the matrix semiring over a semiring.     

Laguerre Geometry of Surfaces in R^3

Let f ： M → R3 be an oriented surface with non-degenerate second fundamental form. We denote by H and K its mean curvature and Gauss curvature. Then the Laguerre volume of f, defined by L（f） = f（H2 - K）/KdM, is an invariant under the Laguerre transformations. The critical surfaces of the functional L are called Laguerre minimal surfaces. In this paper we study the Laguerre minimal surfaces in R^3 by using the Laguerre Gauss map. It is known that a generic Laguerre minimal surface has a dual Laguerre minimal surface with the same Gauss map. In this paper we show that any surface which is not Laguerre minimal is uniquely determined by its Laguerre Gauss map. We show also that round spheres are the only compact Laguerre minimal surfaces in R^3. And we give a classification theorem of surfaces in R^3 with vanishing Laguerre form.     

Engel Subalgebras of n-Lie Algebras

Engel subalgebras of finite-dimensional n-Lie algebras are shown to have similar properties to those of Lie algebras. Using these, it is shown that an n-Lie algebra, all of whose maximal subalgebras are ideals, is nilpotent. A primitive 2-soluble n-Lie algebra is shown to split over its minimal ideal, and all the complements to its minimal ideal are conjugate. A subalgebra is shown to be a Cartan subalgebra if and only if it is minimal Engel, provided that the field has sufficiently many elements. Cartan subalgebras are shown to have a property analogous to intravariance.     

Some Results for Formal Local Cohomology Modules

Let （R, m） be a commutative Noetherian local ring, I an ideal of R and M a finitely generated R-module. Let limnHm^i（M/I^nM）be the ith formal local cohomology module of M with respect to I.In this paper, we discuss some properties of formal local cohomology modules limnHm^i（M/I^nM）,which are analogous to the finiteness and Artinianness of local cohomology modules of a finitely generated module.     

关于序半群理想的根

Let S be an ordered semigroup.In this paper,we characterize ordered semigroups in which the radical of every ideal（right ideal,bi-ideal） is an ordered subsemigroup（resp.,ideal,right ideal,left ideal,bi-ideal,interior ideal） by using some binary relations on S.     

Ideal-comparability over Regular Rings

We introduce the concept of ideal-comparability condition for regular rings. Let I be an ideal of a regular ring R. If R satisfies the I-comparability condition, then R is one-sided unit-regular if and only if so is R/I. Also, we show that a regular ring R satisfies the general comparability if and only if the following hold： （1） R/I satisfies the general comparability; （2） R satisfies the general I-comparability condition; （3） The natural map B（R） → B（R/I） is surjective.     

Scheme-theoretic generation for ideals generated by forms of the same degree: a nice formula

Given a homogeneous ideal I?K[n ₀,…,n _n] (k an infinite field) and supposing that I is generated by forms of the same degree, we prove a formula to compute the minimal number σ (I) of the scheme-theoretic generations of I.     

与线性变换的完全环同构的环理论(Ⅰ)

<正> 熟知地,满足极小条件的单纯环只与一个有限维向量空间的线性变换的完全环同构.并且此向量空间如取为左向量空间的话,那末R的任一极小右理想均可取为此左向量空间.在没有有限条件情况下,Jacobsoo用本原环来取代这种单纯环.接着Wolfson研     

On the Degree of Hilbert Polynomials of Derived Functors

Mathematical Notes - Given a d-dimensional Cohen–Macaulay local ring (R,m), let I be an m-primary ideal, and let J be a minimal reduction ideal of I. If M is a maximal Cohen–Macaulay...     

On Fiber Coefficients of Fiber Cones †

Let (R,𝔪) be a Cohen–Macaulay local ring of dimension d > 0, I an 𝔪-primary ideal of R, and K an ideal containing I. When depth G(I) ≥ d ? 1, depth F_K(I) ≥ d ? 2, and r(I|K) < ∞, we calculate the fiber coefficients f_i(I). Under the above assumptions on depth G(I) and r(I|K), we give an upper bound for f₁(I), and also provide a characterization, in terms of f₁(I), of the condition depth F_K(I) ≥ d ? 2.     

满足SR2*(R,I)条件的环的相对K2

设I是环R的理想,称(R,I)满足SR_2~*主(R,I)条件,如果它满足SR_2(R,I)条件,并且对任意的a,b∈I,存在一个I-单位半正则元t∈R,使得1 a(b-t)∈U(R,I),称环R带许多单位半正则元,如果它满足SR_2~*(R,R)条件,本文证明,如果(R,I)满足SR_2~*(R,I)条件,则S(R,I)=L(I)(?)(I)L(I)H(R,I),且相对K′_2群K′_2(R,I)(K_2(R,I))包含在H(R,I)((?)(R⊕I,O⊕I))中；进而,若I包含于R的中心,则K′_2(R,I)和K_(R,I)由相对Dennis-Stein符号生成,特别的,如果R是带许多单位半正则元的环,那么K_2(R)包含在H(R)中；进而,若R是交换的,则K_(2(R)由Dennis-Stein符号生成,在SR_2(R,I)条件下,本文证明了K_2(n,R,I)具有满稳定性,其中n≥3。     

Syzygies of grids of projective lines

In this paper we study the syzygy modules of a grid or a fat grid of . We compute the minimal free resolution for the ideal of a complete grid in , and we conjecture this resolution in . Moreover we compute the minimal free resolution for the ideal of an incomplete grid of . We also conjecture the minimal free resolution for the ideal of a fat complete grid in .      

LENGTH ONE IDEAL EXTENSIONS AND THEIR ASSOCIATED GRADED RINGS

Let (R. m) be a d-dimensional Cohen-Macaulay local ring. Given m-primary ideals J ? I of R such that I is contained in the integral closure of J and λ(I/J)= I, we compare depth G(J) and depth G(J). For example, if J has reduction number one, JI = I², and μ(J)≤ d + 1, we prove that depth G(I)≥d – 1. If, in addition, μ(I)= d + 1, we show that I has reduction number one, and hence G(I) is Cohen-Macaulay. These results, besides leading to statements comparing depths of associated graded rings along a composition series, make visible the possibility of studying powers of an ideal by using reductions that are not minimal reductions.     

Complete flat modules

Let R be a commutative and noetherian ring. It is known tht if R is local with maximal ideal M and F is a flat R-module, then the Hausdorff completion F of F with the M-adic topology is flat. We show that if we assume that the Krull dimension of R is finite, then for any ideal I C R, the Hausdorff completion F* of a flat module F with the I-adic topology is flat. Furthermore, for a flat module F over such R, there is a largest ideal I such that F is Hausdorff and complete with the I-adic topology. For this I, the flat R/I-module F/IF will not be Hausdorff and complete with respect to the topology defined by any non-zero ideal of R/I. As a tool in proving the above, we will show that when R has finite Krull dimension, the I-adic Hausdorff completion of a minimal pure injective resolution of a flat module F is a minimal pure injective resolution of its completion F*. Then it will be shown that flat modules behave like finitely generated modules in the sense that on F* the I-adic and the completion topologies coincide, so F* is I-adically complete.     

Ultrafilters on the collection of finite subsets of an infinite set

Let $J$ be an infinite set and let $I={\cal P}_{f}( J)$, i.e., $I$ is the collection of all non empty finite subsets of $J$. Let $\beta I$ denote the collection of all ultrafilters on the set $I$. In this paper, we consider $( \beta I,\uplus ),$ the compact (Hausdorff) right topological semigroup that is the {\it Stone-$\check{C}\!\!$ech} $Compactification$ of the semigroup $\left( I,\cup \right)$ equipped with the discrete topology. It is shown that there is an injective map $A\rightarrow \beta _{A}( I) $ of ${\cal P}( J) $ into ${\cal P}( \beta I) $ such that each $\beta _{A}( I) $ is a closed subsemigroup of $ ( \beta I,\uplus ) $, the set $\beta _{J}( I) $ is a closed ideal of $( \beta I,\uplus ) $and the collection $\{ \beta _{A}( I) \mid A\in {\cal P} ( J) \} $ is a partition of $\beta I$. The algebraic structure of $\beta I$ is explored. In particular, it is shown that {\bf (1)} $\beta _{J}\left( I\right) =\overline{K( \beta I) }$, i.e., $\beta _{J}( I) $is the closure of the smallest ideal of $\beta I$, and {\bf (2)} for each non empty $A\subset J$, the set ${\cal V}_{A}=\tbigcup \{ \beta_{B}( I) \mid B\subset A\} $is a closed subsemigroup of $( \beta I,\uplus ) ,$ $\beta _{A}( I) $ is a proper ideal of ${\cal V}_{A},$ and ${\cal V}_{A}$ is the largest subsemigroup of $( \beta I,\uplus ) $ that has $ \beta _{A}( I) $ as an ideal.