{"entities":{"Q1417884":{"pageid":1428624,"ns":120,"title":"Item:Q1417884","lastrevid":67398510,"modified":"2026-04-12T17:21:31Z","type":"item","id":"Q1417884","labels":{"en":{"language":"en","value":"Nonexistence in general of a definitizing ideal of the desired codimension"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2021994"}},"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":"Q1417884$B340A5E4-DB04-4918-AF28-23743AF09B5F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69cf879a9fe24583c32e89d014ed88797d4b4c4a","datavalue":{"value":{"text":"Nonexistence in general of a definitizing ideal of the desired codimension","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1417884$2A285CBC-D8C7-4DFF-B474-7DAF66AEED3E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b6f8fbb51df88d79eb018adb8cfadc8da0dc0e3e","datavalue":{"value":"1039.43008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1417884$E33C7D5F-9866-41F1-858D-E5D18D8A9B52","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4d954789882c700d131b4ccacc6cf74ac651e9e","datavalue":{"value":"10.1023/A:1026230232413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1417884$7863DBB8-B85B-417F-9751-7ED215E41E52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd091385c11e94ef229c6c8f8970c47b2726754b","datavalue":{"value":{"entity-type":"item","numeric-id":168689,"id":"Q168689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1417884$4278CCF0-82DA-48D9-ACC1-B5ABFCBE23D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e8cdf9a3c20de4da5d78b9833a48cf2d279d4b0","datavalue":{"value":{"entity-type":"item","numeric-id":526853,"id":"Q526853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1417884$B19505C8-0425-4F52-853D-D6CD90388BD7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9d9c3b6431dcbbff2b2ec058e94208e72cca2f08","datavalue":{"value":{"entity-type":"item","numeric-id":167527,"id":"Q167527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1417884$31461E63-5D7F-4C92-B498-803C6469BE0D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8964f42f4f5e903b76a2c2f2c48ab004ea3d8c27","datavalue":{"value":{"time":"+2004-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1417884$8887C7A2-15D7-4F7B-8FCD-99D192054EC9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bb353de776a16f4cd0186b0c875acc97a3a6d69a","datavalue":{"value":"Let \\(\\mathcal A\\) be a \\(*\\)-algebra (an associative algebra over \\(\\mathbb C\\) endowed with an involutive antilinear antiautomorphism) and \\(E\\) be its linear subspace. A linear form \\(L\\) on \\(\\mathcal A\\) is called positive (negative, nonnegative) on \\(E\\) if \\(L(a^*a)>0\\) (\\(L(a^*a)<0\\), \\(L(a^*a)\\geq0\\), respectively) for all \\(a\\in E\\setminus\\{0\\}\\). Let \\(k_L=\\max\\dim E\\), where \\(E\\) runs through all \\(L\\)-negative subspaces. For any \\(k,q\\in\\mathbb N\\), the authors construct \\(\\mathcal A\\) and \\(L\\) such that \\(k_L=k\\) and \\(L\\) cannot be nonnegative on any left ideal of codimension less than \\(q\\).  The algebra \\(\\mathcal A\\) is the semigroup algebra over the free (nonabelian) semigroup with identity and \\(2q\\) generators. The main ingredient of the construction is a square block matrix \\(A=(A_{ij})_{i,j=1}^q\\), where \\(A_{ij}\\) are complex \\(q\\)-matrices, that has exactly \\(k\\) negative eigenvalues and possesses the following property: if for \\((c_1,\\dots,c_q)=c\\in{\\mathbb C}^q\\) the matrix \\(\\sum_{i,j=1}^qc_i\\overline{c_j}A_{ij}\\) is nonnegative, then \\(c=0\\). Let \\(G=\\{g_1,\\dots,g_q\\}\\) and \\(D=\\{d_1,\\dots,d_q\\}\\) be disjoint sets such that \\(G\\cup D\\) is the set of generators for the semigroup. The functional \\(L\\) corresponds to the function \\(\\varphi\\) on the set \\(DGGD\\) defined by \\(\\varphi(d_jg_lg_kd_i)=A_{ij}(k,l)\\) (the \\((k,l)\\) entry of \\(A_{ij}\\)).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1417884$2734D5E8-8E4C-4022-A709-F28EDACAE3DB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fbceecc778b2fa69cffb0540db97ee9d324d6696","datavalue":{"value":{"entity-type":"item","numeric-id":696810,"id":"Q696810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1417884$6F75BD36-7420-49FB-96E1-6D1AD337E452","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e7430e460999274065e3fd12819322967d343f81","datavalue":{"value":"43A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1417884$C468673E-22C5-4590-AA7B-C5E8A32C7386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1417884$B4381E12-280C-4121-BFA6-7D5D29DDE424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18639b490d36fe8e8261520e97cdfea8ed77b51f","datavalue":{"value":"43A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1417884$46F000D6-24C8-44D4-BA1C-84CC3DEBF845","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8a8da74512b1bb6ab69e4b300f4599af6107544","datavalue":{"value":"2021994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1417884$E74C4904-BF62-4608-A7B9-26FD0BF4BB34","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"febcfaf97bdd86ac7c777d8c56077186eca90c46","datavalue":{"value":"positive definite function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1417884$1B91E819-5A87-4F12-AD93-C56F6B9FBCB8","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":"Q1417884$C499CB33-6DD0-47F9-9B90-9FA8B2DE2FEA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d64ff9a1be5356d913ee6ba9fcb93df690e9397","datavalue":{"value":"https://doi.org/10.1023/a:1026230232413","type":"string"},"datatype":"url"},"type":"statement","id":"Q1417884$075D820C-40E2-4AC1-92C5-1CA8DC85B8FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e299e7c1d0f9bc18540b011f3402e9e4ef0ad9c","datavalue":{"value":"W1858888194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1417884$AB9B10D1-9A8B-49E2-AC6F-06276A87D45F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e027abab9acb14eb34344b04fbcba68d7a1516eb","datavalue":{"value":{"entity-type":"item","numeric-id":649579,"id":"Q649579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"232e9ee8afb109290f8291d0670bd8c056e4d6eb","datavalue":{"value":{"amount":"+0.7409725785255432","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":"Q1417884$ECB6ABF1-7510-4265-AB2B-7A5E0CAD07BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c92092bbba99587a331d316355f1179bebf39acd","datavalue":{"value":{"entity-type":"item","numeric-id":949456,"id":"Q949456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1cb0bf22e36db86fed60d8adf0873a696e8b2e5","datavalue":{"value":{"amount":"+0.7313722968101501","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":"Q1417884$B6281882-A730-48D2-9C28-3F461A3457C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b79fe53ff5b9d12de9a73a319ed4835aae8d2e0a","datavalue":{"value":{"entity-type":"item","numeric-id":3448172,"id":"Q3448172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f14f93af464ec6c035af47ffbbec3788e2a0214c","datavalue":{"value":{"amount":"+0.7303962707519531","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":"Q1417884$394CDB19-E9BA-4AEC-81D8-31D24A1D4E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0dc9a4fd2f683bb772441a4f36375e4217695e1","datavalue":{"value":{"entity-type":"item","numeric-id":4313549,"id":"Q4313549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"659d79f6404773ca5cdb115a68e1ec733f07bb00","datavalue":{"value":{"amount":"+0.715766966342926","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":"Q1417884$4454D6A5-39A0-423B-AECF-990009543982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83a0a54f1ad33549a2425ecbb3f4470a95239ca2","datavalue":{"value":{"entity-type":"item","numeric-id":1113051,"id":"Q1113051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b931b40be9eafaea83e026a44c9436e01ccc9292","datavalue":{"value":{"amount":"+0.7132185697555542","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":"Q1417884$1F6F23F0-D9A8-4BB9-AEAA-5C4EC9F6E397","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nonexistence in general of a definitizing ideal of the desired codimension","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Nonexistence_in_general_of_a_definitizing_ideal_of_the_desired_codimension"}}}}}