Unibranch mahalliy uzuk - Unibranch local ring
Yilda algebraik geometriya, a mahalliy halqa A deb aytilgan unibranch agar qisqartirilgan uzuk Aqizil (kotirovka orqali olingan A uning tomonidan nilradikal ) an ajralmas domen, va ajralmas yopilish B ning Aqizil shuningdek, mahalliy uzuk.[iqtibos kerak ] Unibranchli mahalliy uzuk deyiladi geometrik jihatdan unibranch agar qoldiq maydoni ning B a mutlaqo ajralmas kengaytma ning qoldiq maydonining Aqizil. Murakkab xilma-xillik X deyiladi topologik jihatdan unibranch bir nuqtada x agar barcha qo'shimchalar uchun bo'lsa Y ning yopiq algebraik kichik to'plamlari X ning (klassik topologiyada) mahallalarning asosiy tizimi mavjud x bilan kesishgan Y ulangan.
Xususan, a oddiy halqa unibranch hisoblanadi. Unibranchik va geometrik jihatdan unibranchik nuqtalar tushunchalari algebraik geometriyadagi ba'zi teoremalarda qo'llaniladi. Masalan, quyidagi natija mavjud:
Teorema (EGA, III.4.3.7) Ruxsat bering X va Y ikki ajralmas mahalliy noetherian sxemasi bo'lishi va a to'g'ri dominant morfizm. Ularning funktsiya maydonlarini quyidagicha belgilang K (X) va K (Y)navbati bilan. Ning algebraik yopilishi deylik K (Y) yilda K (X) ajratiladigan darajaga ega n va bu unibranch hisoblanadi. Keyin tola eng ko'pi bor n ulangan komponentlar. Xususan, agar f bu bir tomonlama, keyin unibranch nuqtalarining tolalari bog'lanadi.
EGA da teorema natijasi sifatida olinadi Zariskiyning asosiy teoremasi.