# Group notation $\otimes$ and $\oplus$ used for representations of quarks and mesons

I've been trying to figure out this statement from the PDG quark model summary (PDF).

Following $\mathrm{SU}(3)$, the nine possible $q\bar{q}′$ combinations containing the light $u$, $d$, and $s$ quarks are grouped into an octet and a singlet of light quark mesons:

$\mathbf{3} \otimes \mathbf{\bar{3}} = \mathbf{8} \oplus \mathbf{1}$

This looks like some very nice notation that comes up now and then, but unfortunately I don't have any idea what it's called and the introductory group theory material I've skimmed doesn't explain it. In particular I'm trying to figure out what the $\otimes$ and $\oplus$ mean.

• wikipedia doesn't use this notation to explain SU(2) or group representation theory, any idea who would? – Shep Jan 16 '15 at 17:24
• Related: physics.stackexchange.com/q/41424/2451 and links therein. – Qmechanic Jan 16 '15 at 19:07
• @Shep A lot of graduate physics texts, and Lie group/representation theory texts. – JamalS Jan 16 '15 at 19:19
• Something useful to keep in mind: when mathematicians say "introductory group theory" they are thinking of stuff like the Sylow theorems. When physicists say "group theory" they really mean representation theory or module theory or linear algebra -- basically most of introductory abstract algebra except group theory proper. – user10851 Jan 16 '15 at 19:21
• @Shep So, I had a look around, and Wikipedia does use this notation, see for example en.wikipedia.org/wiki/Grand_Unified_Theory, in the $SU(5)$ section. – JamalS Jan 18 '15 at 18:51

In physicist jargon, we talk about group representations of $\mathrm{SU}(2)$ and $\mathrm{SU}(3)$ by denoting an irreducible representation whose representation vector space has dimension $N$ by $\mathbf{N}$.
Hence, the statement $\mathbf{3} \otimes \bar{\mathbf{3}} = \mathbf{1} \oplus \mathbf{8}$ is the statement that the tensor product of the three-dimensional representation of $\mathrm{SU}(3)$ (also called its fundamental representation, as it is the smallest non-trivial one) and its conjugate representation decomposes as the direct sum of the eight-dimensional (the adjoint representation) and the trivial representation.
The notation works for $\mathrm{SU}(3)$ because there are only two irreducible representations with a given dimension, and they are conjugates of each other, so $\mathbf{N}$ and $\bar{\mathbf{N}}$ are sufficient to denote all possible (finite-dimensional) representations
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.9056050181388855, "perplexity": 373.43708071486225}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2021-31/segments/1627046150000.59/warc/CC-MAIN-20210723175111-20210723205111-00453.warc.gz"}