A note on the direct sum decomposition of two-dimensional behaviors (Q4540140)

It is shown that: Let \textbf{B} be a computed behavior and \(B\) be an \(r\times q\) \(L\)-polynomial matrix such that \({\mathbf B}_B:=\ker B \subset{\mathbf B}\). Then the following facts are equivalent. 1) There exists a complete behavior \({\mathbf B}_A\), such that \({\mathbf B}={\mathbf B}_A\oplus {\mathbf B}_B\). 2) There exist \(L\)-polynomial matrices, \(A,X\) and \(Y\) such that \({\mathbf B}=\ker(AB)\) and \(XA+BY=I_r\). 3) For every \(A\in{\mathbf A}:= \{AL\)-polynomial matrix: \(\ker(AB)={\mathbf B}\) and \((A,B)\) is zero skew prime\} there exist \(L\)-polynomial matrices \(L\) and \(H_A\) such that \[ [A,L]{B\brack H_A}=0. \]