{"entities":{"Q2358756":{"pageid":2369499,"ns":120,"title":"Item:Q2358756","lastrevid":52830908,"modified":"2026-01-23T14:39:23Z","type":"item","id":"Q2358756","labels":{"en":{"language":"en","value":"A Perron-Frobenius-type theorem for positive matrix semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6731872"}},"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":"Q2358756$10F06C92-478E-4D00-80CC-AAD2217212AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b3c6077d109eae306981934ca004fa7b3d7a9d4","datavalue":{"value":{"text":"A Perron-Frobenius-type theorem for positive matrix semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2358756$B7AF247A-079C-40D0-B39E-93A4FAB91247","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"803c3451bfff80ff1ae23f2a623c2d0c9405e037","datavalue":{"value":"1369.15022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358756$875671F0-251F-4312-8497-93A7280A5AD5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f5919abeb952007fa0f4c213997a6bff8582a75","datavalue":{"value":{"entity-type":"item","numeric-id":185030,"id":"Q185030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358756$E247260E-A5CA-4A4F-B786-AA9376B733EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"26dc41fc1b976fc418b78b4a5329d2e0ba20e871","datavalue":{"value":{"entity-type":"item","numeric-id":1310843,"id":"Q1310843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358756$56C93DFD-7EBF-4D67-A1DB-862228B82A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"482375b3429509d04ff744852bca4818a19eb1ab","datavalue":{"value":{"entity-type":"item","numeric-id":169263,"id":"Q169263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358756$C10DCD3E-00C3-457A-B482-47054463690D","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":"Q2358756$A9F1FA43-968E-4667-A323-9F6A7E9EAF8D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27bee8e13a9ddc4ac7938f486fb9f7b97005b6fe","datavalue":{"value":{"time":"+2017-06-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":"Q2358756$CE14A770-AE25-4281-ADB6-E5C01027848E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bf3039b513f32ac79eb937d63aee3f2c2abc51d3","datavalue":{"value":"It is known, as a consequence of the Perron-Frobenius theorem on indecomposable positive matrices, that whenever an \\(n \\times n\\) matrix \\(A\\) dominates a non-singular positive matrix, there is an integer \\(k\\) dividing \\(n\\) such that, after a permutation of the basis, \\(A\\) is block-monomial with \\(k \\times k\\) blocks. In this paper, the authors show an extension of this result in the context of indecomposable semigroups of positive matrices.  A monomial matrix is a matrix that has exactly one non-zero entry in each of its rows and columns. A block-matrix is block-monomial if it has exactly one non-zero block in each of its block-rows and block-columns. A positive matrix that dominates a positive monomial matrix is called dominomial.  A matrix \\(A\\) is said to be decomposable if an application of a permutation similarity to \\(A\\) followed by partitioning can produce a block matrix of the form  \\[ \\begin{bmatrix} B & C \\\\ 0 & D \\end{bmatrix}\\tag{1} \\]  where \\(B\\) is a square matrix.  A semigroup \\(S\\) of matrices is said to be decomposable if an application of a simultaneous permutation similarity to \\(S\\) followed by a simultaneous partitioning can result in all elements of \\(S\\) simultaneously taking the form described in (1).  With these concepts, the authors establish the following main result:  Suppose that \\(S\\) is an indecomposable semigroup of dominomial matrices in \\(\\mathbb{M}_n^+\\) (square positive matrices). Then, \\(S\\) contains an automatically indecomposable semigroup ideal \\(S_0\\) such that: {\\parindent=0.7cm\\begin{itemize}\\item[(1)] Every element of \\(S\\) is dominated by an element of \\(\\mathbb{R}^+S_0\\) (cone of positive real members of \\(S_0\\)), \\item[(2)] There is a positive divisor \\(k\\) of \\(n\\), such that after an application of a simultaneous permutation similarity followed by a simultaneous partitioning, \\(S_0\\) is a semigroup of full block-monomial matrices in \\(\\mathbb{M}_{n/k}(\\mathbb{M}_k^+)\\).   \\end{itemize}}","type":"string"},"datatype":"string"},"type":"statement","id":"Q2358756$E2B32B3F-7C6B-486E-A0D2-05AC340948BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"379993e49d6b3bf4f928ea97a76d4470fec7f1af","datavalue":{"value":"15B48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358756$5F0F0D83-DB6F-4079-BA4E-47B5521C783D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f0b321fafd33da205994db3b946bd7cfe9a54983","datavalue":{"value":"15A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358756$AB925504-7AAA-44BB-8751-824764328379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72c8b865c2c78b52392cdb1eee39270b44ddc4b6","datavalue":{"value":"47D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358756$B517A668-19BC-4B38-9B83-4DB2F81A85BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0db016327c6cf46e9ebb07ab7d27d2b9478feda0","datavalue":{"value":"6731872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358756$8F8B434B-8DAA-4C4F-8F0B-AD2F59E6966C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a83dc572e4c5997a57eb9a3595e8c82205cfb060","datavalue":{"value":"positive matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q2358756$E39F890C-5B07-431B-ACCE-FC95EA312769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"353994e8fe4ea46c7967e2c391669c471c4ec902","datavalue":{"value":"semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q2358756$9FFA0FF3-9886-4CEE-A556-E1ABAD4EFD65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7373aeeaf74674971d8c25ecb91e24e7e64caa9a","datavalue":{"value":"indecomposable matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q2358756$8EF89371-F428-4D2A-A3F7-54BBB51ED508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"282bb2934aecf07c6248612f518e9eac29256891","datavalue":{"value":"Perron-Frobenius theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2358756$6B48EF15-FCA2-49D4-96E4-C934DFF38A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6194cd661d3789ad182517f90c1c2c3bfaacf30","datavalue":{"value":"ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q2358756$D3EB89D9-0938-43DA-AD57-DFD001C1C298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21dafa2920e419b5ba6c1c290d3b31f9e70f515f","datavalue":{"value":"monomial matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q2358756$43B54737-6CA1-48FA-9D5A-6BE5EA6CADA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a41e922f7f37914e0c2f2e19a5cbc1f8b7f36a1b","datavalue":{"value":"permutation similarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2358756$39C300A0-4487-4294-A54C-FE29FB70F011","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"72075667a09eed7ddbdd98a11e049b348a11dc9f","datavalue":{"value":{"entity-type":"item","numeric-id":1116414,"id":"Q1116414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358756$62FBF5DD-0175-4107-89B3-CBFA8090E2AD","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":"Q2358756$E0772810-9964-4420-BC86-406AB6FB3F6E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd9cda9293b6b5491c0a87362913c408aa9cbad4","datavalue":{"value":"https://doi.org/10.1007/s11117-016-0403-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2358756$9C2CA1E7-5C1F-4CCA-B7E8-348D43E89517","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4e308971eff41f0a2c6040518532ae2f18896aea","datavalue":{"value":"W2292374072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358756$50B8A988-850F-4023-AB35-05F699EE9A7B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cf188e7fbc354c129a136f89a371e2093ba5814","datavalue":{"value":{"entity-type":"item","numeric-id":1300847,"id":"Q1300847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358756$C5946A36-4D64-41FE-B5B3-19BE1641CBEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b6a0997a7044df9a9088513b51246889041cfbb","datavalue":{"value":{"entity-type":"item","numeric-id":1961277,"id":"Q1961277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358756$A102BF75-7428-4781-8D77-DE0440D8FD52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a00ba5d84bc638f8afc7396d591fe4fe3a5ee68","datavalue":{"value":{"entity-type":"item","numeric-id":1964630,"id":"Q1964630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358756$2CB0478B-2D4E-4D86-AD52-524194F204C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"15029f21e036afcec48efbb7b1400f0c16a7e609","datavalue":{"value":"10.1007/S11117-016-0403-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358756$62A8D85F-68A3-4132-B6FC-3648642F64D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4bd2cc1997feb7ccbba7307b7a993b200beb72d","datavalue":{"value":{"entity-type":"item","numeric-id":1961277,"id":"Q1961277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a8d1f0b478235a1c4f54a7c30071199e18bdc00","datavalue":{"value":{"amount":"+0.8526555299758911","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":"Q2358756$B74199BB-31B0-4972-8E5C-D629C0AC4B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"100525ce9017d984f2706e5c4189b83e1f6e617f","datavalue":{"value":{"entity-type":"item","numeric-id":3997448,"id":"Q3997448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"912a75aa59d94af05659b268d827c7b8e906a1d2","datavalue":{"value":{"amount":"+0.7998564839363098","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":"Q2358756$D3B6D7DC-A910-45AD-9404-C27883A1D02E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e324923f8226e448d7783feb95da7b72adcf2684","datavalue":{"value":{"entity-type":"item","numeric-id":817086,"id":"Q817086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e22cab99c763229a08efcc27e75ddfa714580593","datavalue":{"value":{"amount":"+0.7872148752212524","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":"Q2358756$EF8B261C-8921-4D62-A34F-4FFE5021EC41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeb8b3cd0cadd1ffd3572bf611290e34e66b6cfc","datavalue":{"value":{"entity-type":"item","numeric-id":4509766,"id":"Q4509766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"647cc3bbd48794c3142135b6bf807e048e9e8be6","datavalue":{"value":{"amount":"+0.7843678593635559","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":"Q2358756$17355380-3D99-4554-9490-4B07C0014FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c634d604009f3890b28b02adf1ac675b54629ee","datavalue":{"value":{"entity-type":"item","numeric-id":2996220,"id":"Q2996220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"647cc3bbd48794c3142135b6bf807e048e9e8be6","datavalue":{"value":{"amount":"+0.7843678593635559","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":"Q2358756$BFDB7AC0-A782-4793-A811-99992F007B45","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2358756","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2358756"}}}}}