Un teorema sobre injertos y automorfismos de álgebras simples y centrales simples sobre un campo: cualquier homomorfismo de k-álgebras de una álgebra simple en una álgebra central simple está dado por conjugación por un elemento invertible de la álgebra central simple; equivalentemente, todo automorfismo de una álgebra central simple es interior.

Principio

Las álgebras centrales simples se comportan como álgebras de matrices con conjugación interior; la idea organizadora es que los injertos en una álgebra central simple son únicos a conjugación interior cerca porque la álgebra es simple y central sobre el campo base.

Demostración

Si A es una álgebra central simple sobre un campo k y B ≅ M_n(k) se injerta en A por dos aplicaciones k-algébricas φ y ψ, Skolem–Noether proporciona u ∈ A^× tal que ψ(b)=u φ(b) u^{-1} para todo b∈B; concretamente, dos injertos de una subálgebra matricial son conjugados por un elemento invertible de A.

Aplicación incorrecta

Suponer la conclusión para álgebras que no son centrales o no son simples (por ejemplo, anillos con ideales bilaterales no triviales o álgebras con centro mayor), o extender el enunciado a homomorfismos de anillos arbitrarios sin verificar las condiciones algebraicas.

Consecuencia

Proporciona control sobre los grupos de automorfismos de álgebras centrales simples (son interiores modulo el centro) y sustenta resultados de clasificación (por ejemplo, identificación con álgebras de matrices tras cambio de base y afirmaciones sobre el grupo de Brauer).

Inversión

La conversión falla en contextos no centrales o no simples: pueden existir automorfismos exteriores o injertos no conjugados cuando la álgebra tiene un centro no trivial o ideales bilaterales propios.

Límite

Válido para álgebras centrales simples sobre un campo (álgebras k-centrales simples de dimensión finita); no se aplica a álgebras asociativas generales, a álgebras sobre anillos con centro no trivial ni a estructuras no asociativas sin hipótesis adicionales.

Tensión semántica

Se sitúa en la distinción entre automorfismos interiores y exteriores: Skolem–Noether colapsa esa diferencia en el caso central-simple, pero debe distinguirse de las clasificaciones de automorfismos más generales fuera de ese marco.

Síntesis

El teorema de Skolem–Noether afirma que los injertos y automorfismos de álgebras centrales simples se realizan mediante conjugación dentro de la álgebra: la centralidad y simplicidad imponen unicidad de los injertos a conjugación interior y identifican los grupos de automorfismos con conjugaciones interiores.