Bibm@th

Forum de mathématiques - Bibm@th.net

Bienvenue dans les forums du site BibM@th, des forums où on dit Bonjour (Bonsoir), Merci, S'il vous plaît...

Vous n'êtes pas identifié(e).

#1 Re : Entraide (supérieur) » Test de primalité de Miller-Rabin » 03-12-2025 23:24:53

Merci beaucoup, c'est précisément ce qu'il me fallait !
Bonne soirée,
Bob

#2 Entraide (supérieur) » Test de primalité de Miller-Rabin » 02-12-2025 22:35:42

mathsforum
Réponses : 2

Bonsoir,
J'ai lu que tout entier composé a un témoin de Miller (et même beaucoup). Je n'arrive pas à voir pourquoi (apparemment les diviseurs de n fonctionnent).
Pourriez-vous m'éclairer ?
Merci,
Bob

#3 Re : Entraide (supérieur) » Réduction des endo (endo simple et pol car irr) » 02-11-2025 07:58:31

Oh oui c'est efficace et direct comme ça, merci
Ce que j'ai fait est plus alambiqué : j'ai commencé comme indiqué dans le premier message, en montrant d'abord que chi avait un seul facteur irréductible P, puis je montre que l'exposant de ce facteur P est 1 : pour montrer cela , au lieu d'utiliser Frobenius, j'ai dit que comme l'endormophisme est cyclique (car simple), son polynôme minimal est égal à son polynôme caractéristique, or le polynôme minimal est P (car kerP(u)=E en vertu de la simplicité), ainsi le polynôme caractéristique est bien irréductible.

#5 Re : Entraide (supérieur) » Réduction des endo (endo simple et pol car irr) » 01-11-2025 12:02:14

Euh oui mais ça c'est le sens réciproque, qui ne m'a pas posé de problème : si u n'est pas simple, soit F un sous espace stable non trivial, alors le polynôme caractéristique de u est produit du pol car de l'induit sur F et du pol car de l'induit sur E/F.

C'est l'autre sens qui me pose problème : je pense avoir réussi (selon la manière indiquée dans mon 1er message), mais ma solution utilise Frobenius, ce qui ne me satisfait pas

#6 Re : Entraide (supérieur) » Sous modules libres d’un anneau commutatif » 01-11-2025 10:51:24

Salut, j'imagine que c'est un peu tard, mais :
ta réponse me semble juste (au détail près que tu as seulement montré que les sous A modules libres de A sont des idéaux principaux, et tu n'as pas regardé la réciproque), et on peut être plus rapide :
Un sous-A-module libre de A est un idéal I de A qui a une A-base : cette A-base contient au plus 1 élément, en effet deux éléments x,y de I sont forcément liés dans A (xy-yx=0) ; donc I est principal, notons a un générateur ; comme I est libre, ax =/= 0 pour tout x dans A.
Réciproquement pour tout élément a vérifiant cette condition (ie pour tout a qui n'est pas de torsion), (a) est un sous-module libre de A.

#7 Entraide (supérieur) » Réduction des endo (endo simple et pol car irr) » 01-11-2025 10:16:24

mathsforum
Réponses : 6

Bonjour,
J'essaie de montrer qu'un endomorphisme u est simple (ie u n'a pas de sous-espaces stables non triviaux) ssi son polynôme caractéristique chi est irréductible (on se place sur un corps quelconque, et un ev de df).
J'ai montré la réciproque ; pour le sens direct je bloque :
j'ai montré que si u est simple alors chi n'a qu'un facteur irréductible : en effet, soit P un facteur irréductible divisant strictement chi, alors kerP(u) est u-stable, et non nul (autrement P n'apparaîtrait pas dans le polynôme minimal), et kerP(u) est différent de E (l'espace ambiant) car autrement si on prend Q un autre facteur irréductible de chi, kerQ(u) serait nul et donc Q n'apparaîtrait pas dans le polynômé minimal.
Mais j'arrive pas à montrer que la multiplicité du seul facteur irréductible est forcément 1.

Ah en fait en écrivant ça j'ai peut-être trouvé : si u est simple et si chi est de la forme P^k, alors le polynome minimal est égal à P (car par hypothèse de simplicité kerP(u)=E). Et là on utilise...Frobenius pour conclure que dans une certaine base u s'écrit avec k blocs, qui sont la matrice compagnon de P. Or comme u est simple u est cyclique, donc par unicité dans Frobenius il n'y a qu'un seul bloc, ie chi=P !!

Cependant je suppose qu'il y a une preuve plus directe, sans le bulldozer Frobenius, donc j'appelle à votre aide pour cela

Merci !

#8 Entraide (supérieur) » Groupes » 18-02-2025 20:05:51

mathsforum
Réponses : 0

Bonjour,
Etant donné un groupe G, et une décomposition de G en produit semi-direct de N,H, peut-on trouver une description des sous-groupes de G en fonction de N,H ?
Merci d'avance !

#9 Entraide (supérieur) » Groupes Produit semi-direct » 12-02-2025 17:59:24

mathsforum
Réponses : 0

Bonjour,
J'étudie en ce moment la notion de produit semi-direct, et pense avoir bien compris ce dont il s'agit. Cependant, dans tous les sites/livres que j'ai consulté, si j'ai systématiquement trouvé des critères pour être produit semi-direct, je n'ai trouvé nulle part de propriétés des produits semi-directs. D'où ma question : à quoi ça sert; comment se servir d'une décomposition d'un groupe en produit semi-direct ? (je comprends bien l'idée générale : trouver une décomposition d'un groupe en produit semi-direct doit permettre de se ramener à l'étude de deux groupes plus simples ; mais comment s'en servir en pratique, je n'ai pas idée).
Je vous remercie par avance pour vos lumières !
Bien à vous.

#10 Entraide (supérieur) » Produit de groupes cycliques (isomorphisme) » 18-09-2024 21:27:27

mathsforum
Réponses : 1

Bonjour !

J'essaie de montrer que, étant donné n,m,n',m' des entiers naturels, Z/nZ * Z/mZ est isomorphe à Z/n'Z * Z/m'Z si et seulement si pgcd(n,m)=pgcd(n',m') et ppcm(n,m)=ppcm(n',m').
Pour le sens direct je n'ai aucune idée (j'essaie en utilisant la définition du pgcd : soit d un diviseur de n et de m, ..., mais ça n'aboutit pas)
Pour le sens réciproque, j'essaie de me ramener au lemme chinois en l'appliquant à des nombres bien choisis, mais en vain.
Comment puis-je procéder ?

Merci d'avance !

#11 Entraide (supérieur) » Loi des grands nombres pour des v.a. de carrés intégrables » 27-04-2024 21:08:36

mathsforum
Réponses : 1

Bonjour !

Soient X1,...,Xn des variables aléatoires indépendantes, identiquement distribuées, et de carrés intégrables. Notons a l'espérance de X1.
D'après la loi des grands nombres, (X1+...+Xn)/n -a tend vers 0 presque sûrement.
Ma question est la suivante : comme les variables sont de carré intégrable, a-t-on bien la convergence dans L2 vers 0 ?

(J'ai l'impression que oui, mais j'ai calculé la norme L2 et j'ai trouvé deux résultats différents qui ne m'amènent pas à la même conclusion ... : V(X1)/n et E(X1^2)/n - a^2)

Merci d'avance pour votre aide !

#13 Entraide (supérieur) » Convergence uniforme » 24-04-2024 23:04:06

mathsforum
Réponses : 2

Bonjour !

J'ai deux questions sur la convergence uniforme.

- La convergence uniforme préserve-t-elle bien le caractère Ck, où k est un entier naturel quelconque ?

- Soit (fn) une suite de fonctions (de R dans R) convergeant uniformément vers f. Soit (an) une suite croissante convergente de réels positifs, de limite a. Supposons que pour tout n, fn est de support [0,an]. Alors peut-on montrer que f est de support [0,a] ?

Merci d'avance pour vos éclaircissements !

#14 Re : Entraide (supérieur) » Cosinus complexe » 16-04-2024 14:26:54

Fort bien, normalement j'ai trouvé que cos est bien surjective de C dans C. En effet, en suivant ton conseil on trouve Z^2-2aZ+1=0, il y a deux racines non nulles pour tout a. Or la fonction qui à z associe exp(iz) est surjective de C dans C*. Donc il existe z telle que Z=exp(iz) où Z est une racine de notre polynôme. Finalement on a cos(z)=a.

#15 Re : Entraide (supérieur) » Analyse complexe » 16-04-2024 14:06:12

Ah oui c'est malin ça ! Merci beaucoup pour la réponse, c'est très clair

#16 Entraide (supérieur) » Cosinus complexe » 16-04-2024 13:49:16

mathsforum
Réponses : 2

Bonjour,
La fonction cosinus est-elle surjective de C dans C* ?
Merci d'avance !

#17 Re : Entraide (supérieur) » Espace vectoriel » 16-04-2024 13:20:16

Bonjour !
Il me semble qu'on ne parle pas de la dimension d'une famille de vecteurs. On parle en revanche de la dimension d'un espace vectoriel. En particulier, le rang d'une famille de vecteurs est la dimension de l'espace engendré par ces vecteurs.

#18 Entraide (supérieur) » Analyse complexe » 16-04-2024 13:17:43

mathsforum
Réponses : 2

Bonjour !

Soit f une fonction entière (=holomorphe sur C) qui n'atteint pas les valeurs -1 et 1.
Je voudrais alors montrer que :
- il existe une fonction entière g telle que f^2+g^2=1.
- il existe une fonction entière F telle que exp(ipiF)=f+ig.

- Pour la première question, on pourrait écrire g naturellement sous la forme d'une racine carrée, mais je ne sais alors pas comment on pourrait montrer que g est holomorphe. C'est sans doute parce que, puisque f n'atteint pas 1 et -1, alors 0 n'apparaît jamais sous la racine carrée, mais... ?
- Pour la deuxième question, j'ai une piste plus aboutie. On procède par analyse synthèse. On sait que exp(ipiF)(f-ig)=1, donc la dérivée de la fonction à droite est nulle, donc ..., donc F'=C*(f'-ig')/(f-ig) où C est une constante qui ne nous importe pas. On reconnait alors la dérivée du log : j'aimerais dire F=C*log(f-ig). Mais problème : le log est mal défini sur C. Mais je suis en train de me dire que toute fonction holomorphe sur C admet une primitive, donc il suffit peut-être que je dise : on prend F la primitive de C*(f'-ig')/(f-ig) qui existe bien.

Je vous saurai gré de m'apporter un petit peu d'aide...
Merci d'avance !

Pied de page des forums