realLinearizationMap -- returns the real linearization map for the prime p

Usage:

realLinearizationMap(p)
Inputs:
- p, an integer,
Outputs:
- a Mackey Functor homomorphism, the linearization map from the Burnside Mackey functor to the real representation functor for the prime p.

Description

Every $G$-set $X$ determines a real representation with basis $X$, called the permutation representation of $X$. This induces a map from the Burnside Mackey functor to the real representation Mackey functor called the linearization map.

i1 : realLinearizationMap(5)

o1 =         fix : | 1 1 |
                   | 0 1 |
                   | 0 1 |
       3  <-----------------   2
     ZZ                      ZZ
     ^ |                     ^ | 
     | |                     | | 
     | v                     | v 
       1  <-----------------   1
     ZZ      und : | 1 |     ZZ
     ^ |                     ^ | 
     └-┘                     └-┘ 

o1 : MackeyFunctorHomomorphism

Ways to use realLinearizationMap:

realLinearizationMap(ZZ)

For the programmer

The object realLinearizationMap is a method function.

The source of this document is in CpMackeyFunctors/Documentation/HomomorphismsDoc.m2:230:0.

realLinearizationMap -- returns the real linearization map for the prime p

Description

See also

Ways to use realLinearizationMap:

For the programmer