compute the product of two complexes in a finite group
FrobeniusProduct( A, B, G )
ComplexProduct( A, B, G )
a subset of G
The Frobenius product of two complexes A and B in a group G is the set of all elements ab, with a∈A and b∈B.
The FrobeniusProduct( A, B, G ) command computes the product of the complexes A and B in the finite group G.
The ComplexProduct command is provided as an alias.
G ≔ Alt⁡4
A ≔ Perm⁡1,2,3,4,Perm⁡1,2,4
B ≔ Perm⁡1,2,3,Perm⁡2,3,4,Perm⁡1,3,2,4
C ≔ FrobeniusProduct⁡A,B,G
A ≔ ConjugacyClass⁡Perm⁡1,2,3,4,G
B ≔ ConjugacyClass⁡Perm⁡1,2,4,G
Note that you must compute the elements of these conjugacy classes before computing their complex product.
C ≔ FrobeniusProduct⁡Elements⁡A,Elements⁡B,G
The GroupTheory[FrobeniusProduct] command was introduced in Maple 2015.
For more information on Maple 2015 changes, see Updates in Maple 2015.
Download Help Document
What kind of issue would you like to report? (Optional)