10 votos

Es el Axioma de Elección, implícitamente, se usa para definir una operación binaria sobre un cociente objeto?

Digamos que usted tiene un grupo de $(G,\cdot)$ y tiene un subgrupo normal $N$ (tenga en cuenta que estamos considerando esto sólo como un conjunto). Y ahora queremos definir una operación binaria $\star$ $G/N$ tal que $(G/N, \star)$ es un grupo. Cada elemento de a $G/N$ se parece a $aN$ algunos $a\in G$. Por lo tanto parece perfectamente natural querer explotar el grupo de la teoría de la estructura de los elementos de la cosets y definir $aN\star bN:= a\cdot bN$.

La mayoría de los libros de texto de ello y, a continuación, rápidamente la vuelta y probar esta operación está bien definido. Entiendo que todo esto y por qué lo hacen, pero no esta construcción pre-suponga que una función de elección en $G/N$?

A mí me parece que la definición de la operación binaria $\star$ es un rápido abreviatura de todo esto: vamos a $f$ ser una función de elección para $G/N$. A continuación, para todos los $A$ $B$ $G/N$ definir $A\star B:= (f(A)\cdot f(B))N$. Y la costumbre bien definido de verificación de la siguiente manera para mostrar que esta operación no depende de la elección de la función de $f$, muestra que esta operación es asociativa y tiene una identidad.

Pero la independencia de la elección-la función no excusa la necesidad de la existencia de una función de elección. Y no estamos siempre garantizada una función de elección (en AC de la ausencia). Le molesta que nos parecen necesitar un sólido principio de algo tan fundamental, pero trivial en Teoría de grupos. (Por supuesto, hay un problema similar con anillos e ideales en el Anillo de Teoría)

Tengo un par de preguntas. Es mi suposición correcta? Es decir, en la construcción habitual de el cociente de la operación, hay una suposición de una elección-la función? Si ese es el caso, podríamos---en el costo de ser de largo aliento y tal vez tedioso---definir un coeficiente de operación que no presupone una función de elección?

17voto

Hagen von Eitzen Puntos 171160

Usted puede evitar la elección de la función en conjunto por definir $A\cdot B=\{\,ab\mid a\in A, b\in B\,\}$ donde $A,B$ son subconjuntos de a $G$ que pasar a ser de la forma $aN=\{\,an\mid n\in N\,\}$ algunos $a\in G$, pero en realidad sólo el uso de Reemplazo de aquí, no hay elección.


Para ver todos los settheoretic detalles para la definición de las $G/N$ y compruebe que la Opción no se invoca, el uso de Powerset y la Comprensión (y el menor de los pecados) para definir $$G/N:=\{\,A\in\mathcal P(G)\mid A\ne\emptyset, \forall a,b\in A\colon a^{-1}b\in N\,\}$$ y el Reemplazo de arriba o de Comprensión como en $$ A\cdot B:=\{\,g\in G\mid \exists a\in A, b\in B\colon g=ab\,\}$$ para la multiplicación.

3voto

Eric M. Schmidt Puntos 643

Si usted quería hacer una sola vez por todas la selección de coset representantes, entonces, en general, usted tendrá que usar el axioma de elección para crear una función de elección. Sin embargo, al definir el producto en $G/N$, sólo tiene que seleccionar los representantes de dos cosets en un momento. Usted puede olvidarse de los representantes una vez que se ha calculado el producto de la cosets. Es decir, supongamos que elegir dos cosets $A$$B$. A continuación definimos $C$ a de ser la única coset en $G/N$ de manera tal que siempre que $A = aN$$B = bN$,$C = (ab)N$. Podemos probar la existencia y unicidad de un $C$ sin atractivo para que el axioma de elección. Finalmente, definimos el producto en $G/N$ al declarar que, para cualquier cosets $A$$B$, $AB$ es el coset $C$ determinó que el anterior.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X