¿Por qué es un abuso de notación usar g para denotar tanto un elemento de grupo en G como su representación de acción X también con g? ¿Cuál sería una mejor notación para mostrar la clara distinción?

Para ampliar un poco la respuesta de Matthew Smedberg, no hay abuso de notación para escribir [math] gx [/ math] para significar el elemento [math] g [/ math] del grupo que actúa sobre el elemento [math] x [/ math ] del espacio de interés (siempre que no esté usando ‘.’ para denotar alguna otra forma de multiplicación también)

Sin embargo, escribir [math] gx [/ math] es un abuso de notación, ya que potencialmente estás combinando la multiplicación grupal con la acción grupal. Por lo general, está claro lo que quieres decir, y esto no es un problema. Sin embargo, puede haber excepciones.

Por ejemplo, suponga que tiene un grupo [math] G [/ math] que actúa sobre sí mismo por conjugación: [math] gh = ghg ​​^ {- 1} [/ math]. Escribir [math] gh [/ math] para la acción grupal en este caso sería imposible de entender, de ahí la necesidad de una notación alternativa.

No estoy de acuerdo con la premisa de la pregunta. En casi todos los casos en que un grupo [matemática] G [/ matemática] actúa en un conjunto [matemática] X [/ matemática], verá algo como [matemática] g (x) [/ matemática], [matemática] g \ cdot x [/ math], [math] g \ bullet x [/ math] o incluso [math] gx [/ math] para indicar el valor del elemento de función / grupo [math] g [/ math] en la entrada [matemáticas] x [/ matemáticas].

Esto puede hacerse riguroso al observar que cualquier acción grupal [matemática] G \ curva derecha X [/ matemática] es lo mismo que un homomorfismo [matemática] G \ rightarrow \ mathcal {S} (X) [/ matemática], de modo que cada elemento de [math] G [/ math] “es” (es decir, se identifica homomórficamente con) una permutación de [math] X [/ math].

More Interesting

Cómo encontrar las raíces reales de polinomios

¿Son reales los conceptos abstractos?

Cómo demostrar la desigualdad [matemáticas] 2 ^ {n-1} (a_ {1} * a_ {2} *… * a_ {n} +1) \ ge (1 + a_ {1}) *… * (1 + a_ {n}) [/ math], por cada entero positivo n, donde [math] a_ {1}, ..., a_ {n} [/ math] son ​​números mayores o iguales que 1

¿Podría haber otra forma de lenguaje que describa nuestro universo mejor que las matemáticas?

Probar: H (X, Y | Z) = H (X | Z) + H (Y | X, Z)?

¿Cómo se usan las matemáticas en el ajedrez?

¿Cómo traduzco la pregunta del teorema de De Moivre en una calculadora Casio?

Cómo demuestro que [matemáticas] \ displaystyle \ sum_ {k = 1} ^ nx ^ {nk} \ bigg (\ sum_ {p = 0} ^ {k-1} a_ {np} y ^ {kp-1} \ bigg) = \ sum_ {k = 1} ^ nx ^ {nk} \ bigg (\ sum_ {p = 0} ^ {k-1} a_ {p} y ^ {p} \ bigg) [/ math]?

¿Qué es [matemáticas] \ int \ frac {5x ^ 3 + x-1} {x ^ 4 + x ^ 2} dx [/ matemáticas]?

¿Cuáles son las generalizaciones matemáticas más interesantes que la gente rara vez escucha?

¿Las matemáticas son un lenguaje o una ciencia?

¿Cómo se utiliza la prueba de comparación de límites y la prueba de comparación directa de series con funciones trigonométricas?

Si una regla de triángulo y una regla de paralelogramo de una suma vectorial son equivalentes, ¿por qué necesitamos ambas por separado?

Al hacer transformadas de Fourier, ¿por qué realiza FT y nuevamente realiza transformadas inversas de Fourier?

¿De cuántas maneras puedes organizar 3 números de modo que la suma de estos números sea menor o igual que n?