Formal Definition
Given a finite group G, the elements of its Burnside ring Ω(G) are the formal differences 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 (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
where ai in Z and G1, G2, ..., GN are representatives of the conjugacy classes of subgroups of G.
Read more about this topic: Burnside Ring
Famous quotes containing the words formal and/or definition:
“That anger can be expressed through words and non-destructive activities; that promises are intended to be kept; that cleanliness and good eating habits are aspects of self-esteem; that compassion is an attribute to be prized—all these lessons are ones children can learn far more readily through the living example of their parents than they ever can through formal instruction.”
—Fred Rogers (20th century)
“... if, as women, we accept a philosophy of history that asserts that women are by definition assimilated into the male universal, that we can understand our past through a male lens—if we are unaware that women even have a history—we live our lives similarly unanchored, drifting in response to a veering wind of myth and bias.”
—Adrienne Rich (b. 1929)