Produto semidireto. Demonstração. (1, 1) é o elemento neutro pois

Documentos relacionados
Lista permanente de exercícios - parte de Grupos. As resoluções se encontram nas notas de aula A1, A2, A3.

LISTA CLASSES LATERAIS, TEOREMA DE LAGRANGE 17. Seja G um grupo e sejam H e K subgrupos de G cujas ordens sejam relativamente primas.

f(xnyn) = f(xyn) = f(xy) = f(x)f(y) = f(xn)f(yn).

MAT5728 Álgebra Lista 1

XIX Semana Olímpica de Matemática. Nível U. Alguns Teoremas Básicos de Grupos e Suas Aplicações. Samuel Feitosa

MAT0313 Álgebra III Lista 5

Notas de Aula Álgebra 3. Martino Garonzi. Universidade de Brasília. Segundo semestre 2018

1. Num grupo G, sejam a e b dois elementos diferentes da identidade e tais que a 3 = b 2 = e e ba = a 2 b.

Mais uma aplicação do teorema de isomorfismo. Sejam G um grupo, H um subgrupo de G e N um subgrupo normal de

Lema. G(K/F ) [K : F ]. Vamos demonstrar usando o Teorema do Elemento Primitivo, a ser provado mais adiante. Assim, K = F (α).

Lema. G(K/F ) [K : F ]. Vamos demonstrar usando o Teorema do Elemento Primitivo, a ser provado mais adiante. Assim, K = F (α).

Definição 1. Um ideal de um anel A é um subgrupo aditivo I de A tal que ax I para todo a A, x I. Se I é um ideal de A escrevemos I A.

Gabarito da primeira prova de Álgebra III - 29/04/2010 Prof. - Juliana Coelho

Usando indução pode então mostrar-se o seguinte:

Conceitos Básicos sobre Representações e Caracteres de Grupos Finitos. Ana Cristina Vieira. Departamento de Matemática - ICEx - UFMG

(Ciência de Computadores) 2005/ Diga quais dos conjuntos seguintes satisfazem o Princípio de Boa Ordenação

2007/2008 Resolução do 1 o exame

Anéis quocientes k[x]/i

Notas sobre os anéis Z m

Resolução do 1 o exame

obs: i) Salvo menção em contrário, anel = anel comutativo com unidade. ii) O conjunto dos naturais inclui o zero.

OS TEOREMAS DE JORDAN-HÖLDER E KRULL-SCHMIDT (SEGUNDA VERSÃO)

MAT Resumo II. Andrew Kurauchi Henrique Stagni Igor Montagner. 25 de Setembro de s k gij X,s k = + 1} g ik

SUMÁRIO. Álgebra I 3 1. Grupos Exercícios Subgrupos Exercícios Homomorfismo de Grupos e Aplicações 35 3.

Resolução dos Exercícios 31/05-09/06.

Introdução à Teoria de Grupos Grupos cíclicos Grupos de permutações Isomorfismos

1 Grupos (23/04) Sim(R 2 ) T T

Grupos Solúveis Finitos com Condições de Permutabilidade para seus Subgrupos Subnormais

Teorema (Teorema fundamental do homomorfismo)

ÁLGEBRA I. 1 o período de 2005 (Noturno)

Exemplos (i) A adição + e a multiplicação são operações associativas e comutativas

Primeira prova de Álgebra III - 07/05/2015 Prof. - Juliana Coelho Entregar dia 09/05/2015 até as 11h00.

Notas de Aula de Algebra Avan cada ver ao de 2019

Grupos: Resumo. Definição 1.1 Um grupo é um conjunto G juntamente com uma operação binária. G G G (a, b) a b. (a b) c = a (b c) a e = e a = a

GRUPOS ALGUNS GRUPOS IMPORTANTES. Professora: Elisandra Bär de Figueiredo

O Teorema de P. Hall

GRUPOS Maria L ucia Torres Villela Instituto de Matem atica Universidade Federal Fluminense Revisto em dezembro de 2008

Grupos livres e apresentações, grupos hopfianos e grupos residualmente finitos

Alguns exercícios amais para vocês (as resoluções dos exercícios anteriores começam na próxima pagina):

PROVA EXTRAMUROS-MESTRADO (i) O tempo destinado a esta prova é de 5 horas.

Resolução do 1 o exame

Aprendendo Álgebra com o Cubo Mágico p.1/32

e tutor do Programa de Educação Tutorial/SESU Matemática UFMS Campus de Três Lagoas. E MAIL:

Aplicar as propriedades imediatas dos homomorfismos de grupos. Aplicar os teoremas dos homomorfismos na relação de problemas.

G4 de Álgebra Linear I

Álgebras de Lie são espaços vetoriais munidos de uma nova operaçao que em geral não é comutativa nem associativa: [x, y] = xy yx.

Prova de seleção ao Mestrado e/ou Programa de Verão. Programas: ICMC-USP, UFAL, UFRJ

Reticulados e Álgebras de Boole

Aula 20 - Álgebra II. Como os corpos de decomposição de um polinómio, como vimos, são isomorfos

Produtos de potências racionais. números primos.

1 Noções preliminares

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

Algoritmos Quânticos

Automorfismos Coprimos em Grupos Profinitos

1234, 1243, 1324, 1342, 1423, 1432, 2134, 2143, 2314, 2341, 2413, 2431,

ÁLGEBRA MINIMAL PARA A GRADUAÇÃO. Teoremas e definições

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

BOA PROVA! Respostas da Parte II

INTRODUÇÃO AO ESTUDO DA ÁLGEBRA LINERAR Luiz Francisco da Cruz Departamento de Matemática Unesp/Bauru CAPÍTULO 7 ISOMORFISMO

Álgebra Linear e Geometria Anaĺıtica. Espaços Vetoriais Reais

Universidade Federal de Goiás Câmpus Catalão Aluno: Bruno Castilho Rosa Orientador: Igor Lima Seminário Semanal de Álgebra

Notas de Fundamentos de Álgebra. Pedro F. dos Santos, Joana Ventura 2014

Automorfismos coprimos de 2-grupos finitos

Geradores e relações

Aula 12 HOMOMORFISMO DE ANÉIS PRÉ REQUISITOS. As aulas 6, 10 e 11. META. Estabelecer o conceito de Homomorfismo de Anéis.

CONHECIMENTOS ESPECÍFICOS

Vamos começar relembrando algumas estruturas algébricas Grupos. Um grupo é um conjunto G munido de uma função

Troca de chaves Diffie-Hellman Grupos finitos Grupos cíclicos

NOTAS DE AULA DE ÁLGEBRA TIAGO MACEDO

ALGORITMO DE EUCLIDES

(1) Seja A um domínio de integridade. Mostre que a característica de A é 0 ou um número primo.

Parte I - Grupos. Sumário. 1.1 Grupos, subgrupos, ordem. Exercício Se H é um subconjunto nito de um grupo G, estável pela operação.

i : V W V W é o produto tensorial de V e W se, ao considerarmos um outro espaço vetorial U sobre o mesmo corpo K e B também uma aplicação bilinear:

Primeira Lista de Exercícios

Dado um inteiro positivo n, definimos U(n) como sendo o conjunto dos inteiros positivos menores que n e primos com n. Não é difícil ver que a

Funções - Terceira Lista de Exercícios

Aula 09 OS TEOREMAS DE SYLOW META. Estabelecer os teoremas de Sylow. OBJETIVOS. Identificar. Aplicar os teoremas de Sylow na resolução de problemas.

DESIGUALDADES DETECTANDO CICLICIDADE E NILPOTÊNCIA DE GRUPOS F

Grupos em que cada elemento comuta com sua imagem endomórfica

O grupo G é dito abeliano o comutativo se ab = ba para todo a, b G.

G3 de Álgebra Linear I

6. Verifique detalhadamente que os seguintes conjuntos são espaços vetoriais(com a soma e produto por escalar usuais):

Um algoritmo para estimar o segundo grupo de homologia de algum grupo finitamente apresentado

Conhecer um pouco mais de perto as propriedades do grupo das permutações de nível.

Corpos estendidos no espaço em grupos

Prova tipo A. Gabarito. Data: 8 de outubro de ) Decida se cada afirmação a seguir é verdadeira ou falsa. 1.a) Considere os vetores de R 3

uma breve introdução a estruturas algébricas de módulos sobre anéis - generalizando o conceito de espaço vetorial

Apresentar o conceito de grupo, as primeiras definições e diversos exemplos. Aplicar as propriedades dos grupos na resolução de problemas.

ANÉIS. Professora: Elisandra Bär de Figueiredo

Apostila Minicurso SEMAT XXVII

Unidade 7 - Bases e dimensão. A. Hefez e C. S. Fernandez Resumo elaborado por Paulo Sousa. 10 de agosto de 2013

Universidade Federal de Viçosa Centro de Ciências Exatas e Tecnológicas Departamento de Matemática

Sumário. 1 Ação de Grupos 3. 2 Teoremas de Sylow Aula 02/09/

(Mini) Apostila de Teoria de Grupos. Dimiter Hadjimichef

Introduzir os conceitos de base e dimensão de um espaço vetorial. distinguir entre espaços vetoriais de dimensão fnita e infinita;

1 Subespaços Associados a uma Matriz

Espaço Dual, Transposta e Adjunta (nota da álgebra linear 2)

1. Prove que (a+b) c = a c+b c para todo a, b, c em ZZ /mzz. (Explique cada passo).

1. Entre as funções dadas abaixo, verifique quais são transformações lineares: x y z

P-GRUPOS E O TEOREMA DE CAUCHY. Conceituar p-grupos e estabelecer o Teorema de Cauchy

Transcrição:

Produto semidireto. Produto semidireto interno. Seja G um grupo e sejam N G, H G. Se NH = G e H N = {1} dizemos que G é o produto semidireto interno entre N e H. No grupo G todo elemento pode ser escrito da forma nh com n N e h H, e tal escrita é única porque se nh = n 1 h 1 com n 1 N e h 1 H então n 1 1 n = h 1h 1 N H = {1} logo n 1 = n e h 1 = h. Observe que se H G então G é um produto direto N H. Dado um produto semidireto interno G = NH, sendo N G temos uma ação de H sobre N dada por ϕ : H Aut(N), ϕ(h)(n) = hnh 1 para todo n N (ação de conjugação). Se trata de uma ação por automorfismo, ou seja se h H então ϕ(h) não é apenas uma permutação de N, é um automorfismo de N, ou seja um isomorfismo N N. Produto semidireto externo. Sejam H, N grupos e seja ϕ : H Aut(N) um homomorfismo (ação por automorfismo de H sobre N). No que segue vamos constuir um grupo em que a ação ϕ é interpretada como uma ação de conjugação. Seja G o produto cartesiano N H com a operação seguinte: (n 1, h 1 ) (n 2, h 2 ) := (n 1 ϕ(h 1 )(n 2 ), h 1 h 2 ). Então G é um grupo com elemento neutro (1, 1) e (n, h) 1 = (ϕ(h 1 )(n 1 ), h 1 ). Além disso, G é o produto semidireto interno entre N {1} G e {1} H. A notação é G = N ϕ H = H ϕ N ou simplesmente N H, H N se a função ϕ for subentendida. G é chamado produto semidireto externo entre N e H. Observe que se ϕ é o homomorfismo trivial h 1 então o produto semidireto correspondente é na verdade o produto direto entre N e H. Demonstração. (1, 1) é o elemento neutro pois (n, h) (1, 1) = (nϕ(h)(1), h) = (n, h). O inverso de (n, h) é (ϕ(h 1 )(n 1 ), h 1 ) pois (n, h) (ϕ(h 1 )(n 1 ), h 1 ) = (nϕ(h)(ϕ(h 1 )(n 1 )), hh 1 ) = (1, 1). A operação é associativa pois se (n 1, h 1 ), (n 2, h 2 ), (n 3, h 3 ) pertencem a G ((n 1, h 1 ) (n 2, h 2 )) (n 3, h 3 ) = (n 1 ϕ(h 1 )(n 2 ), h 1 h 2 ) (n 3, h 3 ) = (n 1 ϕ(h 1 )(n 2 )ϕ(h 1 h 2 )(n 3 ), h 1 h 2 h 3 ) (n 1, h 1 ) ((n 2, h 2 ) (n 3, h 3 )) = (n 1, h 1 ) (n 2 ϕ(h 2 )(n 3 ), h 2 h 3 ) Precisamos então mostrar que = (n 1 ϕ(h 1 )(n 2 ϕ(h 2 )(n 3 )), h 1 h 2 h 3 ) ϕ(h 1 )(n 2 )ϕ(h 1 h 2 )(n 3 ) = ϕ(h 1 )(n 2 ϕ(h 2 )(n 3 )). 1

2 Mas sendo ϕ homomorfismo H Aut(N) e ϕ(h 1 ) homomorfismo N N, ϕ(h 1 )(n 2 )ϕ(h 1 h 2 )(n 3 ) = ϕ(h 1 )(n 2 )ϕ(h 1 )(ϕ(h 2 )(n 3 )) = ϕ(h 1 )(n 2 ϕ(h 2 )(n 3 )). Observe que N {1} é um subgrupo de G isomorfo a N, de fato (1, 1) N {1}, (n, 1) 1 = (n 1, 1) N {1} e (n, 1) (m, 1) = (nϕ(1)(m), 1) = (nm, 1) N {1}. Segue também que N N {1}, n (n, 1) é um isomorfismo de grupos. Observe que {1} H é um subgrupo de G isomorfo a H, de fato (1, 1) {1} H, (1, h) 1 = (ϕ(h 1 )(1), h 1 ) = (1, h 1 ) {1} H e se (1, h), (1, k) {1} H então (1, h) (1, k) = (ϕ(h)(1), hk) = (1, hk) {1} H. Segue também que H {1} H, h (1, h) é um isomorfismo de grupos. Observe que a conjugação no grupo G é a seguinte: dados (n, h), (m, k) G temos (m, k) (n, h) (m, k) 1 = (mϕ(k)(n), kh) (ϕ(k 1 )(m 1 ), k 1 ) em particular no caso h = 1 temos = (mϕ(k)(n) ϕ(kh)(ϕ(k 1 )(m 1 )), khk 1 ) = (mϕ(k)(nϕ(hk 1 )(m 1 )), khk 1 ), (m, k) (n, 1) (m, k) 1 = (mϕ(k)(nϕ(k 1 )(m 1 )), 1) N {1} logo N {1} G. A ação de conjugação de {1} H sobre N {1} G é dada por (1, k) (n, 1) (1, k) 1 = (ϕ(k)(nϕ(k 1 )(1)), k1k 1 ) = (ϕ(k)(n), 1), e isso mostra que a ação dada de H sobre N, ou seja ϕ : H Aut(N), corresponde exatamente à ação de conjugação da cópia de H ({1} H) sobre a copia de N (N {1}) no produto semidireto N H. É claro que (N {1}) ({1} H) = {(1, 1)}, e (N {1})({1} H) = G porque um elemento arbitrário (n, h) pode ser escrito como (n, 1) (1, h). Segue que G é o produto semidireto interno entre N {1} e {1} H. Para poder fazer as contas é bom seguir a ideia seguinte. Escrevemos os elementos de N H como nh onde n N, h H e se mk é um outro elemento então nh mk = nhmh 1 hk. Em outras palavras ϕ(h)(m) é igual, no produto semidireto, a hmh 1. Estamos então interpretando a ação por automorfismo de H sobre N (dada por ϕ : H Aut(N)) como uma ação de conjugação. Na verdade isso mostra que se H age por automorfismo sobre N (ou seja é dado H Aut(N)) então no produto semidireto correspondente N H tal ação é uma ação de conjugação. Em outras palavras toda ação por automorfismo pode ser vista como uma ação por conjugação!

3 A ideia da proposição seguinte é dar um critério suficiente para decidir se dois produtos semidiretos são isomorfos. Proposição 1. Sejam N, H dois grupos e seja ϕ : H Aut(N) uma ação por automorfismo de H sobre N, seja G = N ϕ H o produto semidireto correspondente. Sejam α : N N 0, β : H H 0 isomorfismos e seja ψ : H 0 Aut(N 0 ) um homomorfismo com G 0 = N 0 ϕ0 H 0 o produto semidireto correspondente. Suponha que valha a condição de compatibilidade ψ(β(h))(α(n)) = α(ϕ(h)(n)) n N, h H. Então G = G 0 por meio do isomorfismo γ : G G 0, γ(nh) := α(n)β(h). Demonstração. Vamos mostrar que γ((nh)(mk)) = γ(nh)γ(mk). Temos γ((nh)(mk)) = γ(nhmh 1 hk) = α(nhmh 1 )β(hk), γ(nh)γ(mk) = α(n)β(h)α(m)β(k), logo precisamos mostrar que α(hmh 1 )β(h) = β(h)α(m). Mas α(hmh 1 )β(h) = α(ϕ(h)(m))β(h) = ψ(β(h))(α(m))β(h) = β(h)α(m)β(h) 1 β(h) = β(h)α(m). É claro que γ extende α : N N 0 e β : H H 0 e que γ é bijetiva. (O1) O caso α = id N é interessante, e pode ser reformulado como segue: se ψ : H Aut(N) é um homomorfismo e β : H H é um isomorfismo então N ψ H = N ψ β H. (O2) Um outro caso interessante é o seguinte. Sejam H Aut(N), ϕ : H Aut(N) a inclusão e a Aut(N). Seja ψ : aha 1 Aut(N) a inclusão. Então N ϕ H = N ψ aha 1. Para isso considere os isomorfismos α : N N, α(n) = a(n) e β : H aha 1, β(h) = aha 1. Temos ψ(β(h))(α(n)) = β(h)(a(n)) = aha 1 (a(n)) = a(h(n)) = α(ϕ(h)(n)). Ou seja subgrupos conjugados H, H 0 de Aut(N) (com a ação dada pela inclusão em Aut(N)) induzem produtos semidiretos isomorfos: N H = N H 0. Por exemplo vamos classificar os grupos de ordem 2p com p primo ímpar. Seja G um grupo de ordem 2p. Seja N um p-sylow de G, então N = C p e N G pelo teorema de Sylow (ou porque G : N = 2). Dado um 2-Sylow H (de ordem 2), digamos H = h, temos N H = {1} (eles têm ordens coprimas!) e NH = N H / N H = N H = 2p = G logo NH = G e G é um produto semidireto N H. Falta determinar a ação H Aut(N). Sendo N = C p, Aut(N) = U(Z/pZ) = C p 1 (veja a lista de exercícios) logo Aut(N) contem um único subgrupo de ordem 2 (sendo Aut(N) cíclico!), chamando tal subgrupo de ε, o elemento ε é o automorfismo de inversão N N, x x 1. Segue que tem duas possibilidades: ação trivial (H Aut(N), h 1) ou ação de inversão (H Aut(N), h ε). O primeiro caso corresponde ao produto direto C p C 2 = C2p (grupo cíclico), o segundo caso é C p C 2 com a ação de inversão.

4 Tal grupo é isomorfo ao grupo diedral de ordem 2p. Logo existem exatamente dois grupos de ordem 2p (a menos de isomorfismo). Por exemplo vamos classificar os grupos de ordem 21 = 7 3. Dados um 7-Sylow N e um 3-Sylow H, N = C 7, H = C 3 e pelo teorema de Sylow N G e N, H têm ordens coprimas, logo N H = {1}, NH = N H = 21 = G logo NH = G e G é um produto semidireto N H. Falta encontrar os homomorfismos ϕ : H Aut(N). Sendo H = C 3 e Aut(N) = U(Z/7Z) = C 6 temos três possibilidades para ϕ(h) (onde H = h ): os três elementos de Aut(N) cujo cubo é igual a 1. Se ϕ(h) = 1 o produto semidireto N H é na verdade o produto direto N H (ação trivial) e N H = C 7 C 3 = C21 (grupo cíclico). Os outros dois casos correspondem aos dois automorfismos de N de ordem 3, ou seja γ 2 : N N, γ 2 (y) = y 2 e γ 4 : N N, γ 4 (y) = y 4. Segue que ϕ(h) {γ 2, γ 4 }. Por outro lado usando O1, sendo H H, h h 2 um isomorfismo, tais duas escolhas de ϕ(h) produzem produtos semidiretos isomorfos, logo podemos supor ϕ(h) = γ 2. Segue que escrevendo N = x, a ação de h sobre um genérico x i N é hx i h 1 = x 2i, logo em geral x i h j x r h s = x i (h j x r h j )h j+s = x i x 2jr h j+s = x i+2jr h j+s. Isso determina completamente o produto semidireto. Segue que existem exatamente dois grupos de ordem 21 (a menos de isomorfismo). Exercícios. (1) Mostre que Aut(C n ) = U(Z/nZ). (2) Mostre que se A e B são dois grupos finitos de ordens coprimas então Aut(A B) = Aut(A) Aut(B). (3) Classifique os grupos de ordem 12, 14, 20, 30, 33, 2015, 2019 a menos de isomorfismo. Pode tentar outras ordens, mas é melhor evitar os números divisíveis por potências de primos com expoente grande porque os p- grupos são difíceis para classificar. [Tem 5 grupos de ordem 12, 2 grupos de ordem 14, 5 grupos de ordem 20, 4 grupos de ordem 30, 1 grupo de ordem 33, 2 grupos de ordem 2015 e 2 grupos de ordem 2019.] (4) O grupo diedral de ordem 2n, D 2n, é o grupo das isometrias do n-agono regular. Tal grupo pode ser descrito como o produto semidireto C n C 2 onde C 2 = ε age sobre C n por meio da ação de inversão, ou seja a regra εxε 1 = x 1 (C n é gerado por uma rotação de ordem n e C 2 é gerado por uma reflexão). Suponha n = p primo. Escreva a equação das classes de G. A probabilidade de comutar de um grupo G é pc(g) = {(x, y) G G : xy = yx}. G G

5 Essa probabilidade mede quanto comutativo é um grupo, no sentido que 0 < pc(g) 1 para todo G e G é comutativo se e somente se pc(g) = 1. Calcule lim p pc(d 2p ). [Dica: definido k(g) o número de classes de conjugação de G mostre primeiro que pc(g) = k(g)/ G. Para isso veja as listas anteriores.] (5) Tente calcular pc(d 2n ) para n qualquer. (6) Calcule o centro Z(D 2n ). (7) Seja p um primo e seja G um grupo de ordem p 2. Mostre que G = C p 2 ou G = C p C p. (8) (Mais difícil) Seja p um primo ímpar. (a) Classifique os grupos de ordem 2p 2, mostrando que um tal grupo é isomorfo a um dos seguintes: o grupo cíclico de ordem 2p 2, o grupo abeliano C p C p C 2, o grupo diedral de ordem 2p 2, um produto semidireto V C 2 onde V = C p C p e C 2 = ε age sobre V por uma das regras ε(x, y)ε 1 = (x 1, y 1 ), ε(x, y)ε 1 = (y, x). [Dica: observe que o p-sylow N é C p 2 ou C p C p, e no segundo caso N pode ser visto como espaço vetorial de dimensão 2 sobre F p = Z/pZ, observe que neste caso Aut(N) = GL(2, p) (o grupo geral linear de F 2 p, ou seja o grupo das matrizes inversíveis 2 2 com coeficientes em F p ) e o gerador ε de um 2-Sylow H de G é diagonalizável, quais são os seus autovalores? Use (O2).] (b) Determine a equação das classes dos grupos encontrados no item acima. (9) Classifique os grupos de ordem 147. (10) Seja f : H G um homomorfismo de grupos e seja ϕ : H Aut(G) definido por ϕ(h)(g) := f(h)gf(h) 1. Seja X = G H o produto semidireto correspondente. Mostre que X = G H. [Dica: L = {(f(h), h 1 ) : h H} é um subgrupo de X isomorfo a H, centralizado por G {1}, e junto com G {1} gera X.] (11) Mostre que Aut(C 2 C 2 ) = S 3. [Dica: Aut(C 2 C 2 ) = GL(2, 2).] (12) Seja G = S n e seja H G com G : H = 2. Mostre que H = A n. [Dica: mostre que A n é gerado por {x 2 : x S n }.]