Subfactors and elementary examples. Index in the type II case. Bimodules. The tower of relative commutants and restrictions on index values. Construction of examples. Braid group representations and knot polynomials.