Regular local ring

Let x be any point of a variety X (not necessarily closed), show that X is non-singular at x if and only if a, is a regular local ring. 

To prove Theorem 1 all 3 of the methods mentioned in the introduction can be used. There is a projective method, based on Seven s idea of projecting cones. Or using complete local rings, we can reduce the UFD property for o (x closed) to the UFD property for o. which is isomorphic by Th. 10, 6, to k [[fi,..., tn]]. The most fax-reaching method is the cohomological one, due to Auslander and Buchsbaum, by which it can be proven that all regular local rings are UFD s. We shall present the first two methods. For the last, cf. Zaxiski-Samuel, appendix, vol. 2. 

Proofi Proceed in two steps first adjoin the T with x a non-unit, next the remaining ones. The second step is Stale. Therefore we can restrict ourselves to the first step assume all x are non-units. We want to show more then, namelyi B a regular local ring. Furthermore we can disregard the x with n = 1 assume all n 2. Put... 

Notei 1) This implies that 0 j is a regular local ring in case of... 

Lemma 3 1 3 Let B be a noetherian, regular local ring, p a prime ideal in B and part of a regular system of parameters in... 

The above notion is stable by Stale base change (because regularity of a local ring is stable by Stale base change). Rote that by EGA O y 17.1.8 we have for D= div(t) D is regular at s 4= S is regular at s and t m [Pg.27]

Since the local ring Or is regular we have for the corresponding... 

Normal and regular formal schemes. A formal scheme is normal (resp. regular) in s if the local ring Oy is normal (resp. regular). Let(f = Spf A be normal in s it follows from the remarks in 3.1.2 and EGA IV 6.5.2 that this implies normality for S= Spec A in s. 

All other homoatomic Pn cluster anions are cage molecules with localized two-center-two-electron bonds. The cyclic [PnJ anion has been characterized by NMR spectroscopy for Pn = P [210], and structures are known for Pn = P, As, Sb, Bi (Table 2). A planar [Ps] anion has only been detected in solution by P NMR spectroscopy [210]. Envelop-shaped five- and six-membered rings are found for [Pns] and [Pe]", whereas [Asg]" deviates only slightly from planarity and has a chair conformation. The aromaticity of the planar anions [P4] and [Pe]" is distinct from that of regular 671-aromatic hydrocarbons and has been described... 

The amount by which the total energy of the 77-electrons lies below that of the localized orbitals in Kekule structures, termed the delocalization or resonance energy, is decreased if the conjugated planar framework is distorted into a non-planar conformation, because maximum overlap of 77-orbitals is then not possible. Coulson (1958) has shown that the effect of bending a regular planar benzene ring (Fig. la)... 

---