{"entities":{"Q2275903":{"pageid":2286646,"ns":120,"title":"Item:Q2275903","lastrevid":71738439,"modified":"2026-04-14T00:13:27Z","type":"item","id":"Q2275903","labels":{"en":{"language":"en","value":"Macaulay inverse systems revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5937782"}},"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":"Q2275903$BA971FAF-1BF9-4F1B-92E9-0D11C4114D53","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8898d4e923c0611666706f9a42c1634f0c9b7aff","datavalue":{"value":{"text":"Macaulay inverse systems revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2275903$D71B7E96-4AEA-4889-8C9C-6B9DF3CD1D51","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"393afd75c235583efa83977dc947d6ce80bf0642","datavalue":{"value":"1233.35069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2275903$FBC58012-07E2-4E85-92F6-367DF86DD41B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a58863b7f227a4fbe48df4600395a9d17c6b83cf","datavalue":{"value":{"entity-type":"item","numeric-id":1802929,"id":"Q1802929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2275903$5CE3974E-61B6-4AEB-8709-2B91660B1984","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2275903$0B62A178-6F9D-49ED-B02F-FB7F1C6BFF0D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2afc3cad79b731f5732eb66c72b8146587d7ee14","datavalue":{"value":{"time":"+2011-08-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":"Q2275903$A642EC4D-6CF1-4822-95A3-79A4ED5FD896","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b5572969e72804c7af047171731421c5591ab3d4","datavalue":{"value":"https://arxiv.org/abs/0902.2314","type":"string"},"datatype":"url"},"type":"statement","id":"Q2275903$8956177C-45AF-43FC-84D1-71DD49EFE56A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2ecddae212eb6c50be576df0cf6de39881b88f49","datavalue":{"value":"In 1916 \\textit{F. S. Macaulay} introduced in his book [The algebraic theory of modular systems. Cambridge: University press (1916; JFM 46.0167.01)] the notion of an inverse system relating polynomial ideals with systems of linear partial differential equations with constant coefficients. The author proposes an extension of this theory to more general systems of partial differential equations partially motivated by applications of control theory (although these are not detailed in this article). His approach consists of a combination of classical commutative and homological algebra with the formal theory of differential equations and its key notion of involution.  The first two sections provide a long introduction and motivation for the problem considered and introduce some basic notions from algebra and the formal theory. The third section discusses the concept of purity, as it represents a key assumption in the main results of the article, and relates it to involution via a partial localisation. In the fourth section inverse systems are introduced via dualisation with respect to the base (differential) field and some basic algebraic properties of them are exhibited. Section 5, entitled ``Macaulay's Secret'', contains the core of the article. The author argues that the crucial idea of Macaulay was to consider the top part of the inverse system instead of the socle of the original module, as this permits later the use of Nakayama's lemma. Finally, short conclusions are given. Throughout, many examples are provided to demonstrate the theoretical steps.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2275903$FD7BE8E5-1B61-4FFF-9E5F-15FD60AC73EE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"90569d4b1816938932e72f3380e6ee6fcc55442d","datavalue":{"value":{"entity-type":"item","numeric-id":349838,"id":"Q349838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2275903$06F67B9F-CD80-4CC1-8B17-EA227650B9CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a2081834f77e6570bc313f7198af4f60fc4c76a0","datavalue":{"value":"35E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2275903$C496D1BF-E9F6-4A14-98C9-ADA4144177BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fb218609bb348fdd327631b73dea60728afa1930","datavalue":{"value":"13N10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2275903$B1E087EF-374D-4A25-BB6B-5DEE42BF4F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2275903$7BB0A09F-73D1-4EB5-975C-94062ADCA018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9b4a24318cda797351dde93ed4502dfcf1f2931","datavalue":{"value":"13P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2275903$8DB1927C-C8DB-4BA5-8F8A-A9EACFAB1FF5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"101cf454fae7987b740ce67818a6d311166a2f22","datavalue":{"value":"5937782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2275903$939E47A7-D2CC-4F09-A9F1-43AF993756EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b93a7d49dae4262f15fac9ae5d4804acf59768d","datavalue":{"value":"algebraic analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2275903$218EDFC3-20CE-4298-8100-D98E4C97494E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e83454d0c86234fee35e193c37d2bc1489188c44","datavalue":{"value":"commutative algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2275903$17934FC7-C85C-4FCF-8D17-268B2E58905B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e85250b0f5793fddfbfacbacf1a198f152b6c2ef","datavalue":{"value":"homological algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2275903$0438EDE3-B8FF-4327-9314-C21A52D039FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce7111f635fc1f126061feb0ad03a7e2d9afa13e","datavalue":{"value":"localization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2275903$2FBA44DA-BD00-40C4-8093-55D6F9625973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2275903$767FBF0C-6B62-4542-B59A-C69761C80716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99c239dc77a316f7da47f9d2d7c645993f6cd8d7","datavalue":{"value":"Gr\u00f6bner bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q2275903$49449C34-FDCB-4FD6-80D7-A3A162807279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89776d5663aec952e5f4f0aaeb7c100ecb55de2f","datavalue":{"value":"Macaulay's Secret","type":"string"},"datatype":"string"},"type":"statement","id":"Q2275903$7BDB46C3-2435-4BDA-B4BA-ADE3E861D440","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":"Q2275903$10AB3723-269A-4552-8EC2-2D5181E70C66","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"427e25bdb196c320dfc3c0d7311881269da1232c","datavalue":{"value":"W2024843080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2275903$BA2D104A-37E4-446B-9DB0-7ECAC98C5DE5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6b36f2e16a2a0541abf441076a9b837158d8040","datavalue":{"value":{"entity-type":"item","numeric-id":4379503,"id":"Q4379503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2275903$D1804856-FD7A-4064-8CD1-1F4EA1BC84E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0897c79f028ba0b03af044eb00e07004bdc09dbb","datavalue":{"value":{"entity-type":"item","numeric-id":3136285,"id":"Q3136285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2275903$484229D8-7AFC-49E0-8E0B-36067CBA3228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a5d64d1845e04f80ca2a97cbbd0e809cdc4f53a","datavalue":{"value":{"entity-type":"item","numeric-id":3338360,"id":"Q3338360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2275903$6DA63C5F-A0AB-41D0-A1BF-5B176159E02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db5d5912d83322cd197b1f5c054b0276e99c6018","datavalue":{"value":{"entity-type":"item","numeric-id":5515450,"id":"Q5515450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2275903$916F2649-43F5-43BB-8D03-6CE6A193B4C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48933c0d362727730cc1905c68ff87e3a22216cf","datavalue":{"value":{"entity-type":"item","numeric-id":2457345,"id":"Q2457345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2275903$E3DBEA92-FA4D-4899-B4AB-90A0D9C698B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af2684320e7f18775d78c93c9da068ccfece027c","datavalue":{"value":{"entity-type":"item","numeric-id":1404737,"id":"Q1404737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2275903$71E3CAFD-D9D5-4A3A-ABDA-E168B9A333F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3062b0468619849ed5b865ba2231858713788f","datavalue":{"value":{"entity-type":"item","numeric-id":5529825,"id":"Q5529825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2275903$38107E53-793E-4BB4-A176-2763AD5F1F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e029de44b5d238652a253e8a815a22f4ee5cfcd5","datavalue":{"value":{"entity-type":"item","numeric-id":3676243,"id":"Q3676243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2275903$4FC85DB5-927E-4FBB-96C8-CCCC997B94DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b876a2962bd0973993f1d2a203de798f3bdca37","datavalue":{"value":{"entity-type":"item","numeric-id":5542855,"id":"Q5542855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2275903$08B61366-433A-47D7-B31B-05CFAB4D5AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6baeda503f49d9f5b8b9d3740294c2835762b26c","datavalue":{"value":{"entity-type":"item","numeric-id":752615,"id":"Q752615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2275903$5353E9C9-4CC6-4191-967B-0906C72D9130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d601e5781f216f802f0b7fe9c796421c9660ad6e","datavalue":{"value":{"entity-type":"item","numeric-id":5585729,"id":"Q5585729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2275903$E5753BD1-1C2B-4AC1-A67E-681972B6D554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047e27f837a6ba6a2602c1f16918dad46bc20993","datavalue":{"value":{"entity-type":"item","numeric-id":4303987,"id":"Q4303987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2275903$105D334A-3354-4F7C-978C-6036C0DFEB31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"add1111f429a6c15e13b1d48514d0422ba4127c5","datavalue":{"value":{"entity-type":"item","numeric-id":2742809,"id":"Q2742809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2275903$8ECC474E-3811-4CDA-B373-564578E316FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a3ae5c4e462df44935421dbf29abd7b1277c73e","datavalue":{"value":{"entity-type":"item","numeric-id":4681664,"id":"Q4681664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2275903$A39DBBA8-E2AF-461F-8736-6D7FBD24364A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f9f8b3c58e8fcc9611b852c3216ef74ba677737","datavalue":{"value":{"entity-type":"item","numeric-id":5431980,"id":"Q5431980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2275903$CF4B063D-0DF1-493A-8530-78B8C6CD775F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85557f9e07edb66d7ea768f7e24a967054f731c7","datavalue":{"value":{"entity-type":"item","numeric-id":3882615,"id":"Q3882615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2275903$8B6EC561-EF63-40FE-883A-366742F27099","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"11a4a68862f87e9456b360e15c2fff3fc67282c8","datavalue":{"value":"10.1016/J.JSC.2011.05.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2275903$28DA8352-9E2C-4164-9A89-CC87DC277A52","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45e9731d2655bb30d87b5da5d11d752c1d14d53b","datavalue":{"value":{"entity-type":"item","numeric-id":5176478,"id":"Q5176478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b360b9d701d686db105a0402af73e0f49d080947","datavalue":{"value":{"amount":"+0.8409743309020996","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":"Q2275903$91E48680-C508-4487-ADC4-7D1327AD0D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5258e1e1fb81fdfbc898962eda960e9de1b5b15","datavalue":{"value":{"entity-type":"item","numeric-id":335932,"id":"Q335932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"287846e766e9d3f4f727c0f89778d2ebf4d86e53","datavalue":{"value":{"amount":"+0.834657609462738","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":"Q2275903$F62A96E0-80FA-4B8A-9978-63631C43D056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8038fc4dfa51d9405557c23b0a85479f4189975","datavalue":{"value":{"entity-type":"item","numeric-id":1295542,"id":"Q1295542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0333a854d24fbc480eb9513bb5bba27b1a1028df","datavalue":{"value":{"amount":"+0.83107990026474","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":"Q2275903$1D7E44F6-0C11-4F51-9F77-0B99A28B6B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e688ad2ca23a5c7188054bdb6069f22aa3755b6","datavalue":{"value":{"entity-type":"item","numeric-id":1730201,"id":"Q1730201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c920111b0de04b59037792868c8adbf6a87a6874","datavalue":{"value":{"amount":"+0.8309235572814941","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":"Q2275903$415FC4D9-23E0-45CC-9E64-003854F3089F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b77e1d76fac62e9bfec594f811569e85e81adee0","datavalue":{"value":{"entity-type":"item","numeric-id":4293528,"id":"Q4293528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73fc839f4671362f26de4940361cb400ba740fa4","datavalue":{"value":{"amount":"+0.7984458208084106","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":"Q2275903$BCE1E6B4-1BB8-4F83-BD83-FD926E5C3098","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Macaulay inverse systems revisited","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Macaulay_inverse_systems_revisited"}}}}}