Why the full conformal symmetry is $Vir\otimes \overline{Vir}$ instead of $Vir\oplus \overline{Vir}$ In 2D CFT, we have the Virasoro generators $L_m$ and the generators $\bar L_m$, which are such that $[L_m,\bar L_n]=0$. Hence I thought that the full conformal algebra was $Vir\oplus \overline{Vir}$. But I see in the literature that they write $Vir\otimes \overline{Vir}$ instead. The same happens in the more general case of a symmetry algebra $A\otimes \overline{A}$. Why is this?
 A: As a set, the conformal symmetry algebra is $Vir \times \overline{Vir}$. As a vector space, it is $Vir \oplus \overline{Vir}$. 
It is also useful to consider the universal enveloping algebra $U(Vir)$, whose generators are products of Virasoro generators of the type $\prod_i L_{m_i}$. This is now an associative algebra, instead of a Lie algebra. Then we have $U(Vir \times \overline{Vir}) = U(Vir) \otimes \overline{U(Vir)}$. 
So physicists' writings are right and consistent, provided you accept that $Vir$ may mean various different things (including $U(Vir)$) depending on the context.
A: Ignoring fineprints, the take-home message is that there are basically only 2 correct notations: 


*

*$G\times H$ for the direct or Cartesian product of Lie groups$^1$ $G$ and $H$.

*$\mathfrak{g}\oplus\mathfrak{h}$ for the direct sum of Lie algebras $\mathfrak{g}$ and $\mathfrak{h}$.
For details and fineprints, see this related Phys.SE post. ${\rm Vir}$ is an infinite-dimensional Lie algebra, so one should use $\oplus$.
--
$^1$ Let us for simplicity assume that the Lie groups are not vector spaces, which are often the case.
A: This is just a matter of notation. Suppose $G_1$ and $G_2$ are two (Lie) groups of dimension $d_1$ and $d_2$. We all know the natural way to construct the direct sum of these groups: it's a group of dimension $d_1 + d_2$ that mathematicians usually denote as $G_2 \oplus G_2$. However, physicists usually just write $G_1 \times G_2$. The same holds for (Lie) algebras. Moreover, in the physics literature it is rare to distinguish the Lie algebra from its group, unless there is a possible ambiguity or confusion that could arise.
