Localization of Injective Modules Over Arithmetical Rings

It is proved that localizations of injective R-modules of finite Goldie dimension are injective if R is an arithmetical ring satisfying the following condition: for every maximal ideal P, R _P is either coherent or not semicoherent. If, in addition, each finitely generated R-module has finite Goldie dimension, then localizations of finitely injective R-modules are finitely injective too. Moreover, if R is a Prüfer domain of finite character, localizations of injective R-modules are injective.     

Rings of the Morita Contexts and Semihereditary Maximal V-Orders

Some necessary and sufficient conditions are given for rings of the Morita contexts to be semihereditary maximal V-orders, Prüfer rings and Dubrovin valuation rings.     

An Involutorial Version of a Theorem of Gräter

Let D be a division ring with centre Z and with involution (*). Let V be a valuation of D with value group Γ, a linearly ordered additive group (non necessarily commutative) together with a symbol ∞ (positive infinity). We assume that for each nonzero symmetric element s = s* of D, which is algebraic over Z, we have for all nonzero elements x of D, V(xa ? ax) > V(ax). We define the residue characteristic exponent p of V to be the characteristic χ of the associated residue division ring written as D _V , if χ ≠ 0, and p = 1, if χ = 0. We show here that if F is a finite dimensional commutative subalgebra of D over Z, which is *-closed (i.e., F* = F), and if (*) is of the first kind (i.e., each central element of D must be symmetric), then [F: Z] = 2 ^r p ^m where m is a nonnegative integer and r = 0 or 1 according as the restricted involution in F is trivial or not. The case of an involution (*) of the second kind (i.e., some central element of D is not symmetric) requires (for this author) a stronger type of valuation, namely, V is a *-valuation, that is to say, for all elements x of D, we have V(x*) = V(x), a condition which readily implies Γ must be Abelian. Here, we can show that for F as in the preceding, [F: Z] = p ^m , where m is again a nonnegative integer. The preceding results generalize a theorem of Gräter and improve in parts recent theorems of this author in [2 Chacron , M. ( 2014 ). Residually *-abelian valuation with residue characteristic not 2 . Communication in Algebra 42 : 2956 – 2968 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]]. In the special case p = 2 the results provide a modicum of answers to the questions opened informally in [2 Chacron , M. ( 2014 ). Residually *-abelian valuation with residue characteristic not 2 . Communication in Algebra 42 : 2956 – 2968 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]] (see concluding paragraph in [2 Chacron , M. ( 2014 ). Residually *-abelian valuation with residue characteristic not 2 . Communication in Algebra 42 : 2956 – 2968 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]] or here Question 3.2.1). More is to be said in the third and final section of this work.     

Ramification of Valuations and Local Rings in Positive Characteristic

In characteristic zero, local monomialization is true along any valuation. However, we have recently shown that local monomialization is not always true in positive characteristic, even in two dimensional algebraic function fields. In this paper we show that local monomialization is true for defectless extensions of two dimensional excellent local rings, extending an earlier result of Piltant and the author for two dimensional algebraic function fields over an algebraically closed field. We also give theorems showing that in many cases there are good stable forms of the extension of associated graded rings in a finite separable field extension.     

A Valuation Theory for Nonassociative Quaternion Algebras

A nonassociative quaternion algebra over a field F is a 4-dimensional F-algebra A whose nucleus is a separable quadratic extension field of F. We define the notion of a valuation ring for A, and we also define a value function on A with values from a totally ordered group. We determine the structure of the set on which the function assumes non-negative values and we prove that, given a valuation ring of A, there is a value function associated to it if and only if the valuation ring is integral and invariant under proper F-automorphisms of A.     

命题逻辑中概率真度的相似度及伪距离

通过引入赋值密度函数、边缘密度函数等概念,给出了连续值命题逻辑系统中公式概率真度的定义,研究了概率真度的推理规则并证明了全体公式的概率真度之集在[0,1]中的稠密性,在此基础上给出了3种相似度,讨论了其性质及关系,并由此定义了3种伪距离,确定了三者之间的比例关系,为推理程度的数值化提供了依据.     

Rank One Discrete Valuations of Power Series Fields

In this article we study rank one discrete valuations of the field k((X ₁,…, X _n )) whose center in k[[X ₁,…, X _n ]] is the maximal ideal. In Sections 2 to 6 we give a construction of a system of parametric equations describing such valuations. This amounts to finding a parameter and a field of coefficients. We devote Section 2 to finding an element of value 1, that is, a parameter. The field of coefficients is the residue field of the valuation, and it is given in Section 5.

The constructions given in these sections are not effective in the general case, because we need either to use Zorn's lemma or to know explicitly a section σ of the natural homomorphism R _v  → Δ _v between the ring and the residue field of the valuation v.

However, as a consequence of this construction, in Section 7, we prove that k((X ₁,…, X _n )) can be embedded into a field L((Y ₁,…, Y _n )), where L is an algebraic extension of k and the “extended valuation” is as close as possible to the usual order function.     

Another proof of the almost purity theorem for perfectoid valuation rings

The almost purity theorem is central to the geometry of perfectoid spaces and has numerous applications in algebra and geometry. This result is known to have several different proofs in the case that the base ring is a perfectoid valuation ring. We give a new proof by exploiting the behavior of Faltings' normalized length under the Frobenius map.     

Projective covers and minimal sets of generators over local rings

We describe the structure of projective covers of modules over a local ring, when such covers exist, and modules with minimal sets of generators. The case of modules over valuation rings is studied in more detail.     

赋值环上的Hermite环猜想北大核心CSCD

本文主要研究赋值环上的Hermite环猜想.根据赋值环V上一元多项式环V[x]的性质,研究并得到V[x]上幺模行向量(a_(1)(x),a_(2)(x),…,a_(n)(x))的一系列关于等价的性质,进而证明了赋值环上的Hermite环猜想成立,即对任意的赋值环V,V[x]都是Hermite环.