The tensor product of a factor of type II1 and an infinite type I factor has type II∞, and conversely any factor of type II∞ can be constructed like this. The fundamental group of a type II1 factor is defined to be the fundamental group of its tensor product with the infinite (separable) factor of type I. For many years it was an open problem to find a type II factor whose fundamental group was not the group of positive reals, but Connes then showed that the von Neumann group algebra of a countable discrete group with Kazhdan's property (T) (the trivial representation is isolated in the dual space), such as SL(3,Z), has a countable fundamental group. Subsequently, Sorin Popa showed that the fundamental group can be trivial for certain groups, including the semidirect product of Z2 by SL(2,Z).