∑
MathTCG
#010 / 100•Algebra & Numbers•MathTCG #310 / 500•★★★★Épique•⊕Algèbre•Théorème

Théorème d'isomorphisme de Noether

Période historique : 1927

Les trois théorèmes reliant universellement sous-structures, noyaux et quotients en algèbre générale.

Contenu & Formulation mathématique

Hypothèses nécessaires
f morphisme de groupes (ou d'anneaux ou de modules) entre deux structures algébriques.
Énoncé formel
L'image de f est isomorphe au quotient de l'espace de départ par le noyau.
G/ker⁡(f)≅Im⁡(f)G / \ker(f) \cong \operatorname{Im}(f)

Genèse & Portée historique

Le premier théorème d'isomorphisme affirme que pour tout morphisme de groupes f : G -> H, le quotient du groupe de départ par le noyau est canoniquement isomorphe à l'image : G / ker(f) ~= Im(f). Ce principe structurel s'applique identiquement aux anneaux, modules et espaces vectoriels.

Emmy Noether a formulé ces théorèmes d'isomorphisme dans toute leur pureté abstraite en 1927, transformant l'algèbre d'une étude des formules en une théorie des structures.

« Effacer le noyau d'une application pour révéler la copie parfaite de son image. »

Filiations & Relations conceptuelles (1)

Établi / Formulé par#107

Emmy Noether

Théorèmes fondamentaux de factorisation algébrique par passage au quotient.

Objet de collection MathTCG

#310
★★★★Épique
⊕

Théorème d'isomorphisme de Noether

Algèbre•THÉORÈME

Hypothèses : f morphisme de groupes (ou d'anneaux ou de modules) entre deux structures algébriques.

G/ker⁡(f)≅Im⁡(f)G / \ker(f) \cong \operatorname{Im}(f)
1927

Dans l'édition physique et numérique de MathTCG, cette carte appartient à l'extension Algebra & Numbers.

Extension : Algebra & Numbers (#010 / 100)
Numéro global MathTCG : MathTCG #310 / 500
Rareté officielle : Épique (★★★★)
Domaine théorique : Algèbre
Identifiant pérenne : theoreme-d-isomorphisme-de-noether
Consulter mon classeurExplorer tout le recueil