Hermite ring (original) (raw)
La notion d'anneau d'Hermite est un peu plus faible que celle d'anneau projectif libre (notion qui est également traitée dans cet article). Le théorème de Quillen-Suslin (qui apporte une réponse positive à une conjecture de Serre) montre que l'anneau de polynômes (où est un corps commutatif) est un anneau d'Hermite (et, d'après le théorème de Hilbert-Serre, il est même projectif libre). Ce résultat cesse d'être exact si le corps est non commutatif dès que . De même, la première algèbre de Weyl (où est un corps commutatif) n'est pas un anneau d'Hermite.
| Property | Value |
|---|---|
| dbo:abstract | In algebra, the term Hermite ring (after Charles Hermite) has been applied to three different objects. According to (p. 465), a ring is right Hermite if, for every two elements a and b of the ring, there is an element d of the ring and an invertible 2 by 2 matrix M over the ring such that (a b)M=(d 0). (The term left Hermite is defined similarly.) Matrices over such a ring can be put in Hermite normal form by right multiplication by a square invertible matrix (appendix to §I.4) calls this property K-Hermite, using Hermite instead in the sense given below. According to (§I.4, p. 26), a ring is right Hermite if any finitely generated stably free right module over the ring is free. This is equivalent to requiring that any row vector (b1,...,bn) of elements of the ring which generate it as a right module (i.e., b1R+...+bnR=R) can be completed to a (not necessarily square) invertible matrix by adding some number of rows. (The criterion of being left Hermite can be defined similarly.) (p. 528) earlier called a commutative ring with this property an H-ring. According to (§0.4), a ring is Hermite if, in addition to every stably free (left) module being free, it has IBN. All commutative rings which are Hermite in the sense of Kaplansky are also Hermite in the sense of Lam, but the converse is not necessarily true. All Bézout domains are Hermite in the sense of Kaplansky, and a commutative ring which is Hermite in the sense of Kaplansky is also a Bézout ring The Hermite ring conjecture, introduced by (p. xi), states that if R is a commutative Hermite ring, then R[x] is a Hermite ring. (en) La notion d'anneau d'Hermite est un peu plus faible que celle d'anneau projectif libre (notion qui est également traitée dans cet article). Le théorème de Quillen-Suslin (qui apporte une réponse positive à une conjecture de Serre) montre que l'anneau de polynômes (où est un corps commutatif) est un anneau d'Hermite (et, d'après le théorème de Hilbert-Serre, il est même projectif libre). Ce résultat cesse d'être exact si le corps est non commutatif dès que . De même, la première algèbre de Weyl (où est un corps commutatif) n'est pas un anneau d'Hermite. (fr) |
| dbo:wikiPageID | 33812870 (xsd:integer) |
| dbo:wikiPageLength | 3661 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 950530507 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Invariant_basis_number dbc:Ring_theory dbr:Proceedings_of_the_American_Mathematical_Society dbr:Bézout_ring dbr:Ring_(mathematics) dbr:Abstract_algebra dbr:Charles_Hermite dbr:Hermite_normal_form dbr:Bézout_domain dbr:Stably_free_module dbr:Transactions_of_the_American_Mathematical_Society dbr:Springer-Verlag |
| dbp:wikiPageUsesTemplate | dbt:Citation dbt:Harvtxt |
| dcterms:subject | dbc:Ring_theory |
| gold:hypernym | dbr:Hermite |
| rdf:type | dbo:Island |
| rdfs:comment | La notion d'anneau d'Hermite est un peu plus faible que celle d'anneau projectif libre (notion qui est également traitée dans cet article). Le théorème de Quillen-Suslin (qui apporte une réponse positive à une conjecture de Serre) montre que l'anneau de polynômes (où est un corps commutatif) est un anneau d'Hermite (et, d'après le théorème de Hilbert-Serre, il est même projectif libre). Ce résultat cesse d'être exact si le corps est non commutatif dès que . De même, la première algèbre de Weyl (où est un corps commutatif) n'est pas un anneau d'Hermite. (fr) In algebra, the term Hermite ring (after Charles Hermite) has been applied to three different objects. According to (p. 465), a ring is right Hermite if, for every two elements a and b of the ring, there is an element d of the ring and an invertible 2 by 2 matrix M over the ring such that (a b)M=(d 0). (The term left Hermite is defined similarly.) Matrices over such a ring can be put in Hermite normal form by right multiplication by a square invertible matrix (appendix to §I.4) calls this property K-Hermite, using Hermite instead in the sense given below. (en) |
| rdfs:label | Hermite ring (en) Anneau d'Hermite (fr) |
| owl:sameAs | freebase:Hermite ring wikidata:Hermite ring dbpedia-fr:Hermite ring https://global.dbpedia.org/id/2euMg |
| prov:wasDerivedFrom | wikipedia-en:Hermite_ring?oldid=950530507&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Hermite_ring |
| is dbo:wikiPageRedirects of | dbr:Right_Hermite dbr:Right_Hermite_ring dbr:H-ring dbr:Left_Hermite dbr:Left_Hermite_ring dbr:Hermite_ring_conjecture dbr:K-Hermite dbr:K-Hermite_ring |
| is dbo:wikiPageWikiLink of | dbr:Right_Hermite dbr:Right_Hermite_ring dbr:Hermite_normal_form dbr:H-ring dbr:List_of_things_named_after_Charles_Hermite dbr:Stably_free_module dbr:Left_Hermite dbr:Left_Hermite_ring dbr:Hermite_ring_conjecture dbr:K-Hermite dbr:K-Hermite_ring |
| is foaf:primaryTopic of | wikipedia-en:Hermite_ring |