In this thesis we investigate the structure of locally nilpotent 5-Engel p-groups. We show that for p > 7, locally nilpotent 5-Engel p-groups have class at most 10. This is a global theorem, where the result is not dependent on the number of generators of the group. The proof uses new and established Lie methods and a custom C++ implementation of an algorithm that constructs minimal generating sets and structure constants of multi- graded Lie algebras in a variety defined by three multilinear relations, which hold in the Lie rings associated with 5-Engel p-groups. We obtain our results by calculating in the set Q(p) = {~ I x E Z, yE Z+, Y # 0 modulo any p f/. p} (where p is a set of excluded primes and x, y are arbitrarily large integers), as well as the fields Zp, p prime. We introduce several reduction theorems, making the result possible. We also present results about the normal closure of elements in these groups. We use a Higman reduction theorem and the same custom C++ program to show that locally nilpotent 5-Engel p-groups, p 2: 5, are Fitting, with Fitting degree at most 4 if p > 7, at most 5 if p = 7 and at most 6 if p = 5. These results are best possible.

京都大学 / 0048 / 新制・課程博士 / 博士(理学) / 甲第18044号 / 理博第3922号 / 新制||理||1566(附属図書館) / 30902 / 京都大学大学院理学研究科数学・数理解析専攻 / (主査)准教授 浅岡 正幸, 教授 加藤 毅, 教授 藤原 耕二 / 学位規則第4条第1項該当 / Doctor of Science / Kyoto University / DFAM