03.08.2013 Views

Completion of Rectangular Matrices and Power-Free Modules

Completion of Rectangular Matrices and Power-Free Modules

Completion of Rectangular Matrices and Power-Free Modules

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

140 H. Chen<br />

⎧<br />

⎪⎨<br />

= (η1, · · · , ηn)U<br />

⎪⎩<br />

−1 ⎜ ⎟<br />

⎜ . ⎟<br />

⎪⎬<br />

⎜ st ⎟<br />

(β1, · · · , βt, 0, · · · , 0) ⎜ ⎟<br />

⎜ 0 ⎟ |s1, · · · , st ∈ R<br />

⎟<br />

⎜ ⎟<br />

⎝ . ⎠<br />

⎪⎭<br />

0<br />

⎧<br />

⎛ ⎞<br />

⎫<br />

⎜ ⎟<br />

⎜<br />

⎪⎨<br />

⎜ . ⎟<br />

⎪⎬<br />

⎜ st ⎟<br />

= (η1, · · · , ηn)AV ⎜ ⎟<br />

⎜ 0 ⎟ |s1, · · · , st ∈ R<br />

⎟<br />

⎜ ⎟<br />

⎝<br />

⎪⎩<br />

. ⎠<br />

⎪⎭<br />

0<br />

⎧<br />

⎛ ⎞<br />

⎫<br />

⎜<br />

⎪⎨<br />

⎜<br />

= σ((ε1, · · · , εm)V ) ⎜<br />

⎝<br />

⎪⎩<br />

s1<br />

s1<br />

.<br />

st<br />

0<br />

.<br />

0<br />

⎛<br />

s1<br />

⎞<br />

⎟<br />

⎪⎬<br />

⎟ |s1, · · · , st ∈ R .<br />

⎟<br />

⎠<br />

⎪⎭<br />

Let (ε ′ 1, · · · , ε ′ m) = (ε1, · · · , εm)V . Then {ε ′ 1, · · · , ε ′ m} is a basis <strong>of</strong> R m as well.<br />

Further,<br />

⎧<br />

⎛<br />

R n ⎪⎨<br />

= σ(ε<br />

⎪⎩<br />

′ 1, · · · , ε ′ ⎜ ⎟<br />

⎜ . ⎟<br />

⎪⎬<br />

⎜ st ⎟<br />

m) ⎜ ⎟<br />

⎜ 0 ⎟ | s1, · · · , st ∈ R<br />

⎟<br />

⎜ ⎟<br />

⎝ . ⎠<br />

⎪⎭<br />

0<br />

⎧<br />

⎪⎨<br />

=<br />

⎪⎩ σ(ε′ 1, · · · , ε ′ ⎛ ⎞<br />

⎫<br />

s1<br />

⎪⎬<br />

⎜<br />

t) ⎝ .<br />

⎟<br />

. ⎠ |s1, · · · , st ∈ R<br />

⎪⎭ .<br />

In other words, R n is generated by {σ(ε ′ 1), · · · , σ(ε ′ t)}. It follows from Lemma 3.1<br />

that P ∼ = R m−n .<br />

Lemma 3.3. Let A ∈ Mn×m(R) be a right invertible rectangular matrix over a<br />

generalized stable ring R. Then there exist U ∈ GLn(R) <strong>and</strong> V ∈ GLm(R) such that<br />

<br />

In−1 0 (n−1)×(m−n+1)<br />

UAV =<br />

,<br />

01×(n−1) bn bn+1 · · · bm<br />

where bn, · · · , bm ∈ R.<br />

s1<br />

st<br />

⎞<br />

⎫<br />

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!