Matches in SemOpenAlex for { <https://semopenalex.org/work/W1968519034> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W1968519034 endingPage "270" @default.
- W1968519034 startingPage "254" @default.
- W1968519034 abstract "Suppose A is a normal noetherian domain containing Q and C =) A is a domain which is affine and unramified over A. Let B be the integral closure of A in C, the field of quotients of C. Now C is normal and thus A c B c C. This gives rise to four radical ideals, the Finiteness and Discriminant ideals of A, and the Zariski Complement and Branch Locus ideals of B. The purpose of the paper is to analyze these ideals and their behavior under Galois closure and tensor product. Also we give a topological proof of a theorem of Zariski: the purity of the Discriminant ideal. Since B c C is unramified, it follows from Zariski’s Main Theorem that Spec C + Spec B is an open immersion. The complement of its image is V(I) where Zc B is a radical ideal. Define the Zariski Complement ideal by ZC(C, B) = I. Define the Finiteness ideal by Fint(C, A) = {UE A; C, is finite over A,}. The statement that an ideal J of a commutative ring has pure height 1 means that every minimal prime over J has height 1. Then the Zariski Complement has pure height 1 in B, the Finiteness ideal has pure height 1 in A, and ZC(C, B) n A = Fint(C, A). Furthermore, each of these ideals commutes with localization in A. Let n be the dimension of the field extension 2 c B, and V= (U E B; the minimal polynomialf, E A[ r] of u has degree n}. Define the Branch Locus ideal BL(B, A) as the radical in B of the ideal generated by all&(u) where UE V. Let disc(u) be the discriminant of U. Define the Discriminant ideal Disc(B, A) as the radical in A of the ideal generated by all disc(u) where u E V. If p c B is a prime ideal, B is unramilied over A at p iff BL(B, A) d p. If q c A is a prime ideal, B is unramilied over A at every extension of q iff Disc(B, A) ti q. Also BL(B, A) n A = Disc( B, A), Fint(C, A) c Disc(B, A), and ZC(C, B) c BL(B, A). If A is regular, it is a theorem due to Zariski, Nagata, and Auslander that BL(B, A) and Disc(B, A) have pure height 1. Let G(C) be the normalization (or Galois closure) of C over 2, and let t7, )...) 0” . C --* G(C) be the distinct embeddings of C which are the identity on A. If R is a domain with A c R c C, define G(R) to be the ring 254 oool-8708/87 $7.50" @default.
- W1968519034 created "2016-06-24" @default.
- W1968519034 creator A5054351379 @default.
- W1968519034 creator A5088749983 @default.
- W1968519034 date "1987-03-01" @default.
- W1968519034 modified "2023-09-26" @default.
- W1968519034 title "Nonfinite unramified extensions" @default.
- W1968519034 cites W1502429236 @default.
- W1968519034 cites W1546816136 @default.
- W1968519034 cites W1547534813 @default.
- W1968519034 cites W1828839365 @default.
- W1968519034 cites W1981796790 @default.
- W1968519034 cites W2016661996 @default.
- W1968519034 cites W2022970946 @default.
- W1968519034 cites W2024476919 @default.
- W1968519034 cites W2049707341 @default.
- W1968519034 cites W2060713068 @default.
- W1968519034 cites W2081461845 @default.
- W1968519034 cites W2316605989 @default.
- W1968519034 cites W2320613886 @default.
- W1968519034 cites W619339145 @default.
- W1968519034 cites W638338753 @default.
- W1968519034 doi "https://doi.org/10.1016/0001-8708(87)90056-9" @default.
- W1968519034 hasPublicationYear "1987" @default.
- W1968519034 type Work @default.
- W1968519034 sameAs 1968519034 @default.
- W1968519034 citedByCount "1" @default.
- W1968519034 crossrefType "journal-article" @default.
- W1968519034 hasAuthorship W1968519034A5054351379 @default.
- W1968519034 hasAuthorship W1968519034A5088749983 @default.
- W1968519034 hasConcept C136119220 @default.
- W1968519034 hasConcept C202444582 @default.
- W1968519034 hasConcept C33923547 @default.
- W1968519034 hasConceptScore W1968519034C136119220 @default.
- W1968519034 hasConceptScore W1968519034C202444582 @default.
- W1968519034 hasConceptScore W1968519034C33923547 @default.
- W1968519034 hasIssue "3" @default.
- W1968519034 hasLocation W19685190341 @default.
- W1968519034 hasOpenAccess W1968519034 @default.
- W1968519034 hasPrimaryLocation W19685190341 @default.
- W1968519034 hasRelatedWork W1557945163 @default.
- W1968519034 hasRelatedWork W1985218657 @default.
- W1968519034 hasRelatedWork W2023661790 @default.
- W1968519034 hasRelatedWork W2073994398 @default.
- W1968519034 hasRelatedWork W2096753949 @default.
- W1968519034 hasRelatedWork W2742285599 @default.
- W1968519034 hasRelatedWork W2963341196 @default.
- W1968519034 hasRelatedWork W3106133691 @default.
- W1968519034 hasRelatedWork W3124205579 @default.
- W1968519034 hasRelatedWork W4249580765 @default.
- W1968519034 hasVolume "63" @default.
- W1968519034 isParatext "false" @default.
- W1968519034 isRetracted "false" @default.
- W1968519034 magId "1968519034" @default.
- W1968519034 workType "article" @default.