Morphisms

In the first section of this chapter, we compile the most general facts about morphisms and homomorphisms. 

A bijective homomorphism is called an isomorphism (or a scheme isomorphism). An isomorphism from X U S to X U S is called an automorphism (or a scheme automorphism) of S. The set of all automorphisms of S will be denoted by Aut(S ). 

In the second section, we shall see that the set Aut(S ) is a group with respect to composition. We also consider subgroups of Aut(S ) and groups which contain Aut(S ) as a subgroup. 

In the third section, we shall prove a Homomorphism Theorem and two Isomorphism Theorems for schemes of finite valency. All three of these results naturally generalize the finite versions of Emmy Noether s corresponding theorems for groups. 

In Section 5.4, we define composition series of schemes having finite valency. The main result will be a generalization of a group theoretic theorem due to Camille Jordan and Otto Holder. This generalization says that any two composition series of a closed subset of a scheme of finite valency are isomorphic. 

---

Lai E, Riley J, Purvis I, Roses A. A4-Mb high-density single nucleotide poly-morphism-based map around human APOE. Genomics 1998 54 31-38. 

Tab. 9.3 Summary of genetic poly morphisms in drug efflux transporters ...

Infrared spectroscopy has been widely used for the qualitative and quantitative characterization of polymorphic and pseudopolymorphic compounds of pharmaceutical interest. Since solid state IR can be used to probe the nature of (pseudo)polymorphism on the molecular level, this method is particularly useful in instances where full crystallographic characterization of (pseudo)poly-morphism was not found to be possible. Recently, a significant number of publications have appeared that discuss where a multidisciplinary, spectroscopic... 

Definition 1.1.1. [Grothendieck (1)] Let HUb(X/T) be the contravariant functor from the category SchlnT of locally noetherian T-schemes to the category Ens of sets, which for locally noetherian T-schemes U,V and a morphism V — U is given by... 

Theorem 1.1.7 [Mumford-Fogarty (1) 5.4]. There is a canonical morphism (the Hilbert Chow morphism)... 

This morphism is birational, as its restriction gives an isomorphism from (Hilb to a dense open subset of ZiiX ). So pi,3 Hilb (X) — (A) is... 

Now a variety of Ith order data should be a natural smooth compactification of Dlm(X)o- This is for instance the case for D X), as this is given in a canonical way as a subscheme of a product of Hilbert schemes, it is smooth, compact and contains D2m(X)Q as a dense open subvariety. There is a morphism... 

---