ΚΕΦΑΛΑΙΟ 4: Ριζικό του Jacobson

Σχετικά έγγραφα
ΚΕΦΑΛΑΙΟ 4: Ριζικό του Jacobson

ΚΕΦΑΛΑΙΟ 3: Συνθήκες Αλυσίδων

ΚΕΦΑΛΑΙΟ 2: Ημιαπλοί Δακτύλιοι

ΚΕΦΑΛΑΙΟ 3: Συνθήκες Αλυσίδων

ΚΕΦΑΛΑΙΟ 1: Πρότυπα. x y x z για κάθε x, y, R με την ιδιότητα 1R. x για κάθε x R, iii) υπάρχει στοιχείο 1 R. ii) ( x y) z x ( y z)

ΚΕΦΑΛΑΙΟ 6: Κεντρικές Απλές Άλγεβρες

Κεφάλαιο 1 Πρότυπα. Στο κεφάλαιο αυτό εισάγουμε την έννοια του προτύπου πάνω από δακτύλιο.

ΚΕΦΑΛΑΙΟ 6: Κεντρικές Απλές Άλγεβρες

ΚΕΦΑΛΑΙΟ 2: Ηµιαπλοί ακτύλιοι

Δακτύλιοι και Πρότυπα Ασκήσεις 3. Στις παρακάτω ασκήσεις κάθε δακτύλιος είναι μη τετριμμένος μεταθετικός δακτύλιος. N ( a)

Ε Μέχρι 18 Μαΐου 2015.

Πορίσματα της Κανονικής Μορφής Smith (συμπλήρωμα για την Ενότητα 4)

ΚΕΦΑΛΑΙΟ 5: Τανυστικά Γινόµενα

Βασική Άλγεβρα. Ασκήσεις (εκδοχή )

Βασική Άλγεβρα. Ασκήσεις (εκδοχή )

Θεωρία Galois. Πρόχειρες σημειώσεις (εκδοχή )

Ε Μέχρι 31 Μαρτίου 2015.

ΚΕΦΑΛΑΙΟ 5: ΓΡΑΜΜΙΚΕΣ ΑΠΕΙΚΟΝΙΣΕΙΣ

ΑΝΤΙΜΕΤΑΘΕΤΙΚΗ ΑΛΓΕΒΡΑ ΕΑΡΙΝΟ ΕΞΑΜΗΝΟ, 2013 ΣΗΜΕΙΩΣΕΙΣ ΧΑΡΑ ΧΑΡΑΛΑΜΠΟΥΣ ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ, ΑΠΘ

,..., v n. W πεπερασμένα παραγόμενοι και dimv. Τα ακόλουθα είναι ισοδύναμα f είναι ισομορφιμός. f είναι 1-1. f είναι επί.

Δακτύλιοι και Πρότυπα Ασκήσεις 2. όπου a (4 i) (1 2 i), b i. Στη συνέχεια βρείτε κάθε τέτοιο d. b. Δείξτε ότι [ i] (4 i)

x y x z για κάθε x, y, . Ένας δακτύλιος R καλείται μεταθετικός αν

ΚΕΦΑΛΑΙΟ 6: Κεντρικές Απλές Άλγεβρες

= s 2m 1 + s 1 m 2 s 1 s 2

f(t) = (1 t)a + tb. f(n) =

b. Για κάθε θετικό ακέραιο m και για κάθε A. , υπάρχουν άπειρα το πλήθος πολυώνυμα ( x) [ x] m και ( A) 0.

ΚΕΦΑΛΑΙΟ 8: Εφαρμογή: Το θεώρημα του Burnside

βαθμού 1 με A 2. Υπολογίστε τα χαρακτηριστικά και ελάχιστα πολυώνυμα των

ΚΕΦΑΛΑΙΟ 7: Αναπαραστάσεις Πεπερασμένων Ομάδων Ι

Κεφάλαιο 0. Μεταθετικοί ακτύλιοι, Ιδεώδη

Πεπερασμένα σώματα και Κρυπτογραφία Σύμφωνα με τις παραδόσεις του Α. Κοντογεώργη. Τσουκνίδας Ι.

Κεφάλαιο 1. Πρότυπα. Στο κεφάλαιο αυτό εισαγάγουµε την έννοια του προτύπου πάνω από δακτύλιο που θα παίξει σηµαντικό ρόλο στα επόµενα κεφάλαια.

A, και εξετάστε αν είναι διαγωνίσιμη.

Ασκήσεις2 8. ; Αληθεύει ότι το (1, 0, 1, 2) είναι ιδιοδιάνυσμα της f ; b. Να βρεθούν οι ιδιοτιμές και τα ιδιοδιανύσματα της γραμμικής απεικόνισης 3 3

Θεωρια ακτυλιων. Ασκησεις

Αλγεβρικές Δομές ΙΙ. 1 Ομάδα I. Ά σ κ η σ η 1.1 Έστω R ένας δακτύλιος. Δείξτε ότι το σύνολο

1. Για καθένα από τους ακόλουθους διανυσματικούς χώρους βρείτε μια βάση και τη διάσταση. 3. U x y z x y z x y. {(,, ) } a b. c d

Ασκήσεις4 48. P AP τριγωνικό. Αφού δείξτε ότι ο A δεν είναι διαγωνίσιμος, βρείτε αντιστρέψιμο A 1 3 1

Πρώτα και Μεγιστοτικά Ιδεώδη

ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι. Ασκησεις - Φυλλαδιο 2

1.3 Ιδεώδη και Περιοχές κυρίων Ιδεωδών 1.3. Ι Π Ι. Για το σύμβολο δεχόμαστε ότι n N {0}, < n καθώς και ότι:

Ασκήσεις3 Διαγωνισιμότητα Βασικά σημεία Διαγωνίσιμοι πίνακες: o Ορισμός και παραδείγματα.

Ασκήσεις3 Διαγωνίσιμες Γραμμικές Απεικονίσεις

Θεωρια ακτυλιων. Ασκησεις

Κεφάλαιο 3. Ελεύθερα Πρότυπα. στοιχείων του Μ καλείται βάση του e λ παράγει το Μ, και ii) κάθε m M γράφεται κατά µοναδικό

1. a. Έστω b. Να βρεθούν οι ιδιοτιμές και τα ιδιοδιανύσματα του A Έστω A και ( x) [ x]

a b b < a > < b > < a >.

a = a a Z n. a = a mod n.

G 1 = G/H. I 3 = {f R : f(1) = 2f(2) ή f(1) = 3f(2)}. I 5 = {f R : f(1) = 0}.

ΠΑΡΑΡΤΗΜΑ Αʹ. Στοιχεία από την Άλγεβρα

Το Θεώρημα CHEVALLEY-WARNING

Ενότητα: Δακτύλιοι, Ακέραιες Περιοχές, Σώματα. Διδάσκων: Καθηγητής Μαρμαρίδης Νικόλαος - Θεοδόσιος

Α Δ Ι. Δευτέρα 13 Ιανουαρίου 2014

Δακτύλιοι και Πρότυπα Ασκήσεις 6. Η ύλη των ασκήσεων αυτών είναι η Ενότητα6, Εφαρμογές Θεωρημάτων Δομής στη Γραμμική Αλγεβρα.

2 Πεπερασμένα ευθέα αθροίσματα και προβολές σε χώρους με νόρμα. με νόρμα, με τις ακόλουθες νόρμες οι οποίες ορίζονται μέσω των νορμών των X και Y.

9 Πολυώνυμα Διαίρεση πολυωνύμων

Διδάσκων: Καθηγητής Μαρμαρίδης Νικόλαος - Θεοδόσιος

2 Πεπερασμένα ευθέα αθροίσματα και προβολές σε χώρους με νόρμα. με νόρμα, με τις ακόλουθες νόρμες οι οποίες ορίζονται μέσω των νορμών των X και Y.

Κεφάλαιο 2. Παραγοντοποίηση σε Ακέραιες Περιοχές

Τελική Εξέταση 10 Φεβρουαρίου 2017 ιάρκεια εξέτασης 2 ώρες και 30 λεπτά

(a + b) n = a k b n k, k. (a + b) p = a p + b p. k=0. n! k! (n k)! k =

s G 1 ). = R, Z 2 Z 3 = Z6. s, t G) s t = st. 1. H = G 4. [G : H] = a G ah = Ha.

4 Ασθενείς τοπολογίες σε χώρους με νόρμα. 4.1 θεωρήματα Mazur, Alaoglou, Goldstine.

Δώδεκα Αποδείξεις του. Θεμελιώδους Θεωρήματος της Άλγεβρας

Το φασματικό Θεώρημα

4.2 ΕΥΚΛΕΙΔΕΙΑ ΔΙΑΙΡΕΣΗ

Τίτλος Μαθήματος: Θεωρία Ομάδων. Ενότητα: Ευθέα Γινόμενα Ομάδων. Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης. Τμήμα: Μαθηματικών

Διδάσκων: Καθηγητής Μαρμαρίδης Νικόλαος - Θεοδόσιος

12. ΑΝΙΣΩΣΕΙΣ Α ΒΑΘΜΟΥ. είναι δύο παραστάσεις μιας μεταβλητής x πού παίρνει τιμές στο

Μεταθέσεις και πίνακες μεταθέσεων

bca = e. H 1j = G 2 H 5j = {f G j : f(0) = 1}

ΚΕΦΑΛΑΙΟ 8: Εφαρµογή: Το θεώρηµα του Burnside

ΚΕΦΑΛΑΙΟ 7: Αναπαραστάσεις Πεπερασµένων Οµάδων Ι

ΚΕΦΑΛΑΙΟ 3 ΤΟ ΔΙΩΝΥΜΙΚΟ ΘΕΩΡΗΜΑ

Ασκήσεις1 Πολυώνυμα. x x c. με το. b. Να βρεθούν όλες οι τιμές των a, Να βρεθεί ο μκδ και το εκπ τους

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΑΡΤΙΟΙ) Ασκησεις - Φυλλαδιο 1

Α Δ Ι. Παρασκευή 24 Ιανουαρίου 2014

Ποιες από τις παρακάτω προτάσεις είναι αληθείς; Δικαιολογήστε την απάντησή σας.

1 x m 2. degn = m 1 + m m n. a(m 1 m 2...m k )x m 1

Θεώρημα Βolzano. Κατηγορία 1 η Δίνεται η συνάρτηση:

Τίτλος Μαθήματος: Θεωρία Ομάδων. Ενότητα: Θεωρία Sylow. Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης. Τμήμα: Μαθηματικών

Κεφάλαιο 4. Ευθέα γινόµενα οµάδων. 4.1 Ευθύ εξωτερικό γινόµενο οµάδων. i 1 G 1 G 1 G 2, g 1 (g 1, e 2 ), (4.1.1)

ΧΑΡΑΚΤΗΡΙΣΤΙΚΟ ΠΟΛΥΩΝΥΜΟ ΠΙΝΑΚΑ: Έστω Α ένας n nπίνακας επί ενός σώματος F. Για χ στο F, ορίζεται το πολυώνυμο ( ως προς χ ) : h ( x) = det( A- xi ).

Αλγεβρικες οµες ΙΙ. ιδάσκουσα : Χ. Χαραλάµπους. Θέµατα προηγουµένων ετών

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΑΡΤΙΟΙ) Προτεινοµενες Ασκησεις - Φυλλαδιο 1

Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 10

Α Δ Ι. Παρασκευή 17 Ιανουαρίου 2014

Θεωρία Υπολογισμού και Πολυπλοκότητα Μαθηματικό Υπόβαθρο

6 Συνεκτικοί τοπολογικοί χώροι

Το φασματικό Θεώρημα

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΠΕΡΙΤΤΟΙ) Ασκησεις - Φυλλαδιο 1

3.5 Το θεώρημα Hahn-Banach σε τοπολογικούς διανυσματικούς χώρους.

q(g \ S ) = q(g \ S) S + d = S.

Αριθμητική Ανάλυση και Εφαρμογές

V x, y W x, y, y συνιστούν προφανώς ένα ανοικτό

Ασκήσεις6 Διαγωνοποίηση Ερμιτιανών Πινάκων

1 Η εναλλάσσουσα ομάδα

Πρόλογος 3. Εισαγωγή 7

1 Χώροι πηλίκα { } x = y x y Y. Με τις πράξεις της πρόσθεσης και του βαθμωτού πολλαπλασιασμού που ορίζονται με τον

Διάλεξη 4: Απόδειξη: Για την κατεύθυνση, παρατηρούμε ότι διαγράφοντας μια κορυφή δεν μπορούμε να διαχωρίσουμε τα u και v. Αποδεικνύουμε

Transcript:

ΚΕΦΑΛΑΙΟ 4: Ριζικό του Jacobso Στο κεφάλαιο αυτό μελετάμε δακτυλίους του Art χρησιμοποιώντας το ριζικό του Jacobso. Ως εφαρμογή αποδεικνύουμε ότι κάθε δακτύλιος του Art είναι και της Noether. 4.1. Δακτύλιοι του Art Τι εμποδίζει ένα δακτύλιο του Art να είναι ημιαπλός; 4.1.1 Πρόταση Έστω R δακτύλιος. Tότε AM I, M ό I έ όπου το M διατρέχει τα απλά R -πρότυπα και το I διατρέχει τα μέγιστα ιδεώδη του R. Απόδειξη: Έστω r R τέτοιο ώστε rm 0 για κάθε απλό R -πρότυπο M. Τότε R r για κάθε I 0 R I μέγιστο ιδεώδες I του R. Άρα rr I r I. Συνεπώς AM I. M ό I έ Έστω r R τέτοιο ώστε r I για κάθε μέγιστο ιδεώδες I του R. Έστω M απλό R -πρότυπο και m M, m 0. Η απεικόνιση f : R M, x xm, είναι ομομορφισμός R -προτύπων και επειδή το M είναι απλό είναι επί. Συνεπώς m R ker fm M που σημαίνει ότι ο ker f m είναι μέγιστο ιδεώδες οπότε r Kerf m. Δηλαδή rm 0 και επειδή αυτό ισχύει για κάθε m M παίρνουμε r AM. Άρα I I έ M ό Το I έ AM. I ονομάζεται το ριζικό του Jacobso του R και συμβολίζεται συνήθως με J ( R ). Η προηγούμενη πρόταση λέει ότι το ιδεώδες J ( R ) είναι αμφίπλευρο ιδεώδες του R αφού κάθε AM είναι αμφίπλευρο ιδεώδες του R. Παραδείγματα 1. J ( ) 0. Πράγματι, τα μέγιστα ιδεώδη του είναι τα ( p ),όπου p πρώτος, και είναι σαφές ότι η τομή αυτών είναι το μηδενικό ιδεώδες. 1. Αν... p k, 1 p k όπου p διακεκριμένοι πρώτοι και 0, τότε J ( ) ( a), όπου a [ p1 p... p k ]. Αυτό έπεται από το ότι τα μέγιστα ιδεώδη του είναι τα ([ p ]), 1,..., k. 3. Αν D είναι δακτύλιος διαίρεσης, τότε J ( M ( D)) 0 γιατί ο δακτύλιος M ( D ) είναι απλός και το ριζικό του Jacobso είναι γνήσιο αμφίπλευρο ιδεώδες. 4. Αν R, S είναι δακτύλιοι, τότε J ( R S) J ( S). Αυτό έπεται από το γεγονός ότι τα μέγιστα ιδεώδη του R S είναι τα I S, όπου I μέγιστο ιδεώδες του R, και τα R J, όπου J μέγιστο ιδεώδες του S. 5. Αν R είναι ημιαπλός δακτύλιος, τότε 0. Πράγματι, από το Θεώρημα του Wedderbur έχουμε 1 1 s s R M ( D )... M ( D ), όπου D δακτύλιοι διαίρεσης, οπότε από τα προηγούμενα δύο παραδείγματα έχουμε J ( M ( D ))... J ( M ( D )) 0. 1 1 s s Το παρακάτω θεώρημα λέει ότι το ιδεώδες J (R) μετράει κατά πόσο ένας δακτύλιος του Art απέχει από το να είναι ημιαπλός. Παρέχει μια απάντηση στο ερώτημα που θέσαμε στην αρχή του κεφαλαίου.

39 4.1. Θεώρημα. Ο δακτύλιος R είναι ημιαπλός αν και μόνο αν ο R είναι δακτύλιος του Art και Για την απόδειξη χρειαζόμαστε το ακόλουθο αποτέλεσμα. 4.1.3 Λήμμα. Αν R είναι δακτύλιος του Art, τότε υπάρχουν πεπερασμένου πλήθους μέγιστα ιδεώδη I 1,..., I με I1.... Απόδειξη: Από την υπόθεση του Art, το μη κενό (πρόταση 1.4.) σύνολο ιδεωδών I /{ I } πεπερασμένη οικογένεια μέγιστων ιδεωδών} { έχει ελάχιστο στοιχείο, έστω J. Θα δείξουμε ότι I J. Από τον ορισμό του J ( R ) αρκεί να δείξουμε ότι J J (R). Έστω Ι μέγιστο ιδεώδες. Τότε I J J, οπότε ο ορισμός του J δίνει I J J J I και επειδή αυτό ισχύει για κάθε μέγιστο ιδεώδες, παίρνουμε J.. Άρα Απόδειξη του Θεωρήματος 4.1.. " " Το είδαμε πριν στα παραδείγματα. " " Έστω ότι ο R είναι δακτύλιος του Art με Θα δείξουμε ότι ο R είναι υποπρότυπο ημιαπλού προτύπου, οπότε από την πρόταση.1.1 ) θα είναι ημιαπλός δακτύλιος. Από την υπόθεση και το λήμμα 4.1.3 παίρνουμε 0 I1... I για κάποια μέγιστα ιδεώδη I k. Συνεπώς ο ομομορφισμός R-προτύπων είναι μονομορφισμός. Όμως κάθε R / I1... R / είναι ημιαπλό πρότυπο. I R R / I... R / I, r ( r I1,..., r I 1 R / I k είναι απλό R -πρότυπο, γιατί το I k είναι μέγιστο. Άρα το ) 4.1.4 Πόρισμα. R δακτύλιος του Art R / ημιαπλός δακτύλιος. Απόδειξη: Ο R / είναι του Art, γιατί ο R είναι του Art. Επιπλέον J ( R / ) Πράγματι, τα μέγιστα ιδεώδη του R /, είναι ακριβώς τα I /, όπου τα I είναι τα μέγιστα ιδεώδη του R που περιέχουν το J (R), δηλαδή όλα τα μέγιστα ιδεώδη του R. Έτσι J ( R / ) ( I / ) / 4.1.5 Πόρισμα. Αν R δακτύλιος και I αμφίπλευρο ιδεώδες του R τέτοιο ώστε ο δακτύλιος R I είναι ημιαπλός, τότε I. Απόδειξη: Επειδή ο R I είναι ημιαπλός έχουμε J( R I) 0. Άρα I I. Επομένως I. I έ I I Τα τελευταία δύο πορίσματα λένε ότι για δακτύλιο του Art R, το J ( R ) είναι το ελάχιστο αμφίπλευρο ιδεώδες του R τέτοιο ώστε ο δακτύλιος R J( R ) είναι ημιαπλός. 4.. Ιδιότητες του ριζικού του Jacobso και μια εφαρμογή Στα παρακάτω μελετάμε το ριζικό του Jacobso και δίνουμε μια σημαντική εφαρμογή του. Ένα ιδεώδες λέγεται μηδενοδύναμο αν I 0 για κάποιο, δηλαδή αν r... 0 για κάθε r I. Για 1 r

παράδειγμα, το ιδεώδες I ([6]) του 4 είναι μηδενοδύναμο αφού 3 1 I 0. Όμοια, αν 40... p k, 1 p k όπου p διακεκριμένοι πρώτοι και 0, τότε το ιδεώδες I ([ a]), όπου a [ p1 p... p k ], είναι μηδενοδύναμο καθώς I 0, όπου max{ 1,..., k }. 4..1 Λήμμα. Για κάθε r J (R), το 1 r έχει αριστερό αντίστροφο. Απόδειξη: Αν το 1 r δεν έχει αριστερό αντίστροφο, τότε το κύριο ιδεώδες ( 1 r) περιέχεται σε κάποιο μέγιστο ιδεώδες του R, ( 1 r) M. Όμως r M και άρα 1 1 r r M, άτοπο. 4.. Θεώρημα. 1) Το J (R) περιέχει κάθε μηδενοδύναμο ιδεώδες του R. ) Αν ο R είναι δακτύλιος του Art, τότε το J (R) είναι μηδενοδύναμο. Απόδειξη: 1) Έστω μηδενοδύναμο ιδεώδες Ι που δεν περιέχεται σε κάποιο μέγιστο ιδεώδες Μ. Τότε I M R, και άρα υπάρχει x M, έτσι ώστε το 1 x είναι μηδενοδύναμο. Επομένως για κάποιο ισχύει ( 1 x ) 0 δηλαδή οπότε 1 M, άτοπο ) Η ακολουθία 1 ( 1) x 0, 1 1 κάπου γίνεται σταθερή. Έστω ότι.... Θα δείξουμε ότι Έστω 3... Από την υπόθεση του Art, το σύνολο των ιδεωδών Ι που έχουν τις ιδιότητες (που είναι μη κενό γιατί περιέχει το υπάρχει I και I 0 ) έχει ελάχιστο στοιχείο που το συμβολίζουμε πάλι με Ι. Τότε x I με x 0. Το ιδεώδες x περιέχεται στο I και ικανοποιεί τις προηγούμενες ιδιότητες, οπότε λόγω του ελαχίστου έχουμε Συνεπώς υπάρχει x I. y με yx x. Έτσι ( 1 y ) x Αλλά το 1 y έχει αριστερό αντίστροφο (Λήμμα 4..1) αφού y. Τότε η σχέση ( 1 y ) x 0 δίνει x 0, άτοπο. Το προηγούμενο θεώρημα λέει ότι για δακτύλιο R του Art, το J ( R ) είναι το μεγαλύτερο μηδενοδύναμο ιδεώδες του. Παράδειγμα Έστω k σώμα και T ( k ) ο δακτύλιος των άνω τριγωνικών πινάκων με στοιχεία από το k. Θα βρούμε το J ( T ( k )). Εύκολα επαληθεύεται ότι το σύνολο I T ( k) των άνω τριγωνικών πινάκων με 0 στη διαγώνιο είναι αμφίπλευρο ιδεώδες του R. Ο δακτύλιος πηλίκο R I είναι ισόμορφος με τον k... k k (γιατί;) που είναι ημιαπλός. Από την Πόρισμα 4.1.6, J ( T ( k)) I. Αφήνουμε ως άσκηση την επαλήθευση ότι I 0. Από το Θεώρημα 4.., J ( T ( k)) I και επομένως J ( T ( k)) I. Από το Θεώρημα 4.1. έπεται ότι ο δακτύλιος T ( k ) δεν είναι ημιαπλός αν 1.

41 Ως άμεσο πόρισμα του Θεωρήματος 4.. λαμβάνουμε ένα ακόμα χαρακτηρισμό ημιαπλών δακτυλίων. 4..3 Πόρισμα. Ένας δακτύλιος είναι ημιαπλός αν και μόνο αν είναι δακτύλιος του Art και δεν έχει μη τετριμμένα μηδενοδύναμα ιδεώδη. Δίνουμε τώρα την εφαρμογή που μνημονεύσαμε στην αρχή του κεφαλαίου. 4..4 Θεώρημα. Κάθε δακτύλιος του Art είναι και της Noether. Απόδειξη: Θα δείξουμε ότι ο R έχει συνθετική σειρά, οπότε θα είναι της Noether σύμφωνα με το Θεώρημα 3..3. Γνωρίζουμε ότι ) το J (R) είναι μηδενοδύναμο (Θεώρημα 4..) και ) ο R / είναι ημιαπλός (Πόρισμα 4.1.4). Από το ) υπάρχει Το R-πρότυπο 1 N με 1 0... R / γίνεται R / -πρότυπο με εξωτερικό πολλαπλασιασμό r ( x rx (γιατί;). Ο R / είναι ημιαπλός και συνεπώς το 1 1 ) (*) / είναι ευθύ άθροισμα απλών R / προτύπων. Ισχυριζόμαστε ότι αυτό το ευθύ άθροισμα έχει πεπερασμένο πλήθος προσθετέων. Προς τούτο αρκεί να δειχτεί ότι κάθε 1 είναι R-πρότυπο του Art (γιατί τα R-υποπρότυπα του υποπρότυπα του / 1 είναι υποπρότυπο του R ) και κατά συνέπεια το πηλίκο (Πρόταση 3.1.4). Από τον ισχυρισμό έπεται ότι κάθε / είναι R / πρότυπο του Art, ή ισοδύναμα ότι 1 / ταυτίζονται με τα R / ). Αλλά R δακτύλιος του Art είναι R-πρότυπο του Art (αφού 1 / είναι R-πρότυπο του Art 1 / έχει συνθετική σειρά ως ( ) R J R -πρότυπο και άρα ως R -πρότυπο σύμφωνα με την Παρατήρηση 4.1.5 ) παρακάτω. Παρεμβάλλοντας τότε όρους στην (*), εύκολα βλέπουμε ότι το R έχει συνθετική σειρά και συνεπώς το R είναι R-πρότυπο της Noether. 4..5 Παρατήρηση Έστω : R S ομομορφισμός δακτυλίων και M S -πρότυπο. ) Το M είναι R -πρότυπο με εξωτερικό πολλαπλασιασμό που ορίζεται από r m ( r) m, r R, m M ) Αν ο είναι επιμορφισμός και το M απλό S -πρότυπο, τότε το M είναι απλό R -πρότυπο. Πράγματι, αν m M, m 0, τότε { r m r R} { ( r) m r R} { sm s S} M. ) Αν ο είναι επιμορφισμός και το M έχει συνθετική σειρά ως S -πρότυπο, τότε έχει συνθετική σειρά ως R -πρότυπο. Αυτό έπεται άμεσα από τα προηγούμενα.

Ασκήσεις 1. Βρείτε το J (R) στις ακόλουθες περιπτώσεις. ) R [ x]. ) ) R x x [ ] ( ). R x x x [ ] ( ( )). a b v) R a, b, d S, όπου S είναι δακτύλιος. 0 d. Κάθε δακτύλιος του Art που δεν έχει μη μηδενικά μηδενοδύναμα στοιχεία είναι ισόμορφος με ευθύ γινόμενο δακτυλίων διαίρεσης. 3. Ένας δακτύλιος είναι δακτύλιος διαίρεσης αν και μόνο αν είναι του Art και xy 0 για κάθε x, y 4. Κάθε μεταθετικός δακτύλιος του Art έχει πεπερασμένο πλήθος μεγίστων ιδεωδών. Δώστε ένα παράδειγμα δακτυλίου του Art που έχει άπειρο πλήθος μεγίστων ιδεωδών. 5. Αν ο R είναι μεταθετκός δακτύλιος του Art, τότε ) ο R J( R ) είναι ευθύ γινόμενο σωμάτων, ) { r R r 0, ά } 6. Έστω k σώμα χαρακτηριστικής p και R k[ x] ( x 1). ) Για ποια p, ο R είναι ημιαπλός; ) Ποιο είναι το J ( R ) ; 7. Έστω R δακτύλιος του Art και M R -πρότυπο. Το M είναι ημιαπλό αν και μόνο αν M 0. 8. Αν R δακτύλιος, τότε J ( M ( R)) M ( ). Ποιο είναι το J ( R ) αν R M ( ) M ( 8) ; 9. Δείξτε ότι J( R) { r R a R, b R, b(1 ar) 1}. 10. Έστω k σώμα και T ( k ) ο δακτύλιος των άνω τριγωνικών πινάκων με στοιχεία από το k. Στο Παράδειγμα μετά το Θεώρημα 4.. προσδιορίσαμε το J ( T ( k )). ) Ποιος είναι ο ημιαπλός δακτύλιος T ( k) J ( T ( k )) ; Με τη βοήθεια αυτού δείξτε ότι το πλήθος των ανά δύο μη ισόμορφων απλών T ( k) -προτύπων είναι ίσο με και καθένα από αυτά έχει διάσταση 1. ) Βρείτε μια συνθετική σειρά του V M ( ) 1 k ως T ( k) -πρότυπο. 11. Έστω k σώμα και L ( k ) ο δακτύλιος των άνω τριγωνικών πινάκων ( a ) με στοιχεία από το k τέτοιων ώστε a11 a... a. Δείξτε τα εξής. J( L ( k)) {( a ) L ( k) a a... a 0}. ) j 11 ) Κάθε δύο απλά L ( k) -πρότυπα είναι ισόμορφα. j 4