When does the ring \(K[y]\) have the coefficient assignment property?
type: Item
instance of: scholarly article
title: When does the ring \(K[y]\) have the coefficient assignment property?
zbMATH Open document ID: 0892.13006
DOI: 10.1016/0022-4049(95)00142-5
author: Yanyan Li
published in: Journal of Pure and Applied Algebra
publication date: 1998-07-27T00:00:00Z
review text: 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 \textit{R. Bumby}, \textit{E. D. Sontag}, \textit{H. J. Sussman}, and \textit{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…
Mathematics Subject Classification ID: 13F50
Mathematics Subject Classification ID: 93B55
Mathematics Subject Classification ID: 13F10
Mathematics Subject Classification ID: 12F05
zbMATH DE Number: 937161
zbMATH Keywords: coefficient assignment property
zbMATH Keywords: controllable system
MaRDI profile type: Publication
full work available at URL: 0022-4049(95)00142-5
OpenAlex ID: W2028007002
cites work: Pole assignability in polynomial rings, power series rings, and Prüfer domains
cites work: \(\mathbb{C}[y]\) is a CA-ring and coefficient assignment is properly weaker than feedback cyclization over a PID
cites work: Remarks on the pole-shifting problem over rings
cites work: Some theorems on azumaya algebras
cites work: Q5587673
cites work: Q3871006
cites work: Q5796078
cites work: Three-dimensional feedback cyclization over \({\mathbb{C}}[y]\)
description: scientific article; zbMATH DE number 937161