Algebra abstrakcyjna

Transkrypt

Algebra abstrakcyjna
Algebra abstrakcyjna
Dominik Bojko
Politechnika Wrocªawska
8 listopada 2015
1
Teoria
Denicja 1.1.
G)x · y ∈ G),
Grup¡ nazywamy struktur¦ algebraiczn¡
(G, ·),
zamkni¦t¡ na dziaªanie
·
(tzn.(∀x, y
która speªnia aksjomaty:
(1)
(2)
(3)
(∀x, y, z ∈ G) (x · y) · z = x · (y · z),
(∃e ∈ G)(∀x ∈ G) e · x = x · e = x,
(∀x ∈ G)(∃y ∈ G) x · y = y · x = e.
Element
e
∈
nazywamy elementem neutralnym dziaªania
wamy elementem odwrotnym do
x
w grupie
·
w grupie
(G, ·).
Element
y
z podpunktu
(3)
nazy-
(G, ·).
Je±li dodatkowo speªnione jest:
(4)
(∀x, y ∈ G) x · y = y · x,
to grup¦ nazywamy abelow¡ lub przemienn¡.
Denicja 1.2.
Pier±cieniem nazywamy struktur¦ algebraiczn¡
(R, +, ·),
zamkni¦t¡ na obydwa dziaªania,
speªniaj¡c¡ aksjomaty:
(5)
(6)
(7)
(8)
(R, +) jest grup¡ abelow¡,
(∀x, y, z ∈ R) (x · y) · z = x · (y · z),
(∀x, y, z ∈ R) x · (y + z) = (x · y) + (x · z),
(∀x, y, z ∈ R) (y + z) · x = (y · x) + (z · x).
Denicja 1.3.
Ciaªem nazywamy struktur¦ algebraiczn¡
(F, +, ·),
zamkni¦t¡ na obydwa dziaªania, speª-
niaj¡c¡ aksjomaty:
(R, +)
jest grup¡ abelow¡ z elementem neutralnym
(R\{0}, ·) jest grup¡ abelow¡,
(∀x, y, z ∈ R) x · (y + z) = (x · y) + (x · z).
0,
(9)
(10)
(11)
Przez x(n) oznaczamy reszt¦ z dzielenia liczby x przez n.
Fakt 1. (Cn , +n ) jest grup¡ abelow¡.
We¹my dowolne x, y, z z powy»szej struktury. Wtedy (x+n y)+n z = (x+y)(n) +n z = (x+y+z)(n) =
x +n (y + z)(n) = x +n (y +n z). Elementem neutralnym jest 0, bo x +n 0 = x. Elementem odwrotnym do x
jest n − x. Istotnie: x +n (n − x) = n(n) = 0. Grupa jest przemienna, bo x +n y = (x + y)(n) = (y + x)(n) =
y +n x.
Dowód.
1
2
Zadanie 29.
Poka»emy, »e (Z3 × Z3 , +, ·) jest ciaªem, gdzie
(a, b) + (c, d) = ((a + b)(3) , (c + d)(3) ),
(a, b) · (c, d) = ((ac − bd)(3) , (ad + bc)(3) ).
(12)
(13)
(Z3 × Z3 , +) jest grup¡ abelow¡ ze wzgl¦du na okre±lenie dziaªania + (wzór (12)) (fakt ten to wniosek z
zadania 35.1.).
We¹my dowolne (a, b), (c, d), (x, y) z naszej struktury. Wtedy mo»emy pokaza¢ ª¡czno±¢ mno»enia:
((a, b) · (c, d)) · (x, y) = ((ac − bd)(3) , (ad + bc)(3) ) · (x, y)
= (((ac − bd)(3) · x − (ad + bc)(3) · y)(3) , ((ac − bd)(3) · y + (ad + bc)(3) · x)(3) )
= ((((ac − bd)(3) · x)(3) − ((ad + bc)(3) · y)(3) )(3) , (((ac − bd)(3) · y)(3) + ((ad + bc)(3) · x)(3) )(3) )
= ((((acx)(3) − (bdx)(3) )(3) − ((ady)(3) + (bcy)(3) )(3) )(3) , (((acy)(3) − (bdy)(3) )(3) + ((adx)(3) + (bcx)(3) )(3) )(3) )
= (((acx − bdx)(3) − (ady + bcy)(3) )(3) , ((acy − bdy)(3) + (adx + bcx)(3) )(3) )
= ((acx − bdx − ady − bcy)(3) , (acy − bdy + adx + bcx)(3) )
= ((a · (cx − dy) − b · (cy + dx))(3) , (a · (cy + dx) + b · (cx − dy))(3) )
= (((a · (cx − dy)(3) )(3) − (b · (cy + dx)(3) )(3) )(3) , ((a · (cy + dx)(3) )(3) + (b · (cx − dy)(3) )(3) )(3) )
= ((a · (cx − dy)(3) − b · (cy + dx)(3) )(3) , (a · (cy + dx)(3) + b · (cx − dy)(3) )(3) )
= (a, b) · ((cx − dy)(3) , (cy + dx)(3) ) = (a, b) · ((c, d) · (x, y)).
Elementem neutralnym mno»enia jest (1, 0). Istotnie:
(a, b) · (1, 0) = ((a · 1 − b · 0)(3) , (a · 0 + b · 1)(3) ) = (a, b).
Elementem odwrotnym do (a, b) jest ((a · (a2 + b2 )−1 )(3) , ((3 − b) · (a2 + b2 )−1 )(3) ), gdzie (a2 + b2 )−1 to
element odwrotny do a2 + b2 wzgl¦dem mno»enia w Z3 . Poka»emy to nast¦puj¡cym rachunkiem:
(a, b) · ((a · (a2 + b2 )−1 )(3) , ((3 − b) · (a2 + b2 )−1 )(3) )
= ((a2 · (a2 + b2 )−1 − b · (3 − b) · (a2 + b2 )−1 )(3) , (a · (3 − b) · (a2 + b2 )−1 + b · a · (a2 + b2 )−1 )(3) )
= (((a2 − b(3 − b)) · (a2 + b2 )−1 )(3) , ((a(3 − b) + ba) · (a2 + b2 )−1 )(3) )
= (((a2 + b2 + 3b) · (a2 + b2 )−1 )(3) , ((3a − ab + ba) · (a2 + b2 )−1 )(3) )
= (((a2 + b2 ) · (a2 + b2 )−1 + 3b · (a2 + b2 )−1 )(3) , (3a · (a2 + b2 )−1 )(3) )
= (((a2 + b2 ) · (a2 + b2 )−1 )(3) + (3b · (a2 + b2 )−1 )(3) )(3) , 0) = ((1 + 0)(3) , 0) = (1, 0).
Zauwa»my, »e podczas wskazywania elementu odwrotnego wykorzystali±my to, »e istnieje w Z3 element
odwrotny do dowolnego elementu postaci a2 + b2 . W tym ciele a2 + b2 6= 0 dla a, b 6= 0. Teraz poka»emy
przemienno±¢:
(a, b) · (c, d) = ((ac − bd)(3) , (ad + bc)(3) ) = ((ca − db)(3) , (da + cb)(3) ) = (c, d) · (a, b).
Pozostaje pokaza¢ rozdzielno±¢:
(a, b) · ((c, d) + (x, y)) = (a, b) · ((c + x)(3) , (d + y)(3) )
= ((a(c + x)(3) − b(d + y)(3) )(3) , (a(d + y)(3) + b(c + x)(3) )(3) )
= (((ac)(3) + (ax)(3) − (bd)(3) − (by)(3) )(3) , ((ad)(3) + (ay)(3) + (bc)(3) + (bx)(3) )(3) )
= (((ac − bd)(3) + (ax − by)(3) )(3) , ((ad + bc)(3) + (ay + bx)(3) )(3) )
= ((ac − bd)(3) , (ad + bc)(3) ) + ((ax − by)(3) , (ay + bx)(3) ) = ((a, b) · (c, d)) + ((a, b) · (x, y)).
2
3
Zadania 34. i 30.1.
√
Chcemy pokaza¢, »e Q( 2) = ({a +
izomorczna z (Q × Q, ⊕, ), gdzie
√
2b : a, b ∈ Q}, +, ·) jest ciaªem. Zauwa»my, »e jest to struktura
(∀(a, b), (c, d) ∈ Q) (a, b) ⊕ (c, d) = (a + c, b + d),
(∀(a, b), (c, d) ∈ Q) (a, b) (c, d) = (ac + 2bd, ad + bc).
√
Izomorzm zadajemy wzorem φ(a + b 2) = (a, b). Zauwa»my, »e dziaªania s¡ okre±lone tak samo (z dokªadno±ci¡ do staªej) jak dziaªania z zadania 29. Caªy dowód si¦ przepisuje, wi¦c sprawdzenie pozostawiam
jako ¢wiczenie.
Jedyny niuans pojawia si¦ przy szukaniu elementu odwrotnego do (a, b) wzgl¦dem mno»enia . Jest nim
−b
a
2
2
( a2 −2b
2 , a2 −2b2 ), wi¦c wykorzystujemy fakt, »e Q jest ciaªem i zawiera element odwrotny do a − 2b dla dowolnych a, b ∈ Q. Odpowied¹ na pytanie, dlaczego element jest takiej postaci, pozostawiam czytelnikowi.
Prosz¦ sprawdzi¢, »e ten dowód mo»na równie» przepisa¢ w zadaniu 30.1. Przy czym tam nie ma elementu
odwrotnego ze wzgl¦du na to, »e Z nie jest ciaªem!
3

Podobne dokumenty