Carrelages

$val7 [ ]
$(val8[1]) $val16 $(val8[2])

$val12 $m_step. $(val8[3])

$(val9[1])

$m_times

Carrelages et matrices d'Hermite

$val12:

$val34

$val35:

Carrelages: taille

$(val8[1]) $(val8[3]) $val11 :

$m_times

Bases commensurables

$val8

et .

$val9:

Sous-groupes de (Z/NZ)^*

$(val7[1]) .

$(val8[1]) $(val8[2]) $(val8[3]) :

Diviseurs élémentaires et base associée

$(val7[1;1]) $(val7[1;2])

$(val7[2;1]) $(val7[2;2]) $(val7[3;]) .

$(val8[1;1]) $(val8[1;2]) $(val8[2;1]) , $(val8[2;2]) , $(val8[3;1]) $(val8[3;2])

$(val9[1]) $(val9[2]) :

$val10

Diviseurs élémentaires

$(val7[1;1]) $(val7[1;2])

$(val7[2;1]) $(val7[2;2]) $(val7[3;]) .

$(val8[1;1]) $(val8[1;2]) $(val8[2;1]) , $(val8[2;2]) , $(val8[3;1]) $(val8[3;2])

Base d'un réseau

$val7 $(val8[1])? $(val8[2])

Groupes abéliens

$(val7[1])

. . . .

$(val7[2])

$(val7[3])

Groupe d'unités de Z/nZ

$(val7[1]) $(val7[2])

$val8

Image d'un Z-module

$val7:

, , .

Base d'un sous-Z-module

$val7:

$val8

$val9

Image d'un Z-module (avec aide)

$(val8[1]):

, , .

$(val8[2]) :

Interprétation de la forme de Smith

$(val8[1;])

$(val8[2;]) $m_pm 1. $(val8[3;])

et .

$(val8[4;1]) $(val8[4;2]) , ..., $(val8[4;]) , ..., .

$val9 1 : $(val11[3;1]) $(val15[$val17]) $(val11[3;2])

$val9 2 : $(val11[1;]) , ..., $val10 $(val11[2;]) , ..., ($val13) :

w_$m_r =

v_$m_s

$(val11[4;1]) , ..., $(val11[4;2]) , ..., :

w_$m_r =

e_$m_s

$(val11[5;1]) , ..., $val10 $(val11[5;2]) , ..., :

f_$m_r =

e_$m_s

$(val12[1]) , ..., $(val12[2]) , ..., :

f_$m_r =

v_$m_s

$val14

Groupes abéliens isomorphes ?

$val8?

Maçonnerie I

$val25 ([ ] $val12 2) $val11

, , , , ,

sous la forme 1,2,3.

Matrices élémentaires

$(val7[1]) $val15 $(val7[2]) $(val7[3]) ,

$(val7[1]) $val15 $(val7[2]) $(val7[3]) , $(val8[$val18]). $(val7[4]), $(val9[$val18;1]) $(val9[$val18;2]) .

Multiplication/puissance dans Z/nZ

$(val10[$val12;])

Z-modules et formes normales

$val19

Quotient de deux Z-modules

$(val7[1;1]) $(val7[2;1]) $(val7[1;3]) $(val7[2;1]) $(val7[2;2])

$(val8[1]) $(val8[2]) $(val8[3]) , $(val8[4]) $(val8[5]) .

Z-modules dans Q^*

$(val7[1]) $(val7[2]) $(val7[3])

$val8 $val19.

$(val9[1]) $(val9[2]) $val19.

$(val10[1]) $(val10[2]) $val19 $(val10[3]) $(val10[4])

$m_times $m_times =

$(val11[1;]) ?

$(val11[2;]) ?

$(val11[3;]):

$(val11[4;1]) $m_name_qeustion2[4;2]

Relations dans un groupe abélien

$(val8[1]) $val16 $(val8[2]) $val20

$val9

name_inst[1] $val16, $(val10[2]), $(val10[3])

$val11?

$(val13[1]) $val19 $val12 $(val13[2]) $(val13[3])

$(val14[1]) :
$(val14[2]) :
$(val14[3]) ?

$(val14[4]) :
$(val14[5]) :

Relation entière entre des vecteurs

$(val8[1])

$(val8[2]):

, , .

$val9

, ,

Surjectivité

$(val8[1]) $(val8[2])

$(val8[3])?