Return to Answer

The Lie algebra is filiform nilpotent and is generated by $e_1$ and $e_2$. It is known that any faithful Lie algebra representation $\rho:\mathfrak{f}_n\rightarrow \mathbb{gl}(V)$ of a $n$-dimensional filiform Lie algebra $\mathfrak{f}_n$ is of degree at least $n$. In the above example, we do not need to invoke Ado's theorem. It is enough to construct a faithful $5$-dimensional Lie algebra representation as follows. By Lie's theorem, we may assume that the operators $\rho(e_i)$ are simultaneously upper-triangular. We may even assume that $\rho(e_1)$ satisfies further properties. Then it is easy to compute explicit matrices $\rho(e_1)$ and $\rho(e_2)$, which determine a faithful representation of degree $5$. For details on this construction see, e.g., here, and for computational aspects and other methods in general see here, with references to GAP programs.

The Lie algebra is filiform nilpotent and is generated by $e_1$ and $e_2$. It is known that any faithful Lie algebra representation $\rho:\mathfrak{f}_n\rightarrow \mathbb{gl}(V)$ of a $n$-dimensional filiform Lie algebra $\mathfrak{f}_n$ is of degree at least $n$. In the above example, we do not need to invoke Ado's theorem. It is enough to construct a faithful $5$-dimensional Lie algebra representation as follows. By Lie's theorem, we may assume that the operators $\rho(e_i)$ are simultaneously upper-triangular. We may even assume that $\rho(e_1)$ satisfies further properties. Then it is easy to compute explicit matrices $\rho(e_1)$ and $\rho(e_2)$, which determine a faithful representation of degree $5$. For details on this construction see, e.g., here, and for computational aspects and other methods in general see here, with references to GAP programs.

Edit: A short computation shows that $$ \rho(e_1)=\begin{pmatrix} 0 & 1 & 0 & 0 & 0 \\ 0 & 0 & 1 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 1 \\ 0 & 0 & 0 & 0 & 0 \end{pmatrix},\; \rho(e_2)=\begin{pmatrix} 0 & 0 & 3 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 \end{pmatrix} $$ defines a representation of the above filiform Lie algebra, where the center is represented nontrivially, i.e., $\rho(e_5)\neq 0$, so that the representation is faithful.

The Lie algebra is filiform nilpotent and is generated by $e_1$ and $e_2$. It is known that any faithful Lie algebra representation $\rho:\mathfrak{f}_n\rightarrow \mathbb{gl}(V)$ of a $n$-dimensional filiform Lie algebra $\mathfrak{f}_n$ is of degree at least $n$. In the above example, we do not need to invoke Ado's theorem. It is enough to construct a faithful $5$-dimensional Lie algebra representation. By Lie's theorem, we assume that the operators $\rho(e_i)$ are simultaneously upper-triangular. We may even assume that $\rho(e_1)$ satisfies further properties. Then it is easy to compute explicit matrices $\rho(e_1)$ and $\rho(e_2)$, which determine the faithful representation. For details see, e.g., here, and for computational aspects see here, with references to GAP programs.

The Lie algebra is filiform nilpotent and is generated by $e_1$ and $e_2$. It is known that any faithful Lie algebra representation $\rho:\mathfrak{f}_n\rightarrow \mathbb{gl}(V)$ of a $n$-dimensional filiform Lie algebra $\mathfrak{f}_n$ is of degree at least $n$. In the above example, we do not need to invoke Ado's theorem. It is enough to construct a faithful $5$-dimensional Lie algebra representation as follows. By Lie's theorem, we may assume that the operators $\rho(e_i)$ are simultaneously upper-triangular. We may even assume that $\rho(e_1)$ satisfies further properties. Then it is easy to compute explicit matrices $\rho(e_1)$ and $\rho(e_2)$, which determine a faithful representation of degree $5$. For details on this construction see, e.g., here, and for computational aspects and other methods in general see here, with references to GAP programs.

The Lie algebra is filiform nilpotent and is generated by $e_1$ and $e_2$. It is known that any faithful Lie algebra representation $\rho:\mathfrak{f}_n\rightarrow \mathbb{gl}(V)$ of a $n$-dimensional filiform Lie algebra $\mathfrak{f}_n$ is of degree at least $n$. In the above example, we do not need to invoke Ado's theorem. It is enough to construct a faithful $5$-dimensional Lie algebra representation. By Lie's theorem, we assume that the operators $\rho(e_i)$ are simultaneously upper-triangular. We may even assume that $\rho(e_1)$ has canonical Jordan form. Then it is easy to compute explicit matrices $\rho(e_1)$ and $\rho(e_2)$, which determine the faithful representation. For details see, e.g., here.

The Lie algebra is filiform nilpotent and is generated by $e_1$ and $e_2$. It is known that any faithful Lie algebra representation $\rho:\mathfrak{f}_n\rightarrow \mathbb{gl}(V)$ of a $n$-dimensional filiform Lie algebra $\mathfrak{f}_n$ is of degree at least $n$. In the above example, we do not need to invoke Ado's theorem. It is enough to construct a faithful $5$-dimensional Lie algebra representation. By Lie's theorem, we assume that the operators $\rho(e_i)$ are simultaneously upper-triangular. We may even assume that $\rho(e_1)$ satisfies further properties. Then it is easy to compute explicit matrices $\rho(e_1)$ and $\rho(e_2)$, which determine the faithful representation. For details see, e.g., here, and for computational aspects see here, with references to GAP programs.