Groupes groupoïdes ... - Groups

This is the home page of GAP at Lehrstuhl D für Mathematik, RWTH Aachen, Germany. GAP is a free system for computational discrete algebra.

ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models.

à partir des idées de GALOIS à découvrir (au format PDF).

Serge Hublau

Peter J. Cameron

These are personal web pages of 151 people whose research is related to group theory.

The following is a list of scholars in geometric group theory and low-dimensional topology (and a few members of neighboring fields

Automated Theorem Proving, Automated Reasoning about Continuous Systems

Farouk Boucekkine

David Joyner

Benjamin Shults

a program for computing finite semigroups

Jean-Eric Pin

The CiME 2.0 system This preliminary version is made available early because some people asked for it. You will find the following features: An interactive toplevel to allow naming of objects and call to various functions. Solving Diophantine constraints over finite intervals String Rewriting Systems, KB completion. Term Rewrite Systems, possibly with commutative or associative-commutative symbols. Termination of TRSs using standard or dependency pairs criteria, automatic generation of termination orderings based on polynomial interpretations, including weak orderings for dependency pairs criteria.

Construction progressive d'une loi interne associative, éventuellement commutative, sur un ensemble fini.

Yvette Kosmann-Schwarzbach

La théorie des représentations de groupes, utilisant algèbre, géométrie et analyse, possède de multiples applications aux sciences physiques, en cristallographie, chimie, physique atomique et subatomique, ainsi que dans les théories de champ. Ce livre est une introduction à cette théorie, à l'usage des étudiants de mathématiques et de physique.

l'Introduction et les chapitres 1 (Généralités sur les groupes) et 2 (Représentations des groupes finis) sont téléchargeables (43 pages).

journées X-UPS 2000 École polytechnique

Un peu d'histoire des groupes finis et quelques exemples simples (Anne-Marie Aubert). Sur quelques groupes simples sporadiques (Michel Broué). Calculs en théorie des groupes, et introduction au langage GAP (Groups, Algorithms and Programming) (Jean Michel).

Dartmouth

Presentations wholly or partly about GAP have been made at various conferences and workshops.

E. JALIGOT G. CHERLIN Équipe de Logique Prépublications électroniques

F. DELON E. BOUSCAREN

Publications Camille Laurent-Gengoux

J.-P. Serre 75 pages; in french; course at ENSJF in 1978/79 arXiv:math.GR/0503154

Abstract: The present notes are based on a course given by J-P.Serre at ENSJF in 1978/79 on the elementary properties of finite groups. They were first written down by M.Buhler and C.Goldstein (Montrouge 1979), then revised and put in LaTeX by N.Billerey, O.Dodane and E.Rey.

Jean COUGNARD (licence de mathématiques 1996 à 1998).

An Introductory Course by Bernhard Rupp

The Topology of Crystallographic Groups and Simple Crystal Structures Carroll K. Johnson Michael N. Burnett Oak Ridge National Laboratory

Excerpted from Beachy/Blair, Abstract Algebra, Second Edition, Copyright 1996 Chapter 7

Dog School of Mathematics

This is intended to be an introduction to Group Theory. My hope is to provide a clear passage to understanding introductory group theory. The project will expand as time goes by.

1. What is Group Theory 2. Examples of Groups 3. Housekeeping Theorems 4. Cayley Tables 5. Symmetry Group of the Triangle 6. Subgroups 7. Cosets 8. Lagrange's Theorem 9. Cyclic Groups and Subgroups 10. Permutations 11. Permutation Groups 12. Rubik's Cube 13. Rubik's Cube Groups 14. Solve the Cube 1

a href="http://www.bhargav.com/books/Math/">www.bhargav.com

a href="http://www.bhargav.com/books/Math/">www.bhargav.com

James S. Milne

1. Basic Definitions 2. Free Groups and Presentations 3. Isomorphism Theorems; Extensions 4. Groups Acting on Sets 5. The Sylow Theorems; Applications 6. Normal Series; Solvable and Nilpotent Groups

This is an HTML version of the manual for GAP 4r2.

Gaston Darboux Bull. Amer. Math. Soc. 5 (1899), 367-370.