Wolfram Language
Paclet Repository
Community-contributed installable additions to the Wolfram Language
Primary Navigation
Categories
Cloud & Deployment
Core Language & Structure
Data Manipulation & Analysis
Engineering Data & Computation
External Interfaces & Connections
Financial Data & Computation
Geographic Data & Computation
Geometry
Graphs & Networks
Higher Mathematical Computation
Images
Knowledge Representation & Natural Language
Machine Learning
Notebook Documents & Presentation
Scientific and Medical Data & Computation
Social, Cultural & Linguistic Data
Strings & Text
Symbolic & Numeric Computation
System Operation & Setup
Time-Related Computation
User Interface Construction
Visualization & Graphics
Random Paclet
Alphabetical List
Using Paclets
Create a Paclet
Get Started
Download Definition Notebook
Learn More about
Wolfram Language
LieART
Guides
LieART: Lie Algebras and Representation Theory
Tech Notes
LieART - Quick Start Tutorial
Symbols
Algebra
CartanMatrix
DecomposeIrrep
DecomposeProduct
DimName
Dim
HighestRoot
Index
Irrep
IrrepPlus
LaTeXForm
MetricTensor
OrthogonalSimpleRoots
PositiveRoots
ProductAlgebra
ProductIrrep
RootSystem
WeightSystem
YoungTableau
Other
BranchingRules
IrrepProperties
TensorProducts
LieART`
P
r
o
d
u
c
t
I
r
r
e
p
P
r
o
d
u
c
t
I
r
r
e
p
[
i
r
r
e
p
s
]
g
a
t
h
e
r
s
i
r
r
e
p
s
o
f
s
i
m
p
l
e
L
i
e
a
l
g
e
b
r
a
s
t
o
a
r
e
p
r
e
s
e
n
t
a
t
i
o
n
o
f
a
p
r
o
d
u
c
t
a
l
g
e
b
r
a
.
Examples
(
2
)
Basic Examples
(
1
)
The product irrep (
3
,
3
) of SU(3)
⊗
SU(3):
I
n
[
1
]
:
=
P
r
o
d
u
c
t
I
r
r
e
p
[
I
r
r
e
p
[
S
U
3
]
[
3
]
,
I
r
r
e
p
[
S
U
3
]
[
B
a
r
[
3
]
]
]
O
u
t
[
1
]
=
(
3
,
3
)
I
n
[
2
]
:
=
%
/
/
I
n
p
u
t
F
o
r
m
O
u
t
[
2
]
/
/
I
n
p
u
t
F
o
r
m
=
ProductIrrep[Irrep[A][1, 0], Irrep[A][0, 1]]
Take for example the left-handed quark doublet in the Standard-Model gauge group SU(3)
⊗
SU(2)
⊗
U(1) (The U(1) charge is not typeset in bold face):
I
n
[
3
]
:
=
P
r
o
d
u
c
t
I
r
r
e
p
[
I
r
r
e
p
[
S
U
3
]
[
3
]
,
I
r
r
e
p
[
S
U
2
]
[
2
]
,
I
r
r
e
p
[
U
1
]
[
1
/
3
]
]
/
/
T
r
a
d
i
t
i
o
n
a
l
F
o
r
m
O
u
t
[
3
]
/
/
T
r
a
d
i
t
i
o
n
a
l
F
o
r
m
=
(
3
,
2
)
(
1
/
3
)
I
n
[
4
]
:
=
%
/
/
I
n
p
u
t
F
o
r
m
O
u
t
[
4
]
/
/
I
n
p
u
t
F
o
r
m
=
ProductIrrep[Irrep[A][1, 0], Irrep[A][1], Irrep[U][1/3]]
S
c
o
p
e
(
1
)
S
e
e
A
l
s
o
I
r
r
e
p
▪
P
r
o
d
u
c
t
A
l
g
e
b
r
a
▪
D
e
c
o
m
p
o
s
e
I
r
r
e
p
▪
D
e
c
o
m
p
o
s
e
P
r
o
d
u
c
t
R
e
l
a
t
e
d
G
u
i
d
e
s
▪
L
i
e
A
R
T
:
L
i
e
A
l
g
e
b
r
a
s
a
n
d
R
e
p
r
e
s
e
n
t
a
t
i
o
n
T
h
e
o
r
y
"
"