Отворите главни мени

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

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

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

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

Прототипски пример поља је скуп 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.

ЛитератураУреди

Спољашње везеУреди