Algèbres de Jacobi et algèbres de Lie–Rinehart–Jacobi
نویسندگان
چکیده
منابع مشابه
SCINDEMENT D ’ ASSOCIATIVITÉ ET ALGÈBRES DE HOPF par
compatible avec l’unité, alors A est libre comme algèbre associative et commutative (c’est-à-dire est une algèbre symétrique). Ce résultat peut s’étendre à d’autres types d’algèbres à condition de remplacer le produit tensoriel par la somme (colimite) dans cette catégorie d’algèbres (cf. Fresse [Fr] et Oudom [O]). Le but de ce papier est, en un certain sens, de renverser la situation et de mont...
متن کاملAlgèbres de réalisabilité: un programme pour bien ordonner R
Le principal problème, pour transformer les preuves mathématiques en programmes, est naturellement posé par les axiomes : en effet, on sait depuis longtemps comment traiter une preuve en logique intuitionniste pure (i.e. sans axiome), y compris au second ordre [2, 7, 4]. Le premier de ces axiomes est le tiers exclu, et il paraissait insurmontable. La solution, tout à fait surprenante, a été don...
متن کاملAlgèbres de Kleene, réécriture modulo AC et circuits en coq. (Kleene algebra, Rewriting modulo AC and Circuits in Coq)
ing from the implementation. The semantics of a circuit defines precisely its behaviour, but may be too precise, e.g., it may leak some internal implementation details (recall that it is defined by induction over the structure of the circuit). The standard technique [112] to prove that circuits meet some high-level specifications is to prove the following kind of entailment, where the high-leve...
متن کاملSur la continuité automatique des épimorphismes dans les ☆-algèbres de Banach
Munie de l’involution ,A est dite une -algèbre. Une involution est dite anisotrope si pour tout a dans A on a : a a= 0⇒ a= 0. Un idéal I d’une -algèbre est dit -idéal si I ⊂ I (et alors I = I). Il en résulte alors que tout -idéal est bilatère. De plus, si les seuls -idéaux de A contenu dans I sont (0) et I alors on dit que I est -minimal. Remarquons que si I est un -idéal non nul de A, alors in...
متن کاملPolynômes de Jacobi généralisés et intégrales de Selberg
Ce travail est dedie a Dominique Foata pour son 60-i` eme anniversaire Résumé G. Anderson a développé une méthode nouvelle pour calculer l'in-tégrale de Selberg. Nous montrons que cette méthode s'applique aussi pour calculer une généralisation de l'intégrale de Selbergétudiée par J. Kaneko. Le résultat s'exprimè a l'aide des polynômes de Jacobi symétriquesà plusieurs variables. La preuve utilis...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 2007
ISSN: 0022-4049
DOI: 10.1016/j.jpaa.2006.05.013