Results 11 
15 of
15
Computing a chief series and the soluble radical of a matrix group over a finite field
, 2008
"... We describe an algorithm for computing a chief series, the soluble radical, and two other characteristic subgroups of a matrix group over a finite field, which is intended for matrix groups that are too large for the use of base
and strong generating set methods. The algorithm has been implemented i ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
We describe an algorithm for computing a chief series, the soluble radical, and two other characteristic subgroups of a matrix group over a finite field, which is intended for matrix groups that are too large for the use of base
and strong generating set methods. The algorithm has been implemented in MAGMA by the second author.
Small Base Groups, Large Base Groups and the Case of Giants
"... Abstract. Let G be a finite permutation group acting on a set Γ. A base for G is a finite sequence of elements of Γ whose pointwise stabiliser in G is trivial. Most (families of) finite permutation groups admit a base that grows very slowly as the degree of the group increases. Such groups are known ..."
Abstract
 Add to MetaCart
Abstract. Let G be a finite permutation group acting on a set Γ. A base for G is a finite sequence of elements of Γ whose pointwise stabiliser in G is trivial. Most (families of) finite permutation groups admit a base that grows very slowly as the degree of the group increases. Such groups are known as small base and very efficient algorithms exist for dealing with them. However, some families of permutation groups, such as the symmetric groups, do not admit a small base. Dealing with these socalled large base groups is a fascinating area of current research. This thesis explores two closely interrelated strands of modern group theory. Initially, the focus is on identifying the large base primitive permutation groups, which can be achieved by making use of two landmark results in finite group theory: The Classification of Finite Simple Groups and the O’NanScott Theorem for primitive permutation groups. Focus then shifts to algorithmic aspects of large base groups, in particular to the family known as the giants. We cover details such as recognition of large base Galois groups, generation of random elements of finite groups and give details of the very new paradigm of algorithms for black box groups. We conclude with an investigation into the constructive recognition problem for large base black box groups.
1 Efficient recovering of operation tables of black box groups and rings
, 805
"... www.math.unizh.ch/aa ..."
Notation
, 2010
"... combinatorial number theory (NDMI045, Analytická a kombinatorická teorie čísel) which I have been teaching on the Faculty of Mathematics and Physics of the Charles University in Prague. The first booklet (the second one, [25], is for summer semester 2010) covers four major theorems, three on the dis ..."
Abstract
 Add to MetaCart
combinatorial number theory (NDMI045, Analytická a kombinatorická teorie čísel) which I have been teaching on the Faculty of Mathematics and Physics of the Charles University in Prague. The first booklet (the second one, [25], is for summer semester 2010) covers four major theorems, three on the distribution of prime numbers and one from additive combinatorics: Dirichlet’s theorem on prime numbers in arithmetic progression, the Prime Number Theorem, Shnirel’man’s theorem on sums of primes, and Roth’s theorem on 3term arithmetic progressions. Actually, I did not have time to lecture on the Prime Number Theorem. I thank Petr Glivick´y for valuable remarks on the proof of Roth’s theorem.