Me han dicho que el módulo de #% de $\mathbb{Z}$% #% no es gratis.
Para que un módulo ser libre, debe existir un subconjunto tal que cada elemento es expresable como una combinación lineal finita de elementos de ese subconjunto y subconjunto debe ser linealmente independiente. Para el caso de $\mathbb{Z}/2\mathbb{Z}={0,1}$, ¿por qué no el conjunto de $\mathbb{Z}/2\mathbb{Z}$ una base, desde ${1}$ y $0=0\cdot1$?
Gracias por las respuestas