{"entities":{"Q1972241":{"pageid":1982983,"ns":120,"title":"Item:Q1972241","lastrevid":72110760,"modified":"2026-04-14T02:43:15Z","type":"item","id":"Q1972241","labels":{"en":{"language":"en","value":"An infinite differential ideal"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1434522"}},"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":"Q1972241$FC2AB3D6-A9EF-4B46-BD2A-6FCAC8CB00D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"420b4758b2bae4c8ce174e7fb4f91d44d927f643","datavalue":{"value":{"text":"An infinite differential ideal","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1972241$89AB2003-8C29-4CF9-A69C-5A1B5B31F287","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b329aace1bc837e5ba03a1269eaeaccc95f8e08","datavalue":{"value":"0948.83038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972241$DA3D4B2B-13B6-4647-9E41-C25BF3151DFC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eaafea4ceabe6c8ce6f96e524c90913ea87d7787","datavalue":{"value":"10.1023/A:1026682120405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972241$BBCD67B4-F1D5-4BD7-9AE0-E2D77FDE4591","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5ede15773d5cae3601e1836405f1764e26cdf905","datavalue":{"value":{"entity-type":"item","numeric-id":173404,"id":"Q173404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972241$6DD3F6CC-AFB4-436F-A487-4B597E959C25","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4602bfe2ce2cb25d86312a0cba8d02883ac98d9b","datavalue":{"value":{"time":"+2000-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1972241$CA250E1E-1337-4C9C-B038-0D7761F44D65","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5f0d0f0cf2332386e8b4ccef4f8f73ea41e2d2ff","datavalue":{"value":"The author presents an infinite differential ideal which can be applied to structural problems in relativity and twistor theory. Suppose \\(\\mathbb A\\) to be a Grassmann \\(\\mathbb Z\\)-algebra with twist map \\(\\tau_{m, n}=(-1)^{mn}\\), \\((m,n)\\in\\mathbb Z^2,\\) and polynomial over the set \\(S\\) in the grade zero component of \\(\\mathbb A\\) (as a Grassmann algebra) with compatible gradings. Then \\(\\mathbb A\\) with the induced \\(\\mathbb Z^2\\) grading is called a \\(\\mathbb GS\\)-algebra. Let \\(\\mathbb A^n\\) be the grade \\(n\\)-component of \\(\\mathbb A\\) as a Grassmann algebra, \\(\\mathbb A_m\\) be the grade \\(m\\)-component of \\(\\mathbb A\\) as an algebra polynomial over \\(S\\) and \\(\\mathbb A_m^n=\\mathbb A^n\\cap\\mathbb A_m.\\) In the appropriate way, the spaces of derivations \\(\\mathbb D_\\mathbb Z(\\mathbb A)\\) and \\(\\mathbb D_{\\mathbb Z^2}(\\mathbb A)\\) are introduced. For a \\(\\mathbb GS\\)-pair \\((\\mathbb A',\\mathbb A),\\) we denote by \\(\\mathbb D(\\mathbb A'|\\mathbb A)\\) the subalgebra of \\(\\mathbb D(\\mathbb A')\\) consisting of all derivations in \\(\\mathbb D(\\mathbb A')\\) that annihilate \\(\\mathbb A.\\) For any \\((m,n)\\in \\mathbb Z^2,\\) we denote by \\(\\mathbb D_m(\\mathbb A'|\\mathbb A)\\), \\(\\mathbb D^n(\\mathbb A'|\\mathbb A)\\) and \\(\\mathbb D_m^n(\\mathbb A'|\\mathbb A)\\) the respective intersections of \\(\\mathbb D_m(\\mathbb A')\\), \\(\\mathbb D^n(\\mathbb A')\\) and \\(\\mathbb D_m^n(\\mathbb A')\\) with \\(\\mathbb D(\\mathbb A'|\\mathbb A).\\) The main result of the paper is the deduction of the formulas which consistently give recursive definitions for a sequence \\((x),\\) a pair of sequences \\((x,r),\\) and a triple of sequences \\((x,r,\\lambda),\\) where \\(x\\equiv\\{x_n\\in\\mathbb A^0_n\\}\\), \\(r\\equiv\\{r_n\\in \\mathbb D^0_n(\\mathbb A'|\\mathbb A)\\}\\) and \\(\\lambda\\equiv\\{\\lambda_n\\in\\mathbb A^{-1}_n\\}\\). The bulk of the text involves giving the requisite definitions and setting the stage for these formulas.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972241$491A36AF-E3A9-42A0-9543-83C1B2EAD82D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f33a6747de9c08692c56bfd47d75fa8c8e49239c","datavalue":{"value":"83C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972241$1BE9A07F-50B5-470B-AAEA-E9028F9CEFA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f08ed00a74320db9f6b4895407c3d46755ff8e99","datavalue":{"value":"53C28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972241$392F2C77-2934-4859-B646-2E0ED6D215D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"583301bf0106ac6503354c0f03f086ee5be9b4e4","datavalue":{"value":"1434522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972241$97406FA5-8965-48B9-B604-9779B4C71AFD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7c7881c7458ba5cf95a7dc54011b65bc59d23b9","datavalue":{"value":"twistor theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972241$7E81F613-586F-4D15-889E-60C4257C43C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d28e5e43d0661d5d593455a951d63ae26e11e98d","datavalue":{"value":"Grassmann \\(\\mathbb Z\\)-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972241$4B7D27A0-BAD3-456A-9F8E-3D781C60A4BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8830aa658bb6fa0f1f416cdc6fa7b6204948517a","datavalue":{"value":"gradings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972241$BC228D6B-6459-4A18-B489-A21117022EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a202a517e644b73286eb39bbf6bf5b882b27cf7","datavalue":{"value":"twist map","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972241$747F373A-0B52-4BBB-8003-C0C7DD5632B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ab64502695f7c0f81c99b2f55bf6bceb4cd28b1","datavalue":{"value":"iterated commutators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972241$293C5F51-B1A5-4B13-8F77-E1C6DD4BF086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5131b2129187d7bca5a97fd861aaf17ca6ea2378","datavalue":{"value":"polynomial algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972241$E58F4439-6DDB-4F13-A675-165EDBCCA345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecccd29c59b7d42b23c13383633896432d160245","datavalue":{"value":"differential pair","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972241$5A8A2D46-BA1F-47FE-90BC-FD596E079115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49b2c3422ee6f97753ca0af5361e391e803834fc","datavalue":{"value":"recursive definition for sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972241$4CD0DC43-2552-4920-BBB6-7F354D8FF755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"898663827a1eac7e7500ac548350aa5919a99db2","datavalue":{"value":"algebra of inductive step","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972241$D500B04D-A1E7-4F1F-84EF-8B30CBDCF68F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5eca4902fc30e0c07d068f902466fa82ed61c701","datavalue":{"value":{"entity-type":"item","numeric-id":931162,"id":"Q931162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972241$47010A5E-809F-40C4-9A41-3618A25DD882","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c6855762fbb65267aee0ab3f9e382c688f4baaa2","datavalue":{"value":{"entity-type":"item","numeric-id":593300,"id":"Q593300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972241$AB647908-5655-4E80-B0A3-421A71EB0C8E","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":"Q1972241$2DA697D3-3FCD-4C69-9FF9-17F37917728D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"75bb8cfda5f2d3d772d1393a73dbd772a3f6b01d","datavalue":{"value":{"entity-type":"item","numeric-id":4259304,"id":"Q4259304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972241$24D0D2F4-BD7C-4374-BD8B-C5F61870B8AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9dcd50080732954baea27002a346e5f1291a9123","datavalue":{"value":"https://doi.org/10.1023/a:1026682120405","type":"string"},"datatype":"url"},"type":"statement","id":"Q1972241$8F434D0D-64CE-4AE2-96FC-EC8FB1224AC1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"86f96b3d55ded715fcaa9e65d0590dc6f8702e7f","datavalue":{"value":"W110183504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972241$F3D6600C-0AC2-4A2B-9E19-4BB34C97B23C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32bf10b5360bd2dc557bf0a22cba3969b67a4c1c","datavalue":{"value":{"entity-type":"item","numeric-id":2301670,"id":"Q2301670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe89be40acf974f8993dc61acde18df71b8923b2","datavalue":{"value":{"amount":"+0.7358968257904053","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":"Q1972241$5157C923-870B-481F-93C2-C4F066128CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34229f4a81ad1bd2bcbd0a9bbea7d364db3925c0","datavalue":{"value":{"entity-type":"item","numeric-id":4398520,"id":"Q4398520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26e681cf358f3be29a22166ddb2cdcd8997323b3","datavalue":{"value":{"amount":"+0.7119849324226379","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":"Q1972241$6F36A1DE-2B59-44BE-94D6-2788F6D77999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7a37419fb7379dd26169f612853adc58d3f43f2","datavalue":{"value":{"entity-type":"item","numeric-id":1911157,"id":"Q1911157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1443bc8425a9ef0adea5ca914649d8b3167da47","datavalue":{"value":{"amount":"+0.692147970199585","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":"Q1972241$DFB733C9-7BDC-4BD6-9E1B-8400050092DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61257791e30cbb2ac29abb310bf11aa8663042c8","datavalue":{"value":{"entity-type":"item","numeric-id":4319006,"id":"Q4319006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81a814cef179b1f1cb6ea797a13f3718d1e27c89","datavalue":{"value":{"amount":"+0.6904445886611938","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":"Q1972241$6B8CF33E-9516-4CC6-9FEC-1DF45B7F373D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An infinite differential ideal","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_infinite_differential_ideal"}}}}}