Definition 41.11.3 (Extended Map).label Let $S$, $T$ be complex vector spaces, $\phi: S \to T$, and $n \in \natp$, then $\phi_{n} := \text{Id}\otimes \phi: M_{n}(S) \to M_{n}(T)$ is the extended map of $\phi$ to $M_{n}(S)$.
Definition 41.11.3 (Extended Map).label Let $S$, $T$ be complex vector spaces, $\phi: S \to T$, and $n \in \natp$, then $\phi_{n} := \text{Id}\otimes \phi: M_{n}(S) \to M_{n}(T)$ is the extended map of $\phi$ to $M_{n}(S)$.
Post a Comment