Relative elliptic theory and the Sobolev problem

An operator algebra associated with a smooth embedding $i \colon X\hookrightarrow M$ is constructed. For elliptic elements of this algebra a finiteness theorem (the Fredholm property) is established, and the index is computed. A connection with Sobolev problems is shown.