Home

MPSI/PCSI

Maths

Algèbre

Loi usuelles, groupes

Dans cette vidéo, Corentin explique le concept de groupe en mathématiques. Il commence par donner l'énoncé qui définit un groupe comme étant un ensemble muni d'une loi étoile associative, avec un élément neutre à gauche et où chaque élément possède un inverse à gauche. Il souligne que pour montrer qu'un ensemble E est un groupe pour la loi étoile, il faut également prouver que l'inverse à gauche est également un inverse à droite.

Pour démontrer cela, Corentin utilise les inverses à gauche x prime et y prime de xy, où yx est égal à l'élément neutre E. En multipliant à gauche par y prime y, il montre que xy est égal à E en utilisant l'associativité de la loi étoile. Ainsi, il démontre que l'inverse à gauche est également un inverse à droite.

Ensuite, Corentin se penche sur l'unicité de l'élément neutre à gauche et montre que si F et E sont tous les deux neutres à gauche, alors ils sont égaux. Il utilise le fait que F fois E est égal à E par hypothèse sur F, et que E fois F est également égal à E. Comme E est un élément neutre à gauche, il en déduit que F est égal à E.

Enfin, Corentin montre que l'élément neutre à gauche est également neutre à droite en utilisant l'inverse de x prime. Il montre que x fois E est égal à x en utilisant l'associativité de la loi étoile et en prouvant que l'inverse à gauche est également l'inverse à droite.

En conclusion, Corentin résume les étapes de sa démonstration en montrant que l'élément neutre à gauche est également neutre à droite, qu'il est unique, et que l'inverse à gauche est également l'inverse à droite. Ainsi, il conclut que toutes les hypothèses sont réunies et que E est bien un groupe.

Salut à tous, c'est Corentin. Bienvenue dans cette nouvelle vidéo. On se retrouve aujourd'hui sur un exercice que personnellement j'aime bien puisqu'il vous demande de vous plonger vraiment en profondeur sur ce qu'est un groupe. Alors commençons tout de suite par la lecture d'énoncé. Soit E un ensemble muni d'une loi étoile interne associative et admettant un élément neutre à gauche et tel que tout élément possède un inverse à gauche. Nous ce qu'on veut montrer c'est que E est un groupe pour la loi étoile. Alors l'associativité et le fait qu'étoile soit interne on l'a d'après l'énoncé, très bien. Maintenant ce qu'on veut montrer c'est que cet inverse à gauche c'est aussi un inverse à droite parce qu'on a besoin de ça pour que E soit un groupe. Très bien, soit x prime et y prime les inverses à gauche respectives de xy. Donc si yx est égal à E, xy, moi ce que j'ai envie de faire c'est de multiplier à gauche par y prime y, ça c'est égal à E donc puisque E c'est un élément neutre à gauche, ça ne change rien, on a le droit de le faire. Ensuite puisque étoile est associative j'ai le droit de commencer par calculer ces choses là à l'intérieur. Ça c'est égal à E par hypothèse mais y prime y c'est aussi égal à E par hypothèse. Conclusion, xy est lui aussi égal à E. Maintenant ce qu'on va vouloir faire c'est montrer que l'élément neutre à gauche est unique et puis ensuite on va vouloir montrer que cet élément neutre à gauche c'est aussi l'élément neutre à droite. Et là on aura enfin toutes les hypothèses réunies pour que E soit un groupe. Donc très bien, soit F et E, deux éléments neutres à gauche. Ça c'est vraiment la rédaction classique pour montrer l'unicité donc on prend deux choses et on va vouloir montrer que ces deux choses sont égales. On a F fois E qui est égal à E par hypothèse sur F. Mais alors d'après le point précédent on a aussi E fois F qui est égal à E. Et puisque E est un élément neutre à gauche, on a E fois F qui est égal à F. Mais du coup F est égal à E. Ensuite on va vouloir montrer que l'élément neutre à gauche c'est aussi un élément neutre à droite, je vous en ai parlé tout à l'heure. Très bien, soit x appartenant à E, on sait que x fois E c'est égal à x fois x prime fois x. Avec x, l'inverse de x prime. Mais ça encore une fois par associativité j'ai le droit de dire que c'est égal à x fois x prime fois x. On sait que ça c'est égal à E puisque on sait maintenant que l'inverse à gauche c'est aussi l'inverse à droite. Et du coup conclusion x fois E est égal à x. Conclusion, E c'est aussi un élément neutre à droite. Conclusion, on a analysé en profondeur, on a vu que cet élément neutre à gauche il était aussi neutre à droite, il était unique et on a montré que l'inverse à gauche était aussi l'inverse à droite. Conclusion, on a toutes les hypothèses qui sont réunies à présent et E est bien un groupe. Merci à tous.

Neutre et inverse

RELATED

Recommended videos

Groupe avec des fonctions

Lois usuelles