Why is S4 not abelian?

I'm curious to understand why the group S4, which represents the set of all permutations of four distinct elements, is not abelian. Can you explain the underlying mathematical principles that lead to this non-abelian property? Specifically, what are the key differences in the behavior of elements within S4 compared to abelian groups, and how do these differences manifest in terms of the group's operation?