{"entities":{"Q1875892":{"pageid":1886634,"ns":120,"title":"Item:Q1875892","lastrevid":48336244,"modified":"2026-01-04T10:02:57Z","type":"item","id":"Q1875892","labels":{"en":{"language":"en","value":"Tauvel's height formula in iterated differential operator rings."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2096225"}},"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":"Q1875892$25D42160-FDA3-4D03-92B1-471317352111","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35576256d799adcd59228bf2bd0176944f202b4b","datavalue":{"value":{"text":"Tauvel's height formula in iterated differential operator rings.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1875892$F7DE0016-2207-48D7-8C66-C68FDA270E19","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f16a34b4a3a9b8f53a393d1fe9958fab545d6243","datavalue":{"value":"1057.16022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1875892$529BFC1B-F948-4196-907A-D03F531C160E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2de727ef66d05e00545bba14728a7d70385f074","datavalue":{"value":{"entity-type":"item","numeric-id":213761,"id":"Q213761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1875892$FEC6EB22-17ED-431E-A145-22EC80EF6E05","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fcf622d4faaaf9eb501926768589cf6bc6e37689","datavalue":{"value":{"entity-type":"item","numeric-id":213743,"id":"Q213743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1875892$71FDB02A-E383-428E-930C-D0D8CAC7630E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47ac8db973246ae00373c1086c161f662023ef37","datavalue":{"value":{"time":"+2004-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1875892$944C9318-D0F1-44D6-AD4B-8EFA914EAA29","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"089a759c18e16e66275c5d79136128d84472156e","datavalue":{"value":"https://eudml.org/doc/225100","type":"string"},"datatype":"url"},"type":"statement","id":"Q1875892$82A9109F-98B2-4E4F-95C1-70542811F88A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"c9056b7ef15a28507df5a9d49fb1dea18a4e5e6f","datavalue":{"value":"http://www.emis.de/journals/BAG/vol.45/no.1/1.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q1875892$BBE4E9AE-7DCB-4E6E-848A-1D73B1F4505D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fa6e3e29dd8cefc3cb188a57e3528c39aa3b02b8","datavalue":{"value":"Let \\(R\\) be a Noetherian affine algebra over a field of positive characteristic with a finite set of derivations \\(\\Delta\\). A \\(\\Delta\\)-invariant ideal \\(P\\) in \\(R\\) is \\(\\Delta\\)-prime if for any two \\(\\Delta\\)-invariant ideals \\(I,J\\) in \\(R\\) the inclusion \\(IJ\\subseteq P\\) implies either \\(I\\subseteq P\\) or \\(J\\subseteq P\\). It is assumed that if \\(d\\) is the Gelfand-Kirillov dimension of a \\(\\Delta\\)-prime ideal of \\(R\\) then \\(d(R)=\\text{ht}(P)+d(R/P)<\\infty\\). Here \\(\\text{ht}(P)\\) is the supremum of the lengths of chains of prime ideals contained in \\(P\\).   It is also assumed that if \\(I\\subset J\\) are two \\(\\Delta\\)-invariant ideals of \\(R\\) then there exists an element \\(x\\in J\\setminus I\\) such that \\((x+I)(A/I)=(A/I)(x+I)\\) and \\((A/I)(x+I)\\) is a left \\(\\Delta\\)-invariant ideal of \\(A/I\\). The author considers skew polynomial extensions \\(R\\subset R[T_1,\\delta_1]=R_1\\subset R_1[T_2,\\delta_2]\\subset\\cdots\\) where \\(\\delta_j(T_i)\\in R_{i-1}T_i+R_{i-1}\\). Under these assumptions it is shown that \\(d(R_m)=\\text{ht}(P)+d(R_m/P)<\\infty\\) for any \\(\\Delta\\)-prime ideal \\(P\\) in \\(R_m\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1875892$19634653-048F-44E1-90CD-BFC9B5464CC1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"706147fd010f3d0c81db29bd994887fc66e84a9e","datavalue":{"value":"16S32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1875892$80313B0C-3E75-4023-B126-2098F6B69DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"134aba7e27301d6a76eb8b5aa80bb8b775a16dfa","datavalue":{"value":"16P90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1875892$9EA33905-E474-4D26-B95F-39954D554E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48f73236e58d3b9eb494e5927909ad332acac144","datavalue":{"value":"16D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1875892$908EEF47-A52E-4ECC-970D-857DE8E1C291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f763c8cd6a5bb163b3bc0f29fb7bffc7801b7ec","datavalue":{"value":"16S36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1875892$94345B89-76F4-464B-89FF-75BA4B65EB6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14de176ddbef2e6f4582983d6e914d55f0e2a5c6","datavalue":{"value":"2096225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1875892$C58A0DD2-0B68-48E3-B108-21DC616415D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6655a196f326f8929c3bac10287ef403c53a8440","datavalue":{"value":"differential operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1875892$11FACD6C-2D67-40D6-B63F-0F5806853F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dd10ab560c1d90dc6b9ad97cb3b102896f713d6","datavalue":{"value":"prime ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1875892$5A47FEE8-0A7D-4889-B54C-DFDC74F27F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13090f24e1409e7d71b11d8be6ff1808a5cde97b","datavalue":{"value":"Gelfand-Kirillov dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1875892$39A8E9C8-2A70-4517-AEA4-FD80B8E9DD07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64b5c163ae7cf5c138709399302ac377724284ea","datavalue":{"value":"skew polynomial extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1875892$310C07D8-2844-463B-9FC0-559870A69A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dacfd19b9b52db987d6f0c1cf9d7be9b474b9fc","datavalue":{"value":"heights","type":"string"},"datatype":"string"},"type":"statement","id":"Q1875892$934B531B-C7A5-4A58-9F0A-32538ED46FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adb683cf0242ec4de6075b159e4eda87fcc8d67d","datavalue":{"value":"derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1875892$29F1B30E-EDE9-42BD-B92F-5EF4A38AE931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e54a62ef534224986f788baf7e7ea762a93c96c","datavalue":{"value":"Noetherian affine algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1875892$B8B25306-7296-4050-8255-AC96FF908860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a020459ff345656b485d4a41b1301124b6b51c6","datavalue":{"value":"Tauvel height formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1875892$74218F37-0973-4158-B14E-432A11AE4C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ad983696f09daa97ab30deddf9327b500d0843e","datavalue":{"value":"crossed products","type":"string"},"datatype":"string"},"type":"statement","id":"Q1875892$0F0EDEC7-DD9F-4EBD-9FA5-C7D937B360A0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ff9c204734da989d3bd60f1269711086ca85ada3","datavalue":{"value":{"entity-type":"item","numeric-id":220946,"id":"Q220946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1875892$8B8E9DC0-6024-4272-8222-D08DD913F42D","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":"Q1875892$D05A15B3-63EA-42F6-985D-F8AD5950556F","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"e895204cf591a08ca20548ee33cb5e8bda93da95","datavalue":{"value":"bafkreifzmxv7lyrommgxprptrfh5s6xswxdeck23xujgtk35sl5d4cp7he","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1875892$C11BFA0C-4DAA-4C8D-BAE0-055DE1096B05","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09582dda9e5d72281a53f6cd3346dcc61cfd25ab","datavalue":{"value":{"entity-type":"item","numeric-id":5286463,"id":"Q5286463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47710548704013dbe4f8f191be1f305e17898611","datavalue":{"value":{"amount":"+0.836735725402832","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":"Q1875892$EFE95B6F-D2BF-4C3C-B603-A5E0AA9198B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd2729a65d00048cee9380058a02906f110d088e","datavalue":{"value":{"entity-type":"item","numeric-id":2339614,"id":"Q2339614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c1a2d9924653742e50839abdd25bbf2a1ef589e","datavalue":{"value":{"amount":"+0.8345447182655334","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":"Q1875892$E29D6288-ABAC-4BFB-AF16-996DBF311C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbb9e50f846213cb0418043a91ec71c24ff076d2","datavalue":{"value":{"entity-type":"item","numeric-id":4782290,"id":"Q4782290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2defcc034ca98b974eea311442ff79649e335068","datavalue":{"value":{"amount":"+0.7930183410644531","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":"Q1875892$8A8C8BB6-A8A8-4664-9642-3A37C455FFED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33a13c692a315c132d6c5f3c5a33eb3a1e8788c7","datavalue":{"value":{"entity-type":"item","numeric-id":5719278,"id":"Q5719278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0eaafbb243955fd748463233b06defe58fbc8d0","datavalue":{"value":{"amount":"+0.7914946675300598","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":"Q1875892$9C870035-8558-431E-BB0A-843370B4FBB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a682df574ecb2dbcb894443a1fc7e7a0b3b4c20","datavalue":{"value":{"entity-type":"item","numeric-id":4823717,"id":"Q4823717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"386870236afc35338c90124be64c51b49ff21273","datavalue":{"value":{"amount":"+0.7869871258735657","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":"Q1875892$BDAF2CB5-DACF-4C7B-808E-273239BA4BFB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1875892","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1875892"}}}}}