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: $ 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.