Регулярное продление

В теории поля , разделе алгебры, расширение поля называется регулярным , если k алгебраически замкнуто в L ( т. е., где — множество элементов в L, алгебраическое над k ), а L сепарабельно над k , или, что эквивалентно, является областью целостности, когда — алгебраическое замыкание (т. е., линейно не пересекаются над k ) . [1] [2] Л / к {\displaystyle Л/к} к = к ^ {\displaystyle k={\hat {k}}} к ^ {\displaystyle {\hat {k}}} Л к к ¯ {\displaystyle L\otimes _{k}{\overline {k}}} к ¯ {\displaystyle {\overline {k}}} к {\displaystyle к} Л , к ¯ {\displaystyle L,{\overline {k}}}

Характеристики

  • Регулярность транзитивна: если F / E и E / K регулярны, то и F / K также регулярен . [3]
  • Если F / K является регулярным, то и E / K является регулярным для любого E между F и K. [3 ]
  • Расширение L / k является регулярным тогда и только тогда, когда каждое подполе L, конечно порождённое над k, является регулярным над k . [2]
  • Любое расширение алгебраически замкнутого поля является регулярным. [3] [4]
  • Расширение является регулярным тогда и только тогда, когда оно отделимо и первично . [5]
  • Чисто трансцендентное расширение поля является регулярным.

Самостоятельное регулярное расширение

Существует также похожее понятие: расширение поля называется саморегулярным, если является областью целостности. Саморегулярное расширение относительно алгебраически замкнуто в k . [6] Однако саморегулярное расширение не обязательно является регулярным. [ необходима цитата ] Л / к {\displaystyle Л/к} Л к Л {\displaystyle L\otimes _{k}L}

Ссылки

  1. ^ Фрид и Джарден (2008) стр.38
  2. ^ ab Cohn (2003) стр.425
  3. ^ abc Фрид и Джарден (2008) стр.39
  4. ^ Кон (2003) стр.426
  5. ^ Фрид и Джарден (2008) стр.44
  6. ^ Кон (2003) стр.427
Взято с "https://en.wikipedia.org/w/index.php?title=Regular_extension&oldid=1191758887"