Annulateur d'une partie d'un module
dans Arithmétique
Bonsoir à tous, dans le cadre du problème de [large]C[/large]atalan on utilise le théorème de Thaine or pour cela on utilise la partie annulateur d'un module
Soit donc C=l'annulateur d'un ensemble A
Puis on suppose que A est en bijection en tant que R-module à B alors "C annule aussi B".
Je ne vois pas pourquoi.
[Eugène Charles Catalan (1814-1894) prend toujours une majuscule. AD]
Soit donc C=l'annulateur d'un ensemble A
Puis on suppose que A est en bijection en tant que R-module à B alors "C annule aussi B".
Je ne vois pas pourquoi.
[Eugène Charles Catalan (1814-1894) prend toujours une majuscule. AD]
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
Si $f : A \longrightarrow B$ est un isomorphisme de $R$-module alors pour tout $b \in B$ et $c \in C$ on a $f^{-1}(cb) = cf^{-1}(b)=0$ puisque $f^{-1}(b) \in A$. En composant par $f$ on trouve bien $cb=0$.