Algèbre générale

L'algèbre générale, ou algèbre abstraite, est la branche des mathématiques qui porte principalement sur l'étude des structures algébriques et de leurs relations. L'appellation algèbre générale s'oppose à celle d'algèbre élémentaire ; cette dernière enseigne le calcul algébrique, c'est-à-dire les règles de manipulation des formules et des expressions algébriques. Historiquement, les structures algébriques sont apparues dans différents domaines des mathématiques, et n'y ont pas été étudiées séparément. C'est pourquoi l'algèbre générale possède beaucoup de connexions avec toutes les branches des mathématiques. L'étude des structures algébriques peut être faite de manière abstraite, mais unifiée dans le cadre de l'algèbre universelle. Histoire Comme dans d'autres parties des mathématiques, des problèmes et des exemples concrets ont joué un rôle important dans le développement de l'algèbre abstraite. Jusqu'à la fin du , beaucoup - ou plus - de ces problèmes étaient e

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Publications associées (11)

Publications associées

Chargement

Personnes associées

Chargement

Unités associées

Chargement

Concepts associés (175)

Concepts associés

Chargement

Cours associés (36)

Cours associés

Chargement

Séances de cours associées (59)

Séances de cours associées

Chargement

Regularity in metric spaces

Serguei Timochine

Using arguments developed by De Giorgi in the 1950's, it is possible to prove the regularity of the solutions to a vast class of variational problems in the Euclidean space. The main goal of the present thesis is to extend these results to the more abstract context of metric spaces with a measure. In particular, working in the axiomatic framework of Gol'dshtein – Troyanov, we establish both the interior and the boundary regularity of quasi-minimizers of the p-Dirichlet energy. Our proof works for quite general domains, assuming some natural hypotheses on the (axiomatic) D-structure. Furthermore, we prove analogous results for extremal functions lying in the class of Sobolev functions in the sense of Hajłasz – Koskela, i.e. functions characterized by the single condition that a Poincaré inequality be satisfied. Our strategy to prove these regularity results is first to show that, in a very general setting, the (Hölder) continuity of a function is a consequence of three specific technical hypotheses. This part of the argument is the essence of the De Giorgi method. Then, we verify that for a function u which is a quasi-minimizer in an axiomatic Sobolev space or an extremal Sobolev function in the sense of Hajłasz – Koskela, these technical hypotheses are indeed satisfied and u is thus (Hölder) continuous. In addition to that, we establish the Harnack's inequality for these extremal functions, and we show that the Dirichlet semi-norm of a piecewise-extremal function is equivalent to the sum of the Dirichlet semi-norms of its components.

EPFL2006

Chargement

The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy

Lionel Emile Vincent Parreaux

MLsub extends traditional Hindley-Milner type inference with subtyping while preserving compact principal types, an exciting new development. However, its specification in terms of biunification is difficult to understand, relying on the new concepts of bisubstitution and polar types, and making use of advanced notions from abstract algebra. In this paper, we show that these are in fact not essential to understanding the mechanisms at play in MLsub. We propose an alternative algorithm called Simple-sub, which can be implemented efficiently in under 500 lines of code (including parsing, simplification, and pretty-printing), looks more familiar, and is easier to understand. We present an experimental evaluation of Simple-sub against MLsub on a million randomly-generated well-scoped expressions, showing that the two systems agree. The mutable automaton-based implementation of MLsub is quite far from its algebraic specification, leaving a lot of space for errors; in fact, our evaluation uncovered several bugs in it. We sketch more straightforward soundness and completeness arguments for Simple-sub, based on a syntactic specification of the type system. This paper is meant to be light in formalism, rich in insights, and easy to consume for prospective designers of new type systems and programming languages. In particular, no abstract algebra is inflicted on readers.

2020

Chargement

Finally, a Polymorphic Linear Algebra Language

Lionel Emile Vincent Parreaux, Amir Shaikhha

Many different data analytics tasks boil down to linear algebra primitives. In practice, for each different type of workload, data scientists use a particular specialised library. In this paper, we present Pilatus, a polymorphic iterative linear algebra language, applicable to various types of data analytics workloads. The design of this domain-specific language (DSL) is inspired by both mathematics and programming languages: its basic constructs are borrowed from abstract algebra, whereas the key technology behind its polymorphic design uses the tagless final approach (a.k.a. polymorphic embedding/object algebras). This design enables us to change the behaviour of arithmetic operations to express matrix algebra, graph algorithms, logical probabilistic programs, and differentiable programs. Crucially, the polymorphic design of Pilatus allows us to use multistage programming and rewrite-based optimisation to recover the performance of specialised code, supporting fixed sized matrices, algebraic optimisations, and fusion.

2019

Chargement

Corps commutatif

vignette|Corps commutatif (pour n premier) En mathématiques, un corps commutatif (parfois simplement appelé corps, voir plus bas, ou parfois appelé champ) est une des structures algébriqu

Anneau (mathématiques)

vignette|Richard Dedekind - 1870 En algèbre, un anneau est un ensemble muni de deux lois de composition interne appelées addition et multiplication, qui vérifient des propriétés analogues à celles de

Groupe (mathématiques)

vignette|Les manipulations possibles du Rubik's Cube forment un groupe. En mathématiques, un groupe est une des structures algébriques fondamentales de l'algèbre générale. C'est un ensemble muni d'un

MATH-310: Algebra

Study basic concepts of modern algebra: groups, rings, fields.

MATH-101(g): Analysis I

Étudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles d'une variable.

MATH-101(f): Analysis I

Étudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles d'une variable.