The dynamic feedback cyclization problem for principal ideals domains (Q1318779): Difference between revisions

It has been known for some time that augmentation of an \(n\)-dimensional reachable system \((F,G)\) over a commutative ring \(R\) by the \((n^ 2-n) \times (n^ 2-n)\) identity matrix yields a coefficient assignable (CA) system. Several authors have succeeded in substituting the \((n^ 2-n)\) by other functions \(\alpha(n)\) which were at best linear functions. It was considered highly unlikely that a constant function could be found, thereby making the size of the augmentation independent of the dimension of the system itself. As main theorem in this paper it is shown that a 1-augmentation of any reachable system over a Bezout domain \(D\) with the property that each nonzero element belong to only finitely many maximal ideals, feeds back to a cyclic vector. This means that \(D\) is \(FC-1\), implying that it is also \(CA-1\). Since principal ideal domains satisfy the conditions of the main theorem, they are \(FC-1\).