Επίπεδο πρότυπο

Στην ομολογική άλγεβρα και αλγεβρική γεωμετρία, ένα πρότυπο επίπεδο πάνω από ένα δακτύλιο R είναι μια R-μονάδα Μ τέτοια ώστε, λαμβάνοντας το προϊόν του τανυστή πάνω στο R με M διατηρεί ακριβείς ακολουθίες. Μια ενότητα είναι πιστά επίπεδη εάν παίρνετε το προϊόν του τανυστή με μια ακολουθία παράγει μια ακριβή αλληλουχία αν και μόνο αν η αρχική σειρά είναι ακριβής.
Διανυσματικοί χώροι πάνω από ένα πεδίο είναι επίπεδες ενότητες. Δωρεάν ενότητες, ή γενικότερα προβολικές ενότητες, είναι επίσης επίπεδες, σε οποιοδήποτε R. Για πεπερασμένα παραγομένες ενότητες πάνω από ένα Noetherian δακτύλιο, η επιπεδότητα και η προβολικότητα είναι ισοδύναμες. Για πεπερασμένα παραγόμενες μονάδες πάνω από τους τοπικούς δακτυλίους, η ομαλότητα, η προβολικότητα και freeness είναι όλα ισοδύναμα.  Το πεδίο πηλίκο του αναπόσπαστου τομέα, και γενικότερα, οποιοσδήποτε εντοπισμός ενός αντιμεταθετικού δακτυλίου είναι ένα πρότυπο επίπεδο. Το προϊόν των τοπικών δακτυλίων ενός αντιμεταθετικού δακτυλίου είναι ένα πιστό πρότυπο επίπεδο.
Η ομαλότητα εισήχθη από τον Serre (1956) στην εργασία του Αλγεβρική Γεωμετρία και Αναλυτική Γεωμετρία. Βλέπε επίσης επίπεδος μορφισμός.

Γενικοί Δακτύλιοι

Όταν το R δεν είναι αντιμεταθετικό χρειάζεται κανείς πιο προσεκτική δήλωση ώστε, αν το Μ είναι ένα αριστερό επίπεδο R-ενότητας, το προϊόν τανυστή με M παραστάσεις ακριβείς ακολουθίες της δεξιάς R-ενότητας με τις ακριβείς ακολουθίες των αβελιανών ομάδων.
Λαμβάνοντας προϊόντα τανυστή (πάνω από αυθαίρετους δακτυλίους) είναι πάντα ένας δεξιός ακριβείς συναρτητής. Ως εκ τούτου, η R-ενότητα Μ είναι επίπεδη, αν και μόνο αν για οποιοδήποτε παρεμβαλόμενο ομορφισμό K → L των R-ενοτήτων, ο προκαλούμενος ομορφισμός KM → LM είναι επίσης παρεμβαλόμενος.

Περίπτωση αντιμεταθετικού δακτυλίου

Όταν το Μ είναι finitely-generated (είναι ένα πρότυπο που έχει πεπερασμένο σύνολο παραγωγής) R-πρότυπο,το να είναι επίπεδο είναι ίδιο με το να έιναι τοπικά ελεύθερο με την ακόλουθη έννοια: Μ είναι ένα επίπεδο R-πρότυπο αν και μόνο αν για κάθε πρώτο ιδεώδες (ή ακόμα και ακριβώς για κάθε μέγιστη ιδεώδες)P of R, ο localization (μια κατασκευή για την εισαγωγή παρονομαστών σε ένα πρότυπο για ένα δακτύλιο)  είναι free (θα αναφερόμαστε σε αυτό ως ελεύθερο εννοούμε ένα πρότυπο που έχει βάση δηλαδή που παράγεται από γραμμικά ανεξάρτητα στοιχεία) σαν πρότυπο πάνω στο localization (είναι μία συστηματική μέθοδος προσθήκης αντιστρόφων σε ένα δακτύλιο)  .
Έστω R ένας τοπικός δακτύλιος με nilpotent (ένα στοιχείο, χ, ενός δακτυλίου, R, καλείται nilpotent εάν υπάρχει κάποιος θετικός ακέραιος αριθμός, n, τέτοιο ώστε χ^n = 0) μέγιστα ιδεώδη (π.χ. ένας Artinian (ένας δακτύλιος που ικανοποιεί τις Ascending chain condition δηλαδή ένα σύνολο ιδιοτήτων για ιδεώδη) τοπικός δακτύλιος) και Μ ένα πρότυπο πάνω σε αυτόν. Τότε Μ επίπεδο συνεπάγεται Μ ελεύθερο.
Το τοπικό κριτήριο για την ομαλότητα δηλώνει:
Ας είναι R ένας τοπικός Noetherian δακτύλιος(ο Noetherian δακτύλιος είναι ένας δακτύλιος που ικανοποιεί τις Ascending chain condition δηλαδή ένα σύνολο ιδιοτήτων για ιδεώδη σε ορισμένους αντιμεταθετικούς δακτυλίους),S ένα τοπικό Noetherian R - άλγεβρα (ομομορφισμός δακτυλίων) με ,και Μ ένα finitely-generated S-πρότυπο.Τότε Μ επίπεδο πάνω στο R αν και μόνο αν 
Η σημασία αυτού είναι ότι ο S ​​δεν χρειάζεται να είναι πεπερασμένος πάνω στον R και πρέπει μόνο να εξεταστεί το μέγιστο ιδεώδες του R αντί ενός αυθαίρετου ιδανικού του R.
Το επόμενο κριτήριο είναι επίσης χρήσιμο για τη δοκιμή ομαλότητας:
Ας είναι R, S  όπως στο τοπικό κριτήριο για την ομαλότητα.Ας υποθέσουμε ότι το S είναι Cohen - Macaulay(είναι ένας αντιμεταθετικός δακτύλιος με κάποιες αλγεβρογεωμετρικές ιδιότητες)  και R είναι regular (στην αντιμεταθετική άλγεβρα είναι ένας noetherian τοπικός δακτύλιος που έχει την ιδιότητα ο ελάχιστος αριθμός γεννητόρων των μέγιστων ιδεωδών να ισούται με Krull dimension (που είναι το supremum των μηκών όλων των αλυσίδων των πρώτων ιδεωδών)).Τότε το S είναι επίπεδο πάνω στον R αν και μόνο αν .
Αν S είναι ένας R - άλγεβρα , δηλαδή , έχουμε ένα ομομορφισμό f , τότε S έχει τη δομή ενός R -προτύπου, και ως εκ τούτου είναι λογικό να αναρωτηθούμε αν S είναι επίπεδη πάνω R. Σε αυτό το πλαίσιο έχουμε:
Αν S είναι επίπεδο πάνω στον R,τότε το S είναι ΄΄πιστό επίπεδο΄΄ πάνω R αν και μόνο αν κάθε πρώτο ιδεώδες της R είναι η αντίστροφη εικόνα της f ενός πρώτου ιδεώδους της S. Με άλλα λόγια , αν και μόνο αν .
Τα επίπεδα πρότυπα σε αντιμεταθετικούς δακτυλίους είναι πάντα Torsion-free (είναι ένα πρότυπο πάνω σε ένα δακτύλιο έτσι ώστε το 0 να είναι το μόνο στοιχείο που εξουδετερώνεται από ένα κανονικό στοιχείο (μη μηδενικό διαιρέτη) του δακτυλίου.Projective module (προβολικά πρότυπα πάνω σε ένα δακτύλιο που αποτελούν γενίκευση των ελεύθερων προτύπων και επομένως τα ελεύθερα πρότυπα) είναι πάντα επίπεδα.Για ορισμένες κοινές κλάσεις δακτυλίων,οι καταστάσεις αυτές μπορούν να αντιστραφούν(για παράδειγμα κάθε torsion-free πρότυπο πάνω από ένα Dedekind ring (αποτελεί αναπόσπαστο τομέα στον οποίο κάθε μη μηδενικό κατάλληλο ιδεώδες παραγόντων ανάγεται σε ένα πρώτο ιδεώδες) είναι αυτόματα επίπεδο ,και επίπεδο πρότυπο πάνω από τέλειους δακτυλίους είναι πάντα προβολικό),όπως έχει ενταχθεί στο ακόλουθο διάγραμμα των ιδιοτήτων των προτύπων:

Μία ακεραία περιοχή ονομάζεται Prüfer domain (είναι ένας τύπος δακτυλίων που γενικεύει Dedekind περιοχές σε μη-Noetherian πλαίσιο) αν κάθε torsion-free πρότυπο πάνω της είναι επίπεδο.

Κατηγορικά Σύνορα

Σε γενικές γραμμές, τα αυθαίρετα direct sum (άμεσα αθροίσματα) (είναι μια κατασκευή που συνδυάζει πολλά επίπεδα σε ένα νέο μεγαλύτερο επίπεδο) και direct limits (άμεσα όρια) των πρότυπων επιπέδων είναι επίπεδα,μία συνέπεια του γεγονότος ότι το προϊόν του τανυστή ανταλλάσσει με άμεσα αθροίσματα και άμεσα όρια(στην πραγματικότητα με όλα τα σύνορα), και τόσο τα άμεσα αθροίσματα όσο και τα άμεσα όρια είναι exact functors(είναι μία ΄΄χαρτογράφηση΄΄ που διατηρεί ακριβείς ακολουθίες). Υποπρότυπα και πρότυπα παράγοντες των πρότυπων επιπέδων δεν είναι επίπεδα σε γενικές γραμμές (( Π.χ. Z / NZ δεν είναι ένα επίπεδο Z-πρότυπο για n > 1 ). Ωστόσο,έχουμε το ακόλουθο αποτέλεσμα: η ομομορφική εικόνα ενός επίπεδου προτύπου Μ είναι επίπεδη, αν και μόνο αν ο πυρήνας είναι pure submodule (η έννοια της ΄΄καθαρής υποενότητας ΄΄ παρέχει μια γενίκευση του άμεσου αθροίσματος, που είναι μία πράξη στην ΄΄αφηρημένη άλγεβρα΄΄ ενός κλάδου των μαθηματικών) του Μ.

Ο Daniel Lazard (γεννήθηκε το 1941 και είναι Γάλλος που σπούδαζε μαθηματικά και πληροφορική) απέδειξε το 1969 ότι ένα πρότυπο Μ είναι επίπεδο, αν και μόνο αν το Μ είναι το άμεσο άθροισμα ελεύθερων προτύπων που έχουν πεπερασμένο σύνολο παραγωγής. Σαν συνέπεια λοιπόν έχουμε ότι κάθε ελεύθερο πρότυπο που έχει πεπερασμένο σύνολο παραγωγής είναι προβολικό.

Μια αβελιανή ομάδα είναι επίπεδη ( θεωρείται ως Z - πρότυπο) αν και μόνο αν είναι torsion-free (έχουμε αναφέρει πιο πάνω τι σημαίνει αυτός ο όρος).

Επίπεδη κάλυψη

Ενώ δεν υπάρχουν πάντα προβολικές καλύψεις για τα πρότυπα,υπήρχε η άποψη για ορισμένους δακτυλίους ότι κάθε πρότυπο έχει μία επίπεδη κάλυψη,δηλαδή,κάθε πρότυπο M θα είναι ο επιμορφισμός της εικόνας ενός επίπεδου προτύπου F έτσι ώστε κάθε ΄΄χάρτης΄΄ από ένα επίπεδο πρότυπο σε M παράγοντες μέσα στο F , καθώς και κάθε ενδομορφισμός της F πάνω M να είναι ένας αυτομορφισμός. Η κατ' εικασία τότε κάλυψη κατ' εικασία τότε κάλυψη αναφέρεται πρώτη φορά (Enochs 1981, σελίδα 196). Η εικασία αυτή αποδείχθηκε ταυτόχρονα από τους L. Bican, R. El Bashir και E. Enochs. Αυτό η απόδειξη έγινε πράξη με τη σημαντική συνεισφορά των P. Eklof, J. Trlifaj και J. Xu.

Δεδομένου ότι υπάρχουν επίπεδες καλύψεις για όλα τα πρότυπα πάνω από όλους τους δακτυλίους οι ελάχιστες επίπεδες αναλύσεις μπορούν να πάρουν τη θέση των ελάχιστων προβολικών αναλύσεων σε πολλές περιπτώσεις.Η μέτρηση της παρέκκλισης της επίπεδης ανάλυσης από την προβολική ανάλυση ονομάζεται σχετική ομολογική άλγεβρα και ο κλάδος αυτός καλύπτεται από την δουλειά (MacLane 1963) και πιο πρόσφατα από την δουλειά (Enochs & Jenda 2000) εστιάζοντας στην επίπεδη ανάλυση.

Εποικοδομητικά Μαθηματικά

Τα επίπεδα πρότυπα έχουν αυξημένη σημασία στα εποικοδομητικά μαθηματικά(constructive mathematics) όπου τα προβολικά πρότυπα έχουν λιγότερη σημασία.Για παράδειγμα το ότι όλα τα ελεύθερα πρότυπα είναι προβολικά ισοδυναμεί με το πλήρες [[αξίωμα της επιλογής\\ (axiom of choice),έτσι τα θεωρήματα για προβολικά πρότυπα,ακόμα και αν αποδειχθούν εποικοδομητικά,δεν ισχύουν απαραίτητα για ελεύθερα πρότυπα.Αντίθετα, είναι σίγουρο ότι ισχύει ότι τα ελεύθερα πρότυπα είναι επίπεδα,έτσι τα θεωρήματα σχετικά με τα επίπεδα πρότυπα εξακολουθούν να ισχύουν.