Are there any books that present theorems as problems? To be more specific, a book on elementary group theory might have written: "Theorem: Each group has exactly one identity" and then show a proof or leave it as an exercise. The type of book that I am imagining would have written "Problem: How many unit elements can a group have?" and similarly for all other theorems.

Algebraic Geometry by Robin Hartshorne. An algebra professor once told me that almost every exercise is a lemma or theorem from SGA. A friendlier and more accessible book for undergraduates is "Linear Algebra Problem Book" by Paul R. Halmos. Halmos is an awesome expositor and this one is no exception. 


Fifty challenging problems in probability with solutions by Frederick Mosteller. It deserves to be better known than it is. Some things I like about it:



Some classical books that would probably fit the bill: Problems and Theorems in Analysis by Polya and Szego A Hilbert Space Problem Book by Halmos 


Lovasz's "Combinatorial Problems and Exercises" is a really good example. 


My favorite such book is Problems in Analytic Number Theory by Ram Murty. There could not be enough good things said about it. 


A number of books by Russian authors (cf. the one by Viro et al. from the Anton's answer) also come close to what you ask for. The two that came to my mind first are: Theorems and problems in functional analysis by Kirillov and Gvishiani Abel's theorem in problems and solutions by Alekseev (based on Arnol'd's lectures) 


Onishchik and Vinberg's "Lie Groups and Algebraic Groups" (the translation, which is what I read, appeared in Springer's "Series in Soviet Mathematics") is ALL problems, and is very nice. Sadly, it is also out of print. 


Classical example Elementary Topology. Textbook in Problems by O.Ya.Viro, O.A.Ivanov, V.M.Kharlamov, N.Y.Netsvetaev 


Problems in Group Theory, by John Dixon. I worked through a good deal of this as an undergrad, and learned a lot from it. 


Here is my favorite: Victor Prasolov, Problems and Theorems in Linear Algebra. Also avaliable in PDF. However, I wouldn't recommend this to any undergrad without olympiad background. Generally, writing textbooks in form of problem compendiums is distinctive for Soviet mathematics. I could name some more books of this kind (such as one on Lie algebras), but unfortunately they are all in Russian and most have never been translated. 


Modern Classical Homotopy Theory by Jeffrey Strom. 


Problems in Algebraic Number Theory, by Esmonde and Murty, is very good. 


I had a lot of fun skimming through Jim Henle's An Outline of Set Theory. (It's now out of print, but I suspect Springer's Problem Books in Mathematics series has a few more such titles still in print.) Also, a nice little freebie is Stefan Bilaniuk's A Problem Course in Mathematical Logic. In a different area, there is Number Theory Through Inquiry by David C. Marshall, Michael Starbird, Edward Odell. 


Convex Figures I.M. Yaglom and V.G. Boltyanskii Holt, Rinehart and Winston, NY, 1961 The first half of this book has definitions and results related to convexity to be proved by the reader and the solutions to these problems (theorems) is given in the second half of the book. The topics treated include Helly's Theorem, isoperimetric results, Minkowski addition of sets and curves of constant width. All of this material is clearly and well handled. 


"Elements of the Theory of Representations" by A. Kirillov. This is a concise introduction to the representation theory of both finite and Lie groups. It contains necessary background from other fields, e.g. analysis on manifolds. Many theorems are formulated as problems, often with hints. Originally the book was written in Russian, but there is also English translation published by SpringerVerlag in 1976. 


Pinter's A Book of Abstract Algebra is half problems, half text. Many important topics are covered as problems. For example, direct products of groups are introduced and their properties developed in a set of problems. Cauchy's Theorem and Sylow's Theorem are introduced as problems. I taught myself a good deal of abstract algebra from this book one summer. The high proportion of problems to exposition kept me stimulated, and his decomposition of proofs of theorems into bitesized problem chunks was a confidence booster. I remember this book with great affection. 


The little commutative algebra book by Atiyah and MacDonald is one such—the reason it's so little is that probably twothirds of the results in it are in the exercises. I guess you know the subject if you can skim through it looking for a fact (which is quite likely to be present, if not in the main text) all the while nodding your head as though the proofs were actually given. 


Ian Adamson has 2 really nice books pitched at the upper level undergraduate/graduate level: A General Topology Workbook and A Set Theory Workbook. Set Theory and point set topology can mostly be developed directly from the definitions,so these are nice subjects to present in this manner,particularly to students just learning how to do rigorous proofs. Best of all,both books come with complete solutions in the back. 


Joe Roberts, Elementary Number Theory, A Problem Oriented Approach. The 1st half of the book is all problems, the 2nd half is the solutions. This book is unusual for another reason; it's done entirely in calligraphy. 


Kenneth P. Bogart's "Combinatorics through Guided Discovery" is written exactly this way and all properties touched on in the book are discovered in the book through problems. 


Learning mathematics by solving problems is part of the french tradition. You will find many problems in Bourbaki or Dieudonne's Elements d'Analyse. At a more elementary level there are several problems covering a large amount of material at the end of Colmez's Elements d'analyse et d'algebre (et de theorie des nombres). 


An introduction to the theory of groups by Joseph J Rotman makes for a good DIY second course in group theory. 


There are several introductory problem texts by R.P. Burns: A nice introduction (highly recommended!) to abstract algebra which is almost entirely presented in problem format is the following by Clark: I recently found the following books (which I have no experience with): 


There are number of books in the Schaum's Outline series that I would recommend to anyone beginning in the subject of choice, Group Theory, Linear Algebra, General Topology to name a few. They are good in making the initial learning curve less steep, and help to make many of the other books mentioned more accessible to someone new to the subject. Gerhard "Ask Me About System Design" Paseman, 2012.05.13 


FiniteDimensional Linear Analysis: A Systematic Presentation in Problem Form (Dover Books on Mathematics) by GlazmanLjubic A (difficult)introduction to finite analysis(no solutions) Theorie des groupes Jean Delcourt(in french) (has solutions) 


Some answers mention problem books (quite different from standardformat textbooks in that they consist almost entirely of problems and their solutions). Such books have been widely used in Eastern Europe at every level of education (at least when I was getting it). Let me add another one to the list: MR0447533 Krzyż, Jan G. Problems in complex variable theory. Translation of the 1962 Polish original. Modern Analytic and Computational Methods in Science and Mathematics, No. 36. American Elsevier Publishing Co., Inc., New York; PWNPolish Scientific Publishers, Warsaw, 1971. xvii+283 pp. In his foreword, the author states: ``Most exercises are just examples illustrating basic concepts and theorems, some are standard theorems contained in most textbooks. However, the author does believe that the reconstruction of certain proofs could be instructive and is possible for an average mathematics student." Besides standard material, there is a collection of quirky little facts in e.g. nonEuclidean geometry in the disk or logarithmic potential theory (and much more). All stated as problems for the reader to solve. However, many solutions are included. There were subsequent editions in Polish. I used one as an undergraduate student and still have a copy. 


I would like to mention about Serge Lang's Algebra. Many of the "standard" results/theorems appear as exercises: one particular example is the construction and properties of Witt ring as exercises in chapter XV; of course, there is "that famous" homological algebra problem too. 


Whyburn and Duda, Dynamic Topology. (Whyburn was a student of Moore, as in the Moore Method mentioned in the comments above.) 


See these two good books : Combinatorics : a problem oriented approach  Daniel A. Marcus Graph Theory : a problem oriented approach  Daniel A. Marcus The first one was recommended for selfstudy by an AMS article :
See also : 


Many people are work on various variations of InquiryBased Learning (in math often called the Moore Method). For instance, I have a book for Introduction to Proofs. For lots of excellent examples check out the Journal of InquiryBased Learning in Mathematics. 

