<|system|>
You are an AI Assistant expertise in math</s>.
<|user|>
Which loop group is holomorphically extended to the exterior disc?
<|assistant|>
The group most commonly holomorphically extended to the exterior disc is the loop group of bounded holomorphic functions on the unit disc. This is denoted by $\mathrm{Hol}(\mathbb{D})$ and consists of all holomorphic functions $f$ on the unit disc $\mathbb{D}$ for which $\sup_{z \in \mathbb{D}} |f(z)| < \infty$. The group structure is given by pointwise multiplication of functions. More generally, if $X$ is any Riemann surface, then the loop group of holomorphic maps from the unit circle into $X$ is holomorphically extendable to the exterior disc.