## [Método Órbita–Estabilizador](/es/node/62412) Definición Un procedimiento que utiliza la acción de un grupo sobre un conjunto y aplica la relación órbita–estabilizador |Órbita(x)| = [G : Estab(x)] (o análogos) para relacionar tamaños o índices de órbitas y subgrupos estabilizadores, permitiendo argumentos de conteo y deducciones estructurales sobre acciones, clases de conjugación y conjuntos cociente. ## Principio Principio Una acción de grupo parte el conjunto en órbitas; la cardinalidad de cada órbita es el índice del estabilizador. Este principio convierte información local de simetría (estabilizadores) en información global de órbita y viceversa, transformando con frecuencia preguntas sobre pertenencia o índices de subgrupos en problemas combinatorios de conteo. ## Demostración Demostración Para contar las clases de conjugación en un grupo finito se considera la acción por conjugación sobre sí mismo: la órbita de un elemento es su clase de conjugación y el estabilizador es su centralizador. La igualdad órbita–estabilizador da |Clase(g)| = |G| / |C_G(g)|, relacionando tamaños de clases y órdenes de centralizadores. ## Aplicación incorrecta Aplicación incorrecta Aplicar la forma de conteo finita sin comprobar que las órbitas o los estabilizadores son finitos, o cuando la acción no está bien definida, conduce a conclusiones numéricas erróneas. Igualmente, ignorar cuestiones de cardinalidad (continuo vs. numerable) o hipótesis de transitividad puede inducir a error. ## Consecuencia Consecuencia Su aplicación correcta produce tamaños de órbitas concretos, relaciones de índices y facilita el conteo de configuraciones hasta simetría, el cálculo de tamaños de clases y deducciones sobre índices de subgrupos. Sirve de base para lemmas de conteo y análisis de dobles cosets. ## Inversión Inversión La inversión usa tamaños de órbitas conocidos para restringir estabilizadores posibles o reconstruir información local a partir de la partición global. Conceptualmente, la reversión se alinea con el enfoque de Burnside, que suma puntos fijos en lugar de usar la relación órbita–estabilizador por órbita. ## Límite Límite Se aplica a acciones de grupo bien definidas; para grupos o conjuntos infinitos se requieren refinamientos de aritmética de cardinales o consideraciones de medida. No sustituye un análisis estructural más profundo cuando los estabilizadores varían mucho entre órbitas y presupone que la acción está correctamente definida. ## Tensión semántica Tensión semántica El método se solapa con el lema de Burnside y los conteos por dobles cosets: Burnside promedia puntos fijos para contar órbitas, mientras que órbita–estabilizador da tamaños de órbitas individuales. La tensión está en elegir la perspectiva puntual (estabilizador) frente a la global (promedio de puntos fijos). ## Síntesis Síntesis El método órbita–estabilizador formaliza la correspondencia entre la simetría local de un objeto (su estabilizador) y su órbita bajo la acción de un grupo, permitiendo convertir datos de índices de subgrupos en cardinales de órbitas; usado con cuidado reduce muchos problemas de clasificación y conteo a cálculos manejables de índices o estabilizadores, atendiendo la finitud y la definición de la acción.