Inscription / Connexion Nouveau Sujet
Niveau Maths sup
Partager :

Algèbre >> Groupes

Posté par
Skops
30-01-08 à 19:46

Bonsoir

Soit (G,*), un groupe de neutre e, ayant exactement 3 élements.
Soit x un élément neutre autre que e.
Montrer que x² est le troisième élement et que x^3=e
Montrer que (G,*) est un groupe abélien

Si x² est le troisième élement de G alors c'est l'inverse de x.
Mais je n'ai aucune idée de comment le montrer puisqu'on n'explicite pas la loi *

Une piste s'il vous plait

Merci

Skops

Posté par
Rodrigo
re : Algèbre >> Groupes 30-01-08 à 19:57

Bonsoir.
Dans un groupe les translations sont bijectives.

Posté par
infophile
re : Algèbre >> Groupes 30-01-08 à 20:07

Bonsoir

Y'a un truc que je pige pas, comment on peut avoir un autre neutre dans un groupe ?

Si x et e sont des neutres alors d'une part :

x * e = e * x = x car e est neutre

e * x = x * e = e car x est neutre

donc x = e.

A moins que x n'appartienne pas au groupe ?

Posté par
Rodrigo
re : Algèbre >> Groupes 30-01-08 à 20:08

Le neutre est effectivement unique dans un groupe.

Posté par
infophile
re : Algèbre >> Groupes 30-01-08 à 20:09

Ok donc le x dont il est question ne fait pas partie des 3 éléments de G n'est-ce pas ?

Posté par
Rodrigo
re : Algèbre >> Groupes 30-01-08 à 20:11

Quoi? Je comprends pas ta question. Et pourquoi x serait le neutre de G?

Posté par
infophile
re : Algèbre >> Groupes 30-01-08 à 20:12

Citation :
Soit (G,*), un groupe de neutre e, ayant exactement 3 élements.
Soit x un élément neutre autre que e.


Il est neutre de qui alors si ce n'est pas de G ?

Posté par
Rodrigo
re : Algèbre >> Groupes 30-01-08 à 20:13

Oups j'avais pas vu ce "neutre" a mon avis c'est un erreur je pense que c'est soit x un élément autre que e.

Posté par
infophile
re : Algèbre >> Groupes 30-01-08 à 20:14

Ahhhh voilà tout s'explique, merci

Posté par
frenicle
re : Algèbre >> Groupes 30-01-08 à 20:15

Bonjour

Les trois éléments du groupe sont e, x et disons y.
On a trois possibilités pour xy :
xy = x, mais alors y = e, ce qui n'est pas le cas
xy = y, mais alors x = e, ce qui n'est pas le cas
Donc xy = e. Mais alors x² n'est pas égal à e (car sinon xy = x² et x=y)
x² n'est p

Posté par
frenicle
re : Algèbre >> Groupes 30-01-08 à 20:17

zut ! fausse manoeuvre
x² n'est pas égal à x car sinon, x=e.
Donc x² = y, etc.

Cordialement
Frenicle

Posté par
Skops
re : Algèbre >> Groupes 30-01-08 à 20:39

Merci frenicle

Skops

Posté par
Skops
re : Algèbre >> Groupes 30-01-08 à 20:48

Pour montrer que le groupe est abélien :

e est neutre donc x*e=e*x=x, y*e=e*y=y
x est inversible donc son inverse est x² donc par définition de l'inverse x²*x=x*x²=e

Donc G est abélien

Juste ?

Skops

Posté par
frenicle
re : Algèbre >> Groupes 30-01-08 à 21:54

Juste

Posté par
Rodrigo
re : Algèbre >> Groupes 30-01-08 à 22:00

Tu as montré au passage qu'il n'y avait qu'un seul groupe d'ordre 3...

Posté par
Skops
re : Algèbre >> Groupes 30-01-08 à 22:01

Un autre sur les groupes :

Soit G=]-1;1[, on définit une loi * pour tout x de G, 4$x*y=\frac{x+y}{1+xy}

1) Montrer que (G,*) est un groupe abélien >> c'est chose faite

2) Soit x un réel strictement positif fixé. On forme l'ensemble 4$H_x=\{\frac{x^n-1}{x^n+1},n\in\mathbb{Z}\}

Montrer que l'ensemble Hx est un groupe.

Je pense montrer que Hx est un sous groupe de (G,*)

J'ai montré que le neutre appartenait bien à H
Mais je cale pour montrer que x*y s'écrit bien sous la forme d'un élement de Hx

J'arrive à 4$\frac{x^{n+m}-1}{x^n+x^m}
Est ce que c'est possible de modifier le dénominateur ?

Merci

Skops

Posté par
Skops
re : Algèbre >> Groupes 30-01-08 à 22:01

Citation :
Tu as montré au passage qu'il n'y avait qu'un seul groupe d'ordre 3...


Waouu, je fais des trucs sans m'en rendre compte
Mais c'est à dire plus concrètement ?

Skops

Posté par
Rodrigo
re : Algèbre >> Groupes 30-01-08 à 22:08

Ben que le seul groupe d'ordre 3 est {1,x,x²}

Posté par
Skops
re : Algèbre >> Groupes 30-01-08 à 22:09

d'accord

Skops

Posté par
Skops
re : Algèbre >> Groupes 31-01-08 à 06:44

Un up pour la journée

Skops

Posté par
lafol Moderateur
re : Algèbre >> Groupes 31-01-08 à 09:59

Bonjour Skops
si tu connais la tangente hyperbolique, ton exo va te sembler plus facile
(x*y ne te fait pas penser à th(a+b) ? )

Posté par
jeanseb
re : Algèbre >> Groupes 31-01-08 à 12:02

Bonjour

Lafol, félicitations pour ta promotion!

Amicalement

Jeanseb

Posté par
lafol Moderateur
re : Algèbre >> Groupes 31-01-08 à 18:01

merci jeanseb

Posté par
Skops
re : Algèbre >> Groupes 31-01-08 à 19:14

Effectivement
J'essairai, merci

Skops

Posté par
frenicle
re : Algèbre >> Groupes 31-01-08 à 22:40

Bonsoir

Tu as dû faire une erreur dans ton calcul.
J'arrive à :

3$ x*y = \frac{x^{n+m} - 1}{x^{n+m} + 1}

Cordialement
Frenicle

Posté par
Skops
re : Algèbre >> Groupes 31-01-08 à 23:02

Merci à toi frenicle

Skops

Posté par
otto
re : Algèbre >> Groupes 01-02-08 à 05:05

Montrer que x² est le troisième élement et que x^3=e

C'est quoi le 3e élément ?

Posté par
infophile
re : Algèbre >> Groupes 01-02-08 à 06:38

otto > G a 3 éléments : e, x et le 3 ème.

Posté par
infophile
re : Algèbre >> Groupes 02-02-08 à 06:47

On commence l'algèbre, chouette

C'est parti pour une matinée de DS de maths...

Posté par
1 Schumi 1
re : Algèbre >> Groupes 02-02-08 à 10:09

Evidemment que c'est clâââââsse!!!

Posté par
infophile
re : Algèbre >> Groupes 02-02-08 à 15:03

Salut vieux

Ca y est je suis enfin en week end ! C'est horrible un samedi matin de DS

Question : c'est toi qui a un bouquin "J'intègre" ?

Posté par
1 Schumi 1
re : Algèbre >> Groupes 02-02-08 à 16:46

Moi j'ai DS tous les samedis matins. Mais j'aime bien ça moi.

Citation :
c'est toi qui a un bouquin "J'intègre" ?

Of course, of course.

Posté par
infophile
re : Algèbre >> Groupes 02-02-08 à 18:42

A tout hasard est-ce que dedans tu aurais l'exo qui consiste à trouver un équivalent de la racine de l'équation fn(x) = alpha avec fn(x) = a/x - 1/(x-1) - 1/(x-2) - ... - 1/(x-n) ?

Posté par
infophile
re : Algèbre >> Groupes 02-02-08 à 21:02

Je me suis planté sur des trucs cons ce matin...

J'ai même pas été capable de calculer la limite de la série alternée 1 - 1/2 + 1/3 - 1/4 ...

Posté par
gui_tou
re : Algèbre >> Groupes 02-02-08 à 21:08

-ln(2) ?

Posté par
1 Schumi 1
re : Algèbre >> Groupes 03-02-08 à 06:20

Kévin >> Euh, pas loin en tous cas. fn(x)=1/(x-1)+1/(x-2)+...+1/(x-n) et il faut en effet trouver en équivalent des solutions des solutions de fn(x)=lambda.
Pourquoi? T'y as eu droit? C'est loin d'être évident c'te exo, il est plutôt crâââde.

gui_tou? Pourquoi le "-"?

Posté par
simon92
re : Algèbre >> Groupes 03-02-08 à 09:49

salut, guillaume, elle me semble positive cette somme

Posté par
monrow Posteur d'énigmes
re : Algèbre >> Groupes 03-02-08 à 10:43

Salut

une petite correction pour la série alternée :

Je note 3$\rm S_n=\Bigsum_{k=1}^n\frac{(-1)^{k-1}}{k}

On montre que 3$\rm S_{2n} et 3$\rm S_{2n+1}

On sait que si les deux suites extraites 3$\rm S_{2n} et 3$\rm S_{2n+1} convergent vers la même limite donc 3$\rm S_n est convergente vers cette limite qu'on appelera l.

Bon c'est ici qu'il y a une petite reflexion, il faut remarquer que 3$\rm S_{2n}=H_{2n}-H_n avec 3$\rm H_n la série harmonique.

On sait que: 3$\rm H_{2n}=ln(2n)+\gamma + o(1) et 3$\rm H_{n}=ln(n)+\gamma + o(1)

donc: 3$\rm H_{2n}-H_n=ln(2) + o(1)

Donc 3$\rm S_{2n} \longrightarrow_{n^\infty} l=ln(2)

d'où: 3$\rm \fbox{S_n=\Bigsum_{k=1}^n\frac{(-1)^{k-1}}{k} \longrightarrow_{n^\infty} l=ln(2)}

Posté par
monrow Posteur d'énigmes
re : Algèbre >> Groupes 03-02-08 à 10:44

On montre que 3$\rm S_{2n} et 3$\rm S_{2n+1} sont adjacentes ...

Posté par
infophile
re : Algèbre >> Groupes 03-02-08 à 11:41

Ayoub > Tu m'aurais m'envoyé la correction ?

mohamed > Merci, j'ai trouvé avec les intégrales pour ma part

Posté par
infophile
re : Algèbre >> Groupes 03-02-08 à 11:41

pourrais *

Posté par
infophile
re : Algèbre >> Groupes 03-02-08 à 11:54

Nan ben c'est bon finalement

Posté par
monrow Posteur d'énigmes
re : Algèbre >> Groupes 03-02-08 à 12:58

Posté par
infophile
re : Algèbre >> Groupes 04-02-08 à 16:45

Bonjour

Pour en revenir à l'exercice, une manière élégante de répondre à la question est d'utiliser la règle du carré latin.

En effet sur chaque colonne de la table d'un groupe fini, chaque élément figure une fois et une seule (ça rejoins ce que disait Rodrigo sur les translations).

5$ \rm \begin{tabular}{|c|ccc|}\hline \ & e & a & b \\\hline e & e & a & b \\ a & a & b & e \\ b & b & e & a \\\hline \end{tabular}

Il faut quand même assurer l'associativité.

Posté par
infophile
re : Algèbre >> Groupes 05-02-08 à 19:41

Pour l'associativité on peut remarquer que l'ensemble {1,j,j²} muni de la multiplication usuelle est un groupe fini qui possède la même table que celle de mon précédent post.

Ce qui assure l'associativité

Posté par
1 Schumi 1
re : Algèbre >> Groupes 08-02-08 à 18:24

Zoli Kévin l'histoire du carré latin.

Posté par
infophile
re : Algèbre >> Groupes 08-02-08 à 23:22

Oui



Vous devez être membre accéder à ce service...

Pas encore inscrit ?

1 compte par personne, multi-compte interdit !

Ou identifiez-vous :


Rester sur la page

Inscription gratuite

Fiches en rapport

parmi 1675 fiches de maths

Désolé, votre version d'Internet Explorer est plus que périmée ! Merci de le mettre à jour ou de télécharger Firefox ou Google Chrome pour utiliser le site. Votre ordinateur vous remerciera !