Page 62 - Parimad teadustööd 2013/2014
P. 62
TALLINNA ÜLIKOOLI ÜLIÕPILASTE 2013/2014. ÕPPEAASTA PARIMAD TEADUSTÖÖD / ARTIKLITE KOgUMIK LOODUSTEADUSED
with being invertible in the sense that there exists another meromorphic mapping such that the vector is called .
the ring of × matrices over the non-commutative ring of polynomials K[] is denoted by K[]×. where △ and △ are square diagonal matrices with elements (1, ... , , 0, ... ,0) such that ∈ K[]
for = 1, ... , and is a divisor +1 for all . Consider the following polynomial matrix
where is defined by (2).
We assume that the matrix in (4) is hyper-regular. now let
To check whether the system (1) is flat and to compute the flat output, we start with the vector of one- forms
Theorem 1. The system (1) is flat iff there exists a unimodular matrix ∈ [] such that d() = 0.
62
