共查询到19条相似文献,搜索用时 15 毫秒
1.
Let be a commutative Noetherian local ring of prime characteristic. The purpose of this paper is to provide a short proof of G. Lyubeznik's extension of a result of R. Hartshorne and R. Speiser about a module over the skew polynomial ring (associated to and the Frobenius homomorphism , in the indeterminate ) that is both -torsion and Artinian over . 相似文献
2.
This paper is concerned with tight closure in a commutative Noetherian ring of prime characteristic , and is motivated by an argument of K. E. Smith and I. Swanson that shows that, if the sequence of Frobenius powers of a proper ideal of has linear growth of primary decompositions, then tight closure (of ) `commutes with localization at the powers of a single element'. It is shown in this paper that, provided has a weak test element, linear growth of primary decompositions for other sequences of ideals of that approximate, in a certain sense, the sequence of Frobenius powers of would not only be just as good in this context, but, in the presence of a certain additional finiteness property, would actually imply that tight closure (of ) commutes with localization at an arbitrary multiplicatively closed subset of . Work of M. Katzman on the localization problem for tight closure raised the question as to whether the union of the associated primes of the tight closures of the Frobenius powers of has only finitely many maximal members. This paper develops, through a careful analysis of the ideal theory of the perfect closure of , strategies for showing that tight closure (of a specified ideal of ) commutes with localization at an arbitrary multiplicatively closed subset of and for showing that the union of the associated primes of the tight closures of the Frobenius powers of is actually a finite set. Several applications of the strategies are presented; in most of them it was already known that tight closure commutes with localization, but the resulting affirmative answers to Katzman's question in the various situations considered are believed to be new. 相似文献
3.
Let R be an hereditary Noetherian prime ring (or, HNP-ring, for short), and let S?=? R[ x; σ] be a skew polynomial ring over R with σ being an automorphism on R. The aim of the paper is to describe completely the structure of right projective ideals of R[ x; σ] where R is an HNP-ring and to obtain that any right projective ideal of S is of the form X𝔟[ x; σ], where X is an invertible ideal of S and 𝔟 is a σ-invariant eventually idempotent ideal of R. 相似文献
5.
Let α be a nonzero endomorphism of a ring R, n be a positive integer and T_n(R, α) be the skew triangular matrix ring. We show that some properties related to nilpotent elements of R are inherited by T_n(R, α). Meanwhile, we determine the strongly prime radical, generalized prime radical and Behrens radical of the ring R[x; α]/(x~n), where R[x; α] is the skew polynomial ring. 相似文献
6.
The reversible property is an important role in noncommutative ring theory. Recently, the study of the reversible ring property on nilpotent elements is established by Abdul-Jabbar et al., introducing the concept of commutativity of nilpotent elements at zero (simply, a CNZ ring) as a generalization of reversible rings. We here study this property skewed by a ring endomorphism α, and such ring is called a right α-skew CNZ ring which is an extension of CNZ rings as well as a generalization of right α-skew reversible rings, and then investigate the structure of right α-skew CNZ rings and their related properties. Consequently, several known results are obtained as corollaries of our results. 相似文献
7.
It is a well-known result of M. Brodmann that if is an ideal of a commutative Noetherian ring , then the set of associated primes of the -th power of is constant for all large . This paper is concerned with the following question: given a prime ideal of which is known to be in for all large integers , can one identify a term of the sequence beyond which will subsequently be an ever-present? This paper presents some results about convergence of sequences of sets of associated primes of graded components of finitely generated graded modules over a standard positively graded commutative Noetherian ring; those results are then applied to the above question. 相似文献
8.
设R是一个半素环, RF(resp.Q)是它的左Martindale商环(对称Martindale 商环),K是R的一个本质理想,则K上的每一个广义斜导子μ能被唯一地扩展到RF和Q 上.设R是一个素环,K是R的一个本质理想,μ是K上的一个广义斜导子且α为其伴随自同构,d为其伴随斜导子,如果存在n≥0,使得对任意的x∈K都有μ(x)n=0,那么μ=0. 相似文献
9.
The -th local cohomology module of a finitely generated graded module over a standard positively graded commutative Noetherian ring , with respect to the irrelevant ideal , is itself graded; all its graded components are finitely generated modules over , the component of of degree . It is known that the -th component of this local cohomology module is zero for all > 0$\">. This paper is concerned with the asymptotic behaviour of as . The smallest for which such study is interesting is the finiteness dimension of relative to , defined as the least integer for which is not finitely generated. Brodmann and Hellus have shown that is constant for all (that is, in their terminology, is asymptotically stable for ). The first main aim of this paper is to identify the ultimate constant value (under the mild assumption that is a homomorphic image of a regular ring): our answer is precisely the set of contractions to of certain relevant primes of whose existence is confirmed by Grothendieck's Finiteness Theorem for local cohomology. Brodmann and Hellus raised various questions about such asymptotic behaviour when f$\">. They noted that Singh's study of a particular example (in which ) shows that need not be asymptotically stable for . The second main aim of this paper is to determine, for Singh's example, quite precisely for every integer , and, thereby, answer one of the questions raised by Brodmann and Hellus. 相似文献
11.
The main theorem characterizes, in terms of bracket powers, analytic spread one ideals in local rings. Specifically, let be regular nonunits in a local (Noetherian) ring and assume that , the integral closure of , where . Then the main result shows that for all but finitely many units in that are non-congruent modulo and for all large integers and it holds that for and not divisible by , where is the -th bracket power of . And, conversely, if there exist positive integers , , and such that has a basis such that , then has analytic spread one. 相似文献
12.
An algebra is called affine complete if all its compatible (i.e. congruence-preserving) functions are polynomial functions.
In this paper we characterize affine complete members in the variety of Kleene algebras. We also characterize local polynomial
functions of Kleene algebras and use this result to describe locally affine complete Kleene algebras.
Received December 20, 1996; accepted in final form March 24, 1997. 相似文献
13.
设F和Ω分别表示一个对合反自同构的体,一个加强P除环,本文定义了Ω上的亚(半)正定矩阵,给出了矩阵方程AXA^*=B在F上有(斜)自共轭矩阵解及在Ω上有亚(半)正定矩阵解的充要条件及其解集的显式表示。 相似文献
14.
The well-known Baillie-PSW probable prime test is a combination of a Rabin-Miller test and a ``true' (i.e., with The well-known Baillie-PSW probable prime test is a combination of a Rabin-Miller test and a ``true' (i.e., with ) Lucas test. Arnault mentioned in a recent paper that no precise result is known about its probability of error. Grantham recently provided a probable prime test (RQFT) with probability of error less than 1/7710, and pointed out that the lack of counter-examples to the Baillie-PSW test indicates that the true probability of error may be much lower. In this paper we first define pseudoprimes and strong pseudoprimes to quadratic bases with one parameter: , and define the base-counting functions:
and Then we give explicit formulas to compute B and SB, and prove that, for odd composites , and point out that these are best possible. Finally, based on one-parameter quadratic-base pseudoprimes, we provide a probable prime test, called the One-Parameter Quadratic-Base Test (OPQBT), which passed by all primes and passed by an odd composite odd primes) with probability of error . We give explicit formulas to compute , and prove that The running time of the OPQBT is asymptotically 4 times that of a Rabin-Miller test for worst cases, but twice that of a Rabin-Miller test for most composites. We point out that the OPQBT has clear finite group (field) structure and nice symmetry, and is indeed a more general and strict version of the Baillie-PSW test. Comparisons with Gantham's RQFT are given. 相似文献
15.
In this paper we apply the nonconforming theory in Z.C.Shi to construct a hybrid 5-node finite element satisfying the F1-patch test. We show that the hybrid 5-node finitc element for two-order elliptic equation is convergent and obtain an error estimate. 相似文献
16.
This paper presents an approach for estimating power of the score test, based on an asymptotic approximation to the power of the score test under contiguous alternatives. The method is applied to the problem of power calculations for the score test of heteroscedasticity in European rabbit data (Ratkowsky, 1983). Simulation studies are presented which indicate that the asymptotic approximation to the finite-sample situation is good over a wide range of parameter configurations. 相似文献
17.
Given a set X, $mathsf {AC}^{mathrm{fin}(X)}$ denotes the statement: “$[X]^{<omega }backslash lbrace varnothing rbrace$ has a choice set” and $mathcal {C}_mathrm{R}big (mathbf {2}^{X}big )$ denotes the family of all closed subsets of the topological space $mathbf {2}^{X}$ whose definition depends on a finite subset of X. We study the interrelations between the statements $mathsf {AC}^{mathrm{fin}(X)},$ $mathsf {AC}^{mathrm{fin}([X]^{<omega })},$ $mathsf {AC}^{mathrm{fin} (F_{n}(X,2))},$ $mathsf {AC}^{mathrm{fin}(mathcal {wp }(X))}$ and “$mathcal {C}_mathrm{R}big (mathbf {2}^{X}big )backslash lbrace varnothing rbrace$ has a choice set”. We show: - (i) $mathsf {AC}^{mathrm{fin}(X)}$ iff $mathsf {AC}^{mathrm{fin}([X]^{<omega } )}$ iff $mathcal {C}_mathrm{R}big (mathbf {2}^{X}big )backslash lbrace varnothing rbrace$ has a choice set iff $mathsf {AC}^{mathrm{fin}(F_{n}(X,2))}$.
- (ii) $mathsf {AC}_{mathrm{fin}}$ ($mathsf {AC}$ restricted to families of finite sets) iff for every set X, $mathcal {C}_mathrm{R}big (mathbf {2}^{X}big )backslash lbrace varnothing rbrace$ has a choice set.
- (iii) $mathsf {AC}_{mathrm{fin}}$ does not imply “$mathcal {K}big (mathbf {2}^{X}big )backslash lbrace varnothing rbrace$ has a choice set($mathcal {K}(mathbf {X})$ is the family of all closed subsets of the space $mathbf {X}$)
- (iv) $mathcal {K}(mathbf {2}^{X})backslash lbrace varnothing rbrace$ implies $mathsf {AC}^{mathrm{fin}(mathcal {wp }(X))}$ but $mathsf {AC}^{mathrm{fin}(X)}$ does not imply $mathsf {AC}^{mathrm{fin}(mathcal {wp }(X))}$.
We also show that “ For every setX, “$mathcal {K}big (mathbf {2}^{X}big )backslash lbrace varnothing rbrace$ has a choice set” iff “ for every setX, $mathcal {K}big (mathbf {[0,1]}^{X}big )backslash lbrace varnothing rbrace$ has a choice set” iff “ for every product$mathbf {X}$ of finite discrete spaces,$mathcal {K}(mathbf {X})backslash lbrace varnothing rbrace$ has a choice set”. 相似文献
18.
If a domain R, with quotient field K, has a finite saturated chain of overrings from R to K, then the integral closure of R is a Prüfer domain. An integrally closed domain R with quotient field K has a finite saturated chain of overrings from R to K with length m ≥ 1 iff R is a Prüfer domain and |Spec( R)| = m + 1. In particular, we prove that a domain R has a finite saturated chain of overrings from R to K with length dim( R) iff R is a valuation domain and that an integrally closed domain R has a finite saturated chain of overrings from R to K with length dim ( R) +1 iff R is a Prüfer domain with exactly two maximal ideals such that at most one of them fails to contain every non-maximal prime. The relationship with maximal non-valuation subrings is also established. 相似文献
19.
The first note shows that the integral closure L′ of certain localities L over a local domain R are unmixed and analytically unramified, even when it is not assumed that R has these properties. The second note considers a separably generated extension domain B of a regular domain A, and a sufficient condition is given for a prime ideal p in A to be unramified with respect to B (that is, p B is an intersection of prime ideals and B/ P is separably generated over A/ p for all P ∈ Ass ( B/ p B)). Then, assuming that p satisfies this condition, a sufficient condition is given in order that all but finitely many q ∈ S = { q ∈ Spec( A), p ? q and height( q/ p) = 1} are unramified with respect to B, and a form of the converse is also considered. The third note shows that if R′ is the integral closure of a semi-local domain R, then I( R) = ∩{ R′ p′ ; p′ ∈ Spec( R′) and altitude( R′/ p′) = altitude( R′) ? 1} is a quasi-semi-local Krull domain such that: (a) height( N *) = altitude( R) for each maximal ideal N * in I( R); and, (b) I( R) is an H-domain (that is, altitude( I( R)/ p *) = altitude( I( R)) ? 1 for all height one p * ∈ Spec( I( R))). Also, K = ∩{ R p ; p ∈ Spec( R) and altitude( R/ p) = altitude( R) ? 1} is a quasi-semi-local H-domain such that height ( N) = altitude( R) for all maximal ideals N in K. 相似文献
|