02.08.2013 Views

1 Basic Notions - Caltech Mathematics Department

1 Basic Notions - Caltech Mathematics Department

1 Basic Notions - Caltech Mathematics Department

SHOW MORE
SHOW LESS

Create successful ePaper yourself

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

Put<br />

B =<br />

Then (d ′ ,an) B =(0,d).<br />

Put<br />

Then<br />

aC =(aA)<br />

C = A<br />

In−2 0<br />

0 B<br />

<br />

an/d x<br />

−d ′ <br />

∈ SL2(Z).<br />

/d y<br />

In−2 0<br />

0 B<br />

<br />

<br />

∈ GLn (Z).<br />

=(0, ··· , 0,d ′ <br />

,an)<br />

In−2<br />

0<br />

0<br />

B<br />

<br />

(3)<br />

=(0, ··· , 0,d). (4)<br />

Theorem 5.1. Let a =(a1, ··· ,an) ∈ Zn −{0} with gcd equal to d.<br />

Let C be the matrix given by Lemma. Pick any N ∈ Z. Then we have:<br />

⎛ ⎞<br />

x =<br />

⎜<br />

⎝<br />

x1<br />

.<br />

xn<br />

⎟<br />

⎠ ∈ Z n<br />

is a solution of n<br />

i=1 ai xi = Nd if and only if ∃m1, ··· ,mn−1 ∈ Z such that<br />

n−1<br />

x =<br />

i=1<br />

miC i + NC n<br />

where C j denotes (∀j) the j-th column of C.<br />

Proof.<br />

Let y = x − NC n .<br />

26

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

Saved successfully!

Ooh no, something went wrong!