Much like 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:, where
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
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).
Read more about this topic: Burnside Ring
Famous quotes containing the word marks:
“It has come to be practically a sort of rule in literature, that a man, having once shown himself capable of original writing, is entitled thenceforth to steal from the writings of others at discretion. Thought is the property of him who can entertain it; and of him who can adequately place it. A certain awkwardness marks the use of borrowed thoughts; but, as soon as we have learned what to do with them, they become our own.”
—Ralph Waldo Emerson (1803–1882)
“The legislator must be in advance of his age.
Across the mind of the statesman flash ever and anon the brilliant, though partial, intimations of future events.... Something which is more than fore-sight and less than prophetic knowledge marks the statesman a peculiar being among his contemporaries.”
—Woodrow Wilson (1856–1924)
“The vast results obtained by Science are won by no mystical faculties, by no mental processes other than those which are practiced by every one of us, in the humblest and meanest affairs of life. A detective policeman discovers a burglar from the marks made by his shoe, by a mental process identical with that by which Cuvier restored the extinct animals of Montmartre from fragments of their bones.”
—Thomas Henry Huxley (1825–95)