Commutative algebra is a branch of algebra that studies commutative rings, their ideals, and modules over such rings. It provides the algebraic foundation for algebraic geometry and number theory.
How to instantiate a typeclass?
Take CoeOut as an example :
This section will collect learning notes on cryptographic primitives, protocols, and the mathematics behind their security.
Definition 5.1 – Invariant Subspace
Let $T \in \mathcal{L}(V)$ be a (linear) operator on vector space $V$. When we restrict $T$ to a subspace $U \subseteq V$, we are not sure the corresponding vectors will still lie in $U$. If they do, we say that $U$ is an invariant subspace under $T$. We call $T|_U$ is an operator on $U$.
Continue reading