{"entities":{"Q1998950":{"pageid":2009692,"ns":120,"title":"Item:Q1998950","lastrevid":43469601,"modified":"2025-07-28T09:38:17Z","type":"item","id":"Q1998950","labels":{"en":{"language":"en","value":"A central quaternionic Nullstellensatz"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7318816"}},"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":"Q1998950$9C4535FF-8818-4C55-BA83-E35EB94A2F0F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9771077374acab06077a57b4dc93c413bb824a1b","datavalue":{"value":{"text":"A central quaternionic Nullstellensatz","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1998950$1DA8CAAF-A6D4-4BF1-B49F-65B8072B1336","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7b1c1168341f46c84720b543fbd7ce32afaab9b","datavalue":{"value":"1498.16030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1998950$BFA0D466-E107-4807-AC89-AA19B82C086A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4bc850e693d6fb6501e69109645a606bb002b33","datavalue":{"value":{"entity-type":"item","numeric-id":354031,"id":"Q354031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1998950$DC4F2E5C-6AD4-48A9-A5BF-A20469F15A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a26531c8e3abc4994ec36c2b95210193a9b5d483","datavalue":{"value":{"entity-type":"item","numeric-id":600786,"id":"Q600786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1998950$6BA136C1-74BB-4D34-B5E9-0DA52A072918","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1998950$ABF4940A-6013-44D1-9AA6-83AF0575C7D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"44b66e511fd7149f407573cb721f03c5439f7b4c","datavalue":{"value":{"time":"+2021-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1998950$D7DB49DF-7B66-476B-A622-C3EB8FB99E5F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b767600c2953c38340ab552605a46c211a8ff547","datavalue":{"value":"Let \\(\\mathbb{H}\\) be the quaternion algebra and \\(R=\\mathbb{H}[x_1,\\dots,x_n]\\) the ring of polynomials over \\(\\mathbb{H}\\) in \\(n\\) central variables \\(x_1,\\dots,x_n\\). Denote by \\(\\mathbb{H}^n_c\\) the set of \\((a_1,\\dots,a_n)\\in \\mathbb{H}^n\\) such that \\(a_ia_j=a_ja_i\\) for all \\(i,j\\). The first main result of the paper is the following.  Theorem (weak Nullstellensatz). For any proper left ideal \\(I\\) in \\(R\\) there exists \\((a_1,\\dots,a_n)\\in \\mathbb{H}^n_c\\) such that \\(p(a_1,\\dots,a_n)=0\\) for all \\(p\\in I\\).  Given a left ideal \\(I\\) in \\(R\\), denote by \\(Z(I)\\) the set of \\((a_1,\\dots,a_n) \\in \\mathbb{H}^n_c\\) such that \\(p(a_1,\\dots,a_n)=0\\) for all \\(p\\in I\\). For any subset \\(Z\\subseteq \\mathbb{H}^n_c\\) denote by \\(I(Z)\\) the left ideal of \\(p\\in R\\) such that \\(p(a_1,\\dots,a_n)=0\\) for all \\((a_1,\\dots,a_n) \\in \\mathbb{H}^n\\). A left ideal \\(I\\) in \\(R\\) is called \\textit{completely prime} if for all \\(a, b \\in R\\) \\[ab \\in I\\text{ and }Ib \\subseteq I\\ \\Rightarrow\\ a \\in I\\text{ or }b \\in I. \\] Let \\(\\sqrt I\\) denote the intersection of all prime ideals that contain \\(I\\). The second main result of the paper is the following.  Theorem (strong Nullstellensatz). Let \\(I\\) be a proper left ideal in \\(R\\). Then \\(I(Z(I))=\\sqrt I\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1998950$DE65ECC0-C996-42E2-9A37-A39CBE957255","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"03b1aa900b3de5a0925aa217159ab1892f44684a","datavalue":{"value":{"entity-type":"item","numeric-id":344882,"id":"Q344882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1998950$58FAA9F7-4B25-458C-A682-453737A0E8DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f763c8cd6a5bb163b3bc0f29fb7bffc7801b7ec","datavalue":{"value":"16S36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1998950$891CC1B6-FECA-42C7-96B4-8D21DDB8C505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28d3bec2f6e07bd25e07bd6f80d073cd0bf2c7d8","datavalue":{"value":"16H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1998950$A828C315-8DEC-4EBB-853B-D8A2A490F3FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4e15f84944faad8d834647157c02a9ca864fafb","datavalue":{"value":"7318816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1998950$1ED250FB-61A8-49D0-A726-DA22C8190AE7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"393ea5959b60028dd155de81a4c97d51567f82f7","datavalue":{"value":"Nullstellensatz","type":"string"},"datatype":"string"},"type":"statement","id":"Q1998950$B04A9923-D02B-49BF-A4D3-3311E71F0D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6814185f0686788c236256ddbd14f8c18ba3db6","datavalue":{"value":"quaternions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1998950$107139FA-AE49-494E-A475-9894662C22D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e6ab94e96dc0af40d67e25949b534aa75ef611b","datavalue":{"value":"polynomial rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1998950$18A9181B-2503-434F-891E-868B0564D43B","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":"Q1998950$4149CFE2-FAC4-4015-8205-B790AB4B02CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"86a9bfc57a06ab441c802f058a27f213dd74c212","datavalue":{"value":"https://doi.org/10.1016/j.jalgebra.2021.01.018","type":"string"},"datatype":"url"},"type":"statement","id":"Q1998950$005D377B-2AE8-4494-88DC-3F34EA344FCC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"269ad591247eb2c982c14a6b2606c09d45ce64bf","datavalue":{"value":"W3127510756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1998950$C1FCFB8C-F9E4-4ADB-9219-787E506CE717","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"46788e6312c34594f4dfa62a7d3d2dd6763f21e3","datavalue":{"value":{"entity-type":"item","numeric-id":2207281,"id":"Q2207281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1998950$45A4DE04-A4FE-49CB-BC7C-40F70A32E0F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e62ce7e7108187fc4ce493b2eb2101c19ae9877c","datavalue":{"value":{"entity-type":"item","numeric-id":1001950,"id":"Q1001950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1998950$ACA824F2-E6BF-486A-AD36-EB52C24BF60A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc4f1f677f2b2ae219b0cb6383665ddcd8b328e","datavalue":{"value":{"entity-type":"item","numeric-id":930504,"id":"Q930504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1998950$F32F6CDA-2C81-4917-8D2D-1613ED5CF91F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7c95087d1236c0641281ad351631e5bc1ccc6ce","datavalue":{"value":{"entity-type":"item","numeric-id":3154382,"id":"Q3154382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1998950$2584B2DA-C7FC-4264-9307-15D6260444F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b468fd141b65a98fd9704687cf5f7fdc117054c9","datavalue":{"value":{"entity-type":"item","numeric-id":1110616,"id":"Q1110616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1998950$6BA0424F-5A36-48C1-8521-BF80ADE344E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6be164631c51a29f02fa42fd51fb459ec87581bd","datavalue":{"value":{"entity-type":"item","numeric-id":5834715,"id":"Q5834715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1998950$6158CB4E-4A3A-4E07-AE1F-2AE68D054F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfebb8ce6590edba102e970ee7a0b5501674dc28","datavalue":{"value":{"entity-type":"item","numeric-id":1839707,"id":"Q1839707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1998950$A15063D4-DFC5-4643-BB96-8FF5D1A8BE46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8285c0d8b0fb52b6ff3c38be4b6084a8fe944b37","datavalue":{"value":{"entity-type":"item","numeric-id":3069768,"id":"Q3069768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1998950$12AC76C7-71AB-42FF-AF22-460E98C0E154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"011f4a78a1fab1e0b74347b7381dbfbe6cf87b77","datavalue":{"value":{"entity-type":"item","numeric-id":1926574,"id":"Q1926574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1998950$A0642E7E-CC55-4189-8A3D-C85E4D816E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fbd4c19a5d0ad44853486da01291d028043ea63","datavalue":{"value":{"entity-type":"item","numeric-id":1229819,"id":"Q1229819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1998950$E8F3269E-BD95-467F-882F-10F807EEEC49","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0bd8af7d64da2f913a0345aad04c1bd51eb9218","datavalue":{"value":"10.1016/J.JALGEBRA.2021.01.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1998950$08012D8C-3E9B-4869-9696-3F5F074D67DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78d4e77dd7ab6a0073075ae255a2a61ab637e46e","datavalue":{"value":{"entity-type":"item","numeric-id":2207281,"id":"Q2207281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1078c5c88a9261f1af0d7610e67b91584b38d8c3","datavalue":{"value":{"amount":"+0.94464874","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1998950$B99C4E24-314A-4E6D-87A6-BD15F9EF3CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a27e51a6ae4b3db7f35b004cff88e20fc9628f8","datavalue":{"value":{"entity-type":"item","numeric-id":4393151,"id":"Q4393151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4c1c3eab8c5f478f37766f6cc7bc31a3fbe281e","datavalue":{"value":{"amount":"+0.89353615","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1998950$C2DC3CEE-BFB6-433C-8B51-3F2169B92309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c61bca82d1e020c6af219ab4fa7d7ed5fba815d9","datavalue":{"value":{"entity-type":"item","numeric-id":5314181,"id":"Q5314181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d689ffb6a81e2c57b8a64f5d1d88ca2cddbb07fc","datavalue":{"value":{"amount":"+0.8829717","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1998950$D4E81EA4-6AA1-40C9-95DE-916DE3B57830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9971c0c6a5cdc33ac223aa5cdabfe91103ed00a","datavalue":{"value":{"entity-type":"item","numeric-id":2731841,"id":"Q2731841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5684d4c49cd4406595c41444a03fa4488369a867","datavalue":{"value":{"amount":"+0.8716328","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1998950$5C05B832-8A89-4B23-8E3E-A39EEF94BD72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e253a42b0335f040b8c497e6c17fcc2137ab38c1","datavalue":{"value":{"entity-type":"item","numeric-id":5059497,"id":"Q5059497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4a12f8ae765f2f2544bd01fd91b948c1240f609","datavalue":{"value":{"amount":"+0.8690222","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1998950$6E65DB4D-C4A7-4E27-848E-DD519D5F7122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"622a3655f6b048846d5d617a1064a841cf96d078","datavalue":{"value":{"entity-type":"item","numeric-id":2675086,"id":"Q2675086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8df75b059e5da354b9dd2fa7fe946c341f83795b","datavalue":{"value":{"amount":"+0.859745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1998950$CA5E4221-3AD3-484B-AFF2-0EC6344DA857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15021f39d79a1340a930ffd5f279092def4dd080","datavalue":{"value":{"entity-type":"item","numeric-id":1082439,"id":"Q1082439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"672d634cff4c54d423080f26b6c71595e7f956df","datavalue":{"value":{"amount":"+0.8570456","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1998950$12C5E26E-D70E-4577-8B27-88BDD5250D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"950f0243883f82fd7e1b9547f460bae3f43fdc4e","datavalue":{"value":{"entity-type":"item","numeric-id":2739464,"id":"Q2739464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed3f1133acca3b6e2aef23a817c329e54f2928bf","datavalue":{"value":{"amount":"+0.84829915","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1998950$BEFC8B27-7379-4DF3-BD90-000B46DAF3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38d0896dcae8c0d6ffa80c4d69d9d0acfd8ee869","datavalue":{"value":{"entity-type":"item","numeric-id":1184033,"id":"Q1184033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0157bab587e39c78fddef7313517c7fb7792e30","datavalue":{"value":{"amount":"+0.84822905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1998950$314B6760-359C-4DAB-AF7F-94C70AD16E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3826238354e4c234188a213e4e20f3291c16d0a9","datavalue":{"value":{"entity-type":"item","numeric-id":3480222,"id":"Q3480222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84347caa3d002de7a2394bfdadc2f7431a6a4380","datavalue":{"value":{"amount":"+0.8472456","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1998950$ABA5768F-AEFE-464D-B517-A3DDA5B203DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1998950","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1998950"}}}}}