Item:Q6193: Difference between revisions

Created claim: defining formula (P333): I^{\oplus k} \to A, \, (y_1, \dots, y_k) \mapsto a_1y_1 + \cdots + a_k y_k
Property / defining formula
 

I^{\oplus k} \to A, \, (y_1, \dots, y_k) \mapsto a_1y_1 + \cdots + a_k y_k
Property / defining formula: / rank
 
Normal rank