As Lie group theory has developed it has also become more and more pervasive in its influence on other mathematical disciplines. The original founder of this theory was a Norwegian, Marius Sophus Lie, who was born in Nordfjordeid, 1842. In order to understand the background and motivation to Lie's work we must go further back. A central problem in algebra at the end of the 18th century was that...

This article presents a theory of modules with iterative connection. This theory is a generalisation of the theory of modules with connection in characteristic zero to modules over rings of arbitrary characteristic. We show that these modules with iterative connection (and also the modules with integrable iterative connection) form a Tannakian category, assuming some nice properties for the und...

We present short elementary proofs of the well-known Ruffini-Abel-Galois theorems on unsolvability of algebraic equations in radicals. This proof is obtained from existing expositions by stripping away material not required for the proof (but presumably required elsewhere). In particular, we do not use the terms ‘Galois group’ and even ‘group’. However, our presentation is a good way to learn (...

We develop a theory of Tannakian Galois groups for t-motives and relate this to the theory of Frobenius semilinear difference equations. We show that the transcendence degree of the period matrix associated to a given t-motive is equal to the dimension of its Galois group. Using this result we prove that Carlitz logarithms of algebraic functions that are linearly independent over the rational f...

We discuss some of the basic ideas of Galois theory for commutative S-algebras originally formulated by John Rognes. We restrict attention to the case of finite Galois groups and to global Galois extensions. We describe parts of the general framework developed by Rognes. Central rôles are played by the notion of strong duality and a trace mapping constructed by Greenlees and May in the context ...

Part I. The origins of the Langlands Program 9 1. The Langlands correspondence over number fields 9 1.1. Galois group 9 1.2. Abelian class field theory 10 1.3. Frobenius automorphisms 13 1.4. Rigidifying ACFT 14 1.5. Non-abelian generalization? 15 1.6. Automorphic representations of GL2(AQ) and modular forms 18 1.7. Elliptic curves and Galois representations 22 2. From number fields to function...

This paper is concerned with difference equations on elliptic curves. We establish some general properties of the difference Galois groups of equations of order two, and give applications to the calculation of some difference Galois groups. For instance, our results combined with a result from transcendence theory due to Schneider allow us to identify a large class of discrete Lamé equations wi...

This article is concerned with Galois theory for iterative differential fields (ID-fields) in positive characteristic. More precisely, we consider purely inseparable Picard-Vessiot extensions, because these are the ones having an infinitesimal group scheme as iterative differential Galois group. In this article we prove a necessary and sufficient condition to decide whether an infinitesimal gro...

A locally connected topos is a Galois topos if the Galois objects generate the topos. We show that the full subcategory of Galois objects in any connected locally connected topos is an inversely 2-filtered 2-category, and as an application of the construction of 2-filtered bilimits of topoi, we show that every Galois topos has a point. introduction. Galois topoi (definition 1.5) arise in Grothe...