Sea $M$ sea un módulo sobre un anillo conmutativo y unital $R$ . Una presentación finita para $M$ es una secuencia exacta $$F\xrightarrow{\alpha} E\xrightarrow{\Phi} M\rightarrow 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 $\alpha$ 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 $\mathbb{Z}$ -módulo. Tiene una matriz de presentación $A$ con $\det A=|G|$ .
¿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|$ .
