Come si fa? Se io ho un modulo (nel senso di analogo di spazio vettoriale ma definito in un anello e non necessariamente in un campo), ho un insieme di elementi del modulo che generano un suo sottomodulo, e voglio trovare una base di questo sottomodulo, come posso procedere?
Esempio: \( \displaystyle {{Z}}^{{{3}}} \), somma diretta di 3 insiemi degli interi, visto come modulo a coefficienti in Z. Ho che (1,0,-1), (2,-3,1), (0,3,1), (3,1,5) generano un suo sottomodulo, di cui si richiede di trovare una base.
Grazie in anticipo.
