Mòdul lliure: diferència entre les revisions
Contingut suprimit Contingut afegit
m Robot substitueix 'conmutativitat' per 'commutativitat' |
m Corregit: - obliga a que <math>\tilde{i} + obliga que <math>\tilde{i} |
||
Línia 32:
|}
la commutativitat és òbvia i la unicitat establerta per la definició per a <math>\tilde{i} = h \,</math> del diagrama de l'esquerra obliga
Sigui ara <math>\left(F'_{S}, i'\right) \,</math> un altre mòdul lliure sobre el conjunt de generadors <math>S</math>. Tenim els següents diagrames commutatius:
| |||