$\newcommand{\K}{\mathbf K}$


Les-Mathematiques.net - Cours de mathématiques supérieures Coat Cashmere Sandringham Porter BurberryThe com Trench Net A POkuXZi
Adidas Sweater White Womens Berlin Originals yYvgfb76
[
Sportswear Men Nike For Advance Knit Multicolor 15 Joggers PklZuXOiTw
|
Le serveur d'exercices
|
Apprendre Latex en ligne
|
Le livre d'or
|
Le formulaireBlanc Gris Larry Fila Chiné Sweat Capuche Noir Yy6b7fgv
|
Collaborateurs
|
Mathématiciens
|
Visiteurs
|
Sommaire
]

France Squad Tech Obsidienne Wpwz Blanc Nike Pantalon tQdhrs
A lire
Deug/Prépa
Licence
Agrégation
A télécharger
Télécharger
124 personne(s) sur le site en ce moment
Nike Nike Advance Advance Gris Pantalon Gris Pantalon UMVpSz
E. Cartan
Sport Redoute NikeLa Femme Vêtement Vêtement XZiTOPku
A lire
Sportswear Fleece 805658 010 Survêtement Tech Pantalon De j3R54ALq Articles
Math/Infos
Récréation
A télécharger
Télécharger
Théorème de Cantor-Bernstein Adidas Sweater White Womens Berlin Originals yYvgfb76
Théo. Sylow
Théo. Ascoli
Théo. Baire
Loi forte grd nbre
Nains magiques
Adidas Sweater White Womens Berlin Originals yYvgfb76
 
 
 
De Calvin Noir T Ck Manches Pyjama KleinVente Haut One Shirt OZulPXikwT
 
 
Bienvenu(e)!

Adidas Sweater White Womens Berlin Originals yYvgfb76

Identification Créer un nouveau profil Localiser les utilisateurs Nouveaux messages non lus
Forums > Algèbre > Discussion
Envoyé par TheMigou 
Module de type fini et sous-module
il y a sept années
Membre depuis : il y a huit années
Messages: 38
Bonjour,

Quelqu'un a-t-il un exemple de Module (sur un Anneau non principal) de type fini dont un sous-module ne soit pas de type fini ?

Merci d'avance
Bonjour

Soit A l'anneau des polynômes $K[X_1,...,X_n,...]$ ou K est un corps commutatif. Ce sont des braves polynômes, chacun somme finie de monômes, donc chacun en un nombre fini d'indéterminées. A est bien sur de type fini comme A-module! Regarde le sous-module $\{P\in A|P(0)=0\}$
Re: Module de type fini et sous-module
il y a sept années
Membre depuis : il y a neuf années
Messages: 4 753
@Magnolia : A n'est pas de type fini
Adidas Sweater White Womens Berlin Originals yYvgfb76
Re: Module de type fini et sous-module
il y a sept années
Membre depuis : il y a sept années
Messages: 2 703
Sur lui-même! Adidas Sweater White Womens Berlin Originals yYvgfb76
Adidas Sweater White Womens Berlin Originals yYvgfb76
Re: Module de type fini et sous-module
il y a sept années
Membre depuis : il y a neuf années
Messages: 4 753
Oui, bien sûr.
c'est quasiment la définition d'un anneau noethérien en maths classiques:
un anneau est noethérien ssi les sous-modules des modules de type fini sont de type fini

l'exemple de zephyr est avec l'anneau non noethérien "le plus simple" auquel on pense

mais il y a aussi l'anneau des polynômes a valeurs entières, qui est beaucoup plus mignon (un brave sous anneau squeezé entre Z[X] et Q[X]

on peut certainement demander à Leon1789 un idéal de cet anneau qui n'est pas de type fini

Note constructive:
D'un point de vue constructif, la phrase "tout idéal est de type fini" est difficile à admettre
car la classe des idéaux ne forme pas a priori un ensemble,
mais si on admet cette phrase, le seul anneau connu qui possède la propriété de façon constructive est l'anneau trivial,
car lorsqu'on dit qu'un idéal est de type fini, constructivement on demande un système fini de générateurs explicite,
Or dès qu'un anneau a au moins deux éléments on peut fabriquer un idéal qui hésite entre 0 et 1 pour lequel il est déraisonnable de penser que l'on puisse exhiber un système générateur fini
Aussi Richman et Seidenberg ont proposé une définition raisonnable (du point de vue constructif) équivalente à la définition usuelle en maths classiques, qui est:
toute suite croissante d'idéaux de type fini admet deux termes consécutifs égaux
Re: Module de type fini et sous-module
il y a sept années
Membre depuis : il y a huit années
Messages: 38
Merci à Magnolia pour cet exemple effectivement très simple.

Sur le post de Lombardi, 2 questions :
- l'anneau des polynômes à valeurs entières ne me semble pas de type fini, ou alors c'est à nouveau en tant que module sur lui-même comme sur l'exemple précédent ?
- sur le point de vue constructif : pourquoi la classe des idéaux d'un anneau ne serait pas un ensemble ? C'est un élément de P(P(A)).
Adidas Sweater White Womens Berlin Originals yYvgfb76
Re: Module de type fini et sous-module
il y a sept années
Membre depuis : il y a douze années
Adidas Sweater White Womens Berlin Originals yYvgfb76 Messages: 39 653
Si j'ai compris, dans un autre fil, HL disait que le point de vue constructiviste refuse l'axiome de passage à l'ensemble des parties (je ne sais pas si ça s'applique ici par contre, n'ayant que lu en diagonale)

Signature: aide les autres comme toi-même car ils SONT toi, ils SONT VRAIMENT toi ...... Cliquez sur cet implicite, pour économiser
@TheMigou

Sur le post de Lombardi, 2 questions :
- l'anneau des polynômes à valeurs entières ne me semble pas de type fini, ou alors c'est à nouveau en tant que module sur lui-même comme sur l'exemple précédent ?
- sur le point de vue constructif : pourquoi la classe des idéaux d'un anneau ne serait pas un ensemble ? C'est un élément de P(P(A)).


réponse:
premier point
un anneau de type fini est toujours un quotient d'un Z[x1,...,xn] donc noethérien (y compris pour la définition constructive à la Richman-Seidenberg)
l'anneau E des pols à valeurs entières n'est pas de type fini (en tant qu'anneau) mais cela ne suffit pas à en faire un anneau non noethérien, par exemple Q n'est pas un anneau de type fini
par contre tout anneau A est toujours en tant que A-module engendré par l'unique élément 1

deuxième point
la classe Omega des parties de l'ensemble à un élément J = {1} n'est autre que la classe des valeurs de vérité:
étant donnée une proposition P qui ne dépend d'aucun paramètre (et qui donc en maths classiques est considérée comme nécessairement vraie ou fausse",
(la partie { x in J | P } de J est "la valeur de vérité de P", si c'est l'ensemble vide, P est fausse, si c'est J, P est vraie)
en maths constructives, la vérité aussi doit être construite

formellement, la classe des valeurs de vérité, munie des connecteurs "et", "ou", "implique" et des constantes "Vrai", "Faux" obéit aux axiomes d'une algèbre de Heyting (ce serait une algèbre de Heyting si c'était un ensemble)
le fait que l'algèbre de Heyting librement engendrée par un élément est infinie donne une faible idée de la complexité de la classe Omega

cependant, ce n'est pas une raison pour se dire que "les maths constructives c'est horriblement compliqué",

c'est simplement un peu déroutant quand on a été gavé au tiers exclu pendant toute son université,

en pratique traiter un pb de maths constructivement c'est en général aussi simple et élégant que le traiter avec le tiers exclu (ie en supposant Omega réduit à Vrai,Faux)
encore faut-il un peu "pratiquer" la chose
Répondre Citer
Adidas Sweater White Womens Berlin Originals yYvgfb76
Discussion suivante Discussion précédente
Aperçu avant impression
Seuls les utilisateurs enregistrés peuvent poster des messages dans ce forum.

Cliquer ici pour vous connecter

T Shirt Commerce armani Rue Ligne Boutique 3Lj4AR5
Liste des forums - Statistiques du forum

Total
Discussions: 133 758, Messages: 1 287 347, Utilisateurs: 23 107.
Notre dernier utilisateur inscrit Nexsin.


Ce forum
Vachette Cuir Daytona Homme Blouson Privee Vente Col Mouton Nubuck KFJcl1 Discussions: 16 653, Messages: 161 570.

AlgèbreAnalyseArithmétiqueCombinatoire et GraphesConcours et ExamensFondements et LogiqueGéométrieHistoire des MathématiquesLaTeXLes-mathématiquesLivres, articles, revues, (...)Mathématiques et InformatiqueMathématiques et PhysiqueMathématiques et SociétéPédagogie, enseignement, orientationProbabilités, théorie de la mesureShtamStatistiquesTopologieVie du Forum et de ses membres
This forum is powered by Phorum.
GuideJeans T Armani Men Tops Black Shirts And armani Size ED9IYWH2
 

 
©Emmanuel Vieillard Baron 01-01-2001
Adresse Mail:
Veste Blouson 40 Sexy Fausse Femme Style Fourrure Perfecto Daim Camel Taille A4Rj5L

Inscription
Désinscription

Actuellement 16057 abonnés
Qu'est-ce que c'est ?
Taper le mot à rechercher

Mode d'emploi
Adidas Sweater White Womens Berlin Originals yYvgfb76

Faites connaître Les-Mathematiques.net à un ami
Curiosités
Participer
Latex et autres....De JoggersFr Survêtement Pantalons Hommes Et jLpqUzMVSG
Collaborateurs
Forum

Nous contacter

WWW IMS
Cut the knot
Mac Tutor History...
Number, constant,...
Plouffe's inverter
The Prime page

Adidas Sweater White Womens Berlin Originals yYvgfb76