Frobenius categories. (Q2509257): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.jalgebra.2006.01.023 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W4213387668 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Local methods in block theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3798869 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The homotopy theory of fusion systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4656983 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Frobenius theorem for blocks / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5577154 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homotopy decomposition of classifying spaces via elementary Abelian subgroups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4126546 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3961008 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The hyperfocal subalgebra of a block / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Source algebras of \(p\)-central group extensions / rank | |||
Normal rank |
Latest revision as of 21:53, 24 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Frobenius categories. |
scientific article |
Statements
Frobenius categories. (English)
0 references
19 October 2006
0 references
In order to formalize the idea of the ``\(p\)-local structure'' of a finite group \(G\), the author introduced [in Bull. Soc. Math. Fr., Suppl., Mém. 47 (1976; Zbl 0355.20024)] the concept of the Frobenius category of \(G\) at the prime \(p\). This is the category \({\mathcal F}_G\) whose objects are the \(p\)-subgroups of \(G\), and the morphisms between two \(p\)-subgroups are those induced by inner automorphisms of \(G\) and by inclusions. The search for a more abstract concept which would allow a classification of \(p\)-local structure leads in this paper to the introduction of the Frobenius categories over a finite group \(P\). This work is motivated by results in finite group theory, block theory and homotopy theory. Most results of this paper are too technical to cite them here. We shall only mention the main notions which are introduced and studied. Denote by \({\mathcal F}_P\) the Frobenius category of a finite \(p\)-group \(P\). A \(P\)-category \(\mathcal F\) is a subcategory of the category of groups, having the same objects as \({\mathcal F}_P\), and all the homomorphisms are injective. Denoting by \({\mathcal F}(Q,R)\) the set of morphisms in \(\mathcal F\) from \(R\) to \(Q\), the category \(\mathcal F\) is called `divisible' if for any \(Q,R,T\leq P\), and \(\varphi\in{\mathcal F}(Q,R)\) and any group homomorphism \(\psi\colon T\to R\), \(\varphi\circ\psi\in{\mathcal F}(Q,T)\) if and only if \(\psi\in{\mathcal F}(R,T)\). Moreover, \(\mathcal F\) is a `Frobenius \(P\)-category' if in addition, \(\text{Int}(P)\) is a Sylow \(p\)-subgroup of \({\mathcal F}(P)\), and for any \(Q\leq P\), any \(K\leq\Aut(P)\) and any \(\varphi\in{\mathcal F}(P,Q)\) such that \(\varphi(Q)\) is fully \(^\varphi K\)-normalized in \(\mathcal F\), there are \(\varphi\in{\mathcal F}(P,Q\cdot N_P^K(Q))\) and \(\chi\in K\) such that \(\psi(u)=\varphi(\chi(u))\) for any \(u\in Q\), where \(N_P^K(Q)\) denotes the converse image of \(K\) in \(N_P(Q)\). Next, \(\mathcal F\)-selfcentralizing and \(\mathcal F\)-nilcentralized subgroups of \(P\) are introduced, and Frobenius \(P\)-categories are characterized in these terms. A generalization to Frobenius categories of the well-known Alperin's Fusion Theorem is given, in which \(\mathcal F\)-essential objects and the additive category \(\mathbb{Z}\mathcal F\) corresponding to \(\mathcal F\) are considered. Several constructions of Frobenius \(P\)-categories are presented, among them the hyperfocal Frobenius subcategory of \(\mathcal F\), which is the Frobenius category over the so called \(\mathcal F\)-hyperfocal subgroup of \(P\). This category is further studied in a subsequent paper of the author.
0 references
finite groups
0 references
blocks
0 references
Brauer pairs
0 references
Sylow subgroups
0 references
hyperfocal subgroups
0 references
\(p\)-local structures
0 references
Frobenius categories
0 references
\(p\)-subgroups
0 references
categories of groups
0 references