Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

About SymmetricGroupRepresentation()

I am a new student in SAGE. I read the following discussion:
evaluation of character of symmetric group
and then also read the manual.

However, I am still confused about some fundamental problem:
(I cannot find these function in "Sage Reference Manual: Groups, Release 8.2". Are both new functions?).

  1. About

    SymmetricGroupRepresentation(partition, implementation='specht', ring=None, cache_matrices=True)
    

    I am confused about "partition". Suppose for $S_3$, and partition $=[2,1]$. What does it mean? (It seems $[1,2]$ is not valid)

  2. About

    spc = SymmetricGroupRepresentation([2,1], 'orthogonal')
    spc.representation_matrix(Permutation([1,2,3]))
    

    When I use

    spc.representation_matrix(Permutation([1,2]))
    

    error pops out. However, as far as I know, $(1,2)$ is a valid permutation, which represent the matrix representation: $$\begin{bmatrix}0 & 1 & 0 \\ 1 & 0 & 0 \\ 0 & 0 & 1\end{bmatrix}$$

I cannot find "Permutation" in "Sage Reference Manual: Group". Where can I find this function?

About SymmetricGroupRepresentation()

I am a new student in SAGE. I read the following discussion:
evaluation of character of symmetric group
and then also read the manual.

However, I am still confused about some fundamental problem:
(I cannot find these function in "Sage Reference Manual: Groups, Release 8.2". Are both new functions?).

  1. About

    SymmetricGroupRepresentation(partition, implementation='specht', ring=None, cache_matrices=True)
    

    I am confused about "partition". Suppose for $S_3$, and partition $=[2,1]$. What does it mean? (It seems $[1,2]$ is not valid)

  2. About

    spc = SymmetricGroupRepresentation([2,1], 'orthogonal')
    'specht')
    spc.representation_matrix(Permutation([1,2,3]))
    

    When I use

    spc.representation_matrix(Permutation([1,2]))
    

    error pops out. However, as far as I know, $(1,2)$ is a valid permutation, which represent the matrix representation: $$\begin{bmatrix}0 & 1 & 0 \\ 1 & 0 & 0 \\ 0 & 0 & 1\end{bmatrix}$$

I cannot find "Permutation" in "Sage Reference Manual: Group". Where can I find this function?

About SymmetricGroupRepresentation()

I am a new student in SAGE. I read the following discussion:
evaluation of character of symmetric group
and then also read the manual.

However, I am still confused about some fundamental problem:
(I cannot find these function in "Sage Reference Manual: Groups, Release 8.2". Are both new functions?).

  1. About

    SymmetricGroupRepresentation(partition, implementation='specht', ring=None, cache_matrices=True)
    

    I am confused about "partition". Suppose for $S_3$, and partition $=[2,1]$. What does it mean? (It seems $[1,2]$ is not valid)

  2. About

    spc = SymmetricGroupRepresentation([2,1], 'specht')
    spc.representation_matrix(Permutation([1,2,3]))
    

    When I use

    spc.representation_matrix(Permutation([1,2]))
    

    error pops out. However, as far as I know, $(1,2)$ is a valid permutation, which represent the matrix representation: $$\begin{bmatrix}0 & 1 & 0 \\ 1 & 0 & 0 \\ 0 & 0 & 1\end{bmatrix}$$

However, if I use 'orthogonal' instead of 'specht', the answer becomes

$$\begin{bmatrix}0 & 1 \\ 1 & 0\end{bmatrix}$$

But I test another permutation: $[1,2,3]$, the answer is the same. However, $[1,2]$ and $[1,2,3]$ are in the different conjugacy classes; they should not have the same character.

I cannot find "Permutation" in "Sage Reference Manual: Group". Where can I find this function?

About SymmetricGroupRepresentation()

I am a new student in SAGE. I read the following discussion:
evaluation of character of symmetric group
and then also read the manual.

However, I am still confused about some fundamental problem:
(I cannot find these function in "Sage Reference Manual: Groups, Release 8.2". Are both new functions?).

  1. About

    SymmetricGroupRepresentation(partition, implementation='specht', ring=None, cache_matrices=True)
    

    I am confused about "partition". Suppose for $S_3$, and partition $=[2,1]$. What does it mean? (It seems $[1,2]$ is not valid)

  2. About

    spc = SymmetricGroupRepresentation([2,1], 'specht')
    spc.representation_matrix(Permutation([1,2,3]))
    

    When I use

    spc.representation_matrix(Permutation([1,2]))
    

    error pops out. However, as far as I know, $(1,2)$ is a valid permutation, which represent the matrix representation: $$\begin{bmatrix}0 & 1 & 0 \\ 1 & 0 & 0 \\ 0 & 0 & 1\end{bmatrix}$$

However, if I use 'orthogonal' instead of 'specht', the answer becomes

$$\begin{bmatrix}0 & 1 $$\begin{bmatrix}1 & 0 \\ 1 & 0\end{bmatrix}$$0 & 1\end{bmatrix}$$

But I test another permutation: $[1,2,3]$, the answer is the same. However, $[1,2]$ and $[1,2,3]$ are in the different conjugacy classes; they should not have the same character.

I cannot find "Permutation" in "Sage Reference Manual: Group". Where can I find this function?