{"entities":{"Q1296409":{"pageid":1307159,"ns":120,"title":"Item:Q1296409","lastrevid":70088889,"modified":"2026-04-13T12:22:09Z","type":"item","id":"Q1296409","labels":{"en":{"language":"en","value":"Modulo odd prime homotopy normality for \\(H\\)-spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1319567"}},"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":"Q1296409$1B9694A8-FAD3-4DB9-9C96-E46BE09B587F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2af78d589e5d9ce7029779f200b8546403c01dd","datavalue":{"value":{"text":"Modulo odd prime homotopy normality for \\(H\\)-spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1296409$466DD2E7-2700-4C16-9B65-D165AC6DAEF0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6efec37a10afe130621f4bb418b8d319733a4cc0","datavalue":{"value":"0936.55005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1296409$FD3FE418-D384-449D-899E-44344BB3DD59","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b210ee24791bc12f34a6c761fa3d68a9c53670c9","datavalue":{"value":{"entity-type":"item","numeric-id":1296408,"id":"Q1296408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1296409$76123DDB-E998-4892-AD50-13E2610748D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c70d5dcf570fccee5fdd0360b6ad3830a88225d0","datavalue":{"value":{"entity-type":"item","numeric-id":195924,"id":"Q195924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1296409$064CECF8-AC72-4525-ACEF-7C4D75A6CC6F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"77dc2fb917d9ddfc7ec1da3e21f74c52714e1a70","datavalue":{"value":{"entity-type":"item","numeric-id":172164,"id":"Q172164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1296409$9C59D25F-098C-4360-AC04-EB6A557551F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8fc142a22f1f6784530e2dfe6b860e6fbdb5637","datavalue":{"value":{"time":"+2000-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1296409$DB8643D6-2D0B-4D64-95D6-159114404427","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d5eb679bdb5d5819c059d4b5ab6f7cf91de3339e","datavalue":{"value":"An inclusion \\(i:Y\\to X\\) of simply connected homotopy associative \\(H\\)-spaces is called homotopy normal, if the image of \\(i_*:[Z,Y] \\to[Z,X]\\) is a normal subgroup for any finite complex \\(Z\\). This is equivalent to the fact that the map \\(c_2:X\\times Y\\to X\\), \\((x,y) \\mapsto(x\\cdot y)\\cdot (i(x)\\cdot i(y))\\) can be deformed into \\(Y\\), where \\(i:X\\to X\\) is homotopy inversion. There are many known non-homotopy normality results for classical Lie groups; in particular, the inclusions \\(G_2\\subset F_2\\subset E_6\\subset E_7\\subset E_8\\) are not homotopy normal.   The authors study the mod \\(p\\)-analogue. An \\(H\\)-map \\(i:Y\\to X\\) between simply connected homotopy associate \\(H\\)-spaces is called mod~\\(p\\) normal if \\(c_2(X_{(p)} \\times i(Y_{(p)}))\\) can be deformed into \\(i(Y)_{(p)}\\). They prove that the inclusions \\(F_4\\subset E_6\\subset E_7\\) and \\(H\\subset E_8\\) for \\(H\\in\\{G_2,\\text{Spin}(7),\\text{Spin}(8),\\text{Spin}(9)\\), \\(F_4,E_6,E_7\\}\\) are not mod~3 normal. This is done by giving necessary conditions for a map \\(Y \\to X\\) with \\(X\\in\\{F_4,E_6,E_7,E_8\\}\\) to be mod~3 normal in terms of its behavior on \\(H^*(X;\\mathbb{Z}/3)\\) or the Morava homologies \\(K(2)_*(X)\\) or \\(K(3)_* (X)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1296409$25FED041-496B-40A3-84ED-5901475D8FC2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfafb14b6a1d38e5371d5825cb5d45fdb92ceef3","datavalue":{"value":"55P45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1296409$9C85FDC6-CC60-4DB1-B415-BB5C3ACC9AA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e3126271197cc53b4f6a30880dcec765930131b","datavalue":{"value":"1319567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1296409$BA93EAD9-900B-4B97-AE3E-F114C2520E51","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"102bab428c9493b2fb2a07e470a3630530de5987","datavalue":{"value":"exceptional Lie groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1296409$CD1C0D83-8581-4ED2-8CA8-551FD57FE72F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b77fd4328296f2fcabac692b0a742ecbfb715c16","datavalue":{"value":"Hopf algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1296409$30510FE6-DC0C-4242-904D-F5449F597CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be510a351108de3b6432d3de413046d69d10f2e6","datavalue":{"value":"Morava homology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1296409$25FCDCA5-E68E-4360-839B-F2818BC1453F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"37e56e01762594b88bb0c896953a034ba0518800","datavalue":{"value":{"entity-type":"item","numeric-id":276569,"id":"Q276569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1296409$9248BAA7-0CFD-4F83-AAE9-4C09F9616FC9","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":"Q1296409$FC2ED5AF-4E96-4FDB-9906-4206C46BF130","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d3ab753b5f1f2745b927d51e0852452ba1f3c618","datavalue":{"value":"https://doi.org/10.1215/kjm/1250518002","type":"string"},"datatype":"url"},"type":"statement","id":"Q1296409$3B7FF7D5-E82F-446C-BDA2-8F699089C925","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6a2c7cd349a1ce4cc0fc31f681b69de0a5fc9c89","datavalue":{"value":"W1844180677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1296409$2C3912E6-EF0F-47D9-8B8C-7E900C89C45B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e16ed44030f726efd6e12b22bd2be0b69ae33100","datavalue":{"value":"10.1215/KJM/1250518002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1296409$DCA69C48-82F6-4D57-9A48-673621183787","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5346f92967b1afafd8d1abecb989300a8aa0d9c4","datavalue":{"value":{"entity-type":"item","numeric-id":2467690,"id":"Q2467690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73ae5450f9bf91447f4b6e8f4db6a213f3c9c3ab","datavalue":{"value":{"amount":"+0.8346025347709656","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":"Q1296409$6937C260-F8D0-408C-A4B9-AD70CEF42722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee58f352838136f4b9071924bd6677632604367f","datavalue":{"value":{"entity-type":"item","numeric-id":1894027,"id":"Q1894027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c3905cd8e5a3bd65573fef0360df3cf3ba4305e","datavalue":{"value":{"amount":"+0.8127509355545044","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":"Q1296409$53CE219F-F256-4DDF-A498-CAEF62C18CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e00aeeb634b0d3ea725119b7944eea4299ffadef","datavalue":{"value":{"entity-type":"item","numeric-id":2731413,"id":"Q2731413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4ad0bc769aba1d68232a967ad9a808cd6cf82c2","datavalue":{"value":{"amount":"+0.803702712059021","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":"Q1296409$716D5DD0-7893-461F-B0FC-6EF98C7F6EB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modulo odd prime homotopy normality for \\(H\\)-spaces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modulo_odd_prime_homotopy_normality_for_%5C(H%5C)-spaces"}}}}}