For soluble lie algebras, every representation has some basis such that the image is a subalgebra of upper triangular matrices (if you assume the field is algebraically closed). Then by Ado's theorem, over (an algebraically closed field of) characteristic zero, any soluble lie algebra is a subalgebra of some upper triangular matrices.
For nilpotent lie algebras, (it seems to me) you can't quite apply the same idea directly, because for a representation of a nilpotent lie algebra, you can only conclude there is a basis where the image is represented by strictly upper triangular if you additionally assume that all elements act by nilpotent endomorphisms too (but here you don't need to assume the field is algebraically closed). However, there is a form of Ado's theorem for nilpotent lie algebras, which says that over characteristic $0$, you can always find a faithful representation such that this additional assumption is true, and so nilpotent lie algebras over characteristic $0$ are a subalgebra of some strictly upper triangular matrices.
Firstly, I would like to know if this reasoning is correct and if so that this is the easiest way of getting to these conclusions.
Secondly, it seems that Ado's theorem holds for characteristic $p$ by a proof by Iwasawa. Is there a good reference for this? Can you still take the faithful representation of a nilpotent lie algebras to act by nilpotent endomorphisms?
If not then if $k$ has characteristic $p$, is there a nilpotent lie algebra not isomorphic to any subalgebra of strictly upper triangular matrices?
Additionally, if $k$ is not algebraically closed of arbitrary characteristic, then is there a soluble lie algebra not isomorphic to any subalgebra of upper triangular matrices? I'm sure that Lie's Theorem doesn't hold over non-algebraically closed fields, but that doesn't mean that this is automatically the case.
Thanks, please let me know if I'm missing anything obvious!