Ciało (matematyka)

Diagram Hassego przedstawiający podstawowe ciała liczbowe. Liczby nadrzeczywiste zaznaczono innym kolorem, ponieważ jako klasa właściwa spełniają tylko niestandardową, poszerzoną definicję ciała.

Ciało – typ struktury algebraicznej z dwoma działaniami; definiowany na kilka równoważnych sposobów, np. jako:

• przemienny pierścień z dzieleniem;
• dziedzina całkowitości z odwracalnością elementów.

Inne definicje podano niżej. Ciała formalizują własności algebraiczne liczb wymiernych czy rzeczywistych znanych od starożytności, jednak samodzielna teoria ciał pojawiła się w XIX wieku. Pomogła rozwiązać takie problemy jak:

• rozwiązalność równań wielomianowych (jednej zmiennej) przez pierwiastniki (działania obowiązujące w ciałach i wyciąganie pierwiastków); zajmuje się tym teoria Galois badająca ciała przez ich grupy automorfizmów;
• wykonalność pewnych konstrukcji klasycznych (konstrukcji geometrycznych, w których dozwolone jest korzystanie z wyidealizowanych cyrkla i linijki).

Oprócz tego pojęcie ciała pojawia się w ogólnej definicji przestrzeni liniowej; przez to ciała definiują najogólniejsze pojęcia skalara.

Definicja

Aksjomaty

Ciało $K$ to struktura $(K,+,\cdot ,0,1)$ z działaniami $+$ i $\cdot$ – nazywanymi odpowiednio dodawaniem i mnożeniem – o kilku własnościach:

• oba działania są łączne, przemienne i mają elementy neutralne;
• każdy element ma swój element odwrotny względem dodawania, a każdy element niezerowy – także element odwrotny względem mnożenia;
• mnożenie jest rozdzielne względem dodawania.

Element neutralny dodawania oznacza się przez 0, a element neutralny mnożenia oznacza się przez 1 i nazywa jedynką lub jednością. Czasem zakłada się, że 0 ≠ 1, czyli że ciało ma co najmniej dwa elementy.

Formalnie zapisuje się to przez 9 aksjomatów – cztery z nich dotyczą samego dodawania, cztery samego mnożenia, a jeden związku między nimi:

1.	$\mathrm{\forall }a,b,c\in K:$	$a+(b+c)=(a+b)+c$	(łączność dodawania)
2.	$\mathrm{\forall }a,b\in K:$	$a+b=b+a$	(przemienność dodawania)
3.	$\mathrm{\forall }a\in K:$	$a+0=a$	(istnienie zera)
4.	$\mathrm{\forall }a\in K\mathrm{\exists }b\in K:$	$a+b=0$	(możliwość odejmowania)
5.	$\mathrm{\forall }a,b,c\in K:$	$a\cdot (b\cdot c)=(a\cdot b)\cdot c$	(łączność mnożenia)
6.	$\mathrm{\forall }a,b\in K:$	$a\cdot b=b\cdot a$	(przemienność mnożenia)
7.	$\mathrm{\forall }a\in K:$	$a\cdot 1=a$	(istnienie jedynki)
8.	$\mathrm{\forall }a\in K\setminus \{0\}\mathrm{\exists }b\in K:$	$a\cdot b=1$	(możliwość dzielenia)
9.	$\mathrm{\forall }a,b,c\in K:$	$a\cdot (b+c)=(a\cdot b)+(a\cdot c)$	(rozdzielność mnożenia względem dodawania)

Mówiąc krótko, ciałem nazywa się:

• pierścień przemienny z jedynką, w którym każdy niezerowy element jest odwracalny;
• grupę przemienną oznaczaną addytywnie, która po usunięciu zera tworzy grupę przemienną z innym działaniem (mnożeniem), rozdzielnym względem dodawania.

Aksjomat rozdzielności mnożenia względem dodawania pozwala rozróżniać działania mnożenia i dodawania – nie ma rozdzielności w „drugą stronę”. Dlatego wyrażenia postaci $(a\cdot b)+c$ można zapisać prościej jako $a\cdot b+c.$ Oznacza to, że mnożenie wiąże argumenty silniej niż dodawanie.

Rozbieżności nazewnicze

W literaturze rosyjskiej i francuskiej ciała określa się terminami, które można dosłownie przetłumaczyć jako pole (Szablon:Ros., Szablon:Trb) lub ciało przemienne (fr. corps commutatif). Ogólne pierścienie z dzieleniem – niewymagające przemienności mnożenia – określa się słowami, które w innych kontekstach tłumaczy się jako ciało: Szablon:Ros. (Szablon:Trb), Szablon:Fr..

Pojęcie ciała jako struktury nieprzemiennej można także spotkać w niektórych tłumaczeniach książek naukowych na język polski. Można wtedy mówić na przykład o ciele kwaternionów. Rosjanie twierdzenie Wedderburna wypowiadają prosto: Każde ciało skończone jest polem.

Przykłady

Liczby wymierne to przykład ciała przeliczalnego uporządkowanego liniowo.

Prosta rzeczywista – geometryczne przedstawienie ciała liczb rzeczywistych

Siedmiokąt foremny nie jest możliwy do narysowania przez konstrukcje klasyczne, o czym mówi twierdzenie Gaussa-Wantzela. Jest tak, ponieważ współrzędne jego wierzchołków nie należą do ciała liczb konstruowalnych.

Liczby zespolone to inny przykład ciała. Zasadnicze twierdzenie algebry mówi, że jest to ciało algebraicznie domknięte.

Płaszczyzna Fana to przykład struktury geometrycznej zbudowanej na ciele skończonym, konkretniej dwuelementowym.

Ciałami są między innymi niektóre rodzaje liczb:

• liczby wymierne;
• ich niektóre rozszerzenia: liczby konstruowalne, algebraiczne, rzeczywiste i p-adyczne ${\mathbb{Q}}_p;$
• niektóre rozszerzenia liczb rzeczywistych jak liczby zespolone czy hiperrzeczywiste.

Oprócz tego:

• funkcje wymierne o współczynnikach z dowolnego ciała również są ciałem;
• istnieją ciała skończone jak ciało Z_p.

Ciało funkcji wymiernych ${\mathbb{Z}}_p(t)$ wyróżnia się nieskończoną mocą przy dodatniej charakterystyce.

Algebraiczne własności ciała mają też liczby nadrzeczywiste, jednak nie tworzą one zbioru – są klasą właściwą.

Dzieje pojęcia

Pojęcia ciała – bez nadawania mu nazwy – używał Évariste Galois, który sklasyfikował ciała skończone. Później Bernhard Riemann w 1857 badał ciała funkcji meromorficznych. Richard Dedekind podał formalną definicję ciała pod nazwą dziedzina wymiernościSzablon:Fakt.

Nazwa ciało (Szablon:Niem.) pojawiła się po raz pierwszy w Teorii liczb Dirichleta, oznaczając zespół, poczet albo ucieleśnienie elementów powstających z operacji wymiernych (dodawanie, odejmowanie, mnożenie, dzielenie). Problem pierwszeństwa jest skomplikowany: Dedekind był uczniem Dirichleta, napisał Suplementy do jego wykładów; w XI Suplemencie (IV wydanie, Brunszwik 1894) używana jest nazwa ciało.

Angielscy matematycy używali krótko łacińskiego odpowiednika corpus, zaś francuscy matematycy używają do dziś pokrewnego corps (ozn. ciało). Używane teraz w języku angielskim słowo field (dosł. pole) wprowadzili zapewne amerykańscy algebraicy, którzy początkowo używali również nazwy realm (dosł. dziedzina, królestwo).

Własności

• Z definicji ciała wynika, że nie zawiera ono właściwych dzielników zera. Innymi słowy jest ono dziedziną całkowitości.
• W ciele są dokładnie dwa ideały: ideał zerowy $\{0\}$ i całe ciało $K.$ Jeżeli bowiem ideał ciała nie jest zerowy, to zawiera element odwracalny względem mnożenia, a więc jest równy $K.$
• Ciała skończone można sklasyfikować: każde z nich ma $p^n$ elementów, gdzie $p$ jest pewną liczbą pierwszą, a $n$ jest liczbą naturalną. Co więcej, ciała skończone o tej samej liczbie elementów są izomorficzne, czyli z punktu widzenia algebry mogą być uważane za jednakowe.

Podciała i rozszerzenia

Szablon:Osobny artykuł Podciałem ciała $K$ nazywa się taki podzbiór $L$ ciała $K,$ który sam jest ciałem (ze względu na działania dziedziczone z $K$). Dowolny homomorfizm ciał $\phi :M\to N$ jest zanurzeniem, gdyż

$1_N=\phi (1_M)=\phi (x{x}^{-1})=\phi (x)\phi (x^{-1})=\phi (x)\phi (x{)}^{-1},$

a więc $\phi (x)\ne 0$ dla każdego $x\in M.$

Dla każdego ciała $K$ zawsze istnieje homomorfizm pierścieni $\varphi :\mathbb{Z}\to K;$ jeżeli $\varphi$ jest zanurzeniem, to najmniejsze podciało ciała $K$ zawierające pierścień $\varphi (\mathbb{Z})$ jest izomorficzne z $\mathbb{Q},$ a o $K$ mówi się, że jest charakterystyki zero; w przeciwnym wypadku istnieje najmniejsza liczba naturalna $p$ taka, że $\varphi (p)=0$ i jest ona liczbą pierwszą; wówczas pierścień $\varphi (\mathbb{Z})$ jest izomorficzny z ciałem reszt ${\mathbb{Z}}_p$ i mówi się, że $K$ ma charakterystykę równą $p.$

Jeżeli $L$ jest podciałem ciała $K,$ to ciało $K$ nazywa się wtedy rozszerzeniem ciała $L$ i tę relację między ciałami oznacza się $K/L.$ Charakterystyka $K$ jest równa charakterystyce $L$ i $K$ jest przestrzenią liniową nad $L.$ Stopniem $[K:L]$ rozszerzenia $K/L$ nazywa się wymiar tej przestrzeni liniowej. Rozszerzenie $K/L$ nazywa się rozszerzeniem skończonym, gdy jego stopień jest skończony, i rozszerzeniem nieskończonym, gdy jego stopień jest nieskończony.

Część wspólna dowolnej rodziny podciał ciała $K$ jest jego podciałem; w szczególności dla każdego podzbioru $A\subset K$ istnieje najmniejsze podciało ciała $K.$ Jeśli $L$ jest podciałem ciała $K,$ a $A$ – podzbiorem, to najmniejsze podciało ciała $K$ zawierające $L$ i $A$ oznacza się $L(A).$

Część wspólna wszystkich podciał ciała $K$ nazywana jest podciałem prostym ciała $K.$ Podciało proste jest ciałem prostym.

Konstrukcje

• Ciało ułamków pierścienia całkowitego.
• $I\subset R$ jest ideałem maksymalnym pierścienia $R,$ wtedy i tylko wtedy, gdy pierścień ilorazowy $R/I$ jest ciałem.
• Rozszerzenie $K(a)$ ciała $K$ o pierwiastek wielomianu nierozkładalnego $f(X)\in K[X]$ to pierścień ilorazowy $K[X]/(f(X)).$
• Rozszerzenie $K(t)$ ciała $K$ o element przestępny $t$ (ciało funkcji wymiernych zmiennej $t$ nad ciałem $K$) to ciało ułamków pierścienia wielomianów $K[t].$
• Jeśli ciało $K$ jest podciałem ciała $L,$ natomiast $A$ jest podzbiorem $L,$ to istnieje najmniejsze podciało $K(A)$ ciała $L$ zawierające $K$ i $A;$ jest ono częścią wspólną wszystkich podciał ciała $L$ zawierających $K$ i $L.$ Każdy jego element jest ilorazem sum iloczynów element ciała $K$ razy iloczyn elementów zbioru $A.$
• Ultraprodukt ciał jest ciałem.

Bibliografia

• Szablon:Cytuj książkę
• Szablon:Cytuj książkę
• Szablon:Cytuj książkę
• Szablon:Cytuj książkę

Literatura dodatkowa

• Jerzy Browkin, Teoria ciał, Państwowe Wydawnictwo Naukowe, Warszawa 1977.

Linki zewnętrzne

• Szablon:Otwarty dostęp Paweł Lubowiecki, Struktury algebraiczne cz. IV Ciało, Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego, kanał „Uczelnia WAT” na YouTube, 30 stycznia 2024 [dostęp 2024-09-07].
• Szablon:Otwarty dostęp Field Szablon:Lang, Encyclopedia of Mathematics, encyclopediaofmath.org, [dostęp 2023-06-18].