Filters








375 Hits in 2.8 sec

Monoïde des enlacements et facteurs orthogonaux

Florian Deloup
2005 Algebraic and Geometric Topology  
The set of isomorphism classes of linking pairings is a non-cancellative monoid E under orthogonal sum, which is infinitely generated and infinitely related.  ...  The same method extends to the monoid Q of quadratic forms on finite abelian groups. We obtain a combinatorial classification of Q (that was previously known for groups of period 4).  ...  type fini.  ... 
doi:10.2140/agt.2005.5.419 fatcat:bjrdr4rupncx7jir3rkhcnzsze

Un anneau de Prüfer

H. Lombardi
2010 Actes des rencontres du CIRM  
cedram Texte mis en ligne dans le cadre du Centre de diffusion des revues académiques de mathématiques Let E be the ring of integer valued polynomials over Z.  ...  Nous disons qu'un tel monoïde admet une description finie.  ...  Cependant, il ne semble pas que l'on connaisse d'algorithme pour inverser un idéal de type fini non nul de E.  ... 
doi:10.5802/acirm.35 fatcat:yiw2vv453rfilns326a3sg7bu4

La théorie monadique du second ordre du monoïde inversif libre est indécidable

Hugues Calbrix
1997 Bulletin of the Belgian Mathematical Society Simon Stevin  
Nous définissonsà cette fin la notion de théorie monadique du second ordre d'un monoïde donné et la contrepartie combinatoire de cette notion, les ensembles reconnaissables de mots généralisés sur un monoïde  ...  Nous résolvons dans cet article la question de la décidabilité de la théorie monadique du second ordre du monoïde inversif libre.  ...  h(f ) = f .On définit deux autres types de motifs.  ... 
doi:10.36045/bbms/1105730623 fatcat:okklmgq66ffbfc22oohscoyymm

Groupes de Garside [article]

Patrick Dehornoy
2001 arXiv   pre-print
Define a Garside monoid to be a cancellative monoid where right and left lcm's exist and that satisfy additional finiteness assumptions, and a Garside group to be the group of fractions of a Garside monoid  ...  The latter result relies on an effective, tractable method for recognizing those presentations that define a Garside monoid.  ...  répondra en un temps fini qu'il s'agit d'un monoïde de Garside, et il fournira une description explicite d'une structure automatique.  ... 
arXiv:math/0111157v1 fatcat:rodritiiuvfq3e5zvpirsaf2hy

Groupes de Garside

P DEHORNOY
2002 Annales Scientifiques de l'Ecole Normale Supérieure  
de monoïdes de Garside.  ...  Les monoïdes de Garside sont introduits comme monoïdes simplifiables où existent ppcm et pgcd et où sont satisfaites des conditions convenables de finitude, et les groupes de Garside comme groupes de fractions  ...  répondra en un temps fini qu'il s'agit d'un monoïde de Garside, et il fournira une description explicite d'une structure automatique.  ... 
doi:10.1016/s0012-9593(02)01090-x fatcat:7ir4k43i65ck5esboqjplmkhva

Utilisation d'APL pour calculer des monoïdes finis

Jean-François Perrot
1977 Mémoires de la Société mathématique de France  
appelé noyau du monoïde fini ("kernel" ou "Kerngruppe").  ...  Il est clair que tout monoïde fini possède des idéaux minimaux à droite et à gauche et un seul idéal bilatère minimal, qui est l'intersection de tous ses idéaux.bilatères non vides : ce dernier est parfois  ...  10 9 3 2 1 11 10 9 3 2 1 11 10 9 3 2 1 11 10 1 3 2 9.11 10 1 2 3 9 10 11 1 3 2 91110 1 3 2 9 11 10 1329 11 10 1 3 2 9 11 10 1 3 2 9 11 10 1 3 2 9 11 10 Monoides  ... 
doi:10.24033/msmf.225 fatcat:bavglhwqufhzrmijcix6pl3fni

Page 545 of Mathematical Reviews Vol. 49, Issue 2 [page]

1975 Mathematical Reviews  
(b) S est un R-demi-groupe et Q(S) est isomorphe a Zx H, ot H est un groupe abélien fini determiné. (c) S est un sous-demi-groupe de Z, x H tel que son complémen- taire soit fini.  ...  Les auteurs établissent en particulier le nouveau résultat suivant: Les conditions suivantes sont équivalentes: (a) S est un R-demi-groupe admettant un systéme fini de géné- rateurs.  ... 

Une application de la representation matricielle des transductions

J.-E. Pin, J. Sakarovitch
1985 Theoretical Computer Science  
Nous montrons que la plupart des constructions propos6es dans la litt6rature pour ce type de probi~me sont en fait des cas particuliers d'une m6thode g6n6rale que nous exposons ici.  ...  Etant donn6 une op6ration q~, on cherche ~ construire un monoide M, fonction de MI,..., M., qui reconnaisse le langage (L~,..., L~)~p.  ...  [3, p. 86 Le r6sultat original donne une description plus pr6cise du monoide B*# mais nous n'en aurons pas besoin ici.  ... 
doi:10.1016/0304-3975(85)90019-2 fatcat:x7j4uj6hmra4raprbrv2ftuvo4

Algèbre Constructive

Henri Lombardi
2014 Les cours du CIRM  
En fait, utiliser le lemme de Zorn revient la plupart du temps à agiter les mains dans le vide pour détourner l'attention du véritable problème, lequel se trouve aux étages finis de la construction, et  ...  En Calcul Formel, on ne passe jamais à la limite, car on s'intéresse au contenu concret des théorèmes, en outre les ordinateurs ne peuvent pas « passer à la limite » en un temps fini.  ...  Nous disons qu'un tel monoïde admet une description finie et le couple ({a 1 , . . . , a k } , {u 1 , . . . , u }) est appelé un premier idéal fini. sont comaximaux.  ... 
doi:10.5802/ccirm.22 fatcat:xcwnnf6zzrezbnqujftxbrecbi

Catégories tannakiennes

Neantro Saavedra Rivano
1972 Bulletin de la Société Mathématique de France  
-Une catégorie tannakienne C est algébrique si son lien est localement représenté par un groupe de type fini.  ...  (b) Si le lien de g est, soit représentable par un groupe, soit localement représenté par un groupe de type fini, le second fondeur est une équivalence de gerbes. 3.1.5.  ... 
doi:10.24033/bsmf.1745 fatcat:vaujmd5gq5dbpaeqaexjuopvua

Page 4226 of Mathematical Reviews Vol. , Issue 82j [page]

1982 Mathematical Reviews  
Sakarovitch, Jacques 82j:20117 Description des monoides de type fini. Semigroups ( Proc. Conf., Math. Res. Inst., Oberwolfach, 1978), pp. 92-115, Lecture Notes in Math., 855, Springer, Berlin, 1981.  ...  Cet article expose les divers procédés par lesquels on peut effectivement se donner un monoide de type fini.  ... 

La factorisation de x^p^l-x∈ F_p[x] selon la trace [article]

Roland Bacher
2006 arXiv   pre-print
As a corollary we obtain a description of all irreducible polynomials Q∈ F_2[x] such that Q(1+x+x^2) (or Q(x+x^2)) remain irreducible.  ...  Un autre sous-anneau commutatif (qui n'est cependant pas de type fini) est défini par le sous-ensemble F p × (x − 1)F p [x] du monoïde M p , augmenté de sa structure d'espace vectoriel.  ...  Mentionnonségalement que le monoïde M p possède des quotients commutatifs finis de la forme F p × (F p [x]/(G)) pour G ∈ F p [x] un polynôme divisible par x − 1.  ... 
arXiv:math/0607413v1 fatcat:ibqjpjk6sbdqpgiuke6f6fwcsq

Décompositions à la Steinberg sur une catégorie additive [article]

Aurélien Djament
2021 arXiv   pre-print
We give a description of simple functors taking finitely generated values, from a small additive category to the category of vector spaces over a field.  ...  de type fini.  ...  est de type fini.  ... 
arXiv:1904.09190v6 fatcat:qkwlje5jwzgddep5r37hu7fg6u

Résolutions libres finies. Méthodes constructives [article]

Thierry Coquand, Henri Lombardi, Claude Quitté, Claire Tête
2018 arXiv   pre-print
De la même manière on note S(a 1 , . . . , a k ; u 1 , . . . , u ℓ ) = a 1 , . . . , a k A + M(u 1 , . . . , u ℓ ). Nous disons qu'un tel monoïde admet une description finie.  ...  Si M est de présentation finie et N de type fini, P est de présentation finie. 2. Si M est de type fini et P de présentation finie, N est de type fini. .  ...  de type fini en a une).  ... 
arXiv:1811.01873v1 fatcat:knf3wghnt5didpuhhvyhfpbrti

Under Spec Z [article]

Bertrand Toen, Michel Vaquie
2007 arXiv   pre-print
Il serait intéressant de trouver des relations précises entre la géométrie des N-schémas de type fini sur le semi-anneau tropical R trop et les variétés tropicales que l'on rencontre dans la littérature  ...  Comme C possède tout type de limites et de colimites il en est de même de Comm(C), et donc de Af f C .  ... 
arXiv:math/0509684v4 fatcat:mhcin7gppzgk7a563iauhvdzrq
« Previous Showing results 1 — 15 out of 375 results