In this paper we show how to construct the maximal subgroups of the finite classical groups of linear, symplectic or unitary type in low-degree

We describe a practical algorithm for computing representatives of the conjugacy classes of maximal subgroups in a finite group, together with details of its implementation for permutation groups in the MAGMA system. We also describe methods for computing complements of normal subgroups and minimal supplements of normal soluble subgroups of finite groups.

In [Wol67], Wolk proved that every well partial order (wpo) has a maximal chain; that is a chain of maximal order type. (Note that all chains in a wpo are well-ordered.) We prove that such maximal chain cannot be found computably, not even hyperarithmetically: No hyperarithmetic set can compute maximal chains in all computable wpos. However, we prove that almost every set, in the sense of categ...

The trace of a family of sets A on a set X is A|X = {A ∩ X : A ∈ A}. If A is a family of k-sets from an n-set such that for any r-subset X the trace A|X does not contain a maximal chain, then how large can A be? Patkós conjectured that, for n sufficiently large, the size of A is at most ( n−k+r−1 r−1 ) . Our aim in this paper is to prove this conjecture.