Πλήρης δακτύλιος διατομής

Στην αντιμεταθετική άλγεβρα, ένας **πλήρης δακτύλιος διατομής** είναι ένας αντιμεταθετικός δακτύλιος παρόμοιος με τους δακτυλίους συντεταγμένων των ποικιλιών που είναι πλήρεις τομές. Ανεπίσημα, μπορούν να θεωρηθούν περίπου ως οι τοπικοί δακτύλιοι που μπορούν να οριστούν χρησιμοποιώντας τον "ελάχιστο δυνατό" αριθμό σχέσεων.

Για τους Ναιτεριανούς τοπικούς δακτυλίους, υπάρχει η ακόλουθη αλυσίδα εγκλεισμάτων:

    **[[Αλυσοειδής δακτύλιος|Καθολικά Αλυσοειδής δακτύλιος]] ⊃ [[Δακτύλιος Κοέν-Μακόλεϊ|δακτύλιοι Κοέν-Μακόλεϊ]] ⊃ [[Δακτύλιος Γκόρενσταϊν|δακτύλιοι Γκόρενσταϊν]] ⊃ **πλήρεις δακτύλιοι διατομής** ⊃ [[Κανονικός τοπικός δακτύλιος|κανονικοί τοπικοί δακτύλιοι]]**

## Ορισμός

Ένας τοπικός  πλήρης δακτύλιος διατομής είναι ένας Ναιτεριανός τοπικός δακτύλιος του οποίου η ολοκλήρωση είναι το πηλίκο ενός κανονικού τοπικού δακτυλίου προς ένα ιδεώδες που παράγεται από μια κανονική ακολουθία. Η συνεκτίμηση της ολοκλήρωσης αποτελεί μια μικρή τεχνική επιπλοκή λόγω του γεγονότος ότι δεν είναι όλοι οι τοπικοί δακτύλιοι πηλίκα κανονικών δακτυλίων. Για τους δακτυλίους που είναι πηλίκα κανονικών τοπικών δακτυλίων, οι οποίοι καλύπτουν τους περισσότερους από τους τοπικούς δακτυλίους που εμφανίζονται στην αλγεβρική γεωμετρία, δεν είναι απαραίτητο να ληφθούν υπόψιν οι συμπληρώσεις στον ορισμό.

Υπάρχει ένας εναλλακτικός εσωτερικός ορισμός που δεν εξαρτάται από την ενσωμάτωση του δακτυλίου σε έναν κανονικό τοπικό δακτύλιο. Αν ο *R* είναι ένας Ναιτεριανός τοπικός δακτύλιος με μέγιστο ιδεώδες *m*, τότε η διάσταση του *m*/*m*2 ονομάζεται διάσταση ενσωμάτωσης dim (*R*) του *R*. Ορίζουμε μια βαθμωτή άλγεβρα *H*(*R*) ως την ομολογία του μιγαδικού Κοσζούλ ως προς ένα ελάχιστο σύστημα γεννητόρων του *m*/*m*2;- μέχρι ισομορφισμού αυτό εξαρτάται μόνο από τον *R* και όχι από την επιλογή των γεννητόρων του *m*. Η διάσταση της*H*1(*R*) συμβολίζεται με ε1 και ονομάζεται πρώτη απόκλιση του *R*- εξαφανίζεται αν και μόνο αν ο *R* είναι κανονικός. Ένας τοπικός δακτύλιος Ναιτεριανός ονομάζεται πλήρης δακτύλιος διατομής αν η διάσταση της ενσωμάτωσής του είναι το άθροισμα της διάστασης και της πρώτης απόκλισης:

:emb dim(*R*) = dim(*R*) + ε1(*R*).

Υπάρχει επίσης ένας αναδρομικός χαρακτηρισμός των τοπικών δακτυλίων πλήρους διατομής που μπορεί να χρησιμοποιηθεί ως ορισμός, ως εξής. Ας υποθέσουμε ότι ο *R* είναι ένας πλήρης Ναιτεριανός τοπικός δακτύλιος. Αν ο *R* έχει διάσταση μεγαλύτερη του 0 και το *x* είναι ένα στοιχείο στο μέγιστο ιδεώδες που δεν είναι μηδενικός διαιρέτης τότε ο *R* είναι ένας πλήρης δακτύλιος τομής αν και μόνο αν ο *R*/(*x*) είναι. (Αν το μέγιστο ιδεώδες αποτελείται εξ ολοκλήρου από μηδενικούς διαιρέτες τότε το *R* δεν είναι πλήρης δακτύλιος τομής). Αν ο *R* έχει διάσταση 0,  τότε  έδειξε ότι είναι πλήρης δακτύλιος διατομής αν και μόνο αν το ιδεώδες προσαρμογής του μέγιστου ιδεώδους του είναι μη μηδενικό..

## Παραδείγματα
### Κανονικοί τοπικοί δακτύλιοι
Οι κανονικοί τοπικοί δακτύλιοι είναι πλήρεις δακτύλιοι διατομής, αλλά το αντίστροφο δεν ισχύει: ο δακτύλιος k[x]/(x^2) είναι ένας 0-διάστατος πλήρης δακτύλιος τομής που δεν είναι κανονικός.

### Δεν είναι πλήρης διατομή
Το παράδειγμα ενός τοπικά πλήρους δακτυλίου διατομής που δεν είναι πλήρης δακτύλιος διατομής δίνεται από τον k[x,y]/(y-x^2, x^3) ο οποίος έχει μήκος 3 αφού είναι ισομορφικός ως διανυσματικός χώρος k με τον k\oplus k\cdot x \oplus k \cdot x^2.

### Αντιπαράδειγμα
Οι τοπικοί δακτύλιοι πλήρους διατομής είναι δακτύλιοι Γκόρενσταϊν, αλλά το αντίστροφο δεν ισχύει: ο δακτύλιος k[x,y,z]/(x^2, y^2, xz, yz, z^2 - xy)=R/I είναι ένας 0-διάστατος δακτύλιος Γκόρενσταϊν που δεν είναι δακτύλιος πλήρους διατομής. Ως διανυσματικός χώρος k αυτός ο δακτύλιος είναι ισομορφικός με τον

:
\frac{k[x,y,z]}{(x^2, y^2, xz, yz, z^2 - xy)} \cong R_0 \oplus R_1 \oplus R_2, where  R_0 = k\cdot 1, R_1 = k \cdot x \oplus k \cdot y \oplus k\cdot z, and R_2 = k\cdot z^2


δείχνοντας ότι είναι Γκορένσταϊν, αφού η συνιστώσα του ανώτατου βαθμού έχει διάσταση 1 και ικανοποιεί την ιδιότητα Πουανκαρέ. Δεν είναι ένας τοπικός πλήρης δακτύλιος διατομής επειδή το ιδεώδες I\subset R δεν είναι R-κανονικό. Παραδείγματος χάριν, το xy είναι μηδενικός διαιρέτης του x στο R/(x^2,y^2)

## Δημοσιεύσεις

*
*
*
*

## Δείτε επίσης

* [Regular ring (in commutative algebra)](https://encyclopediaofmath.org/wiki/Regular_ring_(in_commutative_algebra))

## Εξωτερικοί σύνδεσμοι
*English - Greek Dictionary of Pure and Applied Mathematics Εθνικό Μετσόβιο Πολυτεχνείο
*Αγγλοελληνικό Λεξικό Μαθηματικής Ορολογίας - Πανεπιστήμιο Κύπρου
* Commutative Ring Theory
* Rings Close to Regular 
*Modules over Commutative Regular Rings

## Παραπομπές


## Σημειώσεις

*H. Matsumura, *Commutative algebra* 1980 .
*
*; reprinted by R. E. Krieger Pub. Co (1975) 

 

Κατηγορία:Αλγεβρική γεωμετρία
Κατηγορία:Θεωρία δακτυλίων
Κατηγορία:Αντιμεταθετική άλγεβρα