Sea M sea un módulo sobre un anillo conmutativo y unital R . Una presentación finita para M es una secuencia exacta Fα→EΦ→M→0, donde E y F son libres R -con bases finitas.
Una matriz de presentación para M se define como una matriz de presentación para α con respecto a las bases de F y E .
En la conferencia tuvimos un ejemplo sin pruebas y no estoy seguro de por qué esto se mantiene:
Consideremos un grupo abeliano finito G es decir G es un Z -módulo. Tiene una matriz de presentación A con det .
¿Cuál es la idea para probar esto, es decir, qué puedo elegir para F,E,\alpha,\Phi ?
Solución. Tenemos G\cong\bigoplus_{i=1}^n\mathbb{Z}/p_i^{k_i}\mathbb{Z} para primos p_i . Además tenemos un homomorfismo \Phi:\bigoplus_{i=1}^n\mathbb{Z}\rightarrow\bigoplus_{i=1}^n\mathbb{Z}/p_i^{k_i}\mathbb{Z},\quad (m_1,...,m_n)\mapsto ([m_1],...,[m_n]).
Entonces obtenemos \ker \Phi=\bigoplus_{i=1}^np_i^{k_i}\mathbb{Z} . Si definimos \alpha:\bigoplus_{i=1}^n\mathbb{Z}\rightarrow\bigoplus_{i=1}^n\mathbb{Z},\quad (m_1,...,m_n)\mapsto (p_1^{k_1}m_1,...,p_n^{k_n}m_n) entonces obtenemos \text{im } \alpha=\ker\Phi . Claramente, \Phi es suryectiva, por lo que obtenemos una secuencia exacta. El determinante respectivo de la base estándar es igual a \prod_i p_i^{k_i}=|G| .