Galois connection

In mathematics, especially in order theory, a Galois connection is a particular correspondence between two partially ordered sets ("posets"). Galois connections generalize the correspondence between subgroups and subfields investigated in Galois theory. They find applications in various mathematical theories as well as in the theory of programming.

Related Topics:
Mathematics - Order theory - Partially ordered set - Subgroup - Subfields - Galois theory

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

A Galois connection is rather weaker than an isomorphism between the involved posets, but every Galois connection gives rise to an isomorphism of certain sub-posets, as will be explained below.

~ ~ ~ ~ ~ ~ ~ ~ ~ ~