近世代数引论-001

kffAA??或????.)( Cartesian 射影正则分量上的积在它的第称为此我将把 k k? 2017-2-3 Zhang Aili 9 近世代数引论的集族是下标集合为定理假设 IIiA i}|{?满足以下性质: 和映射族存在一个集合}|:{IiAD D ii????均存在唯一的映射和映射族对于每个集合},|:{IiAC C ii???. ,: iiIiDC???????均有使得对每个和映射族即如果集合一对应唯一决定到相差一个一进而D D ?: , .,}{}|:{ DD DIiAD i ii ??????则存在一一对应同样性质和有与??. ,)(分量上的射影是到第而映射令存在性证明iAD iIi i????其中定义和诸映射给了,,:, cIi i ifcAC C??????.)()( iicAcif???均有对于每个,,CcIi???. ),()()( ))(() )(( ??????????????即 2017-2-3 Zhang Aili 10 近世代数引论:的唯一性下面证明?均有使对每个是另一个映射假定IiAC Ii i?????,:?. ii?????.)()(,.中同一个元素是和证明即证对于每个为证??????Ii ????.)()(上的函数是一致的作为和证明 Icc????.) ))( (() ))( ((,上的函数是一致的作为证明对于每个 Iicici?????均有: 可知对于每个的定义根据假定和 Ii i?,?). ))( (()()()() ))( ((ic cii???????????. ::有同样的性质与和诸映射设唯一性???????Ii iiiADAD D?},:{ )( iiAD D????那个性质用于映射族的对于如果我们将}:{ )( iiAD D???同样性质用于映射族的 对于而将,,::!IiDDDD???????使得对于每个和??