Loading AI tools
З Вікіпедії, вільної енциклопедії
По́ле (англ. field — поле, нім. körper — тіло) — алгебрична структура, для якої визначено дві пари бінарних операцій: додавання/віднімання та множення/ділення, що задовольняють умови, подібні до властивостей арифметичних операцій над раціональними, дійсними або комплексними числами.
Поле — комутативне кільце , в якому кожен ненульовий елемент має обернений . Більш детально це означає:
Якщо підмножина поля сама утворює поле щодо операцій в (з тими самими нулем й одиницею), то називається підполем а — розширенням поля . Позначається
Поняття поля неявно застосовувалось Нільсом Абелем та Еваристом Галуа для дослідження розв'язків алгебраїчних рівнянь 5-го та вищих степенів.
1871 року Ріхард Дедекінд запровадив для множини дійсних та комплексних чисел поняття «тіло» (нім. körper), щоб довести їх замкненість щодо арифметичних операцій. Відтоді для позначення полів почала широко застосовуватись літера . 1893 року Е. Г. Мур запровадив для цього поняття назву «поле» (англ. field).
У сучасній математиці розглядаються також і скінченні поля, що відіграють провідну роль у деяких застосуваннях, зокрема, у криптографії та теорії кодування.
Так само, множина всіх алгебраїчних чисел замкнена щодо алгебраїчних операцій, а тому утворює поле, яке містить і міститься в .
Ці поля названо на честь Евариста Галуа, який першим розглянув скінченні поля.
що складається з елементів, але для це поле НЕ дорівнює кільцю лишків . Насправді, , тому не має оберненого в
Характеристика поля , що позначається — це найменше натуральне число , для якого сума ( доданків) дорівнює , якщо ж такого числа не існує, то вважається, що характеристика поля дорівнює нулю. У наведеному означенні та позначають "абстрактні" нуль та одиницю поля , тобто нейтральні елементи відповідно додавання та множення в цьому полі, а не звичні числа нуль та одиницю.
Щодо характеристик полів, приклади яких наведено в попередньому розділі, то поля раціональних, дійсних і комплексних чисел, а також поле мероморфних функцій мають характеристику нуль, у той час як будь-яке скінченне поле з елементів, де — просте число, має характеристику
Взагалі, у довільному полі існує єдине найменше (так зване просте) підполе. Це або поле, ізоморфне полю раціональних чисел (якщо ), або поле з елементів, (якщо )
Зокрема, будь-яке розширення поля має таку ж характеристику, як і саме поле. Поля додатної характеристики мають незвичайні властивості, які істотно відрізняють їх від полів із характеристикою нуль.
Поле — алгебраїчно замкнене, якщо будь-який многочлен з коефіцієнтами в має принаймні один корінь у
За основною теоремою алгебри, поле комплексних чисел є алгебраїчно замкнененим, на відміну від поля раціональних чисел і скінченних полів.
Припустимо, що комутативне кільце з одиницею не має дільників нуля, тобто для будь-яких із рівності випливає, що або або . Тоді існує єдине найменше поле , яке містить у собі . Це поле називається полем часток кільця і може бути утворено наступним способом (який узагальнює перехід від кільця цілих чисел до поля раціональних чисел ). Спочатку розглядається множина всіх формальних виразів вигляду , де . Ці вирази додаються і множаться на зразок звичайних дробів:
Два вирази називаються еквівалентними, , якщо . Тоді поле часток — це множина класів еквівалентності виразів, з означенними вище операціями. Можна довести, що утворена таким чином структура — це комутативне кільце, де роль нуля та одиниці відіграють класи еквівалентності відповідно та , а класи еквівалентності виразів є замкнененими відносно додавання та множення й утворюють кільце, ізоморфне (для цього потрібно переконатися, що з випливає , а це справджується завдяки відсутності дільників нуля у ). До того ж, будь-який ненульовий клас еквівалентності має обернений , тому ми одержуємо поле.
Якщо застосувати цю конструкцію до кільця поліномів , то одержимо поле раціональних функцій
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.