{"entities":{"Q2367867":{"pageid":2378610,"ns":120,"title":"Item:Q2367867","lastrevid":46299138,"modified":"2025-12-24T12:44:53Z","type":"item","id":"Q2367867","labels":{"en":{"language":"en","value":"Two-square theorems for infinite matrices on certain fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 269970"}},"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":"Q2367867$BB6A7955-B0C1-4B1B-AE44-D8ECA51A5640","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06e423c5e22e18f1c9280a95ebd335857ff2e242","datavalue":{"value":{"text":"Two-square theorems for infinite matrices on certain fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2367867$50F35B7E-88EB-4BBF-B914-B7A861FC4606","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47ad20777ff04f724fa22a851eb5ae3343533fef","datavalue":{"value":"0820.15005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367867$B38904B4-F536-47EE-ADE3-7C2DF2977EDD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"38eef573f48b183493981bc52ba0f9c32b26f809","datavalue":{"value":"10.1007/BF03187252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367867$DCE5AECD-A67E-4884-9EB0-31373C34579A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"45e1edb64efeee080173451c87c3f0c1d8534742","datavalue":{"value":{"entity-type":"item","numeric-id":174829,"id":"Q174829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367867$167CB85C-999E-45DE-A847-8FB98795AB2A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ef701349e285a0eddba11a6b970bab77304d0ee","datavalue":{"value":{"time":"+1993-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2367867$17900523-552C-4AEC-9416-EFEACBFDD604","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"75836dbb24209ad6ffe9bf79cabfad1848db3ea5","datavalue":{"value":"The compactness theorem of model theory has various applications in algebra, and it is mainly used to correlate finitary conditions and infinitary conditions in certain problems. \\textit{A. Abian} [Am. Math. Mon. 92, 94-98 (1985; Zbl 0571.12012)] proved a theorem about the solvability of an infinite set of algebraic equations in an uncountable algebraically closed field, which is also a result of compactness character. (Besides, his theorem can also be regarded as a generalization of Hilbert's Nullstellensatz.)   In the present note we shall use the compactness theorem and Abian's theorem, together with a four-square theorem about finite integer matrices, to prove the following result about infinite matrices, i.e. on certain finite rings (including all finite fields) and on any uncountable algebraically closed field, every infinite matrix can be expressed as a sum of squares of two infinite matrices with special shapes. For a more general class of rings, we also append a weaker result.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367867$7C5DB049-7BBC-49CD-880F-2505CFA3D233","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bbe2dde55566c57c31463992aac9b72d0f8c104e","datavalue":{"value":"15B33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367867$730A980B-53FE-408D-B81E-B706BA866CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d108ec6c7e5325d987bc1f0e439a6c8321b9491c","datavalue":{"value":"12E12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367867$EA00BF64-54F7-457E-BF11-B891F9E07E62","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60f31eaf8bb1a6a1b69a5c2df1bb2ccc62373e50","datavalue":{"value":"269970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367867$6B42A2B4-A196-4078-B932-B1251384EDA8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35e3dac40d7461314dcafad024dc0f947b1134de","datavalue":{"value":"infinite set of algebraic equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367867$A67DA3E5-0C6A-4652-86B4-0C9BF2776F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56087f430a104d00395c820cb73b43fdaa6abe16","datavalue":{"value":"uncountable algebraically closed field","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367867$EAAF7E3B-1DF1-4FA2-AB2E-AC489936986D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b169938171a0c3b5075ca9ec0e580054a3b8723","datavalue":{"value":"Hilbert's Nullstellensatz","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367867$07B3F9BF-932D-4A8E-877B-05C0908205DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f5d4f270646605fa03136a3a277a0e40c7482a0","datavalue":{"value":"infinite matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367867$9818050B-9834-48B4-B440-FED696697051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee8e8704ceed059c5cd6c37aa19c44660e03b735","datavalue":{"value":"finite rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367867$A6887DAE-E7C9-41FD-9B97-592238E4F721","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e6d065ef36dbc199cf7427883ed5e0ec7c5c4e1","datavalue":{"value":{"entity-type":"item","numeric-id":1629543,"id":"Q1629543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367867$88DD698A-EE26-4F3B-AB91-A0C1FC9FF664","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":"Q2367867$3AFCE908-C41A-4D55-B902-D9715F0E6F6B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7244652f17c0f45896df91e50308c5470141165","datavalue":{"value":{"entity-type":"item","numeric-id":5180255,"id":"Q5180255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367867$17CE33C7-438C-4DC4-8326-78F2E191520E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef4d7851e1bb1ed275186cabec30935162958464","datavalue":{"value":{"entity-type":"item","numeric-id":3816922,"id":"Q3816922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367867$9EEFE2EA-FEA0-4F46-B73F-B3962F0308B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fee0d8e0a88b20c30200671ccbd4a9ea5e066c7","datavalue":{"value":{"entity-type":"item","numeric-id":3943431,"id":"Q3943431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367867$38793626-ACD6-4EA2-A703-99E409DBAAE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f7eccd52ba0c2f4f3799d1244a47fded1da28e9","datavalue":{"value":{"entity-type":"item","numeric-id":3904686,"id":"Q3904686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367867$757FC42E-D2C9-415C-8063-F69C61EDE08A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1e50608af3eae12cd8d9adeb4deb0431bda71ad","datavalue":{"value":{"entity-type":"item","numeric-id":4356579,"id":"Q4356579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367867$B652EF2D-EC98-43CD-AFA2-106D9DDB27F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f1eeb051b31640d20b3c04ab21457e7436fcf4c","datavalue":{"value":{"entity-type":"item","numeric-id":4344505,"id":"Q4344505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367867$8494D3FE-7479-4982-AB17-81F7FF23548D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76907633aa233a1398ae5d666aaabf31fd44216f","datavalue":{"value":{"entity-type":"item","numeric-id":1593045,"id":"Q1593045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367867$54567768-2010-41FD-AB12-55043134F83C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b340594e4f93c4c8b624ad655bb924ca5a1b5876","datavalue":{"value":{"entity-type":"item","numeric-id":4305971,"id":"Q4305971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367867$64051EAA-8B88-4BC8-BFE2-C7A96448109E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9680ed04ebf9267ad3c976186ddb694f44240b23","datavalue":{"value":{"entity-type":"item","numeric-id":4221973,"id":"Q4221973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367867$AB0B63B6-998E-4776-AF1E-B55E57A13AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bad2e8c0f04364de66b995940e8c7b29f32a35de","datavalue":{"value":{"entity-type":"item","numeric-id":913456,"id":"Q913456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367867$D2FF1FD5-6A9D-445E-8857-432EBC5BC1E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdfab4a84c8cc821c7e770c7fffa112be0a7b40c","datavalue":{"value":{"entity-type":"item","numeric-id":5288737,"id":"Q5288737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367867$0F3FFC8C-8CB9-4A01-B10A-0903A2CFC22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dda299ca22c86b273a934e1cd3028d8e79be3e57","datavalue":{"value":{"entity-type":"item","numeric-id":4279735,"id":"Q4279735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367867$5F588B88-34BA-4F1B-B22B-00BF193F1A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"361a751d279b4fa76a8f48d9fffe0eaff24f5705","datavalue":{"value":{"entity-type":"item","numeric-id":4307589,"id":"Q4307589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367867$B661CEAB-B5F6-42EF-A39E-B874036F3B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abaa698567146cbcf623607efeec344e4f59ae86","datavalue":{"value":{"entity-type":"item","numeric-id":4188656,"id":"Q4188656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367867$BF57A058-AC67-4795-A95F-4C83D2EC2AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62a680b3271e23db4fe1463d7be5b1d7225318e9","datavalue":{"value":{"entity-type":"item","numeric-id":1370162,"id":"Q1370162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367867$953E8E2D-A7BC-4831-AE30-5FF838243C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f1a6a34ecb92bb25f9b954c2e5082b31dcfb835","datavalue":{"value":{"entity-type":"item","numeric-id":4943401,"id":"Q4943401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367867$2265D1A0-CE01-4438-B4B3-EEDBDE0650B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5214aca77a27df0cadc17552a1e341d2a8d9ddd8","datavalue":{"value":{"entity-type":"item","numeric-id":1382033,"id":"Q1382033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367867$E0F716AB-E554-4A81-BD31-075689EB253C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b39f7c1ee98df7b2e44b6789fef42b1e9ed29c8d","datavalue":{"value":{"entity-type":"item","numeric-id":4512562,"id":"Q4512562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367867$289FE71A-D6CA-4C7F-BD54-A9E4B626E1E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"112e48c0a427b8d9d81a4d985d6e2306b7c94960","datavalue":{"value":{"entity-type":"item","numeric-id":1609572,"id":"Q1609572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367867$EDE7CC40-997D-4E2F-9D81-495E0C87295C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"725343df5ca1715560f5910f30e7cbcf3d032ba2","datavalue":{"value":{"entity-type":"item","numeric-id":1267228,"id":"Q1267228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367867$623FA4FB-9997-495E-9532-CFF97AF2F796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffabc49614c13ca029974ba5c5f5402e1e4f803c","datavalue":{"value":{"entity-type":"item","numeric-id":1096744,"id":"Q1096744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367867$8FDD054E-18E2-4DD2-B4F3-B849629DB6B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82e81b89908fed10d6063d174f2158ef7ec917ce","datavalue":{"value":{"entity-type":"item","numeric-id":584910,"id":"Q584910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367867$E2E90192-4F1A-4AF1-98F5-83F4A60AEC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad1b4d13f9cd94948cd300eb11a60522142555e3","datavalue":{"value":{"entity-type":"item","numeric-id":3721699,"id":"Q3721699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367867$1A484498-6404-4D1E-A0A6-50D99F8C7BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"440232d3ee6b981277bb915857e7944154b555e8","datavalue":{"value":{"entity-type":"item","numeric-id":1073953,"id":"Q1073953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367867$BCD06CDA-F7FC-4F93-86A2-D4D62996A1A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be30a5873134d3f2aa28c6aed4d0667aeb8805c2","datavalue":{"value":{"entity-type":"item","numeric-id":1088025,"id":"Q1088025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367867$FDC662D5-C440-44F2-973E-DAE770693565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e178858880165eb9df21c51fc733f67f6bb7c993","datavalue":{"value":{"entity-type":"item","numeric-id":1609638,"id":"Q1609638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367867$5D2DB88A-89CD-4313-A465-81897881814B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41f477b0e72fdf111c44c0295ffe95ae7226923c","datavalue":{"value":{"entity-type":"item","numeric-id":3688120,"id":"Q3688120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367867$976C54B9-B23C-4791-9E8F-7D0B172B1665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8570717ebd6833623e1865a0a9460ac9f31d016d","datavalue":{"value":{"entity-type":"item","numeric-id":1164952,"id":"Q1164952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367867$7239ACE6-D03E-4ADE-BF4C-05744077D424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6c62194304b7ef16a3f9b660092aab82b38955f","datavalue":{"value":{"entity-type":"item","numeric-id":1914073,"id":"Q1914073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367867$E2384768-98E7-41B9-974B-F0D66740B3C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e7c6f6ba852cb585afa80b9451a9884eaefc811","datavalue":{"value":{"entity-type":"item","numeric-id":4016139,"id":"Q4016139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bdfc504c442d2495f9b98ec18539527b5ef223a","datavalue":{"value":{"amount":"+0.7934253215789795","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":"Q2367867$B48F9662-3799-4C48-BAD0-AC28F95785C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39efb9c9ec1e94231ae810cdf92f3522cc15e2ad","datavalue":{"value":{"entity-type":"item","numeric-id":5465470,"id":"Q5465470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ddb1675e217fd095b0ba580d0d66e6aa790e4bb","datavalue":{"value":{"amount":"+0.7527385354042053","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":"Q2367867$9D9794C4-2A20-40F4-B3E2-27E17134A8F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"881efd190ea5de07e4b9fcf0576686d30222b6f2","datavalue":{"value":{"entity-type":"item","numeric-id":1913914,"id":"Q1913914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7ef8686dbd647c4ca9f8c7556d3836395c1ba89","datavalue":{"value":{"amount":"+0.7153666615486145","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":"Q2367867$C74479E0-1879-4F47-A2A7-F89D8CB8B730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e15011b0489097087231cb1e452772172c7eb79","datavalue":{"value":{"entity-type":"item","numeric-id":3778083,"id":"Q3778083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"985eb0b13f9f7ca7ecaf270736c570a6c4f4b780","datavalue":{"value":{"amount":"+0.7023963332176208","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":"Q2367867$33942698-D6A5-4278-9696-AA54C759E23D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2367867","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2367867"}}}}}