Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
1)
Let =
Pn
i=1
= x21 dx2 . . . dxn + x22 dx1 dx3 . . . dxn + + x2n dx1 . . . dxn1 .
Now recall d =
f
dxI
xI
d = 2x1 dx1 dx2 . . . dxn + 2x2 dx2 dx1 dx3 . . . dxn + + 2xn dxn dx1 . . . dxn1
i are pushed to the front
Notice how all the missing dx
= (2x1 2x2 + 2x3 2x4 + + (1)n1 2xn1 )dx1 dx2 . . . dxn1
n
X
=
(1)i1 2xi dx1 dx2 . . . dxn
I
f
2 x
dx1
1
+ +
f
dxn
2 x
n
Proof: This is to prove theorem 3.11, in short it proves that the identity d = d
for any forms k (U ) on some open set U Rn where : U V
P
Let = I fI dxI
2
0
I0
I
(c + I) II = (c + I){d + I : d I 0 } I 0 /I.
0
3
Let bc bC, then c + I I 0 . and b(c + I) = bc + bI bI 0 I 0 since I 0 is an ideal
in R. So this means there are elements i1 I and i01 I 0 such that bc + bi1 = i01 but
bI I because I is an ideal in R and hence bi1 = i2 for some i2 I.
So bc + i2 = i01 , but the elements i2 , i01 are arbitrary chosen elements, this means
bc + I I 0
4
Let 3Z be maximal relative to Z. Then Z/3Z is contains only 2 ideals, {0} = {3Z}
and Z/3Z. This means we have to show there is no M 0 = {a + 3Z : a 6 3Z} such that
{3Z} M 0 Z/3Z.
We assume there is such M 0 , and since M 0 is an ideal of Z/3Z we know that
(r + 3Z)M 0 M 0
where r Z.
Now if x (r + 3Z)M 0 , then x = (r + 3n)(a + 3m) = ra + 3(na + mr + 3nm)
ra + 3Z r hai + 3Z (actually can I say this? Do I have to justify the existence of
such a principal ideal hai?) is an ideal of Z. But 3Z is maximal. So r hai + 3Z cannot
exist and neither can x and that means M 0 cannot exist either. Hence Z/3Z contains
only 2 trivial ideals.
Now on the other hand, if Z/3Z contains only 2 trivial ideals, itself and {0} = {3Z},
we need to show 3Z is maximal with relative to Z. This means we need to show an
ideal 6 K such that
3Z K Z
5
()Now assume M is maximal relative to R where R is a commutative ring with unity.
We need to show R/M contains only two trivial ideals, the zero ring {0} = {M } and
itself R/M . We will assume the existence of an ideal J = {a + M }a6M such that
{M } J R/M
and show J is one of these rings, by construction we ruled out J = {M }. Therefore
we show the only remaining choice, J = R/M
First since J is an ideal of R/M , this means (r + M )J J or
(r + M ){a + M }a6M {a + M }a6M
where r R.
Distributing (r+M ) inside {a+M } yields {ra+M } and by above {ra+M } {a+M }
for some a. In fact Ra R so ra + M is an ideal containing M by simply restricting
R to the zero ring. But M is maximal, meaning ra + M = R and so this means
x = ra R and {x + M }xR J but {x + M }xR = R/M . Hence J = R/M.
() Now assume the quotient ring R/M contains two ideals: {M } and R/M itself,
and if there is an ideal K of R such that
M K R,
then there is an k K where k 6 M . Now for this choice of k and using the ideal
definition on R/M itself, notice
(k + M )R/M = (k + M ){a + M }aR = {ka + M }aR {a + M }aR = R/M.
In fact this containment is equality because we are considering the ideal property on
the whole ring, so {ka + M } = {a + M }. This means ka a M K. Hence if for
k 0 K, we have a = k 0 ka K. Then K = R and in fact M is maximal.