Matriu (matemàtiques): diferència entre les revisions

Contingut suprimit Contingut afegit
Línia 221:
 
== Les matrius en l'[[àlgebra abstracta]] ==
{{AP|Àlgebra abstracta}}
Si comencem amb un [[anell (matemàtiques)|anell]] [[ℝ]], podem considerar el conjunt <math>\mathcal M_{m\times n}(\mathbb R)</math> de totes les matrius ''m''-per-''n'' amb entrades en ℝ. La suma i el producte d'aquestes matrius es poden definir com en el cas de matrius complexes o reals (vegeu [[#Suma, resta i producte de matrius|amunt]]). El conjunt <math>\mathcal M_{n\times n}(\mathbb R)</math> de totes les matrius quadrades ''n''-per-''n'' en ℝ és un anell pel seu propi dret, isomòrfic a l'[[anell d'endomorfismes]] de [[mòdul (matemàtiques)|mòdul]] esquerre ℝ<sup>''n''</sup>.
 
SiDe comencemmanera ambsimilar, unsi [[anellles (matemàtiques)|anell]]entrades es prenen d'un [[semianell]], podem considerar el conjunt <math>\mathcal M_{m\times n}(\mathbb R)</math> de totes les matrius ''m'S'-per-''n'' amb entrades en ℝ., Lala suma i el producte d'aquestesde matrius es poden definir encara com en el cas de matrius complexes o reals (vegeu [[#Suma i multiplicació de matrius|amunt]])usual. El conjunt <math>\mathcal M_{n\times n}(\mathbb R)</math> de totes les matrius quadrades ''n''-per-×''n'' en '''S''' és un anellsemianell pelen seusi. propiCal dret,recordar isomòrficque aels algorismes ràpids de multiplicació de matrius com l'[[anellalgorisme d'endomorfismesde Strassen]] denormalment [[mòduls'apliquen (matemàtiques)|mòdul]]només esquerrea ℝ<sup>''n''</sup>matrius sobre anells i no funcionen per matrius sobre semianells que no són anells.
 
De manera similar, si les entrades es prenen d'un [[semianell]] '''S''', la suma i el producte de matrius es poden definir encara com usual. El conjunt de totes les matrius quadrades ''n''×''n'' en '''S''' és un semianell en sí. Cal recordar que els algorismes ràpids de multiplicació de matrius com l'[[algorisme de Strassen]] normalment s'apliquen només a matrius sobre anells i no funcionen per matrius sobre semianells que no són anells.
 
Si ℝ és un anell commutatiu, aleshores <math>\mathcal M_{n\times n}(\mathbb R)</math> és una [[àlgebra associativa]] unitària sobre ℝ. Aleshores també és significatiu definir el [[determinant (matemàtiques)|determinant]] de les matrius quadrades usant la ''[[fórmula de Leibniz]]''; una matriu és invertible [[si i només si]] el seu determinant és invertible en ℝ.