Tensor product of globally generated line bundles
= Tensor product of globally generated line bundles
The <tensor product> of two <globally generated line bundles> is globally generated. At a point choose generator germs arising from a global section of each factor. Their tensor is the germ of a global tensor-product section and generates the rank-one tensor-product stalk. Iteration gives the same property for every positive tensor power, on an arbitrary <scheme>.