Un lemme sur les carrés.
Salut
J'ai un petit exercice élémentaire a valider. Est-ce que quelqu'un peut me dire si le résultat est juste et si la démonstration que je propose est valide. Merci d'avance !
Soit $G$ un groupe cyclique (la loi est noté multiplicativement). On dit qu'un élément $x \in G$ est un carré lorsqu'il existe un élément $y \in G$ vérifiant $x=y^2$.
Edit : : hypothèse : $2$ divise $\text{Card}(G)$.
Écrivons le cardinal de $G$ sous la forme $ 2^a n$ avec $2$ premier avec $n$. Alors $$
x \in G \text{ est un carré} \Longleftrightarrow \mathcal{O}(x) \mid 2^{\alpha-1} n
$$ Où $\mathcal{O}(x)$ désigne l'ordre de $x$ dans le groupe $G$.
Démonstration
Si $x$ est un carré alors il existe $y$ vérifiant $x=y^2$, et $x^{2^{\alpha-1} n} = y ^{2^{\alpha} n}=1$ par le théorème de Lagrange.
Réciproquement $\mathcal{O}(x) \mid 2^{\alpha-1} n$. Considérons $\zeta$ un générateur de $G$. Si $x=\zeta^k$ alors $$
\mathcal{O}(x) = \frac{2^\alpha n }{\text{Pgcd}(2^\alpha n,k)}
$$ Comme $\mathcal{O}(x) \mid 2^{\alpha-1} n$ alors $2$ divise $\text{Pgcd}(2^\alpha n,k)$ et divise $k$. Ainsi, $x=\zeta^k$ alors $k$ un nombre pair
Edit : GBZM
Réciproquement $\mathcal{O}(x) \mid 2^{\alpha-1} n$. Considérons $\zeta$ un générateur de $G$. Si $x=\zeta^k$, Alors $\zeta^{2^{\alpha-1} n k}=1$, et comme $\zeta$ est d'ordre $ 2^a n$, on a : $ 2^a n \mid 2^{\alpha-1} n k$ et $2$ divise $k$.
et $x$ est un carré.
J'ai un petit exercice élémentaire a valider. Est-ce que quelqu'un peut me dire si le résultat est juste et si la démonstration que je propose est valide. Merci d'avance !
Soit $G$ un groupe cyclique (la loi est noté multiplicativement). On dit qu'un élément $x \in G$ est un carré lorsqu'il existe un élément $y \in G$ vérifiant $x=y^2$.
Edit : : hypothèse : $2$ divise $\text{Card}(G)$.
Écrivons le cardinal de $G$ sous la forme $ 2^a n$ avec $2$ premier avec $n$. Alors $$
x \in G \text{ est un carré} \Longleftrightarrow \mathcal{O}(x) \mid 2^{\alpha-1} n
$$ Où $\mathcal{O}(x)$ désigne l'ordre de $x$ dans le groupe $G$.
Démonstration
Si $x$ est un carré alors il existe $y$ vérifiant $x=y^2$, et $x^{2^{\alpha-1} n} = y ^{2^{\alpha} n}=1$ par le théorème de Lagrange.
Réciproquement $\mathcal{O}(x) \mid 2^{\alpha-1} n$. Considérons $\zeta$ un générateur de $G$. Si $x=\zeta^k$ alors $$
\mathcal{O}(x) = \frac{2^\alpha n }{\text{Pgcd}(2^\alpha n,k)}
$$ Comme $\mathcal{O}(x) \mid 2^{\alpha-1} n$ alors $2$ divise $\text{Pgcd}(2^\alpha n,k)$ et divise $k$. Ainsi, $x=\zeta^k$ alors $k$ un nombre pair
Edit : GBZM
Réciproquement $\mathcal{O}(x) \mid 2^{\alpha-1} n$. Considérons $\zeta$ un générateur de $G$. Si $x=\zeta^k$, Alors $\zeta^{2^{\alpha-1} n k}=1$, et comme $\zeta$ est d'ordre $ 2^a n$, on a : $ 2^a n \mid 2^{\alpha-1} n k$ et $2$ divise $k$.
et $x$ est un carré.
Réponses
-
Si $x=\zeta^k$, alors $\zeta^{2^{a-1}nk}$ est l'élément neutre du groupe, donc $2^an$ divise $2^{a-1}nk$, donc $2$ divise $k$.
-
Merci GBZM !
C'est un peu moins lourd ce que tu proposes ! Merci !
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 165.6K Toutes les catégories
- 65 Collège/Lycée
- 22.2K Algèbre
- 37.7K Analyse
- 6.3K Arithmétique
- 61 Catégories et structures
- 1.1K Combinatoire et Graphes
- 13 Sciences des données
- 5.1K Concours et Examens
- 26 CultureMath
- 51 Enseignement à distance
- 2.9K Fondements et Logique
- 10.8K Géométrie
- 86 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 79 Informatique théorique
- 3.9K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 29 Mathématiques et finance
- 344 Mathématiques et Physique
- 5K Mathématiques et Société
- 3.4K Pédagogie, enseignement, orientation
- 10.1K Probabilités, théorie de la mesure
- 805 Shtam
- 4.2K Statistiques
- 3.8K Topologie
- 1.4K Vie du Forum et de ses membres