| Property |
Value |
| dbo:abstract
|
- En mathématiques la forme trace est un concept associé à la théorie de Galois et à la théorie algébrique des nombres. Si L est une extension finie d'un corps commutatif K, la forme trace est la forme bilinéaire symétrique sur le K-espace vectoriel L, qui fait correspondre au couple (x, y) la trace de l'application linéaire t ↦ xyt, de L dans L. Dans le cas d'un anneau d'entiers algébriques d'un corps de nombres (c'est-à-dire d'une extension finie du corps ℚ des rationnels), la forme trace possède une propriété remarquable : son déterminant ne dépend pas de la base choisie. Cette propriété permet de définir le discriminant d'un tel anneau. La forme trace, à travers la notion de discriminant, permet d'établir des démonstrations d'arithmétique comme la finitude du groupe des classes d'idéaux ou le théorème des unités de Dirichlet. (fr)
- En mathématiques la forme trace est un concept associé à la théorie de Galois et à la théorie algébrique des nombres. Si L est une extension finie d'un corps commutatif K, la forme trace est la forme bilinéaire symétrique sur le K-espace vectoriel L, qui fait correspondre au couple (x, y) la trace de l'application linéaire t ↦ xyt, de L dans L. Dans le cas d'un anneau d'entiers algébriques d'un corps de nombres (c'est-à-dire d'une extension finie du corps ℚ des rationnels), la forme trace possède une propriété remarquable : son déterminant ne dépend pas de la base choisie. Cette propriété permet de définir le discriminant d'un tel anneau. La forme trace, à travers la notion de discriminant, permet d'établir des démonstrations d'arithmétique comme la finitude du groupe des classes d'idéaux ou le théorème des unités de Dirichlet. (fr)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 20793 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
| |
| prop-fr:lienAuteur
|
- Serge Lang (fr)
- Bas Edixhoven (fr)
- Serge Lang (fr)
- Bas Edixhoven (fr)
|
| prop-fr:lireEnLigne
| |
| prop-fr:nom
|
- Lang (fr)
- Edixhoven (fr)
- Moret-Bailly (fr)
- Lang (fr)
- Edixhoven (fr)
- Moret-Bailly (fr)
|
| prop-fr:prénom
|
- Laurent (fr)
- Serge (fr)
- Bas (fr)
- Laurent (fr)
- Serge (fr)
- Bas (fr)
|
| prop-fr:référence
|
- Référence:Algèbre (fr)
- Référence:Algèbre (fr)
|
| prop-fr:titre
|
- Algèbre (fr)
- Théorie algébrique des nombres, cours de maîtrise de mathématiques (fr)
- Algèbre (fr)
- Théorie algébrique des nombres, cours de maîtrise de mathématiques (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
| |
| dct:subject
| |
| rdfs:comment
|
- En mathématiques la forme trace est un concept associé à la théorie de Galois et à la théorie algébrique des nombres. Si L est une extension finie d'un corps commutatif K, la forme trace est la forme bilinéaire symétrique sur le K-espace vectoriel L, qui fait correspondre au couple (x, y) la trace de l'application linéaire t ↦ xyt, de L dans L. La forme trace, à travers la notion de discriminant, permet d'établir des démonstrations d'arithmétique comme la finitude du groupe des classes d'idéaux ou le théorème des unités de Dirichlet. (fr)
- En mathématiques la forme trace est un concept associé à la théorie de Galois et à la théorie algébrique des nombres. Si L est une extension finie d'un corps commutatif K, la forme trace est la forme bilinéaire symétrique sur le K-espace vectoriel L, qui fait correspondre au couple (x, y) la trace de l'application linéaire t ↦ xyt, de L dans L. La forme trace, à travers la notion de discriminant, permet d'établir des démonstrations d'arithmétique comme la finitude du groupe des classes d'idéaux ou le théorème des unités de Dirichlet. (fr)
|
| rdfs:label
|
- Forme trace (fr)
- Forme trace (fr)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
