• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1
  • Tagged with
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Black Box Groups And Related Group Theoretic Constructions

Yalcinkaya, Sukru 01 July 2007 (has links) (PDF)
The present thesis aims to develop an analogy between the methods for recognizing a black box group and the classification of the finite simple groups. We propose a uniform approach for recognizing simple groups of Lie type which can be viewed as the computational version of the classification of the finite simple groups. Similar to the inductive argument on centralizers of involutions which plays a crucial role in the classification project, our approach is based on a recursive construction of the centralizers of involutions in black box groups. We present an algorithm which constructs a long root SL_2(q)-subgroup in a finite simple group of Lie type of odd characteristic $p$ extended possibly by a p-group. Following this construction, we take the Aschbacher&#039 / s ``Classical Involution Theorem&#039 / &#039 / as a model in the final recognition algorithm and we propose an algorithm which constructs all root SL_2(q)-subgroups corresponding to the nodes in the extended Dynkin diagram, that is, our approach is the construction of the the extended Curtis - Phan - Tits presentation of the finite simple groups of Lie type of odd characteristic which further yields the construction of all subsystem subgroups which can be read from the extended Dynkin diagram. In this thesis, we present this algorithm for the groups PSL_n(q) and PSU_n(q). We also present an algorithm which determines whether the p-core (or ``unipotent radical&#039 / &#039 / ) O_p(G) of a black box group G is trivial or not where G/O_p(G) is a finite simple classical group of Lie type of odd characteristic p answering a well-known question of Babai and Shalev. The algorithms presented in this thesis have been implemented extensively in the computer algebra system GAP.

Page generated in 0.1432 seconds