A ring has invariant basis number property (IBN) if any two bases of a finitely generated free module have the same number of elements. In 1960's Leavitt constructed examples of rings R without IBN, more precisely for any ...