Definition:Decomposition (Abstract Algebra)