groupe
Réponses
-
Salut,
intuitivement je dirais:
1) Non (groupe de Klein = $\Z/2\Z \times \Z/2\Z$) et Oui (là je suis pas sûr)
2) Oui (un théorème du genre "reconstruction du groupe par les classes à gauche bla-bal-bla)
amicalement,
F.D. -
bonjour,
pour le 2) c'est non il suffit de regarder le groupe quaternionique Q8 ( le cardinal de son centre vaut 2 ) -
salut,
je venais corriger mon erreur... pardon
F.D. -
Soit $p$ un nombre premier. On note $U_k$ l'ensemble des racines
$p^k$-ièmes de l'unité dans $\C$. C'est un groupe cyclique et
pour $k\le l$, on a $U_k\subset U_l$. On pose $U_\infty=\cup_{k\ge 0}U_k$
et on vérifie facilement que c'est un groupe. Pour $z\in U_\infty$, on
note $v(z)=\inf\{k\mid z\in U_k\}$ ; la signification de $v(z)$ est que
$z$ est racine primitive d'ordre $p^{v(z)}$ de l'unité.
Soit $G$ un sous-groupe ; on considère $\{v(z)\mid z\in G\}$.
Si cet ensemble est non borné, $G=U_\infty$ et s'il est borné de
maximum $k$, alors $G=U_k$.
Autrement dit, $U_\infty$ est infini et tous ses sous-groupes propres
sont finis et cycliques. -
$G$ est un sous-groupe de $G$
-
Mais pas un sous-groupe propre.
-
Bonjouur Niz
Comme il a déjà été dit plus haut, les réponses sont NON partout.
Pour s'en convaincre il suffit de considérer les contrexemples :
$\Z/2\Z \times \Z/2\Z$ n'est pas cyclique, pourtant tous ses sous-groupes propres sont cycliques ($\simeq \Z/2\Z$) ou trivial.
$\frak{S}_3$ le groupe des permutations de 3 éléments, qui a 6 éléments, a pour sous-groupes propres (non trivial) :
$\bullet\quad \{id,(123)(132)\}\simeq \Z/3\Z$
$\bullet\quad \{id,(12)\} \simeq \Z/2\Z$
$\bullet\quad \{id,(13)\} \simeq \Z/2\Z$
$\bullet\quad \{id,(23)\} \simeq \Z/2\Z$
qui sont tous cycliques et pourtant $\frak{S}_3$ n'est pas abélien (donc pas cyclique)
en effet : $(12)(123)=(23)\neq (123)(12)=(13)$
$Q = \{\pm 1, \pm i, \pm j, \pm k\},\textrm{\ avec\ }i²=j²=k²=-1,\ ij=-k,\ jk=-i,\ ki=-j$ le groupe des quaternions à 8 éléments.
Ses sous-groupes propres (non trivial) sont :
$\bullet\quad \{1,-1\} \simeq \Z/2\Z$ c'est le centre et le sous-groupe dérivé, donc il est distingué dans $Q$.
$\bullet\quad \{1,i, -1,-i\} \simeq \Z/4\Z$ cyclique distingué car d'indice 2 dans $Q$
$\bullet\quad \{1,j, -1,-j\} \simeq \Z/4\Z$ cyclique distingué car d'indice 2 dans $Q$
$\bullet\quad \{1,k, -1,-k\} \simeq \Z/4\Z$ cyclique distingué car d'indice 2 dans $Q$
Ils sont tous cycliques, distingués, et pourtant $Q$ n'est ni cyclique, ni abélien ($ij=-k \neq ji=k$)
Alain
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.2K Toutes les catégories
- 9 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 65 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 69 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 314 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres