09.05.2013 Views

On the Derived Length of Lie Solvable Group Algebras

On the Derived Length of Lie Solvable Group Algebras

On the Derived Length of Lie Solvable Group Algebras

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

1.2 ASSOCIATED LIE ALGEBRA OF GROUP ALGEBRAS 9<br />

Applying <strong>the</strong> method used A. Shalev in <strong>the</strong> pro<strong>of</strong> <strong>of</strong> Lemma 2.2 in<br />

[27] we have that if G is nilpotent <strong>of</strong> class two, <strong>the</strong>n<br />

dlL(F G) ≤ dl L (F G) = ⌈log 2(tN(G ′ ) + 1)⌉.<br />

In particular, if G is an abelian-by-cyclic p-group with p > 2 <strong>the</strong>n<br />

dlL(F G) = ⌈log 2(tN(G ′ ) + 1)⌉,<br />

as it was stated in [29].<br />

The purpose in <strong>the</strong> second chapter <strong>of</strong> this <strong>the</strong>sis will be to extend<br />

<strong>the</strong>se results above to a larger class <strong>of</strong> groups, namely, it is enough to<br />

assume that γ3(G) ⊆ (G ′ ) p , instead <strong>of</strong> <strong>the</strong> condition G is <strong>of</strong> class two.<br />

The investigation <strong>of</strong> <strong>the</strong> next chapter was motivated by <strong>the</strong> following<br />

result <strong>of</strong> A. Shalev [27]: if G is nilpotent <strong>of</strong> class two with cyclic<br />

commutator subgroup <strong>of</strong> order p n , <strong>the</strong>n dlL(F G) = ⌈log 2(p n + 1)⌉. We<br />

generalize this result and determine both <strong>the</strong> <strong>Lie</strong> derived length and<br />

<strong>the</strong> strong <strong>Lie</strong> derived length <strong>of</strong> group algebras in <strong>the</strong> case when <strong>the</strong><br />

commutator subgroup <strong>of</strong> <strong>the</strong> basic group is cyclic <strong>of</strong> odd order.<br />

For characteristic two, when G is a nilpotent group with (not necessary<br />

cyclic) commutator subgroup <strong>of</strong> order 2 n , in <strong>the</strong> fourth chapter<br />

we obtain <strong>the</strong> description <strong>of</strong> <strong>the</strong> group algebras F G which have <strong>the</strong><br />

highest possible value <strong>of</strong> dlL(F G), namely, n + 1.<br />

By <strong>the</strong> inclusion δ [n] (F G) ⊆ δ (n) (F G), a strongly <strong>Lie</strong> solvable group<br />

algebra F G is <strong>Lie</strong> solvable too and dlL(F G) ≤ dl L (F G). It would be<br />

also interesting to know when <strong>the</strong> equality dlL(F G) = dl L (F G) does<br />

hold, but this question is still open. As a consequence, we get a necessary<br />

and sufficient condition for dlL(F G) to coincide with dl L (F G),<br />

provided that G ′ is cyclic.<br />

According to (1.2), ⌈log 2(p + 1)⌉ ≤ dl L (F G), where p is <strong>the</strong> characteristic<br />

<strong>of</strong> F . The characterization <strong>of</strong> <strong>the</strong> group algebras <strong>of</strong> minimal<br />

strong <strong>Lie</strong> derived length is also a consequence <strong>of</strong> our result.<br />

We finish <strong>the</strong> study <strong>of</strong> <strong>the</strong> <strong>Lie</strong> derived length with <strong>the</strong> description<br />

<strong>of</strong> <strong>the</strong> group algebras F G <strong>of</strong> <strong>Lie</strong> derived length three, in <strong>the</strong> case when<br />

G ′ is cyclic and a possibility <strong>of</strong> <strong>the</strong> application <strong>of</strong> this result will be<br />

shown. This results are contained in Chapter 5.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!