h  

i

Problem
a Ar
atati c
a Q
a, b : Q = 4 a, b, ab
/ Q.
h  
i

Solutie. S
a presupunem Q
a, b : Q = 4. Daca a Q atunci 4 =
h  
i
h  
i

Q
a, b : Q = Q
b : Q 2, absrud. Deci a
/ Q si analog
i
h  
i h  

:
Q
=
b
/ Q. Dac
a ab Q atunci 4 = Q
a, b : Q = Q
a, ab
a

[Q ( a) : Q] 2 ceea ceeste din nou o contradict

ie. Prima implicatie este gata.

Reciproc,
deoarece
[Q
(
a)
:
Q]
=
2
(c
a
ci
a

/
Q)
, este suficient sa aratam ca
h  
i

b : Q ( a) = 2. Pentru aceasta f (X) = X 2 b Q ( a) [X] are

Q ( a)

ca r
ad
acin
a pe b, este monic, si afirmam ca este ireductibil. Deoarece, dac
a
ar fi reductibil, ar avea o r
ad
acina. Daca radacina cu pricina este q1 + q2 a,
2

atunci b = (q1 + q2 a) = q12 + 2q1 q2 a + q22 a. De aici q1 q2 = 0 si b = q12 + q22 a.

q
q

Dac
a q1 = 0 atunci ab = q2 Q, deci ab ab = b
/ Q , fals.
Dac
a q2 = 0 atunci

b = q1 Q, fals.

R
am
ane c
a f este ireductibil n Q ( a) [X], deci gradul extinderii este gradul
lui f , c.c.t.d.