Поље (математика)

алгебарска структура

У апстрактној алгебри, поље је алгебарска структура у којој операција сабирања, одузимања, множења и дељења (осим дељења нулом) могу да се спроводе, и важе иста правила која су позната из стандардне аритметике.

Сва поља су прстенови, али нису сви прстенови поља. Поља се разликују од прстенова највише по захтеву да је дељење могуће, али и, данас, по захтеву да је операција множења на пољу комутативна.

Прототипски пример поља је скуп Q, поље рационалних бројева. Међу другим важним примерима је поље реалних бројева R, поље комплексних бројева C и, за сваки прост број p, коначно поље целих бројева по модулу p, што се означава Z/pZ, Fp или GF(p). За свако поље K, скуп K(X) рационалних функција са коефицијентима из K је такође поље.

Математичка дисциплина која проучава поља се назива теорија поља.

Еквивалентне дефиниције

уреди

Дефиниција 1

уреди

Поље је комутативни прстен са дељењем.

Дефиниција 2

уреди

Поље је комутативан прстен (F, +, *) такав да 0 није једнако 1 и сви елементи из F изузев 0 имају мултипликативни инверз. (Ваља имати у виду да су 0 и 1 неутрали за + и * редом, и могу се разликовати од реалних бројева 0 и 1).

Дефиниција 3

уреди

Експлицитно, поље дефинишу следећа својства:

Затвореност скупа F у односу на + и *
За свако a, b из F, и a + b и a * b припадају F (или формалније, + и * су бинарне операције на F).
И + и * су асоцијативне
За свако a, b, c из F, a + (b + c) = (a + b) + c и a * (b * c) = (a * b) * c.
И + и * су комутативне
За свако a, b из F, a + b = b + a и a * b = b * a.
Операција * је дистрибутивна над операцијом +
За свако a, b, c, из F, a * (b + c) = (a * b) + (a * c).
Постојање адитивног неутрала
Постоји елемент 0 у F, такав да за свако a из F, a + 0 = a.
Постојање мултипликативног неутрала
Постоји елемент 1 у F различит од 0, такав да за свако a из F, a * 1 = a.
Постојање адитивних инверза
За свако a из F, постоји елемент −a из F, такав да a + (−a) = 0.
Постојање мултипликативних инверза
за свако a ≠ 0 из F, постоји елемент a−1 из F, такав да a * a−1 = 1.

Захтев да је 0 ≠ 1 осигурава да скуп који садржи само један елемент није поље. Директно из аксома, може се показати да (F, +) и (F − {0}, *) су комутативне групе (абелове групе) и да су стога адитивни инверз −a и мултипликативни инверз a−1 јединствено одређени са a. Међу другим корисним правилима су

a = (−1) * a

и општије

−(a * b) = (−a) * b = a * (−b)

као и

a * 0 = 0,

сва ова правила су позната из елементарне аритметике.

Ако се изузме захтев за комутативношћу операције * разликују се горња комутативна поља од некомутативних поља.

Историја

уреди

Концепт поља је увео Дедекинд, који је користио немачку реч Körper (тело) за овај појам. Он је такође први дефинисао прстенове, али израз прстен (Zahlring) је увео Хилберт.[1]

Примери

уреди
     +  0  1        *  0  1
     0  0  1        0  0  0
     1  1  0        1  0  1
Ово поље има важне примене у рачунартву, посебно у криптографији.
  • Нека су E и F два поља, и F је подпоље од E. Нека је x елемент из E који није у F. Тада постоји најмање подпоље од E које садржи F и x, што се означава са F(x). Кажемо да је F(x) просто проширење од F. На пример, Q(i) је подпоље C које се састоји од свих бројева облика a + bi где су и a и b рационални бројеви.
  • За дато поље F, скуп F(X) рационалних функција променљиве X са коефицијентима из F је поље.
  • Ако је F поље, и p(X) је нерастављив полином у прстену полинома F[X], тада је коефицијент F[X]/<p(X)>, где <p(X)> означава идеал генерисан са p(X), поље са подпољем изоморфним са F. На пример, R[X]/<X2 + 1> је поље (изоморфно пољу комплексних бројева). Може се показати да је свако просто алгебарско проширење од F изоморфна пољу овог облика.
  • Када је F поље, скуп F((X)) формални Лоранов ред над F је поље.
  • Ако је V алгебарски варијетет над F, тада рационалне функције VF граде поље, поље функција над V.
  • Ако је S Риманова површина, тада мероморфне функције SC граде поље.
  • Хиперреални бројеви и суперреални бројеви проширују реалне бројеве сабирањем инфинитезималних и бесконачних бројева.

Референце

уреди
  1. ^ J J O'Connor and E F Robertson, The development of Ring Theory, September 2004.

Литература

уреди

Спољашње везе

уреди