×

When does the ring \(K[y]\) have the coefficient assignment property? (English) Zbl 0892.13006

Let \(R\) be a commutative ring with \((A,B)\) an \(n\)-dimensional controllable system over \(R\). Thus, \(A\) is an \(n\times n\) matrix, \(B\) is an \(n\times n\) matrix, and the \(R\)-module generated by the columns of the matrix \([B,AB, \dots A^{n-1} B]\) is \(R^n\). If \(R\) is a field, then the controllability of a system is equivalent to any of the following three conditions:
1. There exists a matrix \(F\) and a vector \(\nu\) such that \(B\nu\) is a cyclic vector for the matrix \(A+BF\).
2. For each monic, \(n\)-th degree polynomial \(f(x)\in R[x]\), there exists a matrix \(F\) such that the characteristic polynomial of \(A+BF =f(x)\).
3. For each collection \(\{r_1, \dots, r_n\}\) of elements of \(R\), there exists a matrix \(F\) such that the characteristic polynomial of \(A+BF =(x-r_1) \cdots (x-r_n)\).
Over an arbitrary ring, these are no longer equivalent. Instead, for a system \((A,B)\) over \(R\), we have that \((1) \Rightarrow (2) \Rightarrow (3)\) and that each of these conditions implies the controllability of the system. A ring \(R\) is called a \(CA\)-ring if condition (2) is satisfied for all controllable systems over \(R\). Now, it was shown by R. Bumby, E. D. Sontag, H. J. Sussman, and W. Vasconcelos [J. Pure Appl. Algebra 20, 113-127 (1981; Zbl 0455.15009)] that \(\mathbb{R}[y]\) is not a \(CA\)-ring. Our result is the following:
Theorem. Let \(K\) be a field with \(y\) an indeterminate over \(K\). Let \(q\) be a prime integer different from the characteristic of \(K\) and suppose that \(K\) contains all \(q\)-th roots of unity. If \(K[y]\) is a \(CA\)-ring, then \(K\) is closed under taking \(q\)-th roots; that is, the map \(\varphi: K\to K\) defined by \(\varphi (x)= x^q\) is surjective. In particular, suppose that \(K\) is a field of characteristic 0 and that for each positive integer \(n\), \(K\) contains all the \(n\)-th roots of unity. If \(K[y]\) is a \(CA\)-ring, then for each positive integer \(n,K\) is closed under taking \(n\)-th roots.

MSC:

13F50 Rings with straightening laws, Hodge algebras
93B55 Pole and zero placement problems
13F10 Principal ideal rings
12F05 Algebraic field extensions

Citations:

Zbl 0455.15009
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Brewer, J.; Katz, D.; Ullery, W., Pole assignability in polynomial rings, power series rings and Prüfer domains, J. Algebra, 106, 265-286 (1987) · Zbl 0611.13016
[2] Brewer, J.; Klingler, L.; Schmale, W., \(C[y]\) is a CA-ring and coefficient assignment is properly weaker than feedback cyclization over a PID, J. Pure Appl. Algebra, 97, 265-273 (1995) · Zbl 0842.13016
[3] Bumby, R.; Sontag, E.; Sussman, H.; Vasconcelos, W., Remarks on the pole-shifting problem over rings, J. Pure Appl. Algebra, 20, 113-127 (1981) · Zbl 0455.15009
[4] T.J. Ford, Division algebras and quadratic reciprocity, preprint.; T.J. Ford, Division algebras and quadratic reciprocity, preprint.
[5] Gabber, O., Some theorems on Azumaya algebras, (Groupe de Brauer, Séminaire, Les Plans-sur-Bex. Groupe de Brauer, Séminaire, Les Plans-sur-Bex, Suisse 1980. Groupe de Brauer, Séminaire, Les Plans-sur-Bex. Groupe de Brauer, Séminaire, Les Plans-sur-Bex, Suisse 1980, Lecture Notes in Mathematics, Vol. 844 (1981), Springer: Springer Berlin), 129-209
[6] Grothendieck, A., Le groupe de Brauer I, II, III, (Dix Exposés sur la Cohomologie des Schémas (1968), North-Holland: North-Holland Amsterdam), 46-188
[7] Milne, J., Etale Cohomology, (Princeton Mathematical Series, Vol. 33 (1980), Princeton Univ. Press: Princeton Univ. Press Princeton, NJ) · Zbl 0433.14012
[8] Schilling, O. F.G., The Theory of Valuations, (Mathematical Surveys, Vol. 4 (1950), American Mathematical Society: American Mathematical Society Providence, RI) · Zbl 0037.30702
[9] Schmale, W., Feedback cyclization over certain PID’s, Int. J. Control, 31, 91-97 (1988)
[10] Schmale, W., Three-dimensional feedback cyclization over \(C[y]\), Systems Control Lett., 12, 327-330 (1989) · Zbl 0679.93028
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.