Abstract. Let M be a shift invariant subspace in the vector-valued Hardy space H 2 E (D). The Beurling-Lax-Halmos theorem says that M can be completely characterized by
Keywords.Hardy space over the bidisc, invariant subspace, operator-valued inner function, inner sequence, unitary equivalence, spectrum, core operator.