{"entities":{"Q1579078":{"pageid":1589818,"ns":120,"title":"Item:Q1579078","lastrevid":73971642,"modified":"2026-04-14T17:54:30Z","type":"item","id":"Q1579078","labels":{"en":{"language":"en","value":"The hyperfocal subalgebra of a block"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1502077"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1579078$4D196A93-D901-4F1E-8EF3-41363650AD58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0bcfbc21554e5c2a9b9c07c46ec3d203ff17070","datavalue":{"value":{"text":"The hyperfocal subalgebra of a block","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1579078$E2390616-B44F-4A95-9119-8A196947698B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"258f8b6be45f57d2fff99710400f53598532beb2","datavalue":{"value":"0957.20007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1579078$559B81C5-DA75-4958-8CA1-3EAF8A5F9E8B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62e6384fbab4b56190559a462aa8f995ebf23817","datavalue":{"value":{"entity-type":"item","numeric-id":201504,"id":"Q201504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1579078$22EC852A-DF32-483D-83BE-2269123E812D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"78c924ab2a87a282c80efa85079613d2f7e99dd9","datavalue":{"value":{"entity-type":"item","numeric-id":163162,"id":"Q163162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1579078$DA7D0887-0FE5-4624-BB30-16E61898DE82","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebcf0c763da7a85ac5b7ef24acea352c21f837b3","datavalue":{"value":{"time":"+2000-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1579078$6B2CF69C-07DF-48E1-9B9D-2BCE914F20FF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"798da49fd8624667a06935c2d02db93c1802863c","datavalue":{"value":"In 1988 the author had published his celebrated results on the structure of nilpotent blocks [Invent. Math. 93, No. 1, 77-116 (1988; Zbl 0646.20010)]. In the present paper, the author proves a far reaching generalization of these results.   Both papers are best understood as block-theoretic analogues of results in local group theory. The structure theorem for nilpotent blocks is the analogue of the Frobenius criterion for \\(p\\)-nilpotency: A finite group \\(G\\) is \\(p\\)-nilpotent if and only if \\(N_G(Q)/C_G(Q)\\) is a \\(p\\)-group for every \\(p\\)-subgroup \\(Q\\) of \\(G\\). The present paper is the analogue of a variant of Gr\u00fcn's theorem: If \\(T\\) is a Sylow \\(p\\)-subgroup of a finite group \\(G\\) then \\(T\\cap O^p(G)\\) is generated by all \\([Q,O^p(N_G(Q))]\\) where \\(Q\\) runs through the set of subgroups of \\(T\\). (Then \\(T\\cap O^p(G)\\) is called the hyperfocal subgroup of \\(T\\).)   In order to state the block-theoretic analogue of Gr\u00fcn's theorem, we fix a suitable \\(p\\)-adic ring \\(\\mathcal O\\), a finite group \\(G\\), a block \\(b\\) of \\({\\mathcal O}G\\), a defect group \\(P\\) of \\(b\\), a local point \\(\\gamma\\) of \\(P\\) on \\({\\mathcal O}Gb\\), an idempotent \\(i\\in\\gamma\\) and the corresponding source algebra \\(B=i{\\mathcal O}Gi\\). The hyperfocal subgroup of \\(P_\\gamma\\) is the normal subgroup \\(Q\\) of \\(P\\) generated by all \\([R,O^p(N_G(R_\\varepsilon))]\\) where \\(R_\\varepsilon\\) runs through the set of local pointed subgroups of \\(P_\\gamma\\). Then there is a unique local point \\(\\delta\\) of \\(Q\\) such that \\(Q_\\delta\\subseteq P_\\gamma\\), and the main theorem shows that there exists a \\(P\\)-stable \\(\\mathcal O\\)-subalgebra \\(D\\) of \\(B\\) containing the image of \\(Q\\) in \\(B\\) and satisfying \\(B=\\bigoplus_{u\\in U}Du\\) where \\(U\\) is a transversal for \\(P/Q\\). (So in particular \\(B\\) is a crossed product of \\(D\\) and \\(P/Q\\).) Moreover, \\(D\\) is unique up to \\((B^P)^*\\)-conjugation. (In the case of a nilpotent block we have \\(Q=1\\), and \\(D\\) is just a full matrix algebra over \\(\\mathcal O\\)).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1579078$FFFD5B36-3E70-441C-A162-FB2A94F298E5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f66a9f06679279d9ab83fbe5aee8c844a8cca1a1","datavalue":{"value":{"entity-type":"item","numeric-id":173435,"id":"Q173435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1579078$3B82D91B-C86C-42E6-B3E7-3D6A11F1D4FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"63280e28b992d074f46b8f496b13ff58e558e99c","datavalue":{"value":"20C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1579078$F6EC3067-6BD5-4846-A42D-403016274FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a2a08fbf923859623db67d2f25dda13b53d2263b","datavalue":{"value":"20C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1579078$3F1AB229-5F9C-47E9-B861-EBD7EF22F215","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00107e0049a87d65da931d5dca361f6db32930d3","datavalue":{"value":"1502077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1579078$436AE4D5-38F5-4DF2-A4BF-933062592AA5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb9bc5b799f1149ae62d4f15364f946ec5348896","datavalue":{"value":"nilpotent blocks","type":"string"},"datatype":"string"},"type":"statement","id":"Q1579078$FDDFD52B-64C9-4F8F-9E87-22AC6587ADD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d9815b5beb4a29a9c1a21b964d4d72a0e92c8b5","datavalue":{"value":"Gr\u00fcn's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1579078$8450EAE6-4F43-4638-B3B8-88FADCC8C002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de99e7f702b6736310c9f87d01eb639db75a4c72","datavalue":{"value":"finite groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1579078$DADAD42F-85D6-45AD-A85F-355CF9C28501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1d142b0d1c6afc02898612f55e88f89846e7da0","datavalue":{"value":"defect groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1579078$6EB3FD5B-4666-4532-809B-28DEDCF5417F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55876f4781b784703230c72edd0fac2a895af04c","datavalue":{"value":"source algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1579078$C7A9C451-F27D-42E6-A847-7DF3413540D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1101f4b54b0a6efc45b8f223f095d55fdf2f2350","datavalue":{"value":"hyperfocal subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1579078$00603266-52CD-40FE-A3B5-279373833C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2d82de05971508fa8eee4fc7d64630152e5f6f","datavalue":{"value":"local pointed subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1579078$6622251F-425C-4286-94FA-D9B79184CEE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ad983696f09daa97ab30deddf9327b500d0843e","datavalue":{"value":"crossed products","type":"string"},"datatype":"string"},"type":"statement","id":"Q1579078$B3037284-E6FD-49CF-AD9F-EEF1486F8E28","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1579078$D3E1D0C6-C9FD-4B8A-BB55-059AD49EF114","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"233fa3745cc7bd95eda1cd41fedcae7171c3fc97","datavalue":{"value":"https://doi.org/10.1007/s002220000072","type":"string"},"datatype":"url"},"type":"statement","id":"Q1579078$3EBF0512-97EA-4F8E-AFF2-448F3976D5DA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"46569ffb883e14bc53c985109eaa40af5910c9d3","datavalue":{"value":"W2076207797","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1579078$FBEAF06F-027F-4899-9584-82390721B6F1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2c4d1d582ff3c8fdf420a77eedfeabf29a5a636d","datavalue":{"value":"Q60468363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1579078$8BB23279-9A7F-433B-A11A-54538FC29564","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"81f134a4b042314dc98de87bbdd927dbce9876af","datavalue":{"value":"10.1007/S002220000072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1579078$BE9938C0-0D4B-40D0-ABDD-2B2BF186CA5B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"910ef25d01221543bf15901a8f6b09d5ec5dce88","datavalue":{"value":{"entity-type":"item","numeric-id":4539515,"id":"Q4539515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fbdf15df91a21871f1b6e884532e1b49ce4f873","datavalue":{"value":{"amount":"+0.8709923028945923","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1579078$A8099E0E-9175-4764-926F-805C8A36D1E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f35f3374b6fc7020d1bc5220b2a7d6fe8f671b20","datavalue":{"value":{"entity-type":"item","numeric-id":706012,"id":"Q706012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"440cc0a7f75ffd86121be120048732ee54036227","datavalue":{"value":{"amount":"+0.853930652141571","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1579078$3F2A6D0E-6690-4CE8-BF2F-E6E9044C3842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7ce0747c2bf2bfcbe67f3a947e79ca9c0d450ce","datavalue":{"value":{"entity-type":"item","numeric-id":2292838,"id":"Q2292838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"383c5fafeea2d4867d2e6520aa5c1797edf44284","datavalue":{"value":{"amount":"+0.8373475074768066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1579078$9E99590B-977D-4AA2-9DF5-F0BC8FB29DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b714cee6b6d3c1d3fc7cffc79ec7faaf9735615","datavalue":{"value":{"entity-type":"item","numeric-id":3450057,"id":"Q3450057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6accf4be9f2aa0630ceb3a786edab2d4cc05f527","datavalue":{"value":{"amount":"+0.8238251209259033","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1579078$AB8E5687-F305-49C1-BB31-E49EF63814B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The hyperfocal subalgebra of a block","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_hyperfocal_subalgebra_of_a_block"}}}}}