The immanent is a quantity of a matrix defined by Dudley Littlewood and Archibald Richardson . It is a generalization of the determinant as well as the permanent .
Let be a partition of and the corresponding irreducible representational character of the symmetric group . The immanent with the character of a - matrix is defined as
λ
=
(
λ
1
,
λ
2
,
...
)
{\ displaystyle \ lambda = \ left (\ lambda _ {1}, \ lambda _ {2}, \ dots \ right)}
n
{\ displaystyle n}
χ
λ
{\ displaystyle \ chi _ {\ lambda}}
S.
n
{\ displaystyle {\ mathfrak {S}} _ {n}}
χ
λ
{\ displaystyle \ chi _ {\ lambda}}
n
×
n
{\ displaystyle n \ times n}
A.
=
(
a
i
j
)
i
j
{\ displaystyle A = \ left (a_ {ij} \ right) _ {ij}}
Imm
χ
(
A.
)
: =
∑
σ
∈
S.
n
χ
(
σ
)
∏
i
=
1
n
a
i
,
σ
(
i
)
{\ displaystyle \ operatorname {Imm} _ {\ chi} (A): = \ sum _ {\ sigma \ in {\ mathfrak {S}} _ {n}} \ chi (\ sigma) \ prod _ {i = 1} ^ {n} a_ {i, \ sigma (i)}}
The permanent is the special case with the trivial character.
The determinant is the special case of the immanent with , the alternating character .
χ
λ
=
so-called
{\ displaystyle \ chi _ {\ lambda} = \ operatorname {sgn}}
For example, there are three irreducible representations of matrices , as the following table shows.
3
×
3
{\ displaystyle 3 \ times 3}
S.
3
{\ displaystyle {\ mathfrak {S}} _ {3}}
S.
3
{\ displaystyle {\ mathfrak {S}} _ {3}}
e
{\ displaystyle e}
(
1
2
)
{\ displaystyle (1 \, 2)}
(
1
2
3
)
{\ displaystyle (1 \, 2 \, 3)}
χ
1
{\ displaystyle \ chi _ {1}}
1
1
1
χ
2
{\ displaystyle \ chi _ {2}}
1
−1
1
χ
3
{\ displaystyle \ chi _ {3}}
2
0
−1
As mentioned above result and the permanent or the determinant; on the other hand, one gets the figure
χ
1
{\ displaystyle \ chi _ {1}}
χ
2
{\ displaystyle \ chi _ {2}}
χ
3
{\ displaystyle \ chi _ {3}}
Imm
χ
3
(
a
11
a
12
a
13
a
21st
a
22nd
a
23
a
31
a
32
a
33
)
=
2
a
11
a
22nd
a
33
-
a
12
a
23
a
31
-
a
13
a
21st
a
32
{\ displaystyle \ operatorname {Imm} _ {\ chi _ {3}} {\ begin {pmatrix} a_ {11} & a_ {12} & a_ {13} \\ a_ {21} & a_ {22} & a_ {23} \ \ a_ {31} & a_ {32} & a_ {33} \ end {pmatrix}} \ quad = \ quad 2a_ {11} a_ {22} a_ {33} -a_ {12} a_ {23} a_ {31} - a_ {13} a_ {21} a_ {32}}
Littlewood and Richardson studied the relationship with Schur polynomials.
supporting documents
Dudley Littlewood : The Theory of Group Characters and Matrix Representations of Groups . 2nd Edition. Oxford Univ. Press (reprinted by AMS, 2006), 1950, p. 81 (English).
<img src="https://de.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">