1: \begin{definition}

2:  \label{def_BorchersUhlmannScalar}\index{Borchers--Uhlmann algebra}

3:  Consider a linear Bosonic or Fermionic (gauge) field theory defined by $(M,\cV,\cW,P,K)$ (with $\cW=\cV$ and $K=0$ in the absence of gauge symmetries), cf. Definition \ref{def_linearnongauge} and Definition \ref{def_lineargauge} and let $(\cE,\tau)$ be the corresponding (pre--)symplectic or (pre--)inner product space constructed as in Theorem \ref{thm_symplecticnongauge} and Proposition \ref{prop_presymplectic_gauge}. The {\em Borchers--Uhlmann algebra} $\cA(M)$ of the model $(M,\cV,\cW,P,K)$ is defined as

4: $$\cA(M)\doteq \cA_0(M)/\cI \,,$$ where $\cA_0(M)$ is the direct sum

5: $$\cA_0(M)\doteq\bigoplus\limits_{n=0}^\infty \cE_\bC^{\otimes n}$$ ($\cE_\bC^{\otimes 0}\doteq \bC$) equipped with a product defined by the linear extension of the tensor product of $\cE_\bC^{\otimes n}$, a $*$--operation defined by the antilinear extension of $([f_1]\otimes\cdots\otimes [f_n])^*=[\overline{f_n}]\otimes\cdots\otimes [\overline{f_1}]$, and it is required each element of $\cA_0(M)$ is a linear combination of elements of $\cE_\bC^{\otimes n}$ with $n\le n_\mathrm{max}<\infty$. Additionally, we equip $\cA_0(M)$ with the topology induces by the locally convex topology of $\Sec(\cV)$. Moreover, $\cI$ is the closed $*$--ideal generated by elements of the form $-i\tau([f],[g])\oplus([f]\otimes [g]\mp [g]\otimes [f])$, where $-$ ($+$) stands for the Bosonic (Fermionic) case, and $\cA(M)$ is thought to be equipped with the product, $*$--operation, and topology descending from $\cA_0(M)$. 

6: \

7: If $\cO$ is an open subset of $M$, $\cA(\cO)$ denotes the algebra obtained by allowing only test sections with support in $\cO$.

8: \end{definition}

9: