{"entities":{"Q5947648":{"pageid":8124450,"ns":120,"title":"Item:Q5947648","lastrevid":41971433,"modified":"2025-05-19T22:44:36Z","type":"item","id":"Q5947648","labels":{"en":{"language":"en","value":"Behavior decompositions and two-sided diophantine equations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1661400"}},"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":"Q5947648$ABA0D3EC-72A8-4AE0-A9CA-369A7A43C359","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9355357511e2e670e6ef110ba4e1f7449b56acca","datavalue":{"value":{"text":"Behavior decompositions and two-sided diophantine equations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5947648$F699A453-07D9-4AA3-A972-9D451D595025","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ba18addcb1f698c5198c3a04c75d8b6c86901c7","datavalue":{"value":"0991.93026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947648$E2C68EC1-8C72-4EE0-BEAB-4CD7707DED09","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ad29f951a4e5e017f4ba1e65b63338981e91b8f","datavalue":{"value":"10.1016/S0005-1098(01)00079-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947648$139942A3-C84A-4108-A1BD-B142AB1C3601","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96fe98e9078333fb368365b0476c6d2025b4e295","datavalue":{"value":{"entity-type":"item","numeric-id":190720,"id":"Q190720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947648$75F26AD0-AFE2-4D38-874E-BC9D90B69862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"560b4df6a5f15206445da034cda8c93b040794f2","datavalue":{"value":{"entity-type":"item","numeric-id":163202,"id":"Q163202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947648$B17C8274-EF1A-4E8F-8F8D-E05AFD2F4140","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"69a11602bb4f474f716dc259849d1837f4cd9e2e","datavalue":{"value":{"entity-type":"item","numeric-id":161901,"id":"Q161901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947648$5CECC257-C5BD-4172-8CC0-CA6B7A0500BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53fcb96a7cb4f5e8cbd012770cf049a4dffd75df","datavalue":{"value":{"time":"+2002-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":"Q5947648$66A8494C-1D93-4604-8A56-4609448C7B2E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"246b93d704245306fa3d7e0c91f2c1329b179695","datavalue":{"value":{"entity-type":"item","numeric-id":586553,"id":"Q586553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947648$5876DF36-9000-4FB8-87FA-65DED6C260A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"49ef3b4797600cbe976ece1a8c01b3a77e72fdd2","datavalue":{"value":"93B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947648$4BBBC56D-B29B-44DA-8452-18FAA2FDAE8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"484eaf08775232cffaa1ce81f75027f82e88b5db","datavalue":{"value":"93B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947648$1CF94616-F3C4-48B9-A63E-8B7F379349DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36f6b122d222c4ce70a51971f814783713cbcbc7","datavalue":{"value":"1661400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947648$A50D4F87-B6CE-4CDB-9A8E-17FF3B65FC97","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d3bd70e18d35bac443e1f0da9fc22e58bbc5a21","datavalue":{"value":"minimal intersection decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5947648$783DF5CA-A64C-42E4-B4DB-52C00AB8259D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d87695b7e5f42dc3b46730fe7eb10014db60726","datavalue":{"value":"behavior","type":"string"},"datatype":"string"},"type":"statement","id":"Q5947648$CC8ACFD0-6375-4108-B160-A39CC71B371D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32598b11554cf510fe015fc8d9199d7154d27007","datavalue":{"value":"kernel representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5947648$2C2CF1D4-7DB1-4854-BD39-ED1948CB31FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d519971dc7772aeaf64798870b25a99162899416","datavalue":{"value":"greatest right divisors","type":"string"},"datatype":"string"},"type":"statement","id":"Q5947648$368A13C9-B2F2-4F09-9429-BCDD4C374A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cd4c54751ae0cceacc6630af4ce9b7a739d4da","datavalue":{"value":"polynomial matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q5947648$DB04E956-2941-47E8-A097-0ADB2A20EFD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79ac2cce918a221b22e79cd9a89666fda5b136a0","datavalue":{"value":"two-sided diophantine equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5947648$3FFD489F-2ECA-4321-9940-3AC9BDF7FF99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1f66bd6e4de53d446b5de6c3a99510b18f6242d","datavalue":{"value":"direct sum decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5947648$8556A2C6-4F67-4C03-8197-41E437E0B701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adf27568cd798204b608a96bac9e447fee0e4d01","datavalue":{"value":"internally skew-prime","type":"string"},"datatype":"string"},"type":"statement","id":"Q5947648$942FF789-2747-48EE-BD09-AD28934A6475","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":"Q5947648$6808DE70-057D-44FA-94FF-E991F9C4C8CE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a84eef9d095977b3c72298ddb71f7772c0ce4b6f","datavalue":{"value":{"entity-type":"item","numeric-id":1146845,"id":"Q1146845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947648$254C6CC9-7C81-4B3B-8065-DCCB6F8276F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b6cf37076c34f525883127bb3a22432b4b4db8e","datavalue":{"value":{"entity-type":"item","numeric-id":3212986,"id":"Q3212986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947648$B1E29CC4-0CD7-4E9C-950A-FA2F43F953F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3165438c92aed158e9ee66d8a5de489a8ab851f8","datavalue":{"value":{"entity-type":"item","numeric-id":1151859,"id":"Q1151859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947648$E47D90F0-21A8-430C-BFBA-2AD027AA0B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bb2c737557a8e7bdd6142c5b45325368dc2e4dc","datavalue":{"value":{"entity-type":"item","numeric-id":1053080,"id":"Q1053080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947648$F45C0620-41F7-4D77-A50A-FEF67117AB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea12642966f8ce6665bf108f3e5d2484e5f1023b","datavalue":{"value":{"entity-type":"item","numeric-id":3335611,"id":"Q3335611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947648$7DF1B0A1-9D41-4CB1-B66B-0BDC0A357729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a107d6f5992276982da6985509d5e7cf4ae72e5e","datavalue":{"value":{"entity-type":"item","numeric-id":5812209,"id":"Q5812209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947648$4C0CF576-55E7-4683-92C8-3EED58EB4600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db1983d378d480e56ba0db13fda4c2b29aa1436e","datavalue":{"value":{"entity-type":"item","numeric-id":3966611,"id":"Q3966611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947648$FFF3090B-FDD9-4DD0-B008-1E46452B89AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a80837c7e2292d9e606ecb65366c2aba3305ce8","datavalue":{"value":{"entity-type":"item","numeric-id":4182616,"id":"Q4182616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947648$E10F223B-7A09-4B3D-8ED7-C03A969F13A1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a50183a39110737e0caa7d89f0b94ed0032f6445","datavalue":{"value":"https://doi.org/10.1016/s0005-1098(01)00079-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5947648$D6FD6121-B156-48BF-95FD-4B3DA8E2240F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7f6f1870aeacc6f2cd38c0740f73b86b0ae02b4b","datavalue":{"value":"W2024563819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947648$064E898F-9CE3-4ED6-A45F-4DB51F63E56D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90208f0f4921e82d318c069f9e1f85e02fb515cd","datavalue":{"value":{"entity-type":"item","numeric-id":3689248,"id":"Q3689248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"705d82a188dc26b0c83a2ef5d02c566da4f6fb6b","datavalue":{"value":{"amount":"+0.85273844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5947648$E7FF6663-4DF5-4E7B-B74B-BAA93D216FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f7a9b63aba137d4aaab771740bc06f51c51d19a","datavalue":{"value":{"entity-type":"item","numeric-id":2420414,"id":"Q2420414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a09a60581a502a108910cad219e0c281cbf50943","datavalue":{"value":{"amount":"+0.8519091","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5947648$6125DFF5-4056-4956-9887-489D9A2CD3F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1da3f5da167ab234572d264f24db9ec878c66b7f","datavalue":{"value":{"entity-type":"item","numeric-id":5268766,"id":"Q5268766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68083aec83d11a005de9d9141a671e2be04c7492","datavalue":{"value":{"amount":"+0.8486656","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5947648$882745F6-58C2-44FF-A046-00E80D91051E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ac14624a49b2c2618eb3d7778ef48b98ba418b9","datavalue":{"value":{"entity-type":"item","numeric-id":1574362,"id":"Q1574362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cfd93e8ba7acda0153cff0a3e082b6e0ac2893a","datavalue":{"value":{"amount":"+0.84745467","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5947648$33EF28E2-D16A-41EB-BBCA-547225A2C7E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d941204dbaf45a2df9b010db42bf7a5423c61250","datavalue":{"value":{"entity-type":"item","numeric-id":4484433,"id":"Q4484433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddde67a5b396aaf0320a7d67cde0a897620be296","datavalue":{"value":{"amount":"+0.8460961","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5947648$9C96CCF5-B4EF-4791-A0DF-D2D743D96ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b75cbba724c23b279a0bd9d2b90970bdc98e8c7e","datavalue":{"value":{"entity-type":"item","numeric-id":5878899,"id":"Q5878899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"169f66732bae2927fb18ed782b1cf02c68b90670","datavalue":{"value":{"amount":"+0.84561616","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5947648$30C142D2-7756-446A-9E64-3CC22906728F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6944a74bf0b67a40e0bee7f5211e70e65c6c6b4b","datavalue":{"value":{"entity-type":"item","numeric-id":3315574,"id":"Q3315574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"540b9a88f70439ab875edf73344ed13c9361c849","datavalue":{"value":{"amount":"+0.84537613","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5947648$D8B26C6D-C76F-481A-9A45-0B2DF07B30E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"131423560ea0767a3d5111cbcbc1622d56436d50","datavalue":{"value":{"entity-type":"item","numeric-id":813026,"id":"Q813026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4dc68c7bc111a71e5d3900d566d9d594f0c7575","datavalue":{"value":{"amount":"+0.8453437","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5947648$A47D18A0-5F91-4C27-AB5A-A63A83D22DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05f9a1555f63c7f16ec883a4cb5655aa2658d09e","datavalue":{"value":{"entity-type":"item","numeric-id":4557487,"id":"Q4557487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd00c7260e9d43f8917d4343ec043b57783ac322","datavalue":{"value":{"amount":"+0.84465146","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5947648$85A861C7-6315-4E92-8E15-296D7DB4CD85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07cce47d7574ba1c753aecf8c9c9bb091b5a0bbb","datavalue":{"value":{"entity-type":"item","numeric-id":3429810,"id":"Q3429810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37b9254ccb75ed5056194640d7004f3fa5d278a3","datavalue":{"value":{"amount":"+0.8431908","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5947648$906C8E5C-BE48-46CA-8B5D-26FE16AB844A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7b8df3e120559f2dd616a55140b92cf70fbc813b","datavalue":{"value":"The authors present the possibility of expressing a behavior \\({\\mathcal B}\\) as the sum of two sub-behaviors \\({\\mathcal B}_1\\) and \\({\\mathcal B}_2\\), endowed with a finite-dimensional and hence autonomous intersection \\({\\mathcal B}_1\\cap{\\mathcal B}_2\\), where \\({\\mathcal B}_1\\) is a priori chosen. For the description of \\({\\mathcal B}_1\\), a full row rank polynomial matrix \\(B\\) is chosen. If \\(\\ker R\\) is any kernel representation of \\({\\mathcal B}\\), and \\({\\mathcal B}_1=\\ker B\\) is included in \\({\\mathcal B}\\), then \\(R=AB\\) for some polynomial matrix \\(A\\). If we set \\({\\mathcal B}_2= \\ker H\\), then \\({\\mathcal B}_1\\cap{\\mathcal B}_2=\\ker\\left [\\begin{smallmatrix} B\\\\ H\\end{smallmatrix} \\right]\\). If \\(\\left[ \\begin{smallmatrix} B\\\\ H\\end{smallmatrix} \\right]\\) is of full column rank (which is the condition for \\({\\mathcal B}_1\\cap{\\mathcal B}_2\\) being autonomous) and \\(\\Delta(B,H)\\) denotes one of its greatest right divisors, \\({\\mathcal B}_1\\cap {\\mathcal B}_2\\) can also be described as \\(\\ker\\Delta (B,H)\\). NEWLINENEWLINENEWLINENext, \\({\\mathcal V}(\\Delta(B,H))\\) denotes the variety of (the determinant of) a greatest right divisor \\(\\Delta(B,H)\\) of \\(\\left[\\begin{smallmatrix} B \\\\ H\\end{smallmatrix}\\right]\\), as \\(H\\) varies over the set of matrices satisfying \\({\\mathcal B}_1+ \\ker H=\\ker(AB)\\) with \\({\\mathcal B}_1\\cap\\ker H\\) autonomous, and NEWLINE\\[NEWLINE{\\mathcal D}^*: =\\bigl\\{\\delta \\in\\mathbb{R} [\\xi]: \\exists\\;X,Y\\text{ polynomial matrices s.t. }XA+BY =\\delta I_r\\bigr\\}.NEWLINE\\]NEWLINE A first result states that having given \\({\\mathcal B}\\in {\\mathcal L}^q\\) and \\({\\mathcal B}_1:=\\ker B\\), if there exists \\(B_2= \\ker H\\in {\\mathcal L}^2\\) s.t. \\({\\mathcal B}\\) can be expressed as \\({\\mathcal B}={\\mathcal B}_1+ {\\mathcal B}_2\\), with \\({\\mathcal B}_1\\cap {\\mathcal B}_2\\) an autonomous behavior, then \\(\\delta :=\\det (\\Delta(B,H))\\) belongs to \\({\\mathcal D}^*\\). Conversely, if \\(\\delta \\in{\\mathcal D}^*\\), and hence there exist polynomial matrices \\(X\\) and \\(Y\\), of suitable dimensions, that solve the two-sided diophantine equation \\(XA+BY =\\delta I\\), then there exists \\({\\mathcal B}_2= \\ker H\\in {\\mathcal L}^2\\) s.t. \\({\\mathcal B}= {\\mathcal B}_1+ {\\mathcal B}_2\\), with \\({\\mathcal B}_1\\cap {\\mathcal B}_2\\) autonomous, and \\({\\mathcal V}(\\Delta (B,H))\\subseteq V(\\delta)\\).NEWLINENEWLINENEWLINEMoreover, it is proved that a decomposition \\({\\mathcal B}={\\mathcal B}_1 +{\\mathcal B}_2\\), with autonomous and hence finite-dimensional intersection, is a ``minimal intersection'' decomposition, in terms of the distinct zeros of \\(\\delta^*\\), a generator of \\({\\mathcal D}^*\\), where the ``minimality of the intersection'' means the minimality of \\({\\mathcal V}(\\det \\Delta (B,H))\\). NEWLINENEWLINENEWLINEAnother result, in the case \\(1=\\delta (=\\delta^*)\\), states a necessary and sufficient condition for the existence of a direct sum decomposition; namely, having given \\({\\mathcal B}\\in {\\mathcal L}^2\\) and \\({\\mathcal B}_1: =\\ker B\\), with \\(B\\) an \\(r\\times 2\\) full row rank matrix, a sub-behavior of \\({\\mathcal B}\\), then the following facts are equivalent:NEWLINENEWLINENEWLINE(i) \\({\\mathcal B}={\\mathcal B}_1\\oplus {\\mathcal B}_2\\), for some \\({\\mathcal B}_2\\in {\\mathcal L}^2\\),NEWLINENEWLINENEWLINE(ii) for every polynomial matrix \\(A\\) s.t. \\({\\mathcal B}=\\ker(AB)\\), the pair \\((A,B)\\) is internally skew-prime . NEWLINENEWLINENEWLINEMoreover, if the above condition holds, \\({\\mathcal B}_2\\) is autonomous (controllable) if and only if \\(\\ker A\\) is.NEWLINENEWLINENEWLINEIn particular, if \\({\\mathcal B}\\) is a behavior in \\({\\mathcal L}^2\\) and \\({\\mathcal B}_c\\) is its controllable part, then \\({\\mathcal B}={\\mathcal B}_c\\oplus {\\mathcal B}_a\\), for some autonomous behavior \\({\\mathcal B}_a\\in {\\mathcal L}^2\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q5947648$85779805-209C-4E4A-BC89-EE7670F6D3F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5947648","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5947648"}}}}}