{"entities":{"Q5935880":{"pageid":8112682,"ns":120,"title":"Item:Q5935880","lastrevid":101991266,"modified":"2026-06-06T03:16:00Z","type":"item","id":"Q5935880","labels":{"en":{"language":"en","value":"The maximal differential ideal is generated by its invariants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1611963"}},"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":"Q5935880$D01D11E2-A990-4D27-8C18-84F5A88DBB86","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7aacdcd95e1b6063b41e7dd13f51802f739cfee5","datavalue":{"value":{"text":"The maximal differential ideal is generated by its invariants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5935880$5BB0B67A-61C6-44BA-875A-45FCBE9ADEF3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae4b8b932406e1bf60ed35b80faf3a10da3b44bf","datavalue":{"value":"0978.12008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935880$DA46A3F0-2255-4346-9507-4A1EF8570502","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3756f87f6b97b6bbc8f783454ebb8216879c230e","datavalue":{"value":"10.1016/S0019-3577(00)88568-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935880$AFA6FE6F-8FB3-4DCF-A4BA-69B285BE6790","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad9372bcae6669ca10c2d239fff05025a15d77f9","datavalue":{"value":{"entity-type":"item","numeric-id":185790,"id":"Q185790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935880$98E9128F-4C62-4452-9E43-EF79EE879EA2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2e359c0e985e9b5bac2c1d59359dad9dfd6f494d","datavalue":{"value":{"entity-type":"item","numeric-id":174755,"id":"Q174755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935880$9F3C4C11-BBBF-46C2-A0E8-5D2D445D54B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb40d11281955feb9c83549c13a27c60db3daa79","datavalue":{"value":{"time":"+2001-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5935880$B2D019D1-FA4B-46DB-BEAB-61BE0EE3704A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c591b53912daa38cf651e00b453b5f8983cbb292","datavalue":{"value":"Let \\(L\\) be a monic linear differential operator of order \\(n\\) over the field \\(F=\\mathbb C(z)\\) of rational functions in one variable over the complex numbers, and let \\(y_1, \\dots, y_n\\) be linearly independent (over constants) solutions of \\(L=0\\) in a Picard--Vessiot extension \\(E \\supseteq F\\). Let \\(R=F[X_{ij}, 1/\\text{det}(X_{ij})]\\) be the polynomial ring with the inverse determinant adjoined. There is a homomorphism \\(R \\to E\\) which sends \\(X_{ij}\\) to the \\((i-1)\\)th derivative of \\(y_j\\); let \\(I\\) be its kernel. The group \\(GL_n(\\mathbb C)\\) acts on \\(R\\): the action \\(g \\in GL_n(\\mathbb C)\\) sends the matrix \\(X=(X_{ij})\\) to the matrix \\(Xg\\). With this notation, the differential Galois group \\(G\\) is precisely the set of matrices in \\(GL_n(\\mathbb C)\\) which stabilize \\(I\\) set wise. The purpose of this paper is to provide an alterative proof of the theorem, due to Elie Compoint, that when \\(G\\) is reductive the ideal \\(I\\) is generated by \\(G\\) invariants. The author's proof uses the invariant theory of \\(GL_n\\), and in particular the result that the semi--invariants in the quotient field of \\(R\\) are \\(F\\) multiples of powers of the determinant.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935880$A48B6A48-3A12-49EA-A71C-541B21857A9C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"99f6f42db081d255047e4db03aedb85f11dd505e","datavalue":{"value":{"entity-type":"item","numeric-id":222402,"id":"Q222402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935880$9B4CC217-BBC1-4203-9945-421ADB1234CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3b745564e46a3acb7c8c15ab2ae30dc70b53995f","datavalue":{"value":"12H20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935880$592C6BBA-277E-4378-A354-F915841D33D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b35a4dd6b69af6318a3999cc38fddaa4478871c5","datavalue":{"value":"13A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935880$5B688591-0163-4A6D-B56F-8A91058C64B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f4f1966de2334b7047ae855a66bcf542e9dbed1","datavalue":{"value":"1611963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935880$AABC743B-A37B-4085-8DC8-63578C500FE6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae96ea78988d404c59436e4aeeed24ae2f2a9037","datavalue":{"value":"differential Galois theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935880$587F2E80-F9ED-473F-8FE2-CB0ED524586D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dcd453fe6b178991dc2aee63963d3194adc3c5d","datavalue":{"value":"invariant theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935880$0A20B497-A05D-4802-A807-5855D4FF07DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e17e255d3558e555c0c91f9082065674373af81","datavalue":{"value":"reductive group","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935880$CD0519A9-82DD-433C-86DB-1FCC80B2E314","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":"Q5935880$55807713-7DDA-4FDA-BB68-5FB3794D9B15","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"907d2a81bbf73ea3cb9e1327349b7aa241ecd4e4","datavalue":{"value":{"entity-type":"item","numeric-id":4284464,"id":"Q4284464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935880$38A8CAC0-D0E3-41E6-BFC9-CE41BF648B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08caade621156e5b1d856a0894a749df6a6004f0","datavalue":{"value":{"entity-type":"item","numeric-id":1974708,"id":"Q1974708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935880$AF087960-33C2-4817-975F-97683A75E5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"794c814df95c1578ab50ee52af09b08a5df2b778","datavalue":{"value":{"entity-type":"item","numeric-id":4002278,"id":"Q4002278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935880$9B05B876-A1F7-4EA2-8030-92E8EB2AF2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c31ea7d3dc80c0ba430150abfd557d50e4a86d6","datavalue":{"value":{"entity-type":"item","numeric-id":1358918,"id":"Q1358918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935880$D99AA1C1-A7D1-4A19-B088-504005309242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10caed1e840a738fb5949da74d796c58ae32d387","datavalue":{"value":{"entity-type":"item","numeric-id":5680222,"id":"Q5680222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935880$1A93EAE5-76F2-4E80-9294-90B024A2DE42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7541301e6458b3911ae86a4d82d9aeec271c4209","datavalue":{"value":{"entity-type":"item","numeric-id":1082810,"id":"Q1082810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935880$112B94F3-442A-41AD-A01B-E1E15CEE5B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea99d34030b2153c38252a9dc02bdf8f9b6ac6e1","datavalue":{"value":{"entity-type":"item","numeric-id":4321755,"id":"Q4321755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935880$513409F0-3166-4B7C-84DA-1EF4F7B3185B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65845bcfe3a00097dc32e62731ccd85212a56dcd","datavalue":{"value":{"entity-type":"item","numeric-id":3197951,"id":"Q3197951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935880$6AD04501-EF09-45FB-8E65-8FBEFE20826B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5be55c1c4b9cb4891ce5135b81a4cb4a7674849","datavalue":{"value":{"entity-type":"item","numeric-id":1332656,"id":"Q1332656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935880$95D97EE8-3511-475C-BE38-CF709DA6F0DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7214b981850e6de6a6b665e4ff7680525f09e77f","datavalue":{"value":{"entity-type":"item","numeric-id":4278763,"id":"Q4278763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e757a4060b15bc8392039ec900faaf99eccfb999","datavalue":{"value":{"amount":"+0.8940238","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5935880$5A77E8D3-EB31-41E7-924B-21726561DBA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc2074e522eee162723669ddb0851dfe4b08a8f7","datavalue":{"value":{"entity-type":"item","numeric-id":5906583,"id":"Q5906583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61c9a79b1b1be2ffec78508b3761cb9850e27a62","datavalue":{"value":{"amount":"+0.8932208","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5935880$EFA93074-C022-4C04-8297-1C8B7DC489AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22be814c802f57b0c91c9f9e838517c5def6e8ba","datavalue":{"value":{"entity-type":"item","numeric-id":5917720,"id":"Q5917720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61c9a79b1b1be2ffec78508b3761cb9850e27a62","datavalue":{"value":{"amount":"+0.8932208","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5935880$1865B87C-6C56-4750-BDD5-9D8A61A3D2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c72ddce99f68a6e13b53fec88382b85c35cefe4c","datavalue":{"value":{"entity-type":"item","numeric-id":4013448,"id":"Q4013448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91d8cb75a60bf9e579c1cc4b4533610a922f7dd0","datavalue":{"value":{"amount":"+0.8848111","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5935880$37B046E6-9DC7-498C-B3FB-EDB47A89FBAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4231ac5b6a0c56665caeced75c24083492b2ba13","datavalue":{"value":{"entity-type":"item","numeric-id":2220334,"id":"Q2220334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5eb1662b71cdbe71f8966e779e5894c4d3c679a6","datavalue":{"value":{"amount":"+0.8716459","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5935880$16AFBC67-6321-4A25-9A2D-A5FA1DDD23EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ba51d6184012861d4f955d263b5a686fe5e6bb4","datavalue":{"value":{"entity-type":"item","numeric-id":3422796,"id":"Q3422796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff131453a8ff85ee641ba63df41c36ccdb140867","datavalue":{"value":{"amount":"+0.86116403","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5935880$E1DEB84D-839D-4450-9BFC-569CFF45522B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a44dace6a228c260e032d2e5281815946e9596c","datavalue":{"value":{"entity-type":"item","numeric-id":928416,"id":"Q928416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72f8f60f88f2a77237101e7b33d973d304bd8349","datavalue":{"value":{"amount":"+0.85827386","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5935880$13FD8EF5-6350-4237-87C0-D0F99AC3F19B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b552d73ce733e1f5c493bb41ed45870cfea98a6","datavalue":{"value":{"entity-type":"item","numeric-id":5859200,"id":"Q5859200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dabda10589f10ee0093ece204a803026ce015e4","datavalue":{"value":{"amount":"+0.8558763","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5935880$58531876-C79F-41BF-94BD-F99C3641BE19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9db1e537842669e449adcf3abffe445ecada2121","datavalue":{"value":{"entity-type":"item","numeric-id":5531094,"id":"Q5531094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"216f9e1dd7c0c4b47e1e9ff760f958747058fa1d","datavalue":{"value":{"amount":"+0.8557203","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5935880$2E7AB8CF-2287-4B87-881C-6A134E71D66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"249ae06030193fe0c40dc60bdaa28b9d14fbf058","datavalue":{"value":{"entity-type":"item","numeric-id":852454,"id":"Q852454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2077d6398c11a42bae2f526dfb7982250b29f052","datavalue":{"value":{"amount":"+0.85334253","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5935880$0BB00204-EF2D-4768-9A26-8F92FEACBDCF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The maximal differential ideal is generated by its invariants","badges":[]}}}}}