Operator theory in the Hardy space over the bidisk (I)

In this paper, we identify the vector valued Hardy space with the Hardy space over the bidisk and construct a universal model for thecontractive analytic functions. We will also study some elementary properties of the submodules and show, in some cases, how the operator theoretical properties are related to the module theoretical properties. The last part focus on the study of double commutativity of compression operators.