JeanMargiX
de maths
Topic : « ence, donne un exo »
JeanMargiX
JeanMargiX
jmy attelle mtn bg
JeanMargiX
preliminaire : a -> (x -> a*x), j'imagine
JeanMargiX
j'imagine aussi que y'a un lien avec l'intégrité de l'anneau dcp pour l'exo
JeanMargiX
jvais tchecker le cas particulier où mon morphisme est aussi surjectif
JeanMargiX
typiquement, R, Q, Z vérifie le cas où l'appli a -> (x -> a*x) est surjectif je pense
JeanMargiX
bv, seulement si le morphisme est continue jcrois
JeanMargiX
enfin,si f morphisme continue de R dans R alors f linéaire
JeanMargiX
(A,+) doit être isomorphe à (End(A,+), +)
JeanMargiX
car un isomorphisme d'anneaux, c'est un isomorphisme de groupe
JeanMargiX
Je suis débile, (End(A,+),+) est forcément isomorphe au groupe additif des endomorphismes "linéaires" de (A,+)
JeanMargiX
Citation de JeanMargiX
jvais tchecker le cas particulier où mon morphisme est aussi surjectif
dcp on en revient bien à ce cas particulier. On peut supposer, sans perte de généralité, que a -> (x -> a*x) est surjectif, puis voir sur quoi ca découle en condition nécessaire
JeanMargiX
À moins que la condition recherchée c'est que End(A,+) c'est juste les morphismes linéaires (ie de la forme x->a*x)
JeanMargiX
jsuis maxi guez
Kristaline
Fascinant, c'est donc cela que les gens normaux ressentent devant un texte de Sellars. 
N33
Citation de Kristaline
Fascinant, c'est donc cela que les gens normaux ressentent devant un texte de Sellars.
j'ai mal a la tete je comprend rien
