If a abelian subalgebra of a matrix algebra in $\M_{n}(\mathbb{C}) has linear dimension n. Then Why is this subalgebra is maximal abelian in $\M_{n}(\mathbb{C}) ?
Functional Analysis, Von Neumann Algebra, Banach Algebra
In any algebra every abelian subalgebra can be embedded into a maximal abelian subalgebra. It is known that in Mn(C) maximal abelian subalgebras are isomorphoc to Cn, i.e. have the dimension n. Therefore if an abelian subalgebra has dimension n then it must coincide with the maximal abelian subalgebra in which it is embedded.