Podstawowe struktury algebraiczne

Transkrypt

Podstawowe struktury algebraiczne
Podstawowe struktury algebraiczne
Definicja 1. Działaniem dwuargumentowym (binarnym) określonym na niepustym zbiorze X nazywamy funkcję f , która każdej parze uporządkowanej (a, b) elementów zbioru X przyporządkowuje
jednoznacznie określony element f (a, b) zbioru X, co możemy zanotować
f : X × X −→ X.
Na wstępie zauważmy, że definicja ta wymaga aby wynik działania na elementach zbioru X należał do
X. Nazywamy to postulatem zamkniętości zbioru względem działania. W tym sensie np. odejmowanie
w zbiorze liczb naturalnych, czy też dzielenie w zbiorze liczb całkowitych nie są działaniami, gdyż
ich wynik może wychodzić odpowiednio poza zbiór N czy Z. Ponadto, zauważmy, że istotnym jest
założenie aby działanie było określone na zbiorze par uporzadkowanych.
Wynik działania f na elementach a, b ∈ X czasami zamiast f (a, b) zapisujemy af b. Naczęściej jednak
działanie binarne w X oznacza się jakimś specjalnym symbolem np.: ◦, ∗, 2, ×, ⊕, ⊗, ⊙, itp. Piszemy
więc a ◦ b lub a2b lub a × b, itp. Używa się również dla oznaczenia działania zwykłych symboli mnożenia lub dodawania: a · b, ab, a + b. Wtedy zwyczajowo będziemy element a · b nazwyać iloczynem, a
element a + b sumą elementów a, b. W tym samym zbiorze X może być określonych kilka działań.
Działaniami są: dodawanie w N, Z, Q, R, C, jak również mnożenie w każym z tych zbiorów. Z kolei odejmowanie jest operacją algebraiczną w Z, Q, R, C. Natomiast dzielenie liczb nie jest operacją
algebraiczną w żadnym z tych zbiorów, jeżeli jednak ze zbiorów Q, R, C usunąć zero, to, w tak skorygowanych zbiorach dzielenie będzie działaniem. W zbiorze wszystkich funkcji rzeczywistych zmiennj
rzeczywistej określonych np. na przedziale [0, 1] dodawanie, odejmowanie i mnożenie funkcji jest działaniem. Tak samo działaniem w zbiorze wszystkich macierzy rzeczywistych ustalonego stopnia n jest
dodawanie, odejmowanie i mnożenie.
Przykład 1. Rozpatrzymy przykład działania w zbiorze skończonym np. w zbiorze X = {0, 1, 2} .
Działanie ⊕ w tym zbiorze określimy w następujący sposób. Każdej parze liczb tego zbioru przyporządkowujemy resztę z dzielenia ich zwykłej sumy przez liczbę 3 (tzw. dodawanie modulo 3).
Mamy wówczas
0 ⊕ 0 = 0, 0 ⊕ 1 = 1 ⊕ 0 = 1, 0 ⊕ 2 = 2 ⊕ 0 = 2,
1 ⊕ 1 = 1, 1 ⊕ 2 = 2 ⊕ 1 = 0, 2 ⊕ 2 = 1.
Działanie to jak zresztą każde działanie w zbiorze skończonym można przedstawić w postaci tzw.
tabliczki działania, zwanej także tabliczką Cayley’a.
0 1 2
0 0 1 2
1 1 2 0
2 2 0 1
1
Definicja 2. Działanie ∗ określone w zbiorze X nazywa się przemiennym (lub komutatywnym), jeśli
dla dowolnych a, b ∈ X mamy
a ∗ b = b ∗ a.
Przykładami działań przemiennych są dodawanie i mnożenie liczb (naturalnych, całkowitych, wymiernych, rzeczywistych i zespolonych), dodawanie wielomianów, macierzy, wektorów, mnożenie wielomianów, mnożenie skalarne wektorów. Mnożenie wektorowe wektorów i mnożenie macierzy nie jest
przemienne. Nie jest także przemienne odejmowanie w Z, Q, R, C.
Definicja 3. Działanie ∗ określone w zbiorze X nazywa się łącznym (lub asocjatywnym), jeśli dla
dowolnych a, b, c ∈ X mamy
(a ∗ b) ∗ c = a ∗ (b ∗ c) .
Przykładami działań łącznych są dodawanie i mnożenie w zbiorze N, Z, Q, R, C, dodawanie i mnożenie
wielomianów, dodawanie i mnożenie macierzy, dodawanie (lecz nie mnożenie) wektorów. Natomiast
nie jest łączne odejmowanie liczb w zbiorzach Z, Q, R, C.
Definicja 4. Niech ∗ będzie działaniem wewnętrzynym w zbiorze X. Element e ∈ X nazywamy
elementem neutralnym działania ∗, jeżeli dla każdego a ∈ X mamy
e ∗ a = a ∗ e = a.
Twierdzenie 1. W zbiorze z określonym działaniem wewnętrzym istnieje co najwyżej jeden element
neutralny.
Rzeczwiście. Załóżmy niewprost, że działanie ∗ posiada dwa różne elementy neutralne e1 6= e2 . Zatem
z definicji elementu neutralnego wynika, że
e1 = e1 ∗ e2 = e2 ,
co daje sprzeczność z przyjętym założeniem.
Przykładem elementu neutralnego względem operacji dodawania w zbiorach liczbowych jest 0, a elementem neutralnym względem mnożenia w tych zbiorach jest 1.
Definicja 5. Niech ∗ będzie działaniem wewnętrzynym w zbiorze X. Element a−1 ∈ X nazywamy
elementem odwrotnym (symetrycznym, przeciwnym) do elementu a ∈ X, jeżeli
a ∗ a−1 = a−1 ∗ a = e.
Twierdzenie 2. W zbiorze z określonym działaniem wewnętrzym łącznym i elementem neutralnym,
element przeciwny do danego elementu jest wyznaczony jednoznacznie.
Rzeczwiście. Załóżmy niewprost, że działanie ∗ posiada element neutralny e oraz dwa różne elementy
odwrotne a−1
6= a−2
do danego elementu a Zatem z definicji elementu neutralnego i odwrotnego
1
2
wynika, że
−1
−1
−1
−1
−1
−1
a−1
=
a
∗
e
=
a
∗
a
∗
a
=
a
∗
a
∗ a−1
1
1
1
2
1
2 = e ∗ a2 = a2
co daje sprzeczność z przyjetym założeniem.
Definicja 6. Strukturą algebraiczną nazywamy niepusty zbiór wraz z pewnymi działaniami w tym
zbiorze.
Strukturę algebraiczną zapisujemy wymieniając zbiór oraz działania, np. (N, +), (Q, +, ·) . Działań w
strukturze algebraicznej może być skończenie lub nieskończenie wiele.
2
Definicja 7. Niech G będzie niepustym zbiorem z działaniem wewnętrzynym ∗. Parę (G, ∗ ) nazywamy
grupą, jeżeli spełnione są następujące warunki:
1. działanie ∗ jest łączne,
2. istnieje element neutralny działania ∗,
3. dla każdego elementu zbioru G istnieje element do niego odwrotny.
Jeżeli dodatkowo dla każdej pary a, b ∈ G spełniony jest warunek
a ∗ b = b ∗ a,
czyli warunek przemienności działania, to grupę (G, ∗ ) nazywamy grupą przemienną lub abelową.
Nazwa grupa abelowa pochodzi od nazwiska norweskiego matematyka Nielsna Henrika Abela (18021829).
Grupę o skończonej liczbie elementów nazywamy grupą skończoną. Jeżeli G jest grupą skończoną mającą n elementów, to mówimy, że rząd grupy G jest równy n, co zapisujemy |G| = n. Jeżeli grupa jest
nieskończona, to piszemy |G| = ∞.
Wobec poprzednio wykazanych twierdzeń w grupie istnieje jeden element neutralny. Ponadto każdy
element grupy ma jednoznacznie określony element odwrotny do niego.
Jeżeli działanie w grupie ma podobne własności do dodawania liczb, to działanie takie nazywamy
addytywnym i na jego oznaczenie używamy symbolu +. Ponadto element neutralny e działania addytywnego nazywamy zerem i oznaczamy e = 0. Natomiast element przeciwny do elementu a oznaczamy
symbolem −a i piszemy a − b zamiast a + (−b) .
Jeżeli działanie w grupie ma podobne własności do mnożenia liczb, to działanie takie nazywamy
multiplikatywnym i na jego oznaczenie używamy symbolu ·. Ponadto element neutralny e działania
multiplikatywnego nazywamy jednością i oznaczamy e = 1. Natomiast element przeciwny do elementu
a
1
a oznaczamy symbolem i piszemy zamiast a · b−1 .
a
b
Definicja 8. Niech para (G, ∗ ) będzie grupą i niech H będzie jego niepustym podzbiorem G. Parę
(H, ∗ ) nazywamy podgrupą grupy (G, ∗ ), jeżeli (H, ∗ ) jest grupą.
Nietrudno zauważyć, że element neutralny grupy jest jednocześnie elementem neutralnym dowolnej
jej podgrupy. Co z kolei oznacza, że podgrupy grupy nie są rozłączne. Oczywiste jest także że pary
({e} , ∗ ) i (G, ∗ ) są podgrupami grupy (G, ∗ ) . Podgrupę różną od ({e} , ∗ ) i od (G, ∗ ) będziemy
nazywać podgrupą właściwą grupy (G, ∗ ) . Zapis H ¬ G oznaczać będzie, że (H, ∗ ) jest podgrupą
grupy (G, ∗ ) .
Pojęcie podgrupy okazało się bardzo użyteczne np. w teorii automatów.
Przykład 2. (addytwne grupy liczbowe). (Z, + ), (Q, + ), (R, + ), (C, + ) są grupami abelowymi (+
oznacza tutaj zwykłe dodawanie).
Rzeczywiście, dodawanie jest działaniem łącznym i przemiennym, a elementem neutralnym w każdym
z wymienionych zbiorów względem + jest 0. −a jest elementem odwrotnym do a względem dodawania.
Oczywiste są zależności Z ¬ Q ¬ R ¬ C.
Przykład 3. (multiplikatywne grupy liczbowe). (Q \ {0} , · ), (Q+ , · ), (R \ {0} , · ), (R+ , · ), (C \ {0} , · )
są grupami abelowymi (· oznacza tutaj zwykłe mnożenie).
3
Rzeczywiście, mnożenie jest działaniem łącznym i przemiennym. Elementem neutralnym w każdym
1
zbiorze względem · jest liczba 1. jest elementem odwrotnym do a 6= 0 względem mnożenia. Natomiast
a
żaden ze zbiorów Q, R, C z mnożeniem jako działaniem wewnętrzym nie stanowi grupy, gdyż nie istnieje
element odwrotny do 0 względem mnożenia.
Przykład 4. (grupy macierzy). Zbiór nieosobliwych macierzy kwadratowych stopnia n o wyrazach
rzeczywistych będziemy oznaczać symbolem GLn (R). Para (GLn (R), · ) tworzy grupę.
Rzeczywiście, mnożenie macierzy jest działaniem łącznym, a elementem neutralnym tej grupy jest
macierz jednostkowa. Elementem odwrotnym do danej macierzy A jest macierz do niej odwrotna A−1 .
Zamkniętość zbioru GLn (R) względem mnożenia macierzy wynika z twierdzenia Cauchye’go o wyznaczniku iloczynu macierzy.
Zbiór macierzy kwadratowych stopnia n o wyrazach rzeczywistych i wyznaczniku równym 1 oznaczamy symbolem SLn (R). Struktura (SLn (R), ·) tworzy grupę. Grupę tę nazywamy specjalną grupą
liniową. Przede wszystkim zauważmy, że wobec twierdzenia Cauchye’go o wyznaczniku iloczynu macierzy, działanie mnożenia macierzy w takim zbiorze jest działaniem wewnętrznym. Ponadto, co już
zauważono powyżej mnożenie macierzy jest działaniem łącznym. Elementem neutralnym tej grupy
jest macierz jednostkowa. Elementem odwrotnym do danej macierzy A jest macierz do niej odwrotna
A−1 .
Oczywiście grupa (SLn (R), · ) jest podgrupą grupy (GLn (R), · ) .
Przykład 5. (addytywna grupa reszt modulo n). Niech Zn = {0, 1, . . . , n − 1} i niech +n będzie
działniem, które każdej parze liczb zbioru Zn przyporządkowuje resztę z dzielenia ich zwykłej sumy
przez liczbęn (tzw. dodawanie modulo n). Struktura algebraiczna (Zn , +n ) jest grupą abelową zwaną
addytywną grupą reszt modulo n.
Aby uzasadnić prawdziwość tego stwierdzenia przede wszystkim zauważmy, że tak określone działanie
jest działaniem wewnętrzym. Wynika to z faktu, że reszta w dodawaniu +n jest nie większa niż n − 1,
a więc należy do Zn . Pokażemy teraz, że działanie to jest łączne. W tym celu zauważmy, że działanie
dodawania modulo n można zapisać wzorem
a +n b = a + b −
a+b
n, gdzie a, b ∈ Zn .
n
Mamy pokazać, że a +n (b +n c) = (a +n b) +n c. Rzeczywiście, z jednej strony mamy
a +n (b +n c) = a +n
b+c
b+c−
n
n


b+c


a + b + c −
n


b+c
n
n
n−
= a+b+c−


n
n
b+c
b+c
a+b+c
= a+b+c−
−
n−
n
n
n
n
b+c
a+b+c
b+c
= a+b+c−
n−
n−
n
n
n
n
a+b+c
n
= a+b+c−
n
4
Natomiast z drugiej strony
(a +n b) +n c =
a+b−
a+b
n +n c
n


a+b


a + b + c −
n


a+b
n
n
= a+b+c−
n−


n
n
a+b
a+b+c
a+b
−
n−
n
= a+b+c−
n
n
n
a+b
a+b+c
a+b
= a+b+c−
n−
n−
n
n
n
n
a+b+c
= a+b+c−
n,
n
czyli a +n (b +n c) = (a +n b) +n c. Przemienność działania dodawania modulo n jest oczywista. Elementem neutralnym tej grupy względem dodawania modulo n jest 0. Ponadto elementem odwrotnym
do 0 jest 0. Natomiast elementem odwrotnym do k ∈ Zn \ {0} względem +n jest n − k.
Przykład 6. (grupa pierwiastków z jedności). Zbiór Cn = {z ∈ C : z n = 1}, czyli zbiór pierwiastków
n-tego stopnia z 1 jest grupą abelową względem mnożenia liczb zepolonych. Grupę tę nazywa się grupą
zepolonych pierwiastków z jedności stopnia n. Zbiór pierwiastków n-tego stopnia z 1 jest zbiorem nelementowym postaci
Cn = {ε0 , ε1 , . . . , εn−1 } , gdzie εk = cos
2kπ
2kπ
+ i sin
, k = 0, 1, . . . , n − 1.
n
n
Aby uzasadnić prawdziwość stwierdzenia, że zbiór ten jest grupą abelową względem mnożenia na
wstępie należy pokazać, że działanie to jest działaniem wewnętrzym. Należy więc uzasadnić, że εk · εl ,
gdzie 0 ¬ k, l ¬ n − 1 jest pierwiastkiem n-tego stopnia z 1. Rzeczywiście, mamy
(εk · εl )n = (εk )n · (εl )n = 1 · 1 = 1,
co oznacza, że εk ·εl jest pierwiastkiem n-tego stopnia z 1. Z kolei łączność i przemienność tego działania
jest oczywista, bo są to liczby zespolone. Elementem neutralnym (jednością grupy) jest pierwiastek
ε0 = cos 0 + i sin 0 = 1. Elementem odwrotnym do ε0 jest ε0 . Elementem odwrotnym do εk , gdzie
1 ¬ k ¬ n − 1 jest εn−k . Wynika, to prostej do sprawdzenia równości
εk · εn−k = cos
2kπ
2kπ
+ i sin
n
n
· cos
2(n − k)π
2(n − k)π
+ i sin
n
n
= cos
2nπ
2nπ
+ i sin
= 1.
n
n
Przykład 7. (grupa kwaternionów). Niech I, E, J, K oznaczają macierze kwadratowe stopnia drugiego określone wzorami
I=
"
1 0
0 1
#
, E=
"
i 0
0 −i
#
, J=
"
0 1
−1 0
#
, K=
"
0 i
i 0
#
.
Zbiór Q8 = {I, −I, E, −E, J, −J, K, −K} z działaniem mnożenia macierzy stanowi grupę. Grupę
tę nazywamy grupą kwaternionów.
Aby wykazać, że Q8 z mnożeniem jest grupą, przede wszystkim zauważmy, że tabliczka Cayley’a ma
5
postać
·
I
−I
E
−E
J
−J
K
−K
I
I
−I
E
−E
J
−J
K
−K
−I
−I
I
−E
E
−J
J
−K
K
E
E
−E
−I
I
−K
K
J
−J
−E
−E
E
I
−I
K
−K
−J
J
J
J
−J
K
−K
−I
I
−E
E
−J
−J
J
−K
K
I
−I
E
−E
K
K
−K
−J
J
E
−E
−I
I
−K
−K
K
J
−J
−E
E
I
−I
co oznacza, że Q8 jest zamknięta ze względu na mnożenie. Łączność mnożenia macierzy jest oczywista.
Elementem neutralnym względem mnożenia jest macierz jednostkowa I. Elementem odwrotnym do
macierzy I, −I jest ta sama macierz. Elementem odwrotnym do macierzy A ∈ {E, −E, J, −J, K, −K}
jest −A ∈ {E, −E, J, −J, K, −K} .
Kwaterniony są m.in. używane w grafice komputerowej do wykonywania obrotów w przestrzeni trójwymiarowej.
Definicja 9. Niech P będzie niepustym zbiorem z działaniami wewnętrzynymi ⊕, ⊗. Trójkę (P, ⊕, ⊙)
nazywamy pierścieniem, jeżeli spełnione są następujące warunki:
1. para (P, ⊕ ) jest grupą abelową,
2. działanie ⊙ jest łączne,
3. działanie ⊙ jest rozdzielne względem ⊕, tj.
a ⊙ (b ⊕ c) = (a ⊙ b) ⊕ (a ⊙ c) ,
(b ⊕ c) ⊙ a = (b ⊙ a) ⊕ (c ⊙ a) .
Działania ⊕ i ⊙ nazywamy odpowiednio dodawaniem i mnożeniem w pierścienia. Przy czym, jeżeli nie
prowadzi to do nieporozumień, to będziemy pisali + w miejsce ⊕ oraz · w miejsce ⊙. Ponadto, jeżeli
(P, + , · ) jest pierścieniem, to grupę (P, +) nazywamy grupą addytywną. Element neutralny tej grupy
nazwyamy zerem pierścienia i zwyczajowo oznaczamy przez 0P lub krótko 0. Element odwrotny do
a względem działania + nazywamy przeciwnym do a i oznaczamy przez −a. Zamiast pisać a + (−b)
będziemy pisali a − b. Iloczyn a · b zapisujemy zwykle krótko ab.
Pierścień, w którym działanie ⊙ jest przemienne nazywamy pierścieniem przemiennym. Pierścień,
w którym istnieje element neutralny względem ⊙ nazywamy pierścieniem z jednością i element ten
oznaczamy 1P lub poprostu 1.
Przykład 8. Zbiory liczbowe Z, Q, R ze zwykłymi działaniami dodawaniem i mnożeniem są pierścieniami przemiennymi z jedynką. Zbiór liczb naturalnych z takimi działaniami nie tworzy pierścienia.
Przykład 9. Niech n będzie dowolną liczbą naturalną większą od 1. Niech nZ oznacza zbiór liczb
podzielnych przez n, tj.
nZ = {nk : k ∈ Z}
Zbiór ten ze zwykłymi działaniami dodawaniem i mnożeniem jest pierścieniem przemiennym bez jedności.
Przykład 10. Niech Zn = {0, 1, . . . , n − 1}. Przypomnijmy, że symbolem +n oznaczyliśmy działnie,
które każdej parze liczb zbioru Zn przyporządkowuje resztęz dzielenia ich zwykłej sumy przez liczbęn
(tzw. dodawanie modulo n), a symbolem ·n działnie, które każdej parze liczb zbioru Zn przyporządkowuje resztęz dzielenia ich zwykłego iloczynu przez liczbęn (tzw. mnożenie modulo n). Struktura
algebraiczna (Zn , +n , ·n ) jest prierścieniem przemiennym z jednością. Dla n = 1 jednością jest liczba
0, natomiast dla n > 1 liczba 1. Pierścień (Zn , +n , ·n ) nazywa się pierścieniem reszt modulo n.
6
Przykład 11. Zbiór GLn (R) macierzy kwadratowych stopnia n o wyrazach rzeczywistych z działaniami dodawania i mnożenia macierzy stanowi pierścień z jednością. Jednością w tym pierścienu jest
macierz jednostkowa. Przy czym pierścień ten nie jest przemienny dla macierzy stopnia n ­ 2.
Dotychczasowe pojęcie wielomianu jednej zmiennej jest nam znane z kursu analizy matematycznej. Przypomnijmy, że przez wielomian jednej zmiennej o współczynnikach rzeczywistych rozumiemy
funkcjęf : R −→ R określoną wzorem
f (x) = a0 + a1 x + . . . + an xn ,
gdzie a0 , a1 , . . . , an ∈ R oraz n ∈ N. W algebrze wygodniejsze jest zdefiniowanie wielomianu jako
pewnego nieskończonego ciągu liczbowego.
Niech (P, ⊕ , ⊙ ) będzie pierścieniem przemiennym. Wielomianem jednej zmiennej nad pierścieniem
P nazywamy dowolny ciąg nieskończony f =< a0 , a1 , a2 , . . . > elementów pierścienia P , w którym co
najwyżej skończona ilość wyrazów jest różna od 0P .
Wyrazy ciągu f =< a0 , a1 , a2 , · · · > nazywamy współczynnikami wielomianu f. Przy czy zachowujemy tu terminologię związaną dotychczas z definicją wielomianu. Mianowicie wyraz a0 nazywamy
wyrazem wolnym wielomianu f . Wielomian, którego wszystkie współczynniki są równe 0P nazwyamy
wielomianem zerowym. Jeżeli P jest pierścieniem z jednością, w którym 0P 6= 1P , to wielomian postaci < 1P , 0, 0, . . . > nazywamy wielomianem jednostkowym. Jeżeli natomiast f =< a0 , a1 , a2 , . . . >
jest wielomianem niezerowym oraz an 6= 0P i ak = 0P dla wszystkich k > n, to liczbę n nazywamy
stopniem wielomianu f , a wielomian f wielomianem stopnia n. Inaczej mówiąc stopień wielomianu,
to ostatni różny od zera jego współczynnik. Niech f =< a0 , a1 , . . . >, g =< b0 , b1 , . . . > . Piszemy
f = g wtedy i tylko wtedy ai = bi dla i = 0, 1, . . . . Zbiór wszystkich wielominów jednej zmiennej nad
pierścieniem P oznaczamy przez P[x].
W P[x] definiujemy działanie dodawania wielominaów
f + g =< a0 ⊕ b0 , a1 ⊕ b1 , . . . >
oraz ich mnożenie
f · g =< c0 , c1 , . . . >, gdzie ck = (a0 ⊙ bk ) ⊕ (a1 ⊙ bk−1 ) ⊕ . . . ⊕ (ak ⊙ b0 ) dla k ∈ N.
Bezpośrednio z definicji łatwo sprawdzić, że (P[x], + , · ) jest pierścieniem przemiennym, którego zerem
jest wielomian zerowy. Własności działań w (P[x], + , · ) wynikają z odpowiednich własności działań
w (P, ⊕ , ⊙ ) . Nietrudno również sprawdzić, że jeżeli (P, ⊕ , ⊙ ) jest pierścieniem przemiennym z
jednością, to również (P[x], + , · ) jest pierścieniem przemiennym z jednością.
Przykład 12. Rozpatrzmy zbiór wielomianów zbudowanych na pierścieniu (Z6 , +6 , ·6 ), czyli pierścień wielomianów (Z6 [x], + , · ) . Wtedy suma i iloczyn wielomianów f =< 2, 3, 2, 0, . . . >, g =<
1, 5, 2, 4, 1, 0, . . . > z pierścienia (Z6 , + , · ) są równe
f + g =< 3, 2, 4, 4, 1, 0, . . . >,
f · g =< 2, 1, 3, 0, 0, 5, 2, 0, . . . > .
Definicja 10. Niech C będzie niepustym zbiorem z działaniami wewnętrzynymi ⊕, ⊙ Trójkę (C, ⊕ , ⊙ )
nazywamy ciałem, jeżeli spełnione są następujące warunki:
1. (C, ⊕ ) jest grupą abelową,
2. (C \ {0} , ⊙ ) jest grupą (0 element neutralny ⊕),
3. działanie ⊙ jest rozdzielne względem ⊕.
Jeżeli dodatkowo działanie ⊙ jest przemienne, to ciało takie nazywamy ciałem przemiennym.
7
Inaczej mówiąc ciało jest pierścieniem, w którym:
1. istnieje element neutralny działania ⊙
2. dla każdego elementu zbioru C \ {0} istnieje do niego element odwrotny względem działania ⊙.
Bezpośrednio z definicji wynika, że elementy neutralne względem działań ⊕ i ⊙ są w ciele różne.
Przykład 13. Zbiory liczbowe Q, R ze zwykłymi działaniami dodawania i mnożenia są ciałami.
Natomiast zbiór liczb całkowitych z tymi samymi działaniami nie jest już ciałem.
Przykład 14. Pierścienie (Z2 , +2 , ·2 ), (Z3 , +3 , ·3 ) są przykładami ciał, co łatwo sprawdzić. Natomiast ciałem nie jest pierścień (Z4 , +4 , ·4 ), co wynika z faktu, że struktura (Z4 \ {0} , ·4 ) nie jest
grupą, gdyż 2 ·4 2 = 0 ∈
/ Z4 \ {0} . Można jednak pokazać, że jeżeli n jest liczbą pierwszą, to struktura
algebraiczna (Zn , +n , ·n ) jest ciałem.
Przykład 15. Niech C = {0, 1, a, b}. Działania ⊕, ⊙ zdefinujemy przy pomocy tabliczek Cayley’a:
⊕
0
1
a
b
0
0
1
a
b
1
1
0
b
a
a
a
b
0
1
b
b
a
1
0
⊙
0
1
a
b
0
0
0
0
0
1
0
1
a
b
a
0
a
b
1
b
0
b
1
a
Bezpośrednio z definicji można sprawdzić, że struktura algebraiczna (C, ⊕, ⊙) jest ciałem.
Rozważmy równanie x2 + 1 = 0. Oczywiście równanie to nie ma rozwiązań w ciele liczb rzeczywistych. Zatem nasuwa się naturalne pytanie. Czy można rozszerzyć zbiór liczb rzeczywistych tak, aby
otrzymać nowe ciało, w którym to równanie ma rozwiązanie? Przy czym nowa struktura algebraiczna
powinna zawierać ciało liczb rzeczywistych oraz działania w niej zdefiniowane powinny redukować się
do zwykłych działań dodawania i mnożenia przy ograniczeniu do zbioru R.
Oznaczmy przez i jedno z rozwiązań równania x2 + 1 = 0. Oczywiście i ∈
/ R oraz i2 = −1. Oznaczmy
teraz przez C zbiór elementów postaci a + ib, gdzie a, b ∈ R. Zatem
n
o
C = a + ib : a, b ∈ R ∧ i2 = −1 .
Zbiór C będziemy nazywać zbiorem liczb zespolonych. Przy czym będziemy pisali a + ib = c + id wtedy
i tylko wtedy, gdy a = c i b = d. Liczby postaci a + 0i utożsamiamy z liczbami rzeczywistymi. Mamy
zatem R ⊂ C.
W zbiorze C wprowadzamy dwa działania wewnętrze. Dodawanie + oraz mnożenie ·. Działania te
definiujemy wzorami
(a + ib) + (c + id) = (a + c) + i(b + d),
(a + ib) · (c + id) = (ac − bd) + i(ac + bd).
Łatwo zauważyć, że elementem neutralnym względem + jest 0 + i0, a względem mnożenia 1 + i0.
Elementem odwrotnym
dodawania
jest −a − ib. Z kolei elementem odwrotnym do
do a +ib wzgledem
2
2
2
2
a + ib 6= 0 + i0 jest a/ a + b + ib/ a + b . Ponadto, bezpośrednim rachunkiem, łatwo sprawdzić,
że tak zdefiniowane działania są działaniami wewnętrznymi, przemiennymi, łącznymi oraz mnożenie
jest rozdzielne względem dodawania. Struktura algebraiczna (C, +, ·) jest zatem ciałem. Przy czym
jest to najmniejsze ciało (w sensie inkluzji) zawierające ciało liczb rzeczywistych (R, +, ·) oraz liczbę
urojoną i2 = 1. Inaczej mówiąc najmniejsze ciało, w którym równanie x2 + 1 = 0. ma rozwiązanie.
8