Me encanta cuando un estudiante me sorprende. Estoy dando un primer curso de anillos (no necesariamente conmutativos) (con 1) y he pasado las últimas semanas haciendo teoría básica de módulos. Definí una secuencia exacta corta de (izquierda) $R$ -y un homomorfismo de secuencias exactas cortas (un homomorfismo de $0\to A\to B\to C\to 0$ a $0\to A'\to B'\to C'\to 0$ es sólo $R$ -mapas de módulos $A\to A'$ , $B\to B'$ y $C\to C'$ tal que los dos cuadrados obvios conmuten). Por tanto, existe una noción obvia de isomorfismo de secuencias exactas cortas.
Hoy uno de los estudiantes me preguntó si era posible tener un anillo $R$ y módulos $A,A',B,B',C,C'$ sentadas en dos secuencias exactas cortas como las anteriores, y tales que $A$ era isomorfo a $A'$ , $B$ era isomorfo a $B'$ y $C$ era isomorfo a $C'$ pero que las secuencias no eran isomorfas. Le dije: "Claro, luego te mando un contraejemplo por correo electrónico" (la lógica es que si se tratara de un teorema, lo conocería). Pensé que podría inventar un contraejemplo en el metro de vuelta a casa, pero fracasé :-/
Si $R$ es un campo, entonces las secuencias cortas exactas se dividen (sí, estamos asumiendo AC), así que eso no va a ninguna parte. Así que pensé que $R=k[X]$ sería un buen punto de partida, $k$ un campo. En este caso un $R$ -es sólo un $k$ -equipado con un endomorfismo y pensé que esto me daría suficiente flexibilidad. Quería $A,A',C,C'$ ser $R/(x^2)$ e intenté hacer algunos cálculos matriciales complicados para encontrar un ejemplo, pero no conseguí que funcionara. Entonces recurrí a $R=k[x,y]$ pero ahora un espacio vectorial bidimensional es un $R$ -cuando le damos dos mapas lineales conmutativos y, de alguna manera, esta configuración tenía demasiados endomorfismos para que me enfrentara a hacer el álgebra. Entonces se me ocurrió que podría probar con un anillo polinómico en dos variables no conmutables, pero entonces era mi parada y era el momento de empezar a pensar en otras cosas.
Estoy casi seguro de que incluso habrá un contraejemplo con $R$ conmutativa (por eso pensaba en el caso conmutativo). ¿Alguien me puede decir el truco que me estoy perdiendo?