Beruflich Dokumente
Kultur Dokumente
abstracto
La teora de grupos
Dr. Lszl P. Toth, profesor asociado
Universidad de Pcs
2006
Puntos tomados
Este material contiene el lgebra objeto y nmero 4, derecho feleves lmelet
deben utilizar las tareas materiales y procesamiento tericos Ando el grueso.
Tambin contiene unas piezas adicionales que no son obligatorios, que estn
ah cos seales FF. Antes de la H sealar todas las tareas. La tareas ms
difciles candidato MM.
Los primeros, Conjuntos, relaciones, funciones del captulo titulado
predecesores Al-Gebra aprendiendo los conceptos bsicos en el resumen,
vamos a utilizar. Vamos a utilizar los siguientes trminos adicionales que son
relevantes para alaptulajdonsagokat: operaciones lgicas, conjuntos de
nmeros, nmeros complejos, los enteros se puede dividir en la saga, los
mayores os pblicos del instinto ms pequeo os mas Img mltiple o os,
maradekosztalyok (mod n), matriz de la funcin de Euler, determinante.
La Evidencia reclamaciones y elemento muestra algn signo texto.
Llama la atencin el conocimiento exacto-definicin (nombres han estado
tomando los conceptos con negrita)
- Dio ejemplos de algunos de los conceptos (ruta de la seal Por lo general,
stos estn incluidos); dar, buscar otros ejemplos de una mejor comprensin
de la orden material - Objeto formulacin precisa y de las pruebas - para
resolver la tarea de ajuste.
Para leer ms
1. Szendrei John, lgebra y szamelmelet Nacional Tankonyvkiado, Budapest,
1996a
2. Szendrei Agnes, "Matemtica Discreta, Polgono, Szeged, 2000a
3. Ervin Fried, lgebra general Tankonyvkiado, Budapest, 1981a
4. Laszlo Fuchs, lgebra, Tankonyvkiado, Budapest, 1980a
5. Krnyei Imre lgebra (Conferencia sobre la base
Tankonyvkiado, Budapest, 1974 Feladatgyujtemenyek
de
1 Arpad Varga,
Budapest, 1983a
Tankonyvkiado,
Abstract
Algebra
feladatgyujtemeny,
Turan
Pal)
funciones
Notas en lnea
1. Kiss E., Puntos tomadas en abstracto algebraba:
http://www.cs.elte.hu/~ewkiss/bboard/algebrabook
jegyzet:
2.
Marcus
A.,
Algebra
Un conjunto de subconjuntos suma P (A) indican uk: P (A) = {B} BA, este
es el conjunto exponente. Si los elementos de la serie N (n N *), la sama 2n
subconjunto, es decir, el conjunto de todos los elementos exponente 2n.
1. A.3. Tareas. H 1. Qu conjuntos A y B es cierto que A \ B = B \ A?
2. Cuando el H C = , entonces verificar que el \ (B \ C) = (A \ B) \ C
F 3. Defina los siguientes elementos del conjunto:
A = {(x, y) N N | x 2 - (y + 1) 2} = 12.
H 4. Determinar los siguientes elementos del conjunto:
B = {(x, y) N N | x2 + 2y2 = 5}.
H 5. Probar que si A B =B y AU C = C UA, entonces A = B.
H 6. Probar que si A, B, C, D conjuntos arbitrarios, puede:
a) (A B) y (C D) = (A C) (B x D).
b) (A B) y (C D) = (A C) (B x D) Por lo general, la declaracin no es
verdad.
c) (A B) y C = (A C) (B C).
d) (A \ B) y C = (A C) \ (B C).
1. B relaciones
S posible hasta cualquier conjuntos A y B. Relacin binaria renombrar
brevemente la relacin = (A, B, R) del sistema, en el que R A B
El R establece el grfico, marcado: (a, b) R ab leer la es la conexin
con b-. Si no, ( es la relacin con b) la designacin: (a, b) 6 Ra6b.
Decimos que es una comparacin homognea, si A = B; la relacin vaca,
si R = ; es la relacin universales, donde R = A B
En relacin con el conjunto de renombrar diagonal 1A = (A, A, DA), DA = {(a,
a): a A} relacin. Aqu a1Aba = b.
La relacin menudo identifica grafico de R, por lo que la x B es la relacin
universal la relacin vaca, DA es la relacin diagonal.
1. B.1. Prov. 1) Sea A = {a, b, c, d}, B = {1,2} y = (A, B, R), donde R =
{(a, 1), (a-2),
(B 2), (c, 1)}. Aqu, por ejemplo a1, a2 y c62.
2) Un conjunto de tringulos planos del grfico de comparacin de similitud
x es un subconjunto de A, que es el tringulo juntos de manera similar
consiste en paro.
3) La Z es el conjunto de nmero entero divisible por comparacin de
Administracin de la siguiente comparacin homognea = (Z, Z, R), donde
R = {(a, b) Z Z: a|b} = {(a, b) Z Z: c Z: b = ac}.
elementos. El 0 = (A, B, R 0), A = {a, b, c, d}, B = {1,2}, {R0 = (a, 1), (b,
1), (c, 2), (d, 2)} de relaciones de funcin.
2) En cualquier caso, el conjunto 1A = (A, A, DA) relacin diagonal es una
funcin de este conjunto es idntico al nombre de esta funcin 1A: A A, 1A
(a) = a para todo a vez en cuando.
Funciones inyectivos, suprayectivos y biyectiva. Sea f: A B es una funcin.
Decimos que f es inyectiva si el ONB de elementos oz p kul ONB OZO
elementos de imagen conocidos, es decir, si x1 , x2 A = 6 x1 x2f (x1) 6
= f (x2). Esto es equivalente a la siguiente declaracin: x1 , x2 A, f (x1) =
f (x2) = x1 x2;
f sobreyectiva si B tiene todos los elementos de elementos de imagen, es
decir, si y B x A: f (x) = y. Esta es la condicin por lo escrito como: f
(A) = B; f biyectiva si es inyectiva y sobreyectiva, es decir, si y B! x A
(se detalla en una y slo una x A): f (x) = y.
1. C.2. Prov. f: R R, f (x) = x2 funcin no es inyectiva, porque, por
ejemplo. 6 -1 = 1 y f (-1) = f (1) = 1 ni sobreyectiva porque, por ejemplo. y =
-1 x R R veces no existe, por lo que f (x) = x2 = -1 sea.
g: [0, ) R, g (x) = x2 no es sobreyectiva y inyectiva funcin h: [0, )
[0, ), h (x) = x2 es inyectiva y sobreyectiva, por lo biyectiva.
En cualquier caso, el conjunto de la funcin biyectiva 1A idnticos.
F: A B y g: B C en ese orden en la composicin de (o composicin o
multiplicadas) a g f: A C tal que (g f) (a) = g (f (a)) para todo a a a.
Este es el mapa que primero la f mapeo y g en una fila despus de la
implementacin, con cido. G (f (x)) es la aparicin GT, f es la funcin interior
tiene Renombrar. Diagramas Ejemplos son:
f f1 = 1B.
a) f: RR, f(x) = x + 1,
b) f: RR, f(x) = 4x + 2,
c) f: NN, f(x) = 4x + 2,
d) f: RR, f(x) = x2 + 3.
Funcin biyectiva.
El conjunto de los nmeros racionales Q es numerable. El conjunto de los
nmeros reales R es incontable.
1. D.2. Teorema. Sea A un conjunto finito y f: A A es una funcin. Entonces
las siguientes afirmaciones son equivalentes:
1) f es inyectiva,
2) f sobreyectiva, 3) f biyectiva.
Prueba. La inmediata DEFINIDO a 3) 1) y 3) 2).
1) 3) un conjunto finito, sea A = {a1, a2,..., an}. La funcin f es inyectiva,
por lo
f (A) = {f (a1), f (A2),..., f (n)}, donde f (i) = f 6 (j), donde j = i 6. Por lo tanto,
f (A) n-Conjunto de elementos y desde f (A) la prxima que f (A) = A, es
decir, f sobreyectiva, por lo tanto biyectiva.
2) 3) Sea A = {a1, a2,..., an}. La funcin f es sobreyectiva, por lo que f (A)
= A, por lo tanto, | f (A) | = | A | = n. Si los elementos de f (a1), f (a2),..., f (n)
no sera como pares diferentemente, entonces f (A) = {f (x): x A} es un
nmero de elementos sera menor por n: | f (A) | <n, lo que contradice la
| F (A) | = n trminos.
1. D.3. Tareas. H 1. Definir el siguiente conjunto de elementos de los
nmeros:
C = {(x, y) NN | 2x + 3y = 2000}.
Si H 2 A, B, C, posible hasta cualquier conjunto finito, entonces a) | A B | = |
A | + | B | - | A B |,
b) |A B C| = |A| + |B| + |C||A B||A C||B C| + |A B C|.
Las generalizaciones.
F 3. Sean A y B conjuntos finitos, | A | = k, | B | = n. a) Cuntos f: A B es
una funcin?
b) Cuntos f: A B es funcin inyectiva?
c) Si k = n, entonces el nmero de funcin biyectiva es?
Solucin. a) kn , b) donde k n, n (n-1) (n-2) (n-k + 1), c) n! = N (n-1) (n2) 2 primero H 4. Demostrar que N N * N * ~ *.
Orientacin. Considere la funcin f: N N * N * x * f (m, n) = 2m-1 (2n - 1)
funcin. Probar que f es biyectiva.
lny
no puede
puede conmutativa y
b2 = an,
b1b2 = b.
e
a
b
e
e
a
b
a
a
e
e
b
b
e
a
n N, n 1, x0 = e.
Aditiva notacin:
1x = x, 2x = x + x,..., (n + 1) x = nx + x,
(x).
n N, n 1, 0x = 0, (nx) = n
X,
y0
xx0
Y,
es Y =
Nada grupo abeliano (Niels Henrik Abel, XIX. Siglo matemtico noruego).
Si el grupo G elementos x xy = yx, entonces decimos que x e y componentes
son intercambiables. Ej. Esta unidad de todo elemento intercambiable con
otro elemento. Posteriormente, el grupo conmutativo si dos elementos son
intercambiables.
Decimos que (G, ) grupo finito G si el conjunto es finito, de lo contrario
grupo infinito hablando. Si G es un conjunto de n elementos: | G | = n,
entonces n en el grupo G con orden y me llaman, se dice que G es un grupo
de orden n.
Otros siguen en el alfabeto grupo multiplicativo en uso. Recuerde que un
grupos conmutativos aditivos habituales escribir tambin.
3B grupos EJEMPLOS
3. B.1. Prov. (Z, +), (Q, +), (R, +), (C +) grupos abelianos,
Los grupos no slo a grupos de elementos de unidad, o (Q * ) ( Z), (Q, ),
(R ), (C ), (R *, ), (C * ) grupos abelianos.
Los ejemplos anteriores son grupos sin fin de grupos finitos siguientes son
algunos ejemplos:
3. B.2. Ejemplo. Si n N *, entonces (Un = {z C: z n = 1}, ) es
conmutativo. H Demustralo! Fue llamada la ensima unidad una de las
razones cambiar el nombre de su grupo, por ejemplo ,. U2 = {-1, + 1}, U4 =
{-1, + 1, -i, i +}.
3. B.3. Ejemplo. Si n N * el conjunto de Divisiones resto (mod n). Entonces
(Zn, +) grupo abeliano, el grupo Divisiones resto (aditivo) (mod n), donde x =
xb yb + [+ y.
3. B.4. ejemplo de. Considere dejar S plano ABCD es un rectngulo que no
es cuadrado y prueba de esta congruencia transformaciones, es decir, la
distancia f: S S dos argumentos, que transfiere el rectngulo por su cuenta.
Son los siguientes, se refieren a la Figura 1:
A, (C) = D, (D) = C
(4) A fuerza negativa ere punto medio como la asignacin eje central Espejos
Ozes : (A) = D, (B) =
C (C) = B, (D) = A
S el funcionamiento, las composiciones de transformaciones (despus de
realizar una fila), multiplicacin comprueban, que asociativo. Observe que el
, , cos cul ul ONB OZO dos transformaciones multiplica igual a la tercera,
por ejemplo. = , = , etc y todo esto con cuadrados iguales: 2 = 2
= 2 = e.
La operacin fue tabla:
e
e
s xb invertido y bk inversa.
n N, xn = (x1)n = (xn)1.
x,y G,
(grupos, anillos, cuerpo, etc) lo mismo que tener usted, si usted es isomorfo a
uno al otro (a menos que establezca un callejn porciones Ozo se ONB est
involucrado, entonces no pueden ser identificados por). "El lgebra
isomorfismos prueba contra las propiedades invariantes." Las tareas ms
importantes de la teora de grupos:
1) toda la descripcin del tipo de grupo existente
2) cualquier procedimiento, para lo cual se dan grupo pueden decidir si son o
no son isomorfos.
Para cualquier n 1, existe un grupo de orden n. Consideremos, por ejemplo,
de verdad. el ensimo grado desagregar segn una de las causas (Un, ) o
grupo (Zn, +) grupo.
3.E.5.
Tareas.
el
primero
en
Demostrar que (G = {f1, f2, f3, f4}, ) grupo abeliano que es isomorfo al
grupo de Klein (Preparar mesa Cayley).
Sea H
a)
b)
(G *) grupo abeliano.
c)
Determinar
Demostrar que
isomorfismo de ((0, ), ) y (G, *) grupos.
Solucin. c)
donde n N *.
de difcil averiguar el
resultado.
B) en el isomorfismo inversa f definitiva
es
un isomorfismo y f-1 (x * y) = f-1 (x), f-1 (y), para general de que f-1 (x 1 * ...
* xn) = f 1 (x1), f-1 (xn), donde x1 * ... * xn = f (f-1 (x 1) f-1 (xn)), xi
(-1,1). Si x1 = ... = xn = x, obtenemos que
F 3. Demostrar que
1) (Z 2 2 + Z) es isomorfo al grupo de Klein, 2) (Z 2 3 + Z) es isomorfo a)
grupos (Z6 +.
4. H i) Determinar los Z, +) endomorfismos y automorfismos del mismo (.
Demostrar que (Aut (Z +), ) '
(U2, ). ii) a (q, +) endomorfismos y automorfismos de la misma. Demostrar
que (Aut (Q, +), ) '(Q * ).
Solucin. i) f (x + y) = f (x) + f (y), x, y Z, donde x = 0, f (0) = f (0) + f (0),
f (0 ) = 0; y = -x desde 0 = f (0) = f (x) + f (-x), f (-x) = f (x), X N (*). Y x =
y = 1 f (2) = f (1) + f (1) = 2f (1), f (3) = f (1) + f (2) = 3f (1) .. ., f (n) = nf (1)
debido n N, y (*) f (x) = xt (1), Z x.
en
(x
y)
(x)
(y),
x,
de
ue
la
i)
q
a
este isomorfismo.
Poltica 3: p () = 3.
(mod p).
Marcando el grupo cclico infinito C (), los grupos cclicos de orden n y C (n),
stos son a menudo los grupos Z y Zn aditivos referidos.
F 3.H.4. Tarea. Sea H, G es un grupo cclico de orden n cuyos elementos x
General. Demostrar que xr elemento General si y slo si (r, n) = primera
Solucin. Si hxri = G, entonces existe k de manera que x = XKR, desde cr 1
(mod n), es decir, n | (kr - 1). Si d | r y d | n, a continuacin, despus de que d
| 1, por lo que (r, n) = primera
hK = {hk: k K}.
Si H = o K = , entonces HK = .
Si G es un grupo, entonces G g GG = Gg = G (GG porque G y evidente
G y y = g (g-1a) gG, por lo gG G, donde G = gG similares la otra).
Aditivamente marcada si H y K (G, +) grupo y un subconjunto de h G,
entonces
H + K + k = {h: h H y k K}, {h = h + K + k: k K}.
4 Grupos
4.A. Grupo de subconjuntos de grupo
Sea (G, ) es un grupo G y considere los subconjuntos. Si H, K G (H, K P
(G)) que definen estas multiplicando de esta manera:
HK HK = {h H y k K}.
Si H = {h} es un elemento, todos los datos:
hK = {hk: k K}.
Si H = o K = , entonces HK = .
Si G es un grupo, entonces G g GG = Gg = G (GG porque G y evidente
G y y = g (g-1a) gG, por lo gG G, donde G = gG similares la otra).
Aditivamente marcada si H y K (G, +) grupo y un subconjunto de h G,
entonces
H + K + k = {h: h H y k K}, {h = h + K + k: k K}.
Prueba. "1) 2)" Si H G, e H 6 = (material) y x DEFINIDO, y H
xy H. Sin embargo, x-1 H, x H (A).
"2) 3)" bajo los trminos de la H 6 = evidente, y x, y H, y H-1 y xy1 H.
"3) 1)" H 6 = , por lo tanto, existir, xy = x (y-1) -1 H, por lo que H cerr
las operaciones contemplando. La operacin es asociativa en H, debido a que
el elemento de identidad G-existente en H, ya que e H y H-final es la
inversa de x y x-1 H.
Nota. El punto 2) de las Condiciones con que aparecen de manera escrita: HH
H-1 y H H, y un punto 3): HH-1 H. stos igualdad se puede escribir con
ms precisin, lo siguiente es cierto
4.B.2. Teorema. (Grupos caracterizacin de nuevo) Si (G, ) es un grupo y H
G, las siguientes afirmaciones son equivalentes:
* 1) H G, es decir, parte H, 2 *) H 6 = , HH = H y H 1 = H, 3 *) H = y 6
MM-1 = H.
Prueba. "* 1) 2 *) Si H G, entonces el artculo anterior, segn 6 H, HH
H-1 y H H. ms h H, h = l HH, as que H MM. Sin embargo H H 1
porque h H, h = (h-1) -1 1 H desde H G durante 1 h H.
G
Imf
e0
Kerf
3.abra
4.C.1. Teorema. Si f: G G0 es un morfismo de grupo, a continuacin,
a) de ranura G
b) FMI G0, por lo que cada morfismo grupo central y las imgenes (grupo
cocientes) subgrupo. Prueba. El 4.B.6. consecuencias. Sea H = G y H 0 = {e
0}, que de ranura = f-1 ({e}).
por lo tanto
Z Entonces ki:
una contradiccin.
p (x) no puede ser infinito o complejo, porque si p (x) = st, s, t> 1, hxsi = {xs,
X2S, ..., XTS = xo (x ) = e} grupo como piezas originales, si p (x) = ,
entonces hx2i x2k = {k} Z grupo repuestos originales (de otra forma
daina: los grupos cclicos qu categoras para cada lnea).
As que la respuesta es un elemento de primer orden del grupo de grupos
(cclicos).
5.D.6. Teorema. (Los cuatro grupos de orden-descripcin) Si G es un grupo, |
G | = 4, entonces o bien G es cclico, que es isomorfo a Z4, o G es isomorfo al
grupo Klein (G conmutativa en ambos casos).
Prueba. Sea G = {e, x, y, z}. Si hay un cuarto elemento, por ejemplo. p (x) =
4, G no es cclico, G = hxi. Ej. el grupo (Z4 +).
Si no, p (x) = p (y) = p (z) = 2, debido a que los elementos de la orden de
grupo con el distribuidor. Entonces xy = e = xy no es posible yx = xy = e
no puede ser ex xy = x = y = 1 no es posible, por lo tanto, y z xy = G = {e,
x, y, xy } yx = y-1x-1 = (xy) -1 = z 1 = z = xy, el grupo es conmutativa (Haga
su mapa de funcin). Aqu, x, y, z cos UL cualquiera de los dos iguales
multiplicado con la tercera y x2 = y2 = e es
Grupo de Klein, ver Sec 3B Seccin 3.E.5 y / primero Tarea.
Del mismo modo, se puede especificar el seis-du Odred grupos Descripcin:
Si | G | = 6, entonces G es cclico o G (Z6 +) o G (S3, ) grupo de la
permutacin cbico no es conmutativa. Sin embargo, este largo derivacin
As, la estructura sers ver ms adelante.
F significa (n) es el grupo de nmero de orden de tipo n. Entonces (p) = 1,
(4) = (6) = 2, etc., el siguiente teorema Cayley que (n) 2n, que |!. Sn |
= n! y | P (Sn) |! = 2n, pero es muy estimaciones inexactas. F
F 5.D.7. Teorema. (G, ) es un grupo y x G, p (x) = n * N. Entonces
a)
b)
Aqu Inv () =
permutacin.
Adems
2/n
..
..
A1
O
An
5.abra
Pn i fusiono aosag transformacin de la composicin para formar una nica
operacin de grupo no conmutativo de 2n orden, que es de grado n de ttulo
por equipos zunk.Je Diederik (Dn, ) o (Dn, ).
De hecho, Sea O el centro de Pn A1, A2, ..., An el pico Ver Figura 5. Cada una
de estas transformaciones f determina la Dnde poner dos picos, por
ejemplo. A1 y A2, por lo f- de f (A1) y F (A2).
Agregar = 2 / O na Uli en 2 / n tringulo que la rotacin (es decir, (A1)
= A2, (A2) = A3) y dejar que OA1 la lnea recta que refleja ozest ( (A1) =
A1, (A2) = An).
Entonces k = 2k / 2k n / n tringulo que la rotacin, donde 1 k n-1
(+ k aqu (A1) = 1 Ak, k (A2) =
K + 2, donde la convencin: An + 1 = A1) 'es n = 0 = e es la
transformacin de la identidad. Adems, 2 = e
e, , ..., n-1, , , ..., n-Kul 1 transformaciones ONB Ozo. De hecho, si 0
k n - 1,
(k) (A1) = k ( (A1)) = k (A1) = Ak + 1 y (k) (A2) = k ( (A2)) = k
(An) = Ak.
Ahora bien, si f es un arbitraria transformaciones congruencia y f (A1) = Aj +
1, donde 0 j n - 1, entonces f (A2) de cambio de dos opciones: f (A2) = j o
f (A2) = Aj 2, donde las convenciones: A0 = An, An + 1 = A1. As f o la
rotacin o transformaciones la j j. As f = f = j o j. De este modo se
confirm que de grado n Diederen grupo Dn | Dn | = 2n y
Dn = {e, , 2, ..., n-1, , , 2, ..., n-1}
donde y es como se define anteriormente transformaciones.
Nota: 1. Hay una asignacin eje central k Ozes Espejos. Si k = 2m - 1 es
impar, es la seccin perpendicular bisectriz Amami + 1, donde k = 2 m es
par, entonces el t + 1 lnea de OAM.
2. Demostrar que = n = -1-1. De hecho, () (A1) = ( (A1)) =
(A2) = An (n-1) (A1) = n-1 ( (A1)) = n-1 (A1) = una pulgada () (A2) =
( (A2)) = (A3) = An-1 (n-1) (A2) = n-1 ( (A2)) = n-1 (An ) = Anprimera La segunda igualdad se n = true debido a esto.
3. n = e, e = 2 y = n 1 entrelazan ugg-shek esta operacin puede Dn
define la placa.