[back] [prev] [next] [index] [root]

 


AbelianGroupTensorProduct

Returns the tensor product of groups.

Syntax:

t := AbelianGroupTensorProduct(L);

group
  t  
list
  L  
list of groups

Description:

Returns the tensor product t of a list L of groups.


Example:


kash> g1 := AbelianGroupCreate(MatDiag(Z, [1,2,3]));
Group with relations:
[1 0 0]
[0 2 0]
[0 0 3]
kash> g2 := AbelianGroupCreate(MatDiag(Z, [4,5]));
Group with relations:
[4 0]
[0 5]
kash> g3 := AbelianGroupCreate(MatDiag(Z, [4, 5, 0]));
Group with relations:
[4 0 0]
[0 5 0]
[0 0 0]



Example:

Compute the tensor prosuct t = g1 otimes g2 otimes g3:

kash> t := AbelianGroupTensorProduct([g1, g2, g3]);
> Group with relations:
[2 0]
[0 2]


<- back[back] [prev] [next] [index] [root]