A finite dimensional commutative algebra is
a finite product of commutative local algebras. Why? In fact, every commutative semiperfect ring is a basic ring and isomorphic to a finite product of local rings, but I do not how to prove it.