# Algebra of Complexes of a Group

Let us consider the set of all complexes of a group , which is nothing but a power set of . Let it be denoted by . Now, we define three binary compositions in . The two compositions, namely union and intersection of sets, are familiar ones. They are how we define the multiplication of complexes.

__Multiplication of Complexes__

Let and be two complexes of a group whose composition has been denoted multiplicatively, then the product of and denoted by is defined as

In other words is the set of all possible products of elements of with those of . It is evident that .

Thus the product of two complexes is also a complex of the group.

__Multiplication of Complexes is Associative__

Let and be three complexes of a group whose composition is denoted multiplicatively. Then

Because , multiplication in is associative.

Also

__Inverse of Complexes in a Group__

Let be any complex of and let us define

Then is the complex of consisting of the inverse of the elements of . This is called the inverse of complex .