| Summary: | Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2009. === Submitted by Elna Araújo (elna@bce.unb.br) on 2010-03-26T21:17:21Z
No. of bitstreams: 1
2009_KalianadosSantosDias.pdf: 403519 bytes, checksum: a89ac66ea87f6aa31236cee8ef89424e (MD5) === Approved for entry into archive by Daniel Ribeiro(daniel@bce.unb.br) on 2010-04-06T20:14:32Z (GMT) No. of bitstreams: 1
2009_KalianadosSantosDias.pdf: 403519 bytes, checksum: a89ac66ea87f6aa31236cee8ef89424e (MD5) === Made available in DSpace on 2010-04-06T20:14:32Z (GMT). No. of bitstreams: 1
2009_KalianadosSantosDias.pdf: 403519 bytes, checksum: a89ac66ea87f6aa31236cee8ef89424e (MD5)
Previous issue date: 2009 === Neste trabalho abordamos algumas variedades de grupos solúveis definidos por leis da forma [m, n] = 1, em que [m, n] indica o comutador [[x1, . . . , xm], [xm+1, . . . , xm+n]], a m + n variáveis. Variedades associadas `as leis C(n + 2) são também consideradas, onde C(n+2) indica o conjunto de identidades [x1, x2, x3, . . . , xn+2] = [x1, x2, x'(3), . . . , x'(n+2)], para toda permutação ' do conjunto {3, . . . , n + 2}. O objetivo principal do trabalho é explorar certos resultados devidos a F.Levin que tratam de equivalências entre essas leis, com o intuito de generalizar o caso da variedade dos grupos metabelianos, definida pela lei [[x1, x2], [x3, x4]] = 1, a qual é equivalente `a C(4). Mostramos que um grupo G satisfaz C(n + 2), n ≥ 2 se, e somente se, G satisfaz [n − k, 2 + k] = 1, para k = 0, 1, . . . , n − 2. As leis C(2n − 1) decorrem de [n, 2] = 1, para n ≥ 3; trabalhando com grupos de unidades em anéis de séries de potências formais, apresentamos um exemplo que mostra que este resultado é o melhor possível, pois [n, 2] = 1 não implica C(k) para k ≤ 2n − 2. _________________________________________________________________________________ ABSTRACT === In this dissertation we deal with some results on varieties of solvable groups defined by laws of the form [m, n] = 1, where [m, n] denotes the commutator [[x1, . . . , xm], [xm+1 , . . . , xm+n]], in m + n variables. Varieties associated with C(n + 2) are also considered, where C(n + 2) denotes the set of identities [x1, x2, x3, . . . , xn+2] = [x1, x2, x'(3), . . . , x'(n+2)], for all permutation ' of the set {3, . . . , n+2}. The main objective of the work is to treat of certain results due to F.Levin that investigate equivalences among these laws, with the purpose of generalising the case of the varieties of metabelian groups, defined by the law [[x1, x2], [x3, x4]] = 1, which is equivalent to C(4). We show that a group G satisfies C(n + 2), n ≥ 2, if and only if G satisfies the laws [n − k, 2 + k] = 1, for all k = 0, 1, . . . , n − 2. The laws C(2n − 1) are consequence of [n, 2] = 1, for n ≥ 3; on considering rings of formal power series, we present an example which shows that this result is the best possible, since [n, 2] = 1 does not imply C(k) for any k ≤ 2n − 2.
|
|---|
