Binary operation in group theory