Let A and B be associative
algebras and define the Frattini subalgebra of A,ϕ(A), to be the intersection of all
maximal subalgebras of A if maximal subalgebras of A exist and as A otherwise.
Conditions on B will be found such that B cannot be an ideal of A contained in
ϕ(A).