Поле (алгебра)

З пляцоўкі testwiki
Перайсці да навігацыі Перайсці да пошуку

Шаблон:Значэнні ПоШаблон:Націскле — мноства, для элементаў якога вызначаны дзве аперацыі, т.зв. складанне і множанне, якія падпарадкоўваюцца пэўным законам. Паняцце «поле» можна разглядаць як абагульненне мноства рэчаісных лікаў разам са звычайнымі складаннем і множаннем.

Паняцце «поле» было ўпершыню ўведзена ў 19 стагоддзі Рыхардам Дэдэкіндам.

Найважнейшымі прыкладамі палёў, якія выкарыстоўваюцца ледзь не ва ўсіх галінах матэматыкі, з'яўляюцца поле рэчаісных лікаў, поле рацыянальных лікаў і поле камплексных лікаў.

Строгае азначэнне

Агульнае азначэнне

Поле − гэта мноства K, на якім вызначаны дзве бінарныя аперацыі «+» і " " (як правіла, называюцца адпаведна складанне і множанне), якія задавальняюць наступныя ўмовы:

  1. (K,+) ёсць абелева групанейтральным элементам 0)
  2. (K{0},) ёсць абелева групанейтральным элементам 1)
  3. Выконваецца размеркавальны закон: для любых a,b,cK справядліва:
    a(b+c)=ab+ac, (левы размеркавальны закон)
    (a+b)c=ac+bc (правы размеркавальны закон)

Пералік неабходных аксіём

Любое поле павінна задавальняць наступную сістэму аксіём, якія называюцца аксіёмамі поля:

  1. Уласцівасці складання:
    1. a+(b+c)=(a+b)+c (спалучальны закон)
    2. a+b=b+a (перамяшчальны закон)
    3. Існуе элемент 0K такі, што 0+a=a (нейтральны элемент)
    4. Для кожнага aK існуе адваротны адносна складання (процілеглы) элемент a, такі што (a)+a=0
  2. Уласцівасці множання:
    1. a(bc)=(ab)c (спалучальны закон)
    2. ab=ba (перамяшчальны закон)
    3. Існуе элемент 1K{0}, такі што 1a=a (нейтральны элемент).
    4. Для кожнага aK{0} існуе адваротны адносна множання элемент a1, такі што a1a=1
  3. Узгодненасць (або дапасаванасць) складання і множання:
    1. a(b+c)=ab+ac (левы размеркавальны закон)
    2. 10 (інакш нулявое колца было б полем)

Заўвага 1: правы размеркавальны закон

(a+b)c=ac+bc

вынікае з астатніх уласцівасцей:

(a+b)c=c(a+b)=ca+cb=ac+bc

Заўвага 2: часам ад перамяшчальнага закона для множання адмаўляюцца, у выніку замест поля атрымліваецца так званае цела. Прыкладам цела з'яўляецца мноства кватэрніёнаў з вызначанымі на ім складаннем і множаннем.

Літаратура

Шаблон:Бібліяінфармацыя