| Vector space | 000AYPA9AJ | concept | 15A03 |
| Singular value decomposition | 000NPTMX6J | statement | 15A18, 15A23 |
| Block diagonal matrix | 001T5FJDC1 | concept | 15A99 |
| Row equivalence | 006BHFWMAP | concept | 15A06 |
| Dimension of the dual space | 00889YD15K | statement | 15A03, 15A04 |
| Linear map of a matrix | 009892PZ30 | definition | 15A04 |
| Scaling a row scales the determinant | 009CY8JXFX | statement | 15A15 |
| Composition of linear maps | 00BKRZKMSS | concept | 15A04 |
| Lower triangular matrix | 00J3KZP8Y0 | concept | 15A99 |
| Nullity | 00K4FK4NBH | definition | 15A03, 15A04 |
| Determinant | 00KDZRW4C0 | concept | 15A15 |
| Every vector space has a basis | 00MS9VMQ9Z | statement | 15A03, 03E25 |
| Positive definite quadratic form | 00QN1N6MNT | definition | 15A63, 11E04 |
| Gram matrix | 00SPJSDT3Z | concept | 15A63, 15B57 |
| Linear subspace | 00YC1D652K | concept | 15A03 |
| Jordan–Chevalley decomposition | 011K11VPJN | statement | 15A21, 15A20 |
| Leibniz formula for determinants | 016PE4VZ8Q | statement | 15A15 |
| Finite-dimensional vector space | 018W3V3TCT | definition | 15A03 |
| Block matrix | 01AXG9KZQF | definition | 15A99 |
| Inner product space | 01EK923SKP | definition | 15A63, 46C05 |
| Determinant of a scalar multiple | 01EXSMK864 | statement | 15A15 |
| Generalised eigenvector | 01H6QKWGDH | concept | 15A18 |
| Positive semidefinite matrix | 01MMVW8CKC | concept | 15B57, 15A63 |
| Nondegenerate bilinear form | 01NHFZF2SK | concept | 15A63 |
| Definite and indefinite quadratic forms | 01RBSSGMY5 | concept | 15A63 |
| Elementary matrix | 01REXW3WWE | concept | 15A23 |
| Orthogonal family for a bilinear form | 01TXN7ETH2 | concept | 15A63 |
| Adding a multiple of one row to another preserves the determinant | 01ZTQBK64Q | statement | 15A15 |
| Matrix exponential | 020M04FN1H | concept | 15A16 |
| Reflection | 025158VEYZ | definition | 15A04, 51F15 |
| Similar matrices | 027KDW2K72 | definition | 15A21 |
| Rank of a product of matrices | 02FDWY55AS | statement | 15A03 |
| Polar form of a quadratic form | 02STTYFBVY | definition | 15A63, 11E04 |
| External direct sum | 02WZB422CE | definition | 15A03, 16D10 |
| Kernel of a linear map | 02YFME3RGW | definition | 15A04 |
| Matrix multiplication | 032Q9FB8MT | concept | 15A99 |
| Projection | 033DA1WE8Y | concept | 15A04 |
| Triangularisation | 0363JMQ42Y | statement | 15A20, 15A21 |
| Characteristic polynomial | 039HF58KQ5 | definition | 15A15, 15A18 |
| Column space | 03AJKXH1AV | concept | 15A03 |
| Determinant of a linear map | 03F5KP94K0 | definition | 15A04, 15A15 |
| Vector triple product | 03FTB26QYD | statement | 15A72 |
| Dimension | 03GSZ8RTZJ | concept | 15A03 |
| Minimal polynomial | 03NDVCSHSB | concept | 15A18 |
| A matrix is invertible iff its determinant is a unit | 03Q7RE2HXR | statement | 15A15 |
| Skew-symmetric matrix | 03RNVFDEAN | definition | 15A99 |
| Nilpotent matrix | 0419GJC84P | definition | 15A99 |
| Direct sum of subspaces | 041JTZCK9Q | definition | 15A03 |
| Rational canonical form | 042JWAR3Q0 | statement | 15A21 |
| Multilinear map | 0443XNARDV | concept | 15A69 |
| Diagonal matrix | 044JNC7ZAA | concept | 15A99 |
| Exponential of a sum of commuting matrices | 04BD23PSK5 | statement | 15A16 |
| Complementary subspaces | 04C3BAHV03 | definition | 15A03 |
| Determinant is multiplicative | 04CPJ6AF00 | statement | 15A15 |
| Spectral theorem for normal matrices | 04CW1P44VD | statement | 15A21, 47B15 |
| Coordinate vector | 04CYQHN6MC | concept | 15A03 |
| Spectrum of a matrix | 04EHB7YDQS | definition | 15A18 |
| Riesz representation theorem in finite dimensions | 04GYPXDXNH | statement | 46C05, 15A04 |
| Consistent and inconsistent systems | 04JAAVHDDM | definition | 15A06 |
| Homogeneous system of linear equations | 04KGXJG1A2 | concept | 15A06 |
| Determinant as signed volume | 04X3PR72VJ | concept | 15A15 |
| Elementary row operations | 04XWH28452 | concept | 15A06 |
| Product of a matrix and its adjugate | 0528HKWZ1Z | statement | 15A09, 15A15 |
| Annihilating polynomial | 052M4SX57M | definition | 15A18 |
| Eigenvalues are the roots of the characteristic polynomial | 053QVHF6N7 | statement | 15A18 |
| Sesquilinear form | 054YEQ0Y8M | concept | 15A63 |
| A matrix is diagonalisable iff it has a basis of eigenvectors | 056SW1E0AC | statement | 15A20 |
| Scalar triple product | 059Q2XWJDC | statement | 15A72 |
| Isomorphism with the coordinate space | 059THXBRBB | statement | 15A03 |
| Determinant of a family of vectors in a basis | 05CJSSXPR3 | concept | 15A15, 15A75 |
| Vector space | 05EGHEQZAW | definition | 15A03 |
| Polarisation identity | 05FKHRT0B4 | statement | 46C05, 15A63 |
| Dimension | 05G2G0P224 | definition | 15A03 |
| Dot product | 05HQYM0R4G | definition | 15A63 |
| Matrix of a composition is the product of matrices | 05Q1B7MH0M | statement | 15A04 |
| Orthogonal family for a bilinear form | 05Q4JD6XEH | definition | 15A63 |
| Composition of linear maps | 05YBKMRVAR | definition | 15A04 |
| Nilpotent endomorphism | 063D5Z2C70 | concept | 15A04, 15A21 |
| Scalar matrix | 067NKSBEWT | concept | 15A99 |
| Row space | 069MCGX635 | concept | 15A03 |
| Laplace expansion along a column | 06AMCJMMVM | statement | 15A15 |
| Reflection | 06BRDF3F0E | concept | 15A04, 51F15 |
| Identity matrix | 06DW9BAWB1 | object | 15A99 |
| Linear map of a matrix | 06HMCTAQH3 | concept | 15A04 |
| Dimension of a direct product | 06HN47VPTH | statement | 15A03 |
| Grassmann's formula | 06HTJNCMPA | statement | 15A03 |
| Spectral theorem | 06J4PXRG22 | statement | 47B15, 15A18 |
| Homogeneous system of linear equations | 06JT7KDHXM | definition | 15A06 |
| Every spanning set contains a basis | 06MRNP4BNT | statement | 15A03 |
| Dimension of the annihilator | 06Q1EFVH0Q | statement | 15A03, 15A04 |
| Rayleigh quotient | 06WHP8SE98 | concept | 15A18, 15A42 |
| Geometric multiplicity | 06YSJVR356 | definition | 15A18 |
| Linear isometry | 0717XXPWM6 | definition | 15A04, 46B04 |
| Associativity of matrix multiplication | 073E4XC016 | statement | 15A99 |
| Symmetric bilinear form | 0744CN4MDA | definition | 15A63 |
| One-sided inverse of a square matrix is two-sided | 0753Y2X5K6 | statement | 15A09 |
| Matrix multiplication | 076JGP6R3T | definition | 15A99 |
| Determinant of the inverse | 0783S9D0ZH | statement | 15A15 |
| Orthogonal complement | 079D68S3AW | definition | 15A63, 46C05 |
| Nilpotent matrix | 07BSPZPSMF | concept | 15A99 |
| Signature of a quadratic form | 07EZA80NEH | concept | 15A63, 11E04 |
| Circulant matrix | 07HFRH2AWY | example | 15B05 |
| Dual space | 07JBSZE0V4 | concept | 15A04 |
| Jordan block | 07PH4RX0X5 | concept | 15A21 |
| Generalised eigenspace | 07PNDWA7CE | definition | 15A18 |
| Trace of a matrix | 07PTPSZPME | definition | 15A15 |
| Third isomorphism theorem for vector spaces | 07RB3EMBWW | statement | 15A03, 16D10 |
| Linear isometry | 07SJXTWVQW | concept | 15A04, 46B04 |
| Diagonalisable matrix | 07SQCNV233 | concept | 15A20 |
| Adjugate matrix | 07W9H8QF38 | concept | 15A09, 15A15 |
| Linear form | 07YQ1C78G0 | concept | 15A04 |
| Anticommutativity of the cross product | 07ZS685JJC | statement | 15A72 |
| Jordan normal form | 085HQ5G5TE | statement | 15A21, 15A20 |
| Positive semidefinite matrix | 0880F9EQCP | definition | 15B57, 15A63 |
| Spanning set | 088RYKAWK9 | concept | 15A03 |
| Existence of an eigenvalue over an algebraically closed field | 08CJB2NQ92 | statement | 15A18 |
| Exterior algebra | 08HK38GCSM | definition | 15A75 |
| Permutation matrix | 08SP3DF8NB | concept | 15A99, 05A05 |
| Semisimple endomorphism | 08VRX3Q4PB | concept | 15A04, 15A20 |
| Cauchy–Binet formula | 08WE2W7DYS | statement | 15A15 |
| Steinitz exchange lemma | 08ZDRN6H41 | statement | 15A03 |
| Alternating bilinear form | 08ZQAKBKHF | definition | 15A63 |
| An injective endomorphism of a finite-dimensional space is surjective | 0912EEEVCT | statement | 15A04 |
| Minimal polynomial divides the characteristic polynomial | 093X6MN6Y6 | statement | 15A18 |
| Multiplication by a matrix as a linear map | 094V2VBJXJ | concept | 15A04 |
| Row equivalence | 095DDGZF16 | definition | 15A06 |
| Linearly independent set of the right size is a basis | 096V7H13H9 | statement | 15A03 |
| Cramer's rule | 0977KZ6PQB | statement | 15A06, 15A15 |
| Gauss–Jordan elimination | 098D6FQN3N | concept | 15A06, 65F05 |
| Geometric multiplicity | 099TWVJ909 | concept | 15A18 |
| Transpose | 09DXWYRD43 | concept | 15A99 |
| Coordinates in an orthonormal basis | 09DZ8CD1AK | statement | 15A63, 46C05 |
| Trace of a transpose | 09E1RCZ7YT | statement | 15A15 |
| Transpose of a product | 09GK5PS824 | statement | 15A99 |
| Scalar multiplication of matrices | 09V6DDACXR | concept | 15A99 |
| Singular value | 09VMDSRXWJ | concept | 15A18 |
| Orthonormal family | 09VYHEF2VT | definition | 15A63, 46C05 |
| Permuting rows multiplies the determinant by the sign | 09YB3WQG38 | statement | 15A15 |
| Determinant of a matrix exponential | 0A1QQN333A | statement | 15A16, 15A15 |
| Invariant subspace | 0ACX5QT8TE | concept | 15A04, 47A15 |
| Generalised eigenspace | 0AJ035ZTZE | concept | 15A18 |
| Multiplication by a matrix as a linear map | 0AJ0KP1B31 | definition | 15A04 |
| Gram matrices are positive semidefinite | 0AM050KCAW | statement | 15B57, 15A63 |
| Nullity | 0APCFW7639 | concept | 15A03, 15A04 |
| Second isomorphism theorem for vector spaces | 0APN65D6Y6 | statement | 15A03, 16D10 |
| Unitary matrix | 0AR68JTMDT | concept | 15B57, 15A21 |
| Block matrix | 0ASDFEQS6P | concept | 15A99 |
| Annihilator of a subspace | 0ASHNYF7AG | concept | 15A04 |
| Back substitution | 0ATFVE08MW | concept | 15A06, 65F05 |
| Symmetric bilinear form | 0AXZNE5XNH | concept | 15A63 |
| Eigenspace | 0AYEPBQMAW | definition | 15A18 |
| Dual map | 0AZ5ARP287 | concept | 15A04 |
| Eigenvector | 0B5H4208Z9 | definition | 15A18 |
| Orthogonal projection | 0B8KZRT28M | concept | 15A04, 46C05 |
| Linear isomorphism | 0B8T10CE7N | concept | 15A04 |
| Rotation matrix | 0B9QNFGTHM | example | 15B10 |
| Matrix determinant lemma | 0BC3Q6K92H | statement | 15A15 |
| Pivot | 0BCMGDHZGR | definition | 15A06 |
| Tensor product of vector spaces | 0BF2DE2SYK | concept | 15A69 |
| A linear map is injective iff its kernel is trivial | 0BJBYCGMWE | statement | 15A04 |
| Spanning set | 0BJKVF90Z6 | definition | 15A03 |
| Square root of a positive semidefinite matrix | 0BJVDCF38Y | concept | 15A16, 15B57 |
| Coordinate vector | 0BMVBHTWV2 | definition | 15A03 |
| Polynomial of an endomorphism | 0BNEXSKNRV | definition | 15A04, 15A54 |
| Eigenvalue | 0BQAA2BK3Q | concept | 15A18 |
| Quotient space | 0BR3FY5Q8M | concept | 15A03 |
| Minor | 0BT9BYWVRY | concept | 15A15 |
| Matrix addition | 0BVXADM10P | definition | 15A99 |
| Least squares | 0BYTQ4X1HC | concept | 65F20, 15A06 |
| Characteristic polynomial of a linear map | 0BZ81AJNWF | definition | 15A04, 15A18 |
| Laplace expansion along a row | 0C08BQ3M05 | statement | 15A15 |
| Determinant is the product of the eigenvalues | 0C2F40MEBC | statement | 15A15, 15A18 |
| Dual map | 0C2TQMW5A1 | definition | 15A04 |
| Determinant | 0C3CFHDN6R | definition | 15A15 |
| Eigenvalues of a self-adjoint operator are real | 0C4NT4GT3X | statement | 47B15, 15A18 |
| Normal operator | 0C8BR8XRTR | concept | 47B15, 15A04 |
| Matrix–vector product | 0CCQV3884B | definition | 15A99 |
| Classification of complex quadratic forms | 0CEX9BRXRZ | statement | 11E04, 15A63 |
| Special orthogonal group | 0CGYNDCWRR | object | 15B10, 20G20 |
| Equivalent matrices | 0CMHSGTWXB | concept | 15A21 |
| Square matrix | 0CP7YY6NAG | definition | 15A99 |
| Linear independence | 0CRMGPAH83 | concept | 15A03 |
| Unitary matrix | 0D6RMJ10M9 | definition | 15B57, 15A21 |
| Matrix of the adjoint is the conjugate transpose | 0DBTE6HVBD | statement | 15A04, 47A05 |
| Elementary row operations | 0DE5R5EB4D | definition | 15A06 |
| Alternating bilinear form | 0DGDS5XY84 | concept | 15A63 |
| Spectral theorem for Hermitian matrices | 0DGZBQWZWN | statement | 15A18, 15B57 |
| Linear equation | 0DNNT7DBFM | definition | 15A06 |
| Transvection | 0DTCBCKEJP | concept | 15A23 |
| Linear span | 0DTY8B9HMS | concept | 15A03 |
| Conjugate transpose | 0DXKE10PHF | concept | 15A99, 15B57 |
| Dimension of the orthogonal complement | 0E2NYPVSP9 | statement | 15A03, 46C05 |
| Polynomial of an endomorphism | 0E3MV6E6MG | concept | 15A04, 15A54 |
| Algebra of endomorphisms | 0E3X2G1ZQB | object | 15A04, 16S50 |
| Similar matrices | 0E89HQATM8 | concept | 15A21 |
| Invertible matrix | 0EB9N0S33C | concept | 15A09 |
| Hermitian matrix | 0EKZCX4K3P | definition | 15B57 |
| Inverse in terms of the adjugate | 0ENVM493VK | statement | 15A09 |
| Normal operator | 0ENZN5G4CV | definition | 47B15, 15A04 |
| Invariant subspace | 0EP59ESQ94 | definition | 15A04, 47A15 |
| Row space | 0EP73HK4C4 | definition | 15A03 |
| Linear subspace | 0EPTJA5QV4 | definition | 15A03 |
| QR decomposition | 0ERWG4NXQ9 | statement | 15A23, 65F25 |
| Gershgorin circle theorem | 0ETGP0XVCJ | statement | 15A42, 15A18 |
| Linear independence | 0EVHJFTG9Z | definition | 15A03 |
| Rank of a matrix | 0EWQEYRVA8 | definition | 15A03 |
| Conjugate transpose | 0EX045E2BP | definition | 15A99, 15B57 |
| Product of vector spaces | 0EX2HPXPJ6 | concept | 15A03 |
| Lower triangular matrix | 0EZSD6T9E0 | definition | 15A99 |
| Column space | 0F0RPPJ2TT | definition | 15A03 |
| Row echelon form | 0F27PBRWD7 | definition | 15A06 |
| Cayley–Hamilton theorem | 0F765KFC2J | statement | 15A24, 15A18 |
| General linear group | 0FCHE902D7 | object | 20G15, 15A09 |
| Matrix ring | 0FHVPRAE60 | object | 15A99, 16S50 |
| Simultaneous diagonalisation | 0FK17N4DKA | statement | 15A20, 15A27 |
| Scalar matrix | 0FRM62SG7D | definition | 15A99 |
| Trace is a coefficient of the characteristic polynomial | 0FRYPZ6D0X | statement | 15A15, 15A18 |
| Determinant of a matrix with a zero row | 0FS6B46E5T | statement | 15A15 |
| Orthonormal basis | 0FWJ0VW561 | definition | 15A63, 46C05 |
| Algebraic multiplicity | 0FY42N02DV | concept | 15A18 |
| Eigenspace | 0G0RFPG8HR | concept | 15A18 |
| Sylvester's determinant theorem | 0G24VQ1088 | statement | 15A15 |
| Tensor product of vector spaces | 0G31VJ5YS5 | definition | 15A69 |
| Trace is linear | 0GJWQZCPZM | statement | 15A15 |
| Adjugate matrix | 0GMPYM0NSR | definition | 15A09, 15A15 |
| Wedge product of forms | 0GRAATMGP1 | concept | 15A75 |
| System of linear equations | 0GT4WWGWH2 | concept | 15A06 |
| Function space | 0GZB2SN0PH | example | 15A03, 46E99 |
| Rule of Sarrus | 0H8SZFFDXJ | statement | 15A15 |
| Eigenvectors with distinct eigenvalues are linearly independent | 0HNMFG8F8K | statement | 15A18 |
| Coefficient matrix | 0HQFZAP3ND | concept | 15A06 |
| Linear span | 0HR573CHNM | definition | 15A03 |
| Rouché–Capelli theorem | 0HV1SKWPMS | statement | 15A06 |
| Gram matrix | 0HX8HZ1WTQ | definition | 15A63, 15B57 |
| Eigenvalues of a positive definite matrix are positive | 0HYC2RHD3M | statement | 15B57, 15A18 |
| Polar form of a quadratic form | 0HYFWKKY3C | concept | 15A63, 11E04 |
| Quadratic form | 0HZNE5QZDJ | definition | 15A63, 11E04 |
| Pivot | 0J0BBCMJ5W | concept | 15A06 |
| Quotient map | 0J0SK5FF4M | definition | 15A03, 15A04 |
| Polar decomposition | 0J2C7BDJQA | statement | 15A23 |
| Characteristic polynomial of a linear map | 0J5EMJRRFM | concept | 15A04, 15A18 |
| Endomorphism | 0J7H0YBFDJ | concept | 15A04 |
| Determinant of a block triangular matrix | 0J9TVTNB4K | statement | 15A15 |
| Image of a linear map | 0JB228DCWB | definition | 15A04 |
| Linear combination | 0JB3DP1BMF | definition | 15A03 |
| Rank of a linear map | 0JGB7A6GTS | definition | 15A03, 15A04 |
| Space of polynomials of bounded degree | 0JGZCDT5DN | example | 15A03 |
| Eigenspaces of a self-adjoint operator are orthogonal | 0JHGAV9H25 | statement | 47B15, 15A18 |
| Kronecker product | 0JK6M18QZH | definition | 15A69 |
| Sum of subspaces | 0JMTY8MF54 | concept | 15A03 |
| System of linear equations | 0JTRMBQ1SA | definition | 15A06 |
| Gaussian elimination | 0JVJ2WCXZH | concept | 15A06, 65F05 |
| An orthonormal family is linearly independent | 0JWM6GJNQW | statement | 15A63, 46C05 |
| Square matrix | 0JXZKX526R | concept | 15A99 |
| Determinant of a triangular matrix | 0K1KKMFHYH | statement | 15A15 |
| Scalar multiplication of matrices | 0K28YXMS7Q | definition | 15A99 |
| Singular value | 0K2TX12X58 | definition | 15A18 |
| Determinant of a matrix with two equal rows | 0K4VQB7HWR | statement | 15A15 |
| Rayleigh quotient | 0K4WCNTMHG | definition | 15A18, 15A42 |
| Matrix exponential | 0K665H5V1S | definition | 15A16 |
| Alternating multilinear map | 0K6CH0MT0F | concept | 15A69, 15A75 |
| Idempotent matrix | 0K7TD9BV2D | definition | 15A99 |
| Determinant via the Schur complement | 0KA7A4ENVJ | statement | 15A15 |
| Nondegenerate bilinear form | 0KAN330PAH | definition | 15A63 |
| Idempotent matrix | 0KCE8CG86P | concept | 15A99 |
| Basis | 0KCQ9Y3QKA | concept | 15A03 |
| Determinant of a linear map is the determinant of its matrix | 0KMN32XGPF | statement | 15A04, 15A15 |
| Restriction of an endomorphism to an invariant subspace | 0KN7EPH7Z0 | concept | 15A04, 47A15 |
| Signature of a quadratic form | 0KQZYGEJTF | definition | 15A63, 11E04 |
| Symmetric bilinear form associated with a quadratic form | 0KRVRV5V80 | concept | 15A63, 11E04 |
| Change of basis matrix | 0KWXYZPJKN | definition | 15A03, 15A04 |
| Positive definite matrix | 0KX66CZMBB | concept | 15B57, 15A63 |
| Trace of a linear map | 0KZDNGA561 | concept | 15A04, 15A15 |
| Block diagonal matrix | 0M0SNKZ482 | definition | 15A99 |
| Every linearly independent set extends to a basis | 0M4SXE5WW3 | statement | 15A03 |
| Elementary matrix | 0M79HRJCRR | definition | 15A23 |
| Complementary subspaces | 0M83V17KHX | concept | 15A03 |
| Dual space | 0M856Q1AMZ | definition | 15A04 |
| Nilpotent endomorphism | 0M8MHYERTY | definition | 15A04, 15A21 |
| Self-adjoint operator | 0MB8HQW495 | definition | 47B15, 15B57 |
| Exterior algebra | 0MDMZ965VE | concept | 15A75 |
| Upper triangular matrix | 0MKABWDRNC | definition | 15A99 |
| Change of basis matrix | 0MKRHZB3WS | concept | 15A03, 15A04 |
| Product of vector spaces | 0MM085RX00 | definition | 15A03 |
| Diagonalisable iff the minimal polynomial has distinct roots | 0MPAJRB23T | statement | 15A20 |
| Change of basis formula | 0MQXVZEBMT | statement | 15A04 |
| Normal matrix | 0MR0BYF0K2 | concept | 15B57, 15A21 |
| Alternating multilinear map | 0MSWYWHYF5 | definition | 15A69, 15A75 |
| First isomorphism theorem for linear maps | 0MTBGVZ4XJ | statement | 15A04, 16D10 |
| Matrix | 0N1MY1T0W9 | definition | 15A99 |
| Symmetric matrix | 0N28QN4CYA | definition | 15A99, 15B57 |
| Quotient map | 0N4F5FMQZW | concept | 15A03, 15A04 |
| Upper triangular matrix | 0N4XY7Z3NN | concept | 15A99 |
| Square root of a positive semidefinite matrix | 0N5GP3YT8T | definition | 15A16, 15B57 |
| Cross product | 0N5N15HWZ7 | concept | 15A72 |
| Eigenvector | 0N6960W0BV | concept | 15A18 |
| Kronecker product | 0N7ENQRCXN | concept | 15A69 |
| Inner product | 0NB0AWGJBW | concept | 15A63, 46C05 |
| Self-adjoint operator | 0NEGN5CRSC | concept | 47B15, 15B57 |
| Transvection | 0NMN00FNW1 | definition | 15A23 |
| Trace is the sum of the eigenvalues | 0NMXDCNNKR | statement | 15A15, 15A18 |
| Reduced row echelon form | 0NNR68BFRY | definition | 15A06 |
| Linear map | 0NRYHJPQG2 | concept | 15A04 |
| Hermitian matrix | 0P17NGQQMQ | concept | 15B57 |
| Equivalent matrices | 0P21AVFFSP | definition | 15A21 |
| Matrix of a bilinear form | 0P24YW565F | definition | 15A63 |
| Non-commutativity of matrix multiplication | 0P506SPZP2 | counterexample | 15A27 |
| Bilinear form | 0P799D6AMN | definition | 15A63 |
| Coefficient matrix | 0P7A2MJD24 | definition | 15A06 |
| Vandermonde determinant | 0P84B554AS | statement | 15A15, 15B05 |
| Existence of a complementary subspace | 0P9T8WHNMH | statement | 15A03 |
| Jordan block | 0PBFS92AJP | definition | 15A21 |
| Annihilating polynomial | 0PBN8VEKY8 | concept | 15A18 |
| Skew-symmetric matrix | 0PBY4E9GQF | concept | 15A99 |
| Matrix–vector product | 0PDVQEP0ZC | concept | 15A99 |
| Restriction of an endomorphism to an invariant subspace | 0PFPWKBDTJ | definition | 15A04, 47A15 |
| Null space | 0PHDYNR24D | concept | 15A03, 15A06 |
| Determinant is multilinear in the rows | 0PPG793642 | statement | 15A15 |
| Null space | 0PQ2GGY1QV | definition | 15A03, 15A06 |
| Principal axis theorem | 0PR5P9Z4KM | statement | 15A63, 15A18 |
| Moore–Penrose inverse | 0PSRCMCM5X | definition | 15A09 |
| Endomorphism | 0PTF1PTJK0 | definition | 15A04 |
| Linear equation | 0Q3ZT8J05R | concept | 15A06 |
| Permutation matrix | 0Q5SM60HTH | definition | 15A99, 05A05 |
| Orientation of a real vector space | 0Q8BZXVT1Z | definition | 15A04, 15A15 |
| Orthogonal projection | 0Q8HZTJC7G | definition | 15A04, 46C05 |
| Diagonal matrix | 0Q9PGXD9E4 | definition | 15A99 |
| Cayley–Hamilton theorem for linear maps | 0QEM68Y0DE | statement | 15A04, 15A18 |
| Eigenvalues are the roots of the minimal polynomial | 0QF4ZEFG52 | statement | 15A18 |
| Orientation of a real vector space | 0QJJAQ6ZYZ | concept | 15A04, 15A15 |
| Matrix of a bilinear form | 0QK6K857HS | concept | 15A63 |
| Dimension of the coordinate space | 0QK7FPE6VE | statement | 15A03 |
| Positive definite matrix | 0QQCG3JWJ4 | definition | 15B57, 15A63 |
| Orthogonal matrix | 0QRBVFJ50X | definition | 15B10 |
| Semisimple endomorphism | 0QS8P74F2Z | definition | 15A04, 15A20 |
| Inner product space | 0QVNCJXRY3 | concept | 15A63, 46C05 |
| Dimension of a subspace | 0QW084460E | statement | 15A03 |
| Annihilator of a subspace | 0R6M158SQ9 | definition | 15A04 |
| A linear isometry preserves the inner product | 0R7VXTYHYZ | statement | 15A04, 46C05 |
| Dimension of a tensor product | 0R84PF4JV7 | statement | 15A69, 15A03 |
| A linear map is determined by its values on a basis | 0R8X9XA83A | statement | 15A04 |
| Adjoint of a linear map | 0R9NMSM1ZP | concept | 15A04, 47A05 |
| Unitary group | 0R9R0Y1HDK | object | 15B57, 20G20 |
| Quadratic form | 0RBQS1JJCR | concept | 15A63, 11E04 |
| Space of matrices | 0RE6X3BGPN | example | 15A03 |
| Cauchy–Schwarz inequality | 0RFWW56Y22 | statement | 15A63, 46C05 |
| Projection | 0RH4E3CAV9 | definition | 15A04 |
| Linear map | 0RJF668P1T | definition | 15A04 |
| LU decomposition | 0RKG5YW66Y | concept | 15A23, 65F05 |
| Sum of subspaces | 0RMKABS2S5 | definition | 15A03 |
| Positive definite quadratic form | 0RP20HFYM3 | concept | 15A63, 11E04 |
| Trace of a linear map | 0RPDTWY2JS | definition | 15A04, 15A15 |
| Linear form | 0RT96J4D3H | definition | 15A04 |
| Orthonormal family | 0RW9TNNT87 | concept | 15A63, 46C05 |
| Distributivity of matrix multiplication | 0RXD6EZYBK | statement | 15A99 |
| Wedge product of forms | 0S166D363M | definition | 15A75 |
| Kernel of a linear map | 0S23E6YE83 | concept | 15A04 |
| Inverse of a product | 0S4WTRE9GG | statement | 15A09 |
| Dot product | 0S52TNNTH9 | concept | 15A63 |
| Algebraic multiplicity | 0S7A0EMPF4 | definition | 15A18 |
| External direct sum | 0S7W6EG32V | concept | 15A03, 16D10 |
| Orthonormal basis | 0S9GGTR0EX | concept | 15A63, 46C05 |
| Generalised eigenvector | 0SAAHC36J9 | definition | 15A18 |
| Minor | 0SD528P0EK | definition | 15A15 |
| Multilinear map | 0SDMPMCN43 | definition | 15A69 |
| Cross product | 0SEDGXG9S3 | definition | 15A72 |
| Basis of a tensor product | 0SH5VT8QYA | statement | 15A69 |
| Change of basis for a bilinear form | 0SPYAGE7T0 | statement | 15A63, 15A21 |
| Bilinear form | 0SQZMXB6GP | concept | 15A63 |
| Differentiation as a linear map | 0SS770NS8B | example | 15A04, 12E10 |
| Adjoint of a linear map | 0ST8QF9T3T | definition | 15A04, 47A05 |
| Quotient space | 0SVR29SV1V | definition | 15A03 |
| Dimension of a quotient space | 0SXDQ6TN00 | statement | 15A03 |
| Determinant is a coefficient of the characteristic polynomial | 0T0X8GTYYS | statement | 15A15, 15A18 |
| The cross product is perpendicular to its factors | 0T4QHJXSD4 | statement | 15A72 |
| Augmented matrix | 0T6MWGZSXA | concept | 15A06 |
| Orthogonal group | 0TKYAEJ8N7 | object | 15B10, 20G20 |
| Powers of a diagonalisable matrix | 0TNR9BQ871 | concept | 15A20, 15A16 |
| Orthogonal vectors | 0TS7VZJBWD | definition | 15A63, 46C05 |
| Invertible matrix | 0TWTS88TWN | definition | 15A09 |
| Symmetric bilinear form associated with a quadratic form | 0TX2YH2FQS | definition | 15A63, 11E04 |
| Characteristic polynomial does not depend on the basis | 0TYMASG33Y | statement | 15A15, 15A18 |
| Row rank equals column rank | 0TZAG60ZYT | statement | 15A03 |
| Intersection of subspaces | 0V33SPH7RR | statement | 15A03 |
| Minimal polynomial | 0V58FPM3EQ | definition | 15A18 |
| Standard basis | 0V7ZD6P7RK | object | 15A03 |
| Linear combination | 0V8F3E48E6 | concept | 15A03 |
| Determinant of a family of vectors in a basis | 0V94H674MB | definition | 15A15, 15A75 |
| Special linear group | 0V9PMN0RBH | object | 15A15, 20G15 |
| Matrix | 0VD9ZSWWJG | concept | 15A99 |
| Inner product | 0VGSYBWHV2 | definition | 15A63, 46C05 |
| Companion matrix | 0VH1TC1PWF | definition | 15A21 |
| Finite-dimensional spaces are isomorphic iff they have equal dimension | 0VJBSK15SN | statement | 15A03 |
| Cartan–Dieudonné theorem | 0VMWGYY35Q | statement | 51F15, 15B10 |
| Space of linear maps | 0VPCJWGMP9 | definition | 15A04 |
| Symmetric matrix | 0VR671PHE5 | concept | 15A99, 15B57 |
| Characteristic polynomial | 0VSSPAFM2C | concept | 15A15, 15A18 |
| Gram–Schmidt process | 0VT6P0GNQR | concept | 15A63, 65F25 |
| Minimal polynomial divides every annihilating polynomial | 0VTAD25A3G | statement | 15A18 |
| Basis | 0VTQTPQGAV | definition | 15A03 |
| Row echelon form | 0VYCDGMJJJ | concept | 15A06 |
| Orthogonal matrix | 0W02QESPJQ | concept | 15B10 |
| Cofactor | 0W2QAVJQ1W | definition | 15A15 |
| Sesquilinear form | 0W44K2VNBD | definition | 15A63 |
| Rank–nullity theorem | 0W4FSW1TVB | statement | 15A03, 15A04 |
| Dual basis | 0W6M3PSD08 | definition | 15A04 |
| Transpose | 0W809K6AW0 | definition | 15A99 |
| Trace of a linear map is the trace of its matrix | 0WCPH5Z7FA | statement | 15A04, 15A15 |
| Reduced row echelon form | 0WF5AQYTW6 | concept | 15A06 |
| Sylvester's law of inertia | 0WFED3K3DQ | statement | 15A63, 11E04 |
| A subspace of full dimension is the whole space | 0WGAXEK99E | statement | 15A03 |
| Dimension theorem for vector spaces | 0WK0Y8RH1M | statement | 15A03 |
| Sylvester's criterion | 0WKEF78PMV | statement | 15B57, 15A15 |
| Cholesky decomposition | 0WKG8CYY6A | statement | 15A23, 65F05 |
| Image of a linear map | 0WSFKKT6FF | concept | 15A04 |
| Gram–Schmidt vectors are orthogonal | 0WXBGBTA3D | statement | 15A63, 65F25 |
| Determinant of a linear map | 0X0HQYSZ0K | concept | 15A04, 15A15 |
| Consistent and inconsistent systems | 0X6V9B1V10 | concept | 15A06 |
| Space of linear maps | 0X9MBPP2Z3 | concept | 15A04 |
| Trace of a matrix | 0XC1RDBY7A | concept | 15A15 |
| Orthogonal complement | 0XJXTBCB2T | concept | 15A63, 46C05 |
| Coordinate space | 0XM8BZD76G | object | 15A03 |
| Cofactor | 0XPKR18APA | concept | 15A15 |
| Spectrum of a matrix | 0XPX5NC67E | concept | 15A18 |
| Linear isomorphism | 0XSJ25Z9M4 | definition | 15A04 |
| Normal matrix | 0XYKE8BE7X | definition | 15B57, 15A21 |
| Direct sum of subspaces | 0XYYT5KNTX | concept | 15A03 |
| Diagonalisable matrix | 0Y17PEKF24 | definition | 15A20 |
| Orthogonal vectors | 0Y2X7P2WB7 | concept | 15A63, 46C05 |
| Trace of a product is symmetric | 0Y4NF1DRKD | statement | 15A15 |
| Matrix addition | 0Y7H3SAVA1 | concept | 15A99 |
| Existence of an orthonormal basis | 0Y85GYEGSF | statement | 15A63, 46C05 |
| Distinct eigenvalues imply diagonalisable | 0Y95Z7MT02 | statement | 15A20 |
| Matrix exponential as the solution of a linear system | 0YC8JT513J | statement | 34A30, 15A16 |
| Augmented matrix | 0YCDZ7N8VD | definition | 15A06 |
| Universal property of the tensor product | 0YDRV01R8F | statement | 15A69 |
| Matrix of a linear map | 0YQSGNYE3K | concept | 15A04 |
| Moore–Penrose inverse | 0YY8VX28JR | concept | 15A09 |
| Matrix of a linear map | 0YYMY95FWS | definition | 15A04 |
| Determinant as a group homomorphism | 0YZ3T5Q7XN | example | 15A15 |
| Diagonalisation of a quadratic form | 0Z3FEWZ8HA | statement | 11E04, 15A63 |
| Decomposition into generalised eigenspaces | 0Z3GDY89T5 | statement | 15A18, 15A21 |
| Determinant of the identity matrix | 0Z4BWARC38 | statement | 15A15 |
| Computing the inverse by row reduction | 0Z83DHFMYM | concept | 15A09, 65F05 |
| Dimension of the space of linear maps | 0Z9N1ER0W0 | statement | 15A03, 15A04 |
| Rank of a matrix | 0ZC9YTXZRY | concept | 15A03 |
| Companion matrix | 0ZCWPNZTQ3 | concept | 15A21 |
| Dual basis | 0ZD2CF6ZS0 | concept | 15A04 |
| Universal property of the quotient space | 0ZERJX6PH6 | statement | 15A04 |
| Finite-dimensional vector space | 0ZHWKQMVX5 | concept | 15A03 |
| Canonical isomorphism with the double dual | 0ZJM9D7NPS | statement | 15A04 |
| Determinant of a 2 by 2 matrix | 0ZN2J42SK7 | statement | 15A15 |
| Eigenvalue | 0ZND7NQ970 | definition | 15A18 |
| Matrix of the dual map is the transpose | 0ZPB3180AY | statement | 15A04 |
| Zero matrix | 0ZTKJJDGR7 | object | 15A99 |
| Determinant of a transpose | 0ZZQ2E1MTE | statement | 15A15 |
| Rank of a linear map | 0ZZXSBTR4J | concept | 15A03, 15A04 |