Burnside ring

Ring that encodes the possible group actions of a finite group

This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. Please help improve this article by introducing more precise citations. (May 2018) (Learn how and when to remove this message)

|

In mathematics, the Burnside ring of a finite group is an algebraic construction that encodes the different ways the group can act on finite sets. The ideas were introduced by William Burnside at the end of the nineteenth century. The algebraic ring structure is a more recent development, due to Solomon (1967).

## Formal definition

[edit]

Given a finite group G, the generators of its Burnside ring Ω(G) are the formal sums of isomorphism classes of finite G-sets. For the ring structure, addition is given by disjoint union of G-sets and multiplication by their Cartesian product.

The Burnside ring is a free Z-module, whose generators are the (isomorphism classes of) orbit types of G.

If G acts on a finite set X, then one can write  X = ⋃ i X i {\textstyle X=\bigcup _{i}X_{i}} (disjoint union), where each Xi is a single G-orbit. Choosing any element xi in Xi creates an isomorphism G/Gi → Xi, where Gi is the stabilizer (isotropy) subgroup of G at xi. A different choice of representative yi in Xi gives a conjugate subgroup to Gi as stabilizer. This shows that the generators of Ω(G) as a Z-module are the orbits G/H as H ranges over conjugacy classes of subgroups of G.

In other words, a typical element of Ω(G) is  ∑ i = 1 N a i [ G / G i ] , {\displaystyle \sum _{i=1}^{N}a_{i}[G/G_{i}],} where ai in Z and G1, G2, ..., GN are representatives of the conjugacy classes of subgroups of G.

## Marks

[edit]

Much as character theory simplifies working with group representations, marks simplify working with permutation representations and the Burnside ring.

If G acts on X, and H ≤ G (H is a subgroup of G), then the mark of H on X is the number of elements of X that are fixed by every element of H:  m X ( H ) = | X H | {\displaystyle m_{X}(H)=\left|X^{H}\right|} , where

X H = { x ∈ X ∣ h ⋅ x = x , ∀ h ∈ H } . {\displaystyle X^{H}=\\{x\in X\mid h\cdot x=x,\forall h\in H\\}.}

If H and K are conjugate subgroups, then mX(H) = mX(K) for any finite G-set X; indeed, if K = gHg−1 then XK = g · XH.

It is also easy to see that for each H ≤ G, the map Ω(G) → Z : X ↦ mX(H) is a homomorphism. This means that to know the marks of G, it is sufficient to evaluate them on the generators of Ω(G), viz. the orbits G/H.

For each pair of subgroups H,K ≤ G define

m ( K , H ) = | [ G / K ] H | = # { g K ∈ G / K ∣ H g K = g K } . {\displaystyle m(K,H)=\left|[G/K]^{H}\right|=\\#\left\\{gK\in G/K\mid HgK=gK\right\\}.}

This is mX(H) for X = G/K. The condition HgK = gK is equivalent to g−1Hg ≤ K, so if H is not conjugate to a subgroup of K then m(K, H) = 0.

To record all possible marks, one forms a table, Burnside's Table of Marks, as follows: Let G1 (= trivial subgroup), G2, ..., GN = G be representatives of the N conjugacy classes of subgroups of G, ordered in such a way that whenever Gi is conjugate to a subgroup of Gj, then i ≤ j. Now define the N × N table (square matrix) whose (i, j)th entry is m(Gi, Gj). This matrix is lower triangular, and the elements on the diagonal are non-zero so it is invertible.

It follows that if X is a G-set, and u its row vector of marks, so ui = mX(Gi), then X decomposes as a disjoint union of ai copies of the orbit of type Gi, where the vector a satisfies,

aM = u,

where M is the matrix of the table of marks. This theorem is due to (Burnside 1897).

## Examples

[edit]

The table of marks for the cyclic group of order 6:

Z6 | 1 | Z2 | Z3 | Z6

|
|
|
|

Z6 / 1 | 6 | . | . | .
Z6 / Z2 | 3 | 3 | . | .
Z6 / Z3 | 2 | 0 | 2 | .
Z6 / Z6 | 1 | 1 | 1 | 1

The table of marks for the symmetric group S3:

S3 | 1 | Z2 | Z3 | S3

|
|
|
|

S3 / 1 | 6 | . | . | .
S3 / Z2 | 3 | 1 | . | .
S3 / Z3 | 2 | 0 | 2 | .
S3 / S3 | 1 | 1 | 1 | 1

The dots in the two tables are all zeros, merely emphasizing the fact that the tables are lower-triangular.

(Some authors use the transpose of the table, but this is how Burnside defined it originally.)

The fact that the last row is all 1s is because [G/G] is a single point. The diagonal terms are m(H, H) = | NG(H)/H |. The numbers in the first column show the degree of the representation.

The ring structure of Ω(G) can be deduced from these tables: the generators of the ring (as a Z-module) are the rows of the table, and the product of two generators has mark given by the product of the marks (so component-wise multiplication of row vectors), which can then be decomposed as a linear combination of all the rows. For example, with S3,

[ G / Z 2 ] ⋅ [ G / Z 3 ] = [ G / 1 ] , {\displaystyle [G/\mathbf {Z} _{2}]\cdot [G/\mathbf {Z} _{3}]=[G/1],}

as (3, 1, 0, 0).(2, 0, 2, 0) = (6, 0, 0, 0).

## Permutation representations

[edit]

Associated to any finite set X is a vector space V = VX, which is the vector space with the elements of X as the basis (using any specified field). An action of a finite group G on X induces a linear action on V, called a permutation representation. The set of all finite-dimensional representations of G has the structure of a ring, the representation ring, denoted R(G).

For a given G-set X, the character of the associated representation is

χ ( g ) = m X ( ⟨ g ⟩ ) {\displaystyle \chi (g)=m_{X}(\langle g\rangle )}

where  ⟨ g ⟩ {\displaystyle \langle g\rangle } is the cyclic group generated by  g {\displaystyle g} .

The resulting map

β : Ω ( G ) ⟶ R ( G ) {\displaystyle \beta :\Omega (G)\longrightarrow R(G)}

taking a G-set to the corresponding representation is in general neither injective nor surjective.

The simplest example showing that β is not in general injective is for G = S3 (see table above), and is given by

β ( 2 [ S 3 / Z 2 ] + [ S 3 / Z 3 ] ) = β ( [ S 3 ] + 2 [ S 3 / S 3 ] ) . {\displaystyle \beta (2[S_{3}/\mathbf {Z} _{2}]+[S_{3}/\mathbf {Z} _{3}])=\beta ([S_{3}]+2[S_{3}/S_{3}]).}

## Extensions

[edit]

The Burnside ring for compact groups is described in (tom Dieck 1987).

The Segal conjecture relates the Burnside ring to homotopy.

## See also

[edit]

* Burnside category

## References

[edit]

* Burnside, William (1897), Theory of groups of finite order, Cambridge University Press.
* tom Dieck, Tammo (1987), Transformation groups, de Gruyter Studies in Mathematics, vol. 8, Walter de Gruyter, ISBN 978-3-11-009745-0, MR 0889050, OCLC 217014538
* Dress, Andreas (1969), "A characterization of solvable groups", Math. Z., 110 (3): 213–217, doi:10.1007/BF01110213
* Kerber, Adalbert (1999), Applied finite group actions, Algorithms and Combinatorics, vol. 19 (2nd ed.), Berlin, New York: Springer-Verlag, ISBN 978-3-540-65941-9, MR 1716962, OCLC 247593131
* Solomon, Louis (1967), "The Burnside algebra of a finite group", J. Comb. Theory, 1: 603–615, doi:10.1016/S0021-9800(67)80064-4