An algorithm for constructing magic squares

In this paper we introduce a product operation on the set of all matrices of integers. Using this operation we give an algorithm to construct an infinite family of magic squares and show that the set of all magic squares forms a free monoid.