Let p be a prime, K a field of characteristic p , G a locally finite p-group, KG the group algebra, and V the group of the units of KG with augmentation 1. The anti-automorphism g 7→ g of G extends linearly to KG ; this extension leaves V setwise invariant, and its restriction to V followed by v 7→ v gives an automorphism of V . The elements of V fixed by this automorphism are called unitary; t...

It is known that every group which acts transitively on the ordered edges of the cubic tree Y3, with finite vertex stabilizer, is isomorphic to one of seven finitely presented subgroups of the full automorphism group of r3-one of which is the modular group. In this paper a complete answer is given for the question (raised by Djokovic and Miller) as to whether two such subgroups which intersect ...

In this paper, we present a formalisation of elementary group theory done in Coq. This work is the first milestone of a long-term effort to formalise Feit-Thompson theorem. As our further developments will heavily rely on this initial base, we took special care to articulate it in the most compositional way. Key-words: finite groups, proof assistants, formalisation of mathematics ∗ Microsoft Re...

Let S(RG) be a normed Sylow p-subgroup in a group ring RG of an abelian group G with p-component Gp and a p-basic subgroup B over a commutative unitary ring R with prime characteristic p. The first central result is that 1 + I(RG;Bp) + I(R(p)G;G) is basic in S(RG) and B[1 + I(RG;Bp) + I(R(p )G;G)] is p-basic in V (RG), and [1 + I(RG;Bp) + I(R(p )G;G)]Gp/Gp is basic in S(RG)/Gp and [1 + I(RG;Bp)...

There is a natural way to define an isomorphism between the group of transformations of isotopy classes of rational tangles and the modular group. This isomorphism allows to give a simple proof of the Conway theorem, stating the one-to-one correspondence between isotopy classes of rational tangles and rational numbers. Two other simple ways to define this isomorphism, one of which suggested by ...

The elliptic elements of M, each with two conjugate complex fixed points, are precisely the conjugates of nontrivial powers of A and B. The parabolic elements, each with a single real fixed point, are precisely the conjugates of nontrivial powers of C = AB: z ~ z + 1. The remaining nontrivial elements of M are hyperbolic, each with two real fixed points. A subgroup S of M is torsionfree (and th...

The modular group plays an important role in many branches of mathematics. We show that the membership problem for the modular group is decidable in polynomial time. To this end, we develop a new syllable-based version of the known subgroup-graph approach. The new approach can be used to prove additional results. We demonstrate this by using it to prove that the membership problem for a free gr...

Contents 1 Definitions 3 2 Linear independence at different levels 6 3 The level raising operators 8 4 Oldforms and newforms 13 5 Saito–Kurokawa liftings 16 6 Two theorems 23 Appendix 26 References 28 Introduction Let F be a p–adic field, and let G be the algebraic F –group GSp(4). In our paper [RS] we presented a conjectural theory of local newforms for irreducible, admissible, generic represe...