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

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку

По́ле (англ. field — поле, нім. körper — тіло) — алгебрична структура, для якої визначено дві пари бінарних операцій: додавання/віднімання та множення/ділення, що задовольняють умови, подібні до властивостей арифметичних операцій над раціональними, дійсними або комплексними числами.

Означення

[ред. | ред. код]

Поле — комутативне кільце , в якому кожен ненульовий елемент має обернений . Більш детально це означає:

  • є комутативною групою по додаванню;
  • є комутативною групою по множенню;
  • множення є дистрибутивним відносно додавання: .

Якщо підмножина поля сама утворює поле щодо операцій в (з тими самими нулем й одиницею), то називається підполем а розширенням поля . Позначається

Історія

[ред. | ред. код]

Поняття поля неявно застосовувалось Нільсом Абелем та Еваристом Галуа для дослідження розв'язків алгебраїчних рівнянь 5-го та вищих степенів.

1871 року Ріхард Дедекінд запровадив для множини дійсних та комплексних чисел поняття «тіло» (нім. körper), щоб довести їх замкненість щодо арифметичних операцій. Відтоді для позначення полів почала широко застосовуватись літера . 1893 року Е. Г. Мур запровадив для цього поняття назву «поле» (англ. field).

У сучасній математиці розглядаються також і скінченні поля, що відіграють провідну роль у деяких застосуваннях, зокрема, у криптографії та теорії кодування.

Приклади

[ред. | ред. код]

Так само, множина всіх алгебраїчних чисел замкнена щодо алгебраїчних операцій, а тому утворює поле, яке містить і міститься в .

Ці поля названо на честь Евариста Галуа, який першим розглянув скінченні поля.

  • Мероморфні функції на одиничному крузі , з операціями поточкового додавання та множення, утворюють поле.

Зауваження

[ред. | ред. код]
  • множина цілих чисел з операціями додавання та множення НЕ утворює поля, тому що, наприклад, 2 не має оберненого в .
  • Для кожного натурального існує єдине (не враховуючи ізоморфізмів) поле Галуа ,

що складається з елементів, але для це поле НЕ дорівнює кільцю лишків . Насправді, , тому не має оберненого в

Термінологія

[ред. | ред. код]

Характеристика поля , що позначається — це найменше натуральне число , для якого сума ( доданків) дорівнює , якщо ж такого числа не існує, то вважається, що характеристика поля дорівнює нулю. У наведеному означенні та позначають "абстрактні" нуль та одиницю поля , тобто нейтральні елементи відповідно додавання та множення в цьому полі, а не звичні числа нуль та одиницю.

Щодо характеристик полів, приклади яких наведено в попередньому розділі, то поля раціональних, дійсних і комплексних чисел, а також поле мероморфних функцій мають характеристику нуль, у той час як будь-яке скінченне поле з елементів, де — просте число, має характеристику

Взагалі, у довільному полі існує єдине найменше (так зване просте) підполе. Це або поле, ізоморфне полю раціональних чисел (якщо ), або поле з елементів, (якщо )

Зокрема, будь-яке розширення поля має таку ж характеристику, як і саме поле. Поля додатної характеристики мають незвичайні властивості, які істотно відрізняють їх від полів із характеристикою нуль.

Поле алгебраїчно замкнене, якщо будь-який многочлен з коефіцієнтами в має принаймні один корінь у

За основною теоремою алгебри, поле комплексних чисел є алгебраїчно замкнененим, на відміну від поля раціональних чисел і скінченних полів.

Конструкції полів

[ред. | ред. код]

Припустимо, що комутативне кільце з одиницею не має дільників нуля, тобто для будь-яких із рівності випливає, що або або . Тоді існує єдине найменше поле , яке містить у собі . Це поле називається полем часток кільця і може бути утворено наступним способом (який узагальнює перехід від кільця цілих чисел до поля раціональних чисел ). Спочатку розглядається множина всіх формальних виразів вигляду , де . Ці вирази додаються і множаться на зразок звичайних дробів:

Два вирази називаються еквівалентними, , якщо . Тоді поле часток — це множина класів еквівалентності виразів, з означенними вище операціями. Можна довести, що утворена таким чином структура — це комутативне кільце, де роль нуля та одиниці відіграють класи еквівалентності відповідно та , а класи еквівалентності виразів є замкнененими відносно додавання та множення й утворюють кільце, ізоморфне (для цього потрібно переконатися, що з випливає , а це справджується завдяки відсутності дільників нуля у ). До того ж, будь-який ненульовий клас еквівалентності має обернений , тому ми одержуємо поле.

Якщо застосувати цю конструкцію до кільця поліномів , то одержимо поле раціональних функцій

Див. також

[ред. | ред. код]

Джерела

[ред. | ред. код]