Mi Problema: Vamos a $M$ ser un finitely generadas $A$-módulo de e $T$ un endomorfismo. Quiero demostrar que si $T$ es surjective entonces es invertible.
Mi intento: Deje $m_1,...,m_n$ ser los generadores de $M$$A$. Para cada $b = b_1 m_1 + ... + b_n m_n$ $b_i \in A$ hay $a = a_1 m_1 + ... + a_n m_n$ $a_i \in A$ tal que $$ T(a)=b $$ o en la matriz-vector de la notación $$ T \vec{a} = \vec{b} $$ donde $\vec{x}$ es el vector columna de $x_1,...,x_n$ donde $x = x_1 m_1 + ... + x_n m_n$. Me multiplicar por la matriz adjunta para obtener $$ \mathrm{adj}(T) \vec{b} = \mathrm{adj}(T) T \vec{a} = \det(T) I_n \vec{a} = \det(T) \vec{a} \ . $$ Ahora tome $\vec{b}=0$. A continuación, $\vec{0} = \det(T) \vec{a}$ e lo $T$ es inyectiva si y sólo si $\det(T)$ no es un divisor de cero.
Si puedo demostrar que $T$ es inyectiva, entonces voy a conseguir es invertible. Por eso, creo que el camino es demostrar que $\det(T)$ no es un divisor de cero.
La importancia de finitely generado condición:
Deje $M = A^{\aleph_0} =\{ ( a_1 , a_2 , ... ) \mid a_i \in A \}$ ser un no finitely generadas $A$-módulo. Deje $T : M \to M$ definido por $$ T(a_1, a_2, a_3, ... ) = (a_2, a_3, ... ) \ . $$ Entonces claramente $T$ es surjective pero no inyectiva ($\ker T = \{ ( a , 0 , 0 , ... ) \mid a \in A \}$), y por lo tanto no es invertible.
La importancia de surjective y no inyectiva condición:
Necesita encontrar un contra-ejemplo.