Resumen:
Sea \({}^{*}\mathbb{Q}\) una ultrapotencia de \(\mathbb{Q}\), es decir,
\(^{*}\mathbb{Q}=\mathbb{Q}^{\mathcal{I}}/\mathcal{U}\),
donde \(\mathcal{U}\subset 2^{\mathcal{I}}\) es un ultrafiltro no principal. Sea \(\mathcal{K}\) una extensión de grado \(n\) de \({}^{*}\mathbb{Q}\). Entonces \(\mathcal{K}\) es isomorfo al ultraproducto
\(\prod K_i/\mathcal{U}\),
donde \(\mathcal{U}\) es el ultrafiltro asociado a la ultrapotencia \(^{*}\mathbb{Q}\) de \(\mathbb{Q}\) y \(K_i\) es una extensión algebraica finita de grado \(n\) para toda\(i\in \mathcal{I}\).
Compartir este seminario