Skip to main content
Lennart Galinat's user avatar
Lennart Galinat's user avatar
Lennart Galinat's user avatar
Lennart Galinat
  • Member for 14 years, 2 months
comment
Is being principal a local property?
To help you with your problem: There are two steps one needs to consider (whose proof I leave to you). 1.) In a UFD any prime ideal of height one is principal. 2.) An ideal maximal among non-principal ideals is automatically a prime ideal.
comment
Clean Proofs of Properties of Projective Space
@Anton: For a reduced algebraic variety over a field one can show by hand that its global sections are a finite dimensional vector space, Liu does it this way in his book. Then the fact that P^n is geometrically integral shows that its global sections are a one-dimensional.
comment
Global dimension and localization
@Martin: Global dimension can be measured by only considering cyclic R-modules in the first variable of Ext and simple R-modules in the second. But then we can swap localisations and Ext and the result is clear.
comment
Global dimension and localization
I don't know if this is what you're looking for, but being noetherian guarantees the result you ask for.
comment
If a map restricts to an isomorphism on a closed subscheme and its open complement, must it be an isomorphism?
Thinking about the injectivity of the map, I realised that the nilradical is the problem. For example, if K is a field, R=K[X]/(X^3) and S=K[X]/(X^2) with the canonical projection as the map from R to S, then R/(X) is isomorphic to S/(X) via this map and all localisations at elements inside (X) are isomorphic, since they are zero because we are inverting nilpotent elements. But clearly R and S are not isomorphic.
awarded
awarded
awarded
awarded
revised
An elementary lemma of commutative algebra
added 1329 characters in body
Loading…
answered
Loading…