{"entities":{"Q2214744":{"pageid":2225487,"ns":120,"title":"Item:Q2214744","lastrevid":57788799,"modified":"2026-04-02T13:08:51Z","type":"item","id":"Q2214744","labels":{"en":{"language":"en","value":"Unstable algebras over an operad"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7283635"}},"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":"Q2214744$DEC3463A-EADA-4F13-B44A-937E7357485C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb9f355aca7adab818f2fe0dfbb3ee009a7500ab","datavalue":{"value":{"text":"Unstable algebras over an operad","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2214744$C997903E-1B44-4654-9BB1-C0FBC01A2F04","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f7612d02ba5759fc4419480026d982178921e32","datavalue":{"value":"1462.55008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2214744$B6AB2929-A4E8-4B80-AB35-527958B7FEA5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"69470124ee8cc0df16e566253a1f3f28f797a701","datavalue":{"value":{"entity-type":"item","numeric-id":2214743,"id":"Q2214743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2214744$B64D19DD-9EB0-48E5-BD10-44F55C078907","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1e22c5b89240190fc74b760088a55141cf0fb60b","datavalue":{"value":{"entity-type":"item","numeric-id":180135,"id":"Q180135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2214744$C154C1B3-D236-45D7-AA1E-A70894AF3868","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"97b59c99be360aa141a468ba100909fcbfbe314c","datavalue":{"value":{"time":"+2020-12-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2214744$F0418ACF-8086-46C3-BFD9-434A5B80D3CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"619bf6cdafe382ae9c42cf582373966b45a3c2d6","datavalue":{"value":"https://arxiv.org/abs/1912.08056","type":"string"},"datatype":"url"},"type":"statement","id":"Q2214744$85ECE69E-F145-4321-B751-EA8E11807057","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5be7a61ae1b62f832d9e3fae126263bdf94c8083","datavalue":{"value":"This paper defines and studies a notion of unstable algebra over an operad in characteristic \\(2\\). This generalizes the classical notion of an unstable algebra over the (mod \\(2\\)) Steenrod algebra \\(\\mathcal{A}\\) and is shown to recover other notions of unstable modules studied in the literature by Carlsson, Brown-Gitler, and Campbell-Selick.  For the whole article, the base field is \\(\\mathbb{F}:=\\mathbb{F}_2\\). An unstable module over the Steenrod algebra \\(\\mathcal{A}\\) is a graded \\(\\mathcal{A}\\)-module satisfying the \\emph{instability relation} \\(\\operatorname{Sq}^ix = 0\\) for all \\(i>|x|\\). The category of unstable modules over the Steenrod algebra is denoted by \\(\\mathcal{U}\\). An unstable algebra is a commutative, associative algebra satisfying the \\emph{Cartan formula} \\[ \\operatorname{Sq}^i(x\\cdot y) = \\sum_{i_1 + i_2 = i}\\operatorname{Sq}^{i_1}x\\cdot\\operatorname{Sq}^{i_2}y \\] and the \\emph{instability relation} \\(\\operatorname{Sq}_0x = x\\cdot x\\), where \\(\\operatorname{Sq}_0x:=\\operatorname{Sq}^{|x|}x\\).  Given a symmetric operad \\(\\mathcal{P}\\) concentrated in degree \\(0\\), one can consider \\(\\mathcal{P}\\)-algebras in \\(\\mathcal{U}\\). These algebras are shown to satisfy a generalization of the Cartan formula and -- as a corollary -- that \\(\\operatorname{Sq}_0\\) is automatically compatible with the algebraic structure.  Next, a generalization of the notion of unstable algebra is considered. Given a symmetric operation \\(\\star\\in\\mathcal{P}(2)\\), a \\emph{\\(\\star\\)-unstable \\(\\mathcal{P}\\)-algebra} is defined to be a \\(\\mathcal{P}\\)-algebra in \\(\\mathcal{U}\\) such that \\(\\operatorname{Sq}_0x = \\star(x, x)\\). For example, the classical notion of unstable algebras is recovered by considering \\(\\mathcal{P}=\\mathrm{uCom}\\) the operad encoding unital commutative algebras and by taking \\(\\star\\) to be the product.  Given an operad \\(\\mathcal{P}\\) and a symmetric operation \\(\\star\\), the free \\(\\star\\)-unstable \\(\\mathcal{P}\\)-algebra \\(K^\\star_\\mathcal{P}(M)\\) generated by an unstable module \\(M\\) is explicitly described as a quotient of the free \\(\\mathcal{P}\\)-algebra on \\(M\\). The main result of the article relates \\(K^\\star_\\mathcal{P}(M)\\) with the free \\(\\mathcal{P}\\)-algebra on \\(\\Sigma\\Omega M\\) provided that \\(\\star\\) and \\(M\\) satisfy certain conditions. Here, \\(\\Sigma\\) denotes the suspension, and \\(\\Omega\\) is its left adjoint.  \\textbf{Theorem 6.11.} If \\(\\star\\) is \\(\\mathcal{P}\\)-central, then for all connected reduced unstable modules \\(M\\) there exists an isomorphism of graded \\(\\mathcal{P}\\)-algebras between the \\(\\star\\)-unstable \\(\\mathcal{P}\\)-algebra \\(K^\\star_\\mathcal{P}(M)\\) and the free \\(\\mathcal{P}\\)-algebra generated by \\(\\Sigma\\Omega M\\). The isomorphism is not natural and depends on the choice of a section \\(s:\\Sigma\\Omega M\\to M\\).  Finally, it is shown that the Brown-Gitler algebra, the Carlsson algebra, and the Campbell-Selick algebra are all \\(\\star\\)-unstable \\(\\mathcal{P}\\)-algebras for appropriate \\(\\mathcal{P}\\) and \\(\\star\\), and Theorem 6.11 is applied to show that in fact they are all \\emph{free} \\(\\star\\)-unstable \\(\\mathcal{P}\\)-algebras generated by some unstable modules.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2214744$D2F2DE52-52C8-473B-BFA6-0AEF8A6058F1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f440e99b522449abf1e5ccf16f931db6052d3a4c","datavalue":{"value":{"entity-type":"item","numeric-id":1625467,"id":"Q1625467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2214744$477E60F1-318F-4A5E-AD78-684C80DF3A53","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0be2e4a354543d42b3c05ee10dfcb8dbf0ef1162","datavalue":{"value":"55S10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2214744$7FE0043B-240D-4312-A3C9-8997FCF6A2C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b332f22ba73c0cb6c10d285d7a5c485aaccad9b9","datavalue":{"value":"18M60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2214744$BFFE5AB3-F23C-4158-9E18-F4B6604E17E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1e037731cf5fe8d56e5ff843e21caf66868428b","datavalue":{"value":"17A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2214744$ADFE9024-E17A-4044-98B9-1998CE2B9DCF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f88bbdbeda7b0b6e58335257b2b46561712c7757","datavalue":{"value":"7283635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2214744$D84AD150-3B35-404E-9B7E-854030AD0421","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcc75b6d83c6a0846b2e07851ebbf189c0c101cc","datavalue":{"value":"Steenrod algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2214744$737450D1-DF4E-469E-BBB1-57B941FA06F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6192abafc7358030654305fec1d64aa7f3f91fc","datavalue":{"value":"operad","type":"string"},"datatype":"string"},"type":"statement","id":"Q2214744$EA0296C3-7039-4E8C-9C35-1BEC34442C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df19b2c6a85effafe0c7f29919a09b6ec2bd3a71","datavalue":{"value":"unstable module","type":"string"},"datatype":"string"},"type":"statement","id":"Q2214744$9EDE6578-34DD-4F95-A475-AB9CAC6EFD18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ee0d14c1824bbce24f903ec7733c98f7e3a4a41","datavalue":{"value":"unstable algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2214744$969491A9-1F35-4D26-99EB-3226E235BCCD","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":"Q2214744$06ADC739-5E4A-4E25-B6B0-B624A6D26B7A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0dc8e37b2b3958b308c861b9d6720c5e9cd2e7c3","datavalue":{"value":"10.4310/HHA.2021.V23.N1.A8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2214744$70498F09-3E2F-4594-A88C-9D7DE3CA5026","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b34a72ca9bc39b3367e60415665e4d79d68bedd","datavalue":{"value":{"entity-type":"item","numeric-id":5478675,"id":"Q5478675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69404f89ea27e562edcc8d72f0dff048b3931c12","datavalue":{"value":{"amount":"+0.7963678240776062","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":"Q2214744$229D14C0-76D4-4FC9-95CC-4AFBCC46D647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71bd7e13b18929e7841d6b778bd899b5e00a25e5","datavalue":{"value":{"entity-type":"item","numeric-id":5457855,"id":"Q5457855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48b8311b1100c54f125e5d72aabbcc301f7de498","datavalue":{"value":{"amount":"+0.7884600758552551","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":"Q2214744$D649D4C3-B8AD-4AAB-9016-3E5F562B7AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7d4d18bea9cf96752361481b325ce2286ab4019","datavalue":{"value":{"entity-type":"item","numeric-id":4652831,"id":"Q4652831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66bf975f699ac2c897f23e7d0581bdb639636263","datavalue":{"value":{"amount":"+0.7857831120491028","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":"Q2214744$52BC1A15-A3C0-42CF-B246-14164F0CE3EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ab58d3ff93827d05a92db0d7689a78f8c8df743","datavalue":{"value":{"entity-type":"item","numeric-id":847583,"id":"Q847583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61f22f5ee76718926eb3be93773d9ca77444797e","datavalue":{"value":{"amount":"+0.778085470199585","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":"Q2214744$DCD06102-0652-4AB1-ABB0-F717AA6F68B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d343b58dbb767c53c1460b0496c8f6fd44ab1eaa","datavalue":{"value":{"entity-type":"item","numeric-id":4896551,"id":"Q4896551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b39fcfdda56a31000d5dbc13d76dc55a6491c0e7","datavalue":{"value":{"amount":"+0.7745228409767151","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":"Q2214744$B42170D0-8253-4E63-8D3A-708D436B3A14","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2214744","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2214744"}}}}}