קוד:הערות ללכסון אוניטרי
\begin{remark} אלגוריתם ללכסון אוניטרי
\begin{enumerate}
\item נחפש בסיס $B$ המורכב מווקטורים עצמיים של $T$.
\item נשתמש בתהליך גראם-שמידט לכל תת-מרחב עצמי $V_\lambda$ בנפרד.
\end{enumerate}
\end{remark}
\begin{remark}
אם $\mathbb{F}=\mathbb{C}$, התנאי על הפירוק של $p_T\left(x\right)$ מתקיים אוטומטית. לכן, $T$ ניתן ללכסון אוניטרי מעל $\mathbb{C}$ אם ורק אם $T$ נורמלי. אותו הדבר נכון גם למטריצות.
\end{remark}