In mathematics, specifically in ring theory, an algebra is simple if it contains no non-trivial two-sided ideals and the multiplication operation is "not" zero (that is, there is some "a" and some "b" such that ).