<--- Back to Details
First PageDocument Content
Algebra / Mathematics / Group theory / Finite groups / Coq / Fundamental theorem / Prime number / FeitThompson theorem / Finite field / Abelian group
Date: 2013-07-24 02:35:41
Algebra
Mathematics
Group theory
Finite groups
Coq
Fundamental theorem
Prime number
FeitThompson theorem
Finite field
Abelian group

Add to Reading List

Source URL: ssr.msr-inria.inria.fr

Download Document from Source Website

File Size: 2,44 MB

Share Document on Facebook

Similar Documents

Spectral theory / Hermann Minkowski / Minkowski's second theorem / Operator theory / Mathematics / Dissipative operator

A proof of Minkowski’s second theorem Matthew Tointon Minkowski’s second theorem is a fundamental result from the geometry of numbers with important applications in additive combinatorics (see, for example, its appli

DocID: 1xVE5 - View Document

Classroom Voting Questions: Calculus II Section 5.3 The Fundamental Theorem and Interpretations 1. On what interval is the average value of sin x the smallest? (a) 0 ≤ x ≤ (b)

DocID: 1voG4 - View Document

A Proof of the Barsotti-Chevalley Theorem on Algebraic Groups James S. Milne October 18, 2015 Abstract A fundamental theorem of Barsotti and Chevalley states that every smooth connected algebraic group over a perfect fie

DocID: 1vaqc - View Document

Classroom Voting Questions: Calculus II Section 6.4 Second Fundamental Theorem of Calculus 1. If f (x) = Rx 1

DocID: 1v1M0 - View Document

Smooth morphisms Peter Bruin 21 February 2007 Introduction The goal of this talk is to define smooth morphisms of schemes, which are one of the main ingredients in N´eron’s fundamental theorem [BLR, § 1.3, Theorem 1]

DocID: 1uOZ0 - View Document