Did you know that in group theory , a word is any written product of group elements and their inverses ?