group(deprecated)/cosrep - Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : group(deprecated)/cosrep

group

  

cosrep

  

express group element as product of an element in a subgroup multiplied by a right coset representative for that subgroup

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

cosrep(elem, sub)

Parameters

elem

-

permutation or a word in the group generators

sub

-

permutation group or a subgrel

Description

• 

Important: The group package has been deprecated. Use the superseding command GroupTheory[Factor] instead.

• 

If sub is a subgrel, then elem should be a word in the group generators. A two-element list will be returned. The first element is the subgroup element expressed as a word in the subgroup generators, the second is the right coset representative. The coset representative will be an element of the set returned by cosets(sub).

• 

If sub is a permgroup, then elem should be a permutation in disjoint cycle notation. A two-element list is returned. The first element is a permutation contained in sub, the second is a right coset representative permutation for sub in the symmetric group of the same degree. The coset representative will be an element of the set returned by cosets(Sn, sub), where Sn is the symmetric group of the same degree as sub.

• 

The command with(group,cosrep) allows the use of the abbreviated form of this command.

Examples

Important: The group package has been deprecated. Use the superseding command GroupTheory[Factor] instead.

withgroup:

ggrelgroupa,b,c,a,b,c,a,1b,b,c,a,b,1c,c,a,b,c,1a:

cosrepc,subgrely=a,b,c,g

y,y,y,y,y,a

(1)

pgpermgroup7,1,2,3,3,4,5,6,7:

cosrep3,4,5,6,pg

3,4,5,7,6,6,7

(2)

See Also

group[cosets]

group[permgroup]

group[subgrel]

GroupTheory

GroupTheory[Factor]

 


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam