 Sobolev algebra

On a sufficiently regular domain in ${\mathbb{R}}^n$, $H^s$ is a Banach algebra when $s>n/2$: