1. Together with Alessandro Berarducci, he demonstrated an isomorphism between the strictly-positive algebraic data types and the polymorphic lambda-terms, otherwise known as Böhm–Berarducci encoding.

Avec Alessandro Berarducci, Böhm établit un isomorphisme entre les types de données algébriques strictement positives et les lambda-termes polymorphes, connu depuis comme le codage de Böhm-Berarducci.

2. A countable periodic reduced abelian group is determined uniquely up to isomorphism by its Ulm invariants for all prime numbers p and countable ordinals α.

Un groupe abélien dénombrable périodique réduit est déterminé de façon unique à l'isomorphisme près par ses invariants d'Ulm pour tous les nombres premiers p et les ordinaux dénombrables α.

3. In fact, the parallel of f is an isomorphism for every morphism f if and only if the pre-abelian category is an abelian category.

En fait, le parallèle de f est un isomorphisme pour tout morphisme f si et seulement si la catégorie préabélienne est une catégorie abélienne.

4. In algebraic categories (specifically, categories of varieties in the sense of universal algebra), an isomorphism is the same as a homomorphism which is bijective on underlying sets.

Dans les catégories algébriques (en particulier, les catégories des variétés au sens de l'algèbre universelle), un isomorphisme est un homomorphisme bijectif.

5. In mathematics, the Satake isomorphism, introduced by Satake (1963), identifies the Hecke algebra of a reductive group over a local field with a ring of invariants of the Weyl group.

En mathématiques, l'isomorphisme de Satake, introduit par Ichirō Satake en 1963, est un isomorphisme entre l'algèbre de Hecke d'un groupe réductif localement compact sur un corps local non-archimédien et un anneau d'invariants du groupe de Weyl associé.