arxiv: v1 [math.ac] 5 Jun 2013

Transcription

1 On the K-theory of feedback actons on lnear systems arxv: v1 [math.ac] 5 Jun 2013 Mguel V. Carregos,, Ángel Lus Muñoz Castañeda Departamento de Matemátcas. Unversdad de León Abstract A categorcal approach to lnear control systems s ntroduced. Feedback actons on lnear control systems arses as a symmetrc monodal category S R. Stable feedback somorphsms generalze dynamc enlargement of pars of matrces. Subcategory of locally Brunovsky lnear systems B R s studed and the stable feedback somorphsms of locally Brunovsky lnear systems are characterzed by the Grothendeck group K 0 B R. Hence a lnk from lnear dynamcal systems to algebrac K-theory s stablshed. Keywords: feedback equvalence, commutatve rng, dynamc enlargement, stable equvalence, K-theory nvarants 2008 MSC: 93B10, 15A21, 13C10 1. Introducton Ths paper deals wth the study of feedback actons on a lnear control system. A concrete descrpton of the feedback classfcaton of constant Some results of ths work were presented as a talk at the meetng Recent Trends n Rngs and Algebras, RTRA2013, Unversdad de Murca, Span. June, 3rd, Partally supported by Mnstero de Cenca y Tecnología and INTECO. Mnstero de Industra, Span. Emal addresses: mguel.carregos@unleon.es Mguel V. Carregos,, u85212@usal.es Ángel Lus Muñoz Castañeda Preprnt submtted to Elsever May 7, 2014

2 lnear systems by means of sets of nvarants and canoncal forms goes back to the semnal works by Kalman, Cast and Brunovsky see the fundamental references [5], [11] and [7]. The more general framework of parametrzed famles of lnear systems see [8] or [14] s proved to be a hard task wld problem n the sense of representaton theory [4]. Thus we need to restrct ourselves to the class of locally Brunovsky systems because a complete descrpton of feedback nvarants s avalable see [6]. On the other hand we also are nterested n the so-called dynamc feedback equvalence of lnear systems see [3], [9], [10] as man references. Ths dynamc study s based n the addton of some sutable ancllary state varables to systems [2, ch. 4]. We ntroduce the noton of stable feedback equvalence and show that t s a generalzaton of both feedback and dynamc feedback equvalence. Ths generalzaton does not go too far because f the base rng s a feld then feedback, dynamc feedback and stable feedback equvalence are proved to be the same noton. We thnk Category Theory s an adequate tool to study above subjects. Frst of all, the defnton of the category S R of lnear systems over a commutatve rng and feedback actons arses n a natural way, more over feedback equvalences are the somorphsms n the category. Then dynamc enlargements and stablzaton of lnear systems are consequence of some b-product both product and coproduct n the category, hence the symmetrc monodal structure of the category arses, and therefore we obtan that the stable feedback equvalences are the stable somorphsms n the category. As a consequence the nvarant characterzng the stable equvalence s the K 0 group 2

3 of the K-theory of the category, whch s just the Grothendeck group completon of the monodal structure when possble.e. when the somorphsm classes n the category s a set. The paper s organzed as follows. Secton 2 s devoted to revew man defntons used n the paper: lnear system, feedback somorphsm, drect sum of lnear systems and dynamc somorphsm. These notons generalze respectvely the standard notons of par of matrces, feedback equvalence, dynamc enlargement and dynamc feedback equvalence. We also defne stable somorphsm of lnear systems as adequate generalzaton for our purposes of both feedback and dynamc somorphsm. Secton 3 s the core secton of the paper devoted to the stable classfcaton of lnear systems. We prove that the par S R = lnear systems, feedback morphms s a category whose somorphsms are precsely feedback somorphsms. Thus feedback classfcaton of lnear systems s just gven by the classes of somorphsms S R so. Reachable systems A R and locally Brunovsky systems B R arse as subcategores of S R equpped wth the same homomorphsms: the feedback actons. We defne the operaton on lnear systems and show that: a sum operaton s both the categorcal product and coproduct n the categores of lnear systems; b dynamc enlargement of a lnear system now arses as the sum of the system wth a trval one; and c categores of lnear systems equpped wth operaton are symmetrc monodal, see [12] or [15]. Secton 3 concludes wth a charaterzaton of stable equvalence n B R locally Brunovsky systems n terms of frst K-theory group K 0 B R of the 3

4 category of locally Brunovsky systems. Fnally,secton4sdevotedtocomputeeffectvelyK 0 B R asthegrothendeck group completon of the monod B R so of locally Brunovsky systems up to feedback somorphsms. 2. Stable feedback somorphsms between lnear systems Let R be a conmutatve rng wth 1 0. In ths secton we ntroduce the dynamc and stable feedback somorphsms of lnear systems over R. Defnton 2.1 cf. [8]. A lnear system s a trple Σ = X,f,B where X s a R-module, f : X X an endomorphsm and B X a submodule. Defnton 2.2 cf. [6]. Two lnear systems Σ 1 = X 1,f 1,B 2 and Σ 2 = X 2,f 2,B 2 are feedback somorphc f.. f there exst an somorphsm of R-modules between the state-spaces φ : X 1 = X2 such that 1. φb 1 = B 2 2. Imf 2 φ φ f 1 B 2 Recall that a par of matrces A,B R n n R n m defnes a lnear system A,B Σ A,B = R n,a,imb 1 Note that ths correspondence s nether njectve nor surjectve. On the other hand, feedback somorphsm of lnear systems s a generalzaton of the feedback equvalence of pars of matrces A, B n the followng sense: Suppose that pars of matrcesa 1,B 1 and A 2,B 2 are feedback equvalent, then there exst nvertble matrces, P GL n R and Q GL m R and a 4

5 matrx K R m n such that A 2 = PA 1 +B 1 KP 1 and B 2 = PB 1 Q. Then t s straghtforward to show that the matrx P gves a feedback somorphsm between lnear systems Σ A1,B 1 and Σ A2,B 2. Two pars of matrces A 1,B 1 and A 2,B 2 are dynamc equvalent f the par of matrces of orderes p+n p+n and p+n p+m 0 0, 1 0, 0 0, A 1 0 B 1 0 A 2 0 B 2 are feedback somorphc see [3], [10]. Ths s physcally realzed by ntroducng free ancllary varables. Consder the par of matrces A,B and let Σ A,B = R n,a,imb be the correspondng lnear system. Consder also the lnear system Γp = R p,0,r p. Then the lnear system assocated to the par of matrces 0 0, A 0 B s precsely R p R n,0 A,R p ImB. Ths motvates the followng defnton Defnton 2.3. Let Σ = X,f,B = 1,2 be lnear systems. The drect sum of Σ 1 and Σ 2 s defned by lnear system Σ 1 Σ 2 = X 1 X 2,f 1 f 2,B 1 B 2 4 Throughout the paper, we wll use Bass matrx notaton for the drect sum ofhomomorphsms see[1], thusthematrx f f 2 actually represents the homomorphsm f 1 f 2. Elements of the drect sum of objects, X 1 X 2, wll be presented as column vectors X 1 X 2 n order to make the notatons consstent. x 1 y 1 5

6 Defnton 2.4. Lnear systems Σ 1 and Σ 2 are dynamc feedback somorphc d.. f there exst p N such that the lnear sstems Σ 1 Γp and Σ 2 Γp are feedback somorphc. Defnton 2.5. Lnear systems Σ 1 and Σ 2 are stable feedback somorphc s.. f there exst a lnear system Γ such that the lnear sstems Σ 1 Γ and Σ 2 Γ are feedback somorphc. Of course, the relatons f.., d., and s.. satsfy the axoms for equvalence relatons n the category of lnear systems. It s also clear that s.. s a generalzaton of d.. and that the d.. s a generalzaton of the f... Σ f.e Σ Σ d.e Σ Σ s.e Σ 5 Moreover, f R = K s a feld then t s easy to prove that the three relatons are equvalent. Σ f. Σ Σ d. Σ Σ s. Σ 6 3. Stable classfcaton of locally Brunovsky lnear systems Ths secton deals wth the classfcaton of lnear systems modulo stable feedback somorphsms. Invarants wll be found n some group by usng a bt of K-theory, thus we need to start wth the categorcal propertes of lnear systems The category of lnear systems and ts monodal structure In order to construct the category of lnear systems we need to defne the homomorphsms of the category [12]. 6

7 Defnton 3.1. Let Σ 1 = X 1,f 1,B 1 and Σ 2 = X 2,f 2,B 2 be lnear systems. A homomorphsm between Σ 1 and Σ 2 s a homomorphsm of R- modules φ : X 1 X 2 such that 1. φb 1 B 2 2. Imf 2 φ φ f 1 B 2 Lemma 3.2. The composton law for homomorphsms between space states gves the composton law for homomorphsms between lnear systems. HomΣ 1,Σ 2 HomΣ 2,Σ 3 HomΣ 1,Σ 3 ϕ,ψ ψ ϕ satsfyng the assocatve and dentty propertes. Proof. Consder homomorphsmsφ 1 HomΣ 1,Σ 2 andφ 2 HomΣ 2,Σ 3. Both Φ 1 : X 1 X 2 and Φ 2 : X 2 X 3 are homomorphsms of R-modules between the state spaces. ConsderalsothehomomorphsmofR-modulesΦ 2 Φ 1 : X 1 X 3. Byhypothess Φ 2 B 2 B 3 and Φ 1 B 1 B 2, hence t s clear that Φ 2 Φ 1 B 1 B 3. Let us show that Imf 3 Φ 2 Φ 1 Φ 2 Φ 1 f 1 B 3. Let be x 1 X 1, then there exst b 2 B 2 such that φ 1 f 1 x 1 = f 2 φ 1 x 1 +b 2 from whch t follows that φ 2 φ 1 f 1 x 1 = φ 2 f 2 φ 1 x 1 + φ 2 b 2. Fnaly, there exst b 3 B 3 such that φ 2 f 2 φ 1 x 1 +φ 2 b 2 = f 3 φ 2 φ 1 x 1 +φ 2 b 2 +b 3 and snce φ 2 b 2 B 3 the result s proved Defnton 3.3. Let S R denotes the category whose objects are lnear systems and the homomorphsms are homomorphsms of lnear systems. 7

8 The followng Proposton shows that the category S R s the natural framework to address the problem of the feedback classfcaton of lnear systems. Theorem 3.4. Isomorphsms n the category S R are exactly the feedback somorphsms. Proof. Let Σ 1 and Σ 2 lnear systems such that IsomΣ 1,Σ 2 and let us take φ IsomΣ 1,Σ 2. Then there exst ψ HomΣ 2,Σ 1 such that ψ φ = d 1 and φ ψ = d 2. Ths show n partcular that the homomorphsms of R-modules φ : X 1 X 2 and ψ : X 2 X 1 are nverses of each other and, therefore, somorphms. Now, snce ψ HomΣ 2,Σ 1, we have ψb 2 B 1. If we take the mage va φ we have B 2 φb 1. But φb 1 B 2 because φ HomΣ 1,Σ 2 so φb 1 = B 2 and φ s a feedback equvalence. Let us prove the converse. Suppose that Σ 1 and Σ 2 are feedback somorphc lnear systems. Then there exst an somorphsm of R-modules φ : X 1 X 2 such that φb 1 = B 2 and Imf 2 φ φ f 1 B 2. Observe that φ defne a homomorphsm of lnear systems. In order to prove that φ s an somorphsm of lnear systems we have to fnd an nverse. Consder the somorphsm of R-modules φ 1 = ψ : X 2 X 1. It s clear that ψb 2 = B 1. Let us see that Imf 1 ψ ψ f 2 B 1. Consder x 2 X 2 f 1 ψx 2 ψ f 2 x 2 B 1 f 1 ψx 2 ψ f 2 x 2 ψb 2 φf 1 ψx 2 ψ f 2 x 2 B 2 φ f 1 ψx 2 f 2 x 2 B 2 f 2 φψx 2 +b 2 f 2 x 2 B 2 7 8

9 for certan b 2 B 2. But f 2 φψx 2 + b 2 f 2 x 2 = b 2 B 2. Ths prove that ψ defne a homomorphsm of lnear systems and t s clear that φ ψ = d Σ2 and that ψ φ = d Σ1 as homomorphsms of lnear systems. Once the category of lnear systems s already ntroduced t s natural to research the algebrac structure nduced by the drect sum of lnear systems n ths category. We wll descrbe ths structure and we wll see that descends to the somorphsm classes of lnear systems. Lemma 3.5. The drect sum of two homomorphsms of lnear systems s a homomorphsm of lnear systems. Proof. Consder the lnear systems Σ = X,f,B and Γ = Y,g,C =1,2 and homomorphsms φ : Σ 1 Σ 2, ψ : Γ 1 Γ 2. Let us take the drect sum φ ψ = φ 0 0 ψ : X 1 Y 1 X 2 Y 2 8 In order to check that φ ψ s also a morphsm of lnear systems see Defnton 3.1 we need to prove 1 φ ψb 1 C 1 B 2 C 2, whch s clear; and 2 Imf 2 g 2 φ ψ φ ψf 1 g 1 B 2 C 2 9 whch s a straghtforward calculaton by usng Bass matrces The drect sum of lnear systems defnes a bfunctor : S R S R S R. We also defne the zero system as Z = 0,0,0. It s clear that Z satsfy the dentty property for the drect sum of lnear systems. Obvously Z s both an ntal and fnal object n S R. Now we can consder the category of lnear systems wth extra structure S R,,Z. 9

10 Lemma 3.6. The drect sum of lnear systems s both a categorcal product and co-product n S R, that s to say s a b-product n the category S R. Proof. The unversal property of product see [12] arses from the followng pcture: Gven a system Γ and homomorphsms ψ : Γ Σ, dotted lne Γ Σ 1 Σ 2 always exsts makng the followng dagram commutatve and t s gven by the adequate Bass matrx whose entres are the ψ Γ ψ 1 ψ 1 Σ 1 π 1 ψ 2 Σ 1 Σ 2 π 2 Σ 2 ψ 2 10 One can check the unversal property of co-product: Gven a system Γ and homomorphsms φ : Σ Γ, dotted lne Σ 1 Σ 2 Γ always exsts makng the followng dagram commutatve and t s gven by the adequate Bass matrx whose entres are the φ Σ 1 ι 1 ι 2 Σ 2 φ 1 Σ 1 Σ 2 φ 2 φ 1,φ 2 Γ 11 Theorem 3.7. Let R be a commutatve rng. The category S R,,Z of lnear systems s symmetrc monodal Proof. It s a drect consequence of beng bproduct and that Z s both ntal and termnal, see [12] or [15] 10

11 Remark 3.8. It s worth to note that the drect sum n S R descends to the somorphsm classes of lnear systems. To be precse, f Σ 1 = Σ2 and Γ 1 = Γ2 then Σ 1 Γ 1 = Σ2 Γ 2. On the other hand note that f Σ 1 Σ = Σ2 Σ 1 by means of : X 1 X 2 X 2 X Stable classfcatonof locallybrunovskylnear systems andthe K 0 group Once we have obtaned the symmetrc monodal structure of categores of lnear systems and feedback actons we wll characterze the stable somorphsm of lnear systems n terms of the 0-th K-theory group of the category. The constructon of that group[15] s to complete the monod of somorphsm classes S R so. But n general S R so s not even a set. To avod ths obstructon, the subcategory of locally Brunovsky lnear systems s consdered because, n ths case, the somorphsms classes form a well defned set, n fact B so R = PR s the set of fnte support sequences of fntely generated projectve R-modules [6]. Let Σ = X,f,Bbealnear system over therng R. Recall thedefnton of the nvarant modules assocated to Σ see [6]: 1. N = B +fn 1 for 1 beng N 0 = 0 2. M = X/N 3. I = kerm 1 1 M 0 I-nvarants 4. Z = keri f I+1 0 Z-nvarants Lemma 3.9. Let Σ 1 and Σ 2 be lnear systems and consder the drect sum Σ 1 Σ 2. Then 1. N Σ 1 Σ 2 = N Σ 1 N Σ 2 2. M Σ 1 Σ 2 = M Σ 1 M Σ 2 11

12 3. I Σ 1 Σ 2 = I Σ 1 I Σ 2 4. Z Σ 1 Σ 2 = Z Σ 1 Z Σ 2 Proof. Let s denote by columns the elements of X = X 1 X 2. Hence homomorphsm f 1 f 2 s, n Bass notaton f f 2 1 Is clear because N Σ 1 Σ 2 0 = 0,0, N Σ 1 Σ 2 1 = B 1 B 2 = N Σ 1. and one obtans sequently N Σ 1 Σ 2 = B 1 B 2 + N Σ 1 N Σ 2. 2, 1 N Σ 2 f f 2 N Σ 1 1 NΣ 2 1 = 2 Snce M Σ 1 Σ 2 = X/N Σ 1 Σ 2, ts elements are the classes x 1,x 2 + N Σ 1 Σ 2. Consder the well defned lnear map µx 1 + N Σ 1,x 2 + N Σ 2 = x 1,x 2 +N Σ 1 Σ 2. Snce πx 1,x 2 = x 1,x 2 +N Σ 1 Σ 2, then the result follows from applcaton of short-fve-lemma on the followng commutatve dagram wth exact rows π π 2 0 N Σ 1 N Σ 2 X 1 X 2 M Σ 1 M Σ N Σ 1 Σ 2 π X M Σ 1 Σ 2 µ 0 3 Let µ be the lnear maps defned n 2. It s clear that the followng 12

13 square s commutatve I Σ 1 I Σ M Σ 1 1 MΣ M Σ 1 M Σ 2 0 Snce 1 µ of µ 0 I Σ 1 Σ = µ µ M Σ 1 Σ les nto I Σ 1 Σ 2 µ 1 M Σ 1 Σ = 0 we deduce that the mage. Defne ν as the restrcton of µ to I Σ 1 I Σ 2 νx 1 +N Σ 1 1,x 2 +N Σ 2 1 = µx 1 +N Σ 1 1,x 2 +N Σ 2 1, then the result follows from applcaton of short-fve-lemma on the followng commutatve dagram wth exact rows 0 0 I Σ 1 I Σ 2 ν M Σ MΣ 2 1 M Σ M Σ I Σ 1 Σ 2 1 µ M Σ 1 Σ 2 1 M Σ 1 Σ 2 0 µ 4 As above, ν f f 2 ν = ν f f = 0 so les nto Z Σ 1 Σ 2. Defnng ρ as the restrcton of ν to Z Σ 1 Z Σ 2 ρx 1 +N Σ 1 1,x 2+N Σ 2 1 = νx 1+N Σ 1 1,x 2+N Σ 2 1 we see that the followng dagram s commutatve 13

14 0 Z Σ 1 Z Σ I Σ 1 0 Z Σ 1 Σ 2 ρ 1 0 I Σ 2 f f 2 I Σ 1 +1 IΣ ν f 1 0 I Σ 0 f 2 1 Σ 2 I Σ 1 Σ ν Then the result follows from applcaton of short-fve-lemma on the above dagram wth exact rows. A lnear system Σ s reachable f N s = X or, equvalently, f M s = 0 see [8] and [6]. Σ s a locally Brunovsky lnear system f the state space s fntely generated and the nvarant modules are projectve R-modules. Show that, n partcular, locally Brunovsky lnear systems are reachable see [6]. Let B R the subcategory of S R whose objects are the locally Brunovsky lnear systems and whose homomorphsms are the homomorphsms of lnear systems. Snce drect sum of fntelly generated projectves s agan projectve t follows that drect sum of locally Brunovsky lnear systems s agan a locally Brunovsky lnear system. In fact, B R s a symmetrc monodal subcategory of S R. Moreover, snce the somorphsm classes of locally Brunovsky lnear systems, BR so, s a set see [6] we have Lemma The trple BR so,,0 s a commutatve monod. Proof. Snce the drect sum descends to the somorphsms classes of lnear systems, s well defned n B so R that s, s a closed bnary operaton 14

15 n BR so. The dentty element s the class of the zero lnear system Z = 0, 0, 0 and the assocatvty and commutatvty propertes follows from the assocatvty and commutatvty of n the symmetrc monodal category B R. Beng the set of somorphsm classes of locally Brunovsky lnear systems s conmutatve monod, t s natural to ask for the relatonshp between ts Grothendeck completon group and the theory of lnear systems. The next Theorem shows the close lnk between the Grothendeck group of the monod B so R lnear systems over R. and the set of stable equvalence classes of locally Brunovsky Theorem Let us denote K 0 B R the Grothendeck group of the monod B so R and γ : Bso R K 0B R the natural homomorphsm of monods. Then γ[σ] = γ[γ] f and only f Σ s.. Γ. Proof. The Grothendeck group of B so R s K 0B R = B so the equvalence relaton as follows R Bso R / beng [Σ 1 ],[Γ 1 ] [Σ 2 ],[Γ 2 ] [U] B so R such that [Σ 1 ]+[Γ 2 ]+[U] = [Σ 2 ]+[Γ 1 ]+[U] 12 We wll denote < Σ,Γ > the class of [Σ],[Γ] n K 0 B R. Then the natural homomorphsm of monods γ s defned by γ[σ] =< Σ,0 >. Now suppose that γ[σ 1 ] = γ[σ 2 ], then < Σ 1,0 >=< Σ 2,0 > and by defnton there exst a lnear system U such that [Σ 1 ]+[U] = [Σ 2 ]+[U]. But the equaltes n B so R are the feedback somorphsms n the category B R, so Σ 1 U f.. Σ 2 U 15

16 and we deduce that Σ 1 s.. Σ 2. Corollary The conmutatve sub-monod Imγ K 0 B R s precsely the stable equvalence classes of locally Brunovsky lnear systems over R. 4. The K 0 group of locally Brunovsky lnear systems It have been proved n [6] that there exst a bjectve correspondence between the feedback somorphsm classes of locally Brunovsky lnear systems over the rng R and the set, PR, of fnte support sequences wth entres n PR. Ths correspondence s gven by the map of the Z-nvarants B so R Z PR [Σ] Z Σ 1,Z Σ 2,...,Z Σ s,0,0, Observe that PR have a monod structure gven by the drect sum of sequences and that, as a monod, s somorphc to NPR. Then, from Lemma 3.9, follows that Z s an somorphsm of monods. Ths allow us to gve a precse descrpton of the monod of stable equvalence classes of locally Brunovsky lnear systems. Theorem 4.1. Let PR be the monod of somorphsms classes of projectve fntely generated R-modules and K 0 R the Grothendeck group of the monod PR. Then 1. B so R N PR 2. K 0 B R N K 0R Proof. 1. It s clear combnng the byecton gven by the Z-map defned n [6] and the Lemma

17 2. RecallthatfM samonodthenk 0 Mhastheunversalpropertysee [13]: K 0 M s the unque abelan group up to somorphsms such that for any other abelan group G and any monod homomorphsm g : M G there exst a unque group homomorphsm f : K 0 M G such that the dagram s commutatve M G f γ K 0 M beng γ the completon homomorphsm γ : M K 0 M. Let γ : PR K 0 R be the completon homomorphsm and consder the nduced monod homomorphsm γ : N PR N K 0R. Consderanabelangroupandahomomorphsmofmonods NPR G. Then, by the unversal property of the drect sum, there s a famly of monod homomorphsms g : PR G such that g = g. Because of the unversal property of K 0 R there exst, for each g, a unque group homomorphsm, f : K 0 R G, makng the followng dagram commutatve g g PR G f γ K 0 R Now, t s clear that the followng dagram s commutatve N PR g G f γ N K 0R 17

18 wch proves the exstence. If there s another group homomorphsm f : N K 0R G makng the dagram commutatve then, by the unversal property of the drect sum and Grothendeck group, t must be equal to f. Theorem 4.1 reduces the problem of study the monod of stable somorphsm classes of locally Brunovsky lnear sstems to the study of the submonod gven by the mage of natural map γ : PR K 0 R for the base rng Corollary 4.2. The conmutatve sub-monod N Imα N K 0R s precsely the stable equvalence classes of locally Brunovsky lnear systems over R. Corollary 4.3. We gve a bref summary of man characterzatons for locally Brunovsky lnear systems: 1. Two lnear systems Σ n B R are feedback somorphc f and only f ther mages under Z-map agree on N PR,.e. ZΣ 1 = ZΣ Two lnear systems Σ n B R are stable feedback somorphc f and only f ther mages under Z-map agree on K 0 R,.e. γzσ 1 = γzσ 2. Toconclude werevew anexampleof[6]. Let R = R[x,y,z]/x 2 +y 2 +z 2 1bethecoordnaterng ofuntsphere S 2 R R3 mmersed nto 3-dmensonal space. Consder the state-space R 4 and fx the standard bass {e }. Let the 18

19 lnear systems Σ = R 4,f,B and Σ = R 4,f,B; where, n the standard bass, f =, f = x y z 0 It s proven n [6] that above lnear systems are not feedback somorphc because... but note that they le n the same class n K 0 B R hence they are stable somorphc. In fact both systems became feedback somorphc by addng the trval ancllary system Γ1 = R,0,R. The reader can check that systems Γ1 Σ and Γ1 Σ are feedback somorphc by means of the somorphsm of R 5 gven, n standard bass by x φ = y z References [1] H. Bass, Algebrac K-theory, Benjamn, [2] J. W. Brewer, J. W. Bunce, and F. S. Van Vleck, Lnear Systems over Commutatve Rngs, Marcel Dekker, New York, [3] J.W. Brewer, L. Klngler, Dynamc feedback over commutatve rngs, Ln. Algebra Appl.,

20 [4] J.W. Brewer, L. Klngler, On feedback nvarants for lnear dynamcal systems, Ln. Algebra App., [5] P. A. Brunovsky, A classfcaton of lnear controllable systems, Kbernetka, [6] M. V. Carregos, Enumeraton of classes of lnear systems va equatons and va parttons n a ordered abelan monod, Ln. Algebra App., [7] J. L. Cast, Lnear Dynamcal Systems. Academc Press [8] M. I. J. Hautus, E. D. Sontag, New results on pole-shftng for parametrzed famles of systems. J. Pure Appl. Algebra [9] J.A. Hermda-Alonso, M.T. Trobajo, The dynamc feedback equvalence over prncpal deal domans, Ln. Algebra Appl., [10] J.A. Hermda-Alonso, M.M. López-Cabecera, M.T. Trobajo, When are dynamc and statc feedback equvalent?, Ln. Algebra Appl., [11] R. E. Kalman, Kronecker nvarants and Feedback, In: Ordnary Dfferental Equatons. Academc, [12] S. Mac Lane, Categores for the workng mathematcan. Sprnger, New York, [13] J. Rosemberg, Algebrac K-Theory and ts Aplcatons, [14] W.V. Vasconcelos, C.A. Webel, Bcs rngs, Journal of Pure and Appled Algebra, ,

21 [15] C.A. Webel, The K-book, an ntroducton to Algebrac K-theory, β-ed. 2013/02/23, webel/kbook/kbook.pdf 21