Loading [MathJax]/extensions/MathZoom.js
Viene data una condizione sufficiente affinchè un sopra-anello di un anello di pseudo-valutazione (PVR) sia ancora un PVR. Da ciò segue che se è un PVR, allora ogni sopra-anello di è un PVR se (e soltanto se) è quasi-locale per ciascun elemento di . Vari risultati sono dimostrati per un ideale primo di un anello commutativo arbitrario , avente come insieme di zero-divisori. Per esempio, se è un primo «forte» di e contiene un elemento non-zero divisore di , allora è un sopra-anello...
Experience shows that in geometric situations the separating ideal associated with two orderings of a ring measures the degree of tangency of the corresponding ultrafilters of semialgebraic sets. A related notion of separating ideals is introduced for pairs of valuations of a ring. The comparison of both types of separating ideals helps to understand how a point on a surface is approached by different half-branches of curves.
In analogy with the notion of the composite semi-valuations, we define the composite -valuation from two other -valuations and . We consider a lexicographically exact sequence and the composite -valuation of a field with value group . If the assigned to set or non comparable to is a local ring, then a -valuation of into is defined with its assigned set a local ring, as well as another -valuation of a residue field is defined with -value group .
We introduce and study a new class of ring extensions based on a new formula involving the heights of their primes. We compare them with the classical altitude inequality and altitude formula, and we give another characterization of locally Jaffard domains, and domains satisfying absolutely the altitude inequality (resp., the altitude formula). Then we study the extensions R ⊆ S where R satisfies the corresponding condition with respect to S (Definition 3.1). This leads to a new characterization...
Currently displaying 61 –
80 of
87