CD - FONCTIONS PERIODIQUES
Préliminaires : sous-groupes additifs de R(Voir AK).
On sait qu’un sous-groupe additif de Rnon réduit à zéro, est, soit dense dans R, soit monogène,
c’est-à-dire de la forme TZavec Tréel strictement positif, (dans ce cas nous appellerons Tle généra-
teur de G). En particulier, un sous-groupe non réduit à zéro d’un groupe monogène est monogène, et
un sous-groupe contenant un sous-groupe dense est dense. Nous aurons besoin des propriétés suivantes :
Proposition 1 Soit G1=T1Zet G2=T2Zdeux sous-groupes monogènes de R. Les propriétés
suivantes sont équivalentes
i) T1/T2est rationnel
ii) G1∩G26={0}
iii) G1+G2est monogène
et l’on peut caractériser les générateurs de la manière suivante :
si l’on a T1/T2=p1/p2avec p1et p2entiers premiers entre eux, alors
G1∩G2=TZ,avec T=p2T1=p1T2,
G1+G2=T′Z,avec T′=T1
p1
=T2
p2
.
En particulier, si T1et T2sont entiers, T=PPCM(T1, T2), et T′=PGCD(T1, T2).
1) Equivalence de i) et ii)
Supposons que le nombre T1/T2soit rationnel. On a donc
T1/T2=p1/p2,
avec p1et p2premiers entre eux. Alors p2T1=p1T2et ce nombre, que nous noterons T, appartient à
la fois à G1et à G2donc à G1∩G2qui, par suite, contient TZet n’est donc pas réduit à 0.
Réciproquement, si l’intersection n’est pas réduite à 0, soit xun de ses éléments non nul. Il appartient
àGidonc s’écrit aiTiavec aientier. Alors l’égalité
a1T1=a2T2
implique que le nombre
T1/T2=a2/a1
est rationnel.