Para extensiones finitas, la correspondencia puede describirse explícitamente como sigue: