Расширения полей

НЕТ ВОЙНЕ

24 февраля 2022 года российское руководство во главе с Владимиром Путиным развязало агрессивную войну против Украины. В глазах всего мира это военное преступление совершено от лица всей страны, всех россиян. Будучи гражданами Российской Федерации, мы против своей воли оказались ответственными за нарушение международного права, военное вторжение и массовую гибель людей. Чудовищность совершенного преступления не оставляет возможности промолчать или ограничиться пассивным несогласием. Мы убеждены в абсолютной ценности человеческой жизни, в незыблемости прав и свобод личности. Режим Путина — угроза этим ценностям. Наша задача — обьединить все силы для сопротивления ей. Эту войну начали не россияне, а обезумевший диктатор. И наш гражданский долг — сделать всё, чтобы её остановить. Антивоенный комитет России

Распространяйте правду о текущих событиях, оберегайте от пропаганды своих друзей и близких. Изменение общественного восприятия войны - ключ к её завершению.

meduza.io, Популярная политика, Новая газета, zona.media, Майкл Наки.

Эта статья находится в разработке!

Определение:

[math] K \subset F[/math], F называется расширением K (если [math][F : K][/math] - конечна, то F - конечное расширение поля K)

Определение:

Степенью расширения называется величина [math][F:K][/math]

Утверждение:

[math]A \subset K \subset F \Rightarrow [F:A] = [K:A] \cdot [F:K][/math]

[math]K \subset F, \alpha \in F[/math], рассмотрим [math]K(\alpha)[/math] — наименьшее подполе [math]F[/math], которое содержит [math]K[/math] и [math]\alpha[/math] (пересечение всех таких подполей содержится в [math]K[/math] и [math]\alpha [/math] [math]\Rightarrow[/math] получается тоже подполе (замкнутое относительно операций сложения, умножения и обратно).
Все возможные записи с [math]K[/math] и [math]\alpha[/math] образуют поле [math]K(\alpha)[/math] : [math]\frac{(K_1+\alpha)^7}{\alpha + K_2}[/math] и т.п.
Если [math]\alpha \in K \Rightarrow K(\alpha)=K, K \subset K(\alpha) \subset F, K(\alpha)[/math] — расширение поля [math]K[/math]. (простое расширение — присоединение одного элемента).
[math]K \subset K(\alpha) [/math]

1. [math]\exists f \in K[x] \colon f(\alpha) = 0[/math] — простое алгебраическое
2. [math]\nexists f[/math] — простое трансцендентное
3. [math]K(\alpha) \cong K(x) = \left\{\frac{p(x)}{q(x)} \mid p(x),q(x) \in K[x] \right\}[/math]