By Michael Aschbacher
A fusion process over a p-group S is a class whose items shape the set of all subgroups of S, whose morphisms are definite injective team homomorphisms, and which satisfies axioms first formulated via Puig which are modelled on conjugacy family in finite teams. The definition was once initially prompted through illustration thought, yet fusion structures even have purposes to neighborhood staff concept and to homotopy thought. the relationship with homotopy idea arises via classifying areas that are linked to fusion structures and that have a few of the great houses of p-completed classifying areas of finite teams. starting with a close exposition of the foundational fabric, the authors then continue to debate the function of fusion platforms in neighborhood finite crew conception, homotopy concept and modular illustration concept. The booklet serves as a uncomplicated reference and as an advent to the sphere, fairly for college kids and different younger mathematicians.
Read Online or Download Fusion Systems in Algebra and Topology PDF
Similar group theory books
The illustration thought of finite teams has visible speedy progress lately with the improvement of effective algorithms and machine algebra structures. this can be the 1st publication to supply an advent to the normal and modular illustration concept of finite teams with specified emphasis at the computational features of the topic.
This can be the second one of 3 volumes dedicated to easy finite p-group thought. just like the 1st quantity, hundreds of thousands of vital effects are analyzed and, in lots of circumstances, simplified. very important issues awarded during this monograph comprise: (a) category of p-groups all of whose cyclic subgroups of composite orders are common, (b) class of 2-groups with precisely 3 involutions, (c) proofs of Ward's theorem on quaternion-free teams, (d) 2-groups with small centralizers of an involution, (e) class of 2-groups with precisely 4 cyclic subgroups of order 2n > 2, (f) new proofs of Blackburn's theorem on minimum nonmetacyclic teams, (g) category of p-groups all of whose subgroups of index pÂ² are abelian, (h) type of 2-groups all of whose minimum nonabelian subgroups have order eight, (i) p-groups with cyclic subgroups of index pÂ² are categorised.
George Mackey was once a rare mathematician of significant strength and imaginative and prescient. His profound contributions to illustration idea, harmonic research, ergodic thought, and mathematical physics left a wealthy legacy for researchers that maintains at the present time. This ebook is predicated on lectures awarded at an AMS distinct consultation held in January 2007 in New Orleans devoted to his reminiscence.
Extra info for Fusion Systems in Algebra and Topology
Then F˜ is saturated. Proof. This was first proved by Puig; cf. 3 in [P7]. 5 in [A5], where another proof appears. Here is a sketch of a different proof, based on the Roberts-Shpectorov definition of saturation. Let F˜ be a system on S˜ and let ker(α) ≤ P ≤ S be fully automized and receptive. It suffices to show that P˜ = P α is fully automized and receptive. 2 that α induces a surjective homomorphism αP : AutF (P ) → AutF˜ (P˜ ) defined by (xα)(φαP ) = xφα for φ ∈ AutF (P ) and x ∈ P . Check that AutS (P )αP = AutS˜ (P˜ ).
As the motivating example, when F = FS (G) for a finite group G, we can take Ω = G with the left and right S-actions defined by multiplication. 9] (discovered independently by Ragnarsson and Stancu [RSt, Theorem A]), a fusion system has a characteristic biset only if it is saturated. 16]: for any saturated fusion system F over a p-group S, and any subgroup P of S, the set of S-conjugacy classes of fully normalized subgroups in P F has order prime to p. 23. We are now ready to construct a transfer for fusion systems.
1. 8. Let α ∈ HomF (P, S), β ∈ HomF (P α, S), (ϕ, φ) ∈ F(α), and (Ψ, ψ) ∈ F(β). Then (a) If Q, R ≤ S, µ ∈ Φ(P, Q), and η ∈ Φ(Q, R), then µη ∈ Φ(P, R). (b) φΨ ∈ Φ(P ϕΨ, S). (c) (ϕΨ, φΨ ψ) ∈ F(αβ). Proof. 1. 9. For each P ≤ S and α ∈ homF (P, S), F(α) = ∅. Proof. 5]. Here is the idea of the proof. Choose a counter example with m = |S:P | minimal. Observe P0 = S0 as in that case (α, 1) ∈ F(α); in particular m > 1. By minimality of m, α does not extend to a proper overgroup of P in S. 8, we reduce to the case where P ∈ F f rc and α ∈ AutF (P ).