Simplification and Normal Forms

If we call a simplification command like Simplify, FullSimplify, Expand or Together in Mathematica, then algebraic expressions are replaced by (hopefully) mathematically equivalent ones. Therefore the general question arises under which circumstances such transformations are possible and which types of simplifications can be executed.