next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
LieTypes :: LieAlgebraModule ** LieAlgebraModule

LieAlgebraModule ** LieAlgebraModule -- tensor product of LieAlgebraModules

Synopsis

Description

Computes the tensor product of two Lie algebra modules.

i1 : g=simpleLieAlgebra("A",2)

o1 = LieAlgebra{isSimple => true   }
                LieAlgebraRank => 2
                RootSystemType => A

o1 : LieAlgebra
i2 : U=irreducibleLieAlgebraModule({4,2},g)

o2 = LieAlgebraModule{DecompositionIntoIrreducibles => HashTable{{4, 2} => 1}}
                      highestWeight => {4, 2}
                      isIrreducible => true
                      LieAlgebra => LieAlgebra{isSimple => true   }
                                               LieAlgebraRank => 2
                                               RootSystemType => A

o2 : LieAlgebraModule
i3 : V=irreducibleLieAlgebraModule({3,1},g)

o3 = LieAlgebraModule{DecompositionIntoIrreducibles => HashTable{{3, 1} => 1}}
                      highestWeight => {3, 1}
                      isIrreducible => true
                      LieAlgebra => LieAlgebra{isSimple => true   }
                                               LieAlgebraRank => 2
                                               RootSystemType => A

o3 : LieAlgebraModule
i4 : U**V

o4 = LieAlgebraModule{DecompositionIntoIrreducibles => HashTable{{0, 5} => 1}}
                                                                 {1, 3} => 1
                                                                 {1, 6} => 1
                                                                 {2, 1} => 1
                                                                 {2, 4} => 2
                                                                 {3, 2} => 2
                                                                 {3, 5} => 1
                                                                 {4, 0} => 1
                                                                 {4, 3} => 2
                                                                 {5, 1} => 2
                                                                 {5, 4} => 1
                                                                 {6, 2} => 2
                                                                 {7, 0} => 1
                                                                 {7, 3} => 1
                                                                 {8, 1} => 1
                      isIrreducible => false
                      LieAlgebra => LieAlgebra{isSimple => true   }
                                               LieAlgebraRank => 2
                                               RootSystemType => A

o4 : LieAlgebraModule

See also