Skew-symmetric matrix
Set
| context | $R$ … ring |
| context | $n\in\mathbb N$ |
| definiendum | $ A \in \mathrm{SymmetricMatrix}(n,R) $ |
| postulate | $ A^\mathrm{T}=-A $ |
Discussion
Reference
Wikipedia: Skew-symmetric matrix
| context | $R$ … ring |
| context | $n\in\mathbb N$ |
| definiendum | $ A \in \mathrm{SymmetricMatrix}(n,R) $ |
| postulate | $ A^\mathrm{T}=-A $ |
Wikipedia: Skew-symmetric matrix