“direct products of vector spaces”