An application of Burnside rings in elementary finite group theory.
Let be the unique noncommutative and noncocommutative eight dimensional semi-simple Hopf algebra. We first construct a weak Hopf algebra based on , then we investigate the structure of the representation ring of . Finally, we prove that the automorphism group of is just isomorphic to , where is the dihedral group with order 12.
If is a non-cyclic finite group, non-isomorphic -sets may give rise to isomorphic permutation representations . Equivalently, the map from the Burnside ring to the rational representation ring of has a kernel. Its elements are called Brauer relations, and the purpose of this paper is to classify them in all finite groups, extending the Tornehave–Bouc classification in the case of -groups.
Let be a finite group with a Sylow 2-subgroup which is either quaternion or semi-dihedral. Let be an algebraically closed field of characteristic 2. We prove the existence of exotic endotrivial -modules, whose restrictions to are isomorphic to the direct sum of the known exotic endotrivial -modules and some projective modules. This provides a description of the group of endotrivial -modules.
Let be a group algebra, and its quantum double. We first prove that the structure of the Grothendieck ring of can be induced from the Grothendieck ring of centralizers of representatives of conjugate classes of . As a special case, we then give an application to the group algebra , where is a field of characteristic and is a dihedral group of order .
A new calculus of planar diagrams involving diagrammatics for biadjoint functors and degenerate affine Hecke algebras is introduced. The calculus leads to an additive monoidal category whose Grothendieck ring contains an integral form of the Heisenberg algebra in infinitely many variables. We construct bases of the vector spaces of morphisms between products of generating objects in this category.
Let be a field of characteristic . Let be a finite group of order divisible by and a -Sylow subgroup of . We describe the kernel of the restriction homomorphism , for the group of endotrivial representations. Our description involves functions that we call weak -homomorphisms. These are generalizations to possibly non-normal of the classical homomorphisms appearing in the normal case.
The automorphisms of a quasigroup or Latin square are permutations of the set of entries of the square, and thus belong to conjugacy classes in symmetric groups. These conjugacy classes may be recognized as being annihilated by symmetric group class functions that belong to a -ideal of the special -ring of symmetric group class functions.
Given a tuple of irreducible characters of we define a star-shaped quiver together with a dimension vector . Assume that is generic. Our first result is a formula which expresses the multiplicity of the trivial character in the tensor product as the trace of the action of some Weyl group on the intersection cohomology of some (non-affine) quiver varieties associated to . The existence of such a quiver variety is subject to some condition. Assuming that this condition is satisfied, we...