A Formal Theory of Interaction in Social Groups