{"entities":{"Q2892665":{"pageid":2903390,"ns":120,"title":"Item:Q2892665","lastrevid":84887060,"modified":"2026-06-03T05:02:17Z","type":"item","id":"Q2892665","labels":{"en":{"language":"en","value":"On subgroups of the additive group in differentially closed fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6047767"}},"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":"Q2892665$2ECC9845-005E-41C5-AC22-50C5078E0FF8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e9b25706a386fc0a3785453a50f0f30adb5940e","datavalue":{"value":{"text":"On subgroups of the additive group in differentially closed fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2892665$982D5FE1-AE56-466A-9EF5-4DB89491FFC1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0021a74bd0753ca4dec0702049688190cbbca9f3","datavalue":{"value":"1248.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892665$8A67668E-EB29-4A60-A167-06E775221C25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"172528c4ed746d327a330f46b751a19cb6718dbf","datavalue":{"value":{"entity-type":"item","numeric-id":2892664,"id":"Q2892664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892665$CF48801D-7825-473B-9BF0-4D2202DDBF0F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"555fba5bdc6c0bd8b767e7cf573522b7525626a8","datavalue":{"value":{"time":"+2012-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2892665$B833FF97-67CF-4D3B-A5CE-90FAF2F5E581","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c041d9121a7532c8a9b0d096ab1ca4ce9ab7274a","datavalue":{"value":"https://projecteuclid.org/euclid.jsl/1333566628","type":"string"},"datatype":"url"},"type":"statement","id":"Q2892665$B27DF821-FB26-49BA-8166-EEF5B4CB3239","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892665$98D51C1B-6D28-4221-AF4B-DF9B298AC75C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892665$29934E0D-690F-461F-811B-ECC3B3376FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a5acd82496d22aa179ed7948314f87d646a2926b","datavalue":{"value":"12H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892665$0E3794CC-19B3-456A-A830-139242E6D284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892665$39BE3D5F-055F-4D2A-84DB-3C8D0E78F36A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43aa8497f6bcdaea49291a1b38e3931da2e86f1a","datavalue":{"value":"6047767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892665$317ABC63-8ABC-4748-BA44-D071A9174FAF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92c7c3b47c558214484bbd2bf46faeaf9ce2b77a","datavalue":{"value":"differential field","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892665$28FBE289-E08D-4FB1-908D-1653B7FF286C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2815abcfe398104adc893812fc5c61e1b13be96","datavalue":{"value":"geometric stability theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892665$9D7D3F82-3B5A-4844-854B-9B6EA742DF44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8d6afb37e5a2932780f1f9df89fb09290a12e22","datavalue":{"value":"regular types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892665$D32D4F35-6119-4F14-991D-17B727EC09F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0da16e14abe89cedaf0985d32037adc16ae265cf","datavalue":{"value":"local modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892665$BA3B75B0-CF0E-4D1D-9B1D-011E6EE6D741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12b4e02249c03d5eeb4e48d4952eabfa45362f9e","datavalue":{"value":"additive subgroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892665$05D92C20-4685-4ED9-BF94-79F9B63F69EF","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":"Q2892665$D041C8FD-E483-4698-975C-E9EEDF62A6D9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7adb84304e1e4a9ab2e1961309bc08693142ac0c","datavalue":{"value":"W2064966621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892665$6386BD6A-D0DE-4616-9A26-8ACE34E15319","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1925ed06d15049823b69fa29b1688154e638a11","datavalue":{"value":{"entity-type":"item","numeric-id":1123944,"id":"Q1123944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892665$F98ED986-E1A7-4683-9045-F8819084F00B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48dc7d8e3697c45ae361a8f77a181dacc1dc1d51","datavalue":{"value":{"entity-type":"item","numeric-id":1222198,"id":"Q1222198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892665$9936A472-D0B6-4624-A470-7D452B280143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c7c431b84a19cdc0d15a19b093e674261cb2a9b","datavalue":{"value":{"entity-type":"item","numeric-id":5672741,"id":"Q5672741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892665$30CEC61A-A833-4EC9-A8F1-3D22BD90BA2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"563fb29d65579f9189a2119a40c2b2bfaf430ae5","datavalue":{"value":{"entity-type":"item","numeric-id":4953225,"id":"Q4953225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892665$A0186F4F-D01A-4878-BD9F-49BBD444D37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f710449ba045862cb35e2255bf6790dd6c1ca042","datavalue":{"value":{"entity-type":"item","numeric-id":4033148,"id":"Q4033148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892665$697C2022-37B7-4D16-B05B-F049592B9C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e89ea4c893cfcc5044e598b19543024a3609b17c","datavalue":{"value":{"entity-type":"item","numeric-id":4779660,"id":"Q4779660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892665$0C5400EC-4E0D-48D5-922D-F616AA8FA561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88c9022bbdac16e62d6afd4ae6fc692a3d53bc91","datavalue":{"value":{"entity-type":"item","numeric-id":1367611,"id":"Q1367611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892665$4D65761A-C8C6-419E-9865-DA723B189970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b759890e7c83fe1708441761d062bf9317e054b","datavalue":{"value":{"entity-type":"item","numeric-id":4112122,"id":"Q4112122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892665$0F3F04FD-AD82-4B02-B3D8-93BAE547E1F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"58de8e99f5c54e7e995cffc70daeed06e1230b71","datavalue":{"value":"10.2178/JSL/1333566628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892665$7BAC2270-E15A-4125-A97D-FC9D0728BCAF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892665$8B4A96C2-18B3-45F8-80E1-11E4440764B5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8842315fd2e0060f2787d2eaf499f46549e8d917","datavalue":{"value":"The author studies additive subgroups of a differentially closed field of characteristic zero with \\(m\\) commuting derivations (\\(m\\)-DCF\\(_0\\)), i.e., subgroups of some Cartesian power of the additive group of the field. This was first studied by \\textit{T. McGrail} [J. Symb.\\ Log.\\ 65, No. 2, 885--913 (2000; Zbl 0960.03031)], and later by \\textit{R. Moosa, A. Pillay} and \\textit{T. Scanlon} [J. Reine Angew.\\ Math.\\ 620, 35--54 (2008; Zbl 1223.12007)], who showed that any non-modular regular type must be non-orthogonal to the generic type of an additive subgroup.NEWLINENEWLINEThe author first quickly reviews the properties of the dimension polynomial: If \\(K\\) is a model of \\(m\\)-DCF\\(_0\\) and \\(\\eta\\) a tuple in some elementary extension, then there is a polynomial NEWLINE\\[NEWLINE\\omega_{\\eta/K}(X)=\\sum_{i=0}^\\tau a_\\tau{W+i\\choose i}NEWLINE\\]NEWLINE with \\(a_\\tau\\not=0\\) and \\(\\tau\\leq m\\), such that \\(\\omega_{\\eta/K}(s)\\) is the transcendence degree \\([K(\\delta^{\\bar\\alpha}\\eta:|\\bar\\alpha|\\leq s):K]\\) for sufficiently large \\(s\\). Then \\(a_m\\) (which may be zero) is the \\(\\Delta\\)-transcendence degree of \\(K\\langle\\eta\\rangle\\) over \\(K\\). We call \\(\\tau\\) the \\(\\Delta\\)-type of \\(\\eta\\) over \\(K\\) and \\(a_\\tau\\) the typical \\(\\Delta\\)-dimension. If \\(X\\) is an irreducible \\(\\Delta\\)-variety, its \\(\\Delta\\)-type and typical \\(\\Delta\\)-dimension are that of a generic point. A \\(\\Delta\\)-group is \\textit{\\(\\Delta\\)-type minimal} if it has no proper subgroup of the same \\(\\Delta\\)-type.NEWLINENEWLINEThe author shows that any two \\(\\Delta\\)-type minimal additive subgroups with non-orthogonal generic types have isomorphic proper quotients, and in particular the same \\(\\Delta\\)-type and typical \\(\\Delta\\)-dimension. An interpretable field is definably isomorphic to a definable subfield; it is \\(\\Delta\\)-type minimal of typical \\(\\Delta\\)-dimension \\(1\\). Any two non-isomorphic interpretable subfields are orthogonal. A \\(\\Delta\\)-type minimal subgroup of the additive group is non-orthogonal to a field if and only if its typical \\(\\Delta\\)-dimension is \\(1\\).NEWLINENEWLINENext, for every \\(k<\\omega\\) an example is given of a type \\(p_k\\) of Lascar rank \\(\\omega\\), \\(\\Delta\\)-type \\(1\\) and typical \\(\\Delta\\)-dimension \\(k\\). This contradicts in particular a rank inequality claimed by McGrail.NEWLINENEWLINEFinally, the author shows that the generic type of a quotient of the heat variety must be locally modular, and answers negatively a question of Cassidy on the existence of a certain Jordan-H\u00f6lder series for the heat variety.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892665$9B31BFEC-E368-4F68-8D6F-A512260D7D28","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e8711ab155868ce5cc89a6fb93b9750a6dbe545","datavalue":{"value":{"entity-type":"item","numeric-id":3524820,"id":"Q3524820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e72fd6e7f332223a3661bf72272fd5469ed9ca6","datavalue":{"value":{"amount":"+0.7674780488014221","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":"Q2892665$C31383E6-678D-42C0-B764-F45B37793ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3134610477ef52225ec91c8010e6bbb68e70ea0f","datavalue":{"value":{"entity-type":"item","numeric-id":654014,"id":"Q654014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29757dd386685705a148ffb51cf58280faa7ceb4","datavalue":{"value":{"amount":"+0.7605284452438354","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":"Q2892665$57212670-5F44-42BC-8E29-16609CE37662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16a1ab148bcc128b997c1378c43b8fbad62ddd2c","datavalue":{"value":{"entity-type":"item","numeric-id":556822,"id":"Q556822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc341666dca8d462e33c703e5c1026ac3734c574","datavalue":{"value":{"amount":"+0.7546177506446838","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":"Q2892665$D0D675E2-8E3F-43B0-B90B-AB8324595D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d10760ced64407073bc61b6a1d96c5c3e227886","datavalue":{"value":{"entity-type":"item","numeric-id":536174,"id":"Q536174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c85184939b6e06e94da1eba4e375544d1e7fc29","datavalue":{"value":{"amount":"+0.7425104975700378","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":"Q2892665$5BE8DDF3-3740-456D-9CBE-A7EA6158D648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44b86f49c047615ec0f8ab4ff96f9a9bb37a56d9","datavalue":{"value":{"entity-type":"item","numeric-id":1364789,"id":"Q1364789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f413d71c432e0910d0c21d4cff754a24c1aa5cd4","datavalue":{"value":{"amount":"+0.7382874488830566","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":"Q2892665$3BB08001-96D3-431A-A323-80D561A12D98","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On subgroups of the additive group in differentially closed fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_subgroups_of_the_additive_group_in_differentially_closed_fields"}}}}}