I've been tantalized by various aspects of group theory for a long time, but never had formal instruction beyond introductory abstract algebra. When I try to improve myself, I almost always fetch up against some difficulty that makes me throw up my hands and walk away. The same thing just happened, and I would like to look at the difficulty carefully to see what it is that's stopping me. I wanted to know what kind of thing E8 was. I understand that E8 is actually a bunch of different things: it's a group, it's a polyhedron with that group as its symmetry, it's a root system, it's a lattice ... OK, none of that is too challenging in principle, so I thought I would tackle the group aspect first. What kind of thing, then, is the group E8? I knew it was a big finite group, but didn't know anything about how it was defined. So (please don't laugh) I looked it up in Wikipedia. The article "E8 (mathematics)" starts out by saying "any of several closely related exceptional simple Lie groups". I don't mind that the definition isn't precise; that sort of thing happens all the time, and it doesn't bother me that there is are several different groups that sloppily get called E8. But I don't know what exceptional simple Lie groups are, and the phrase was hotlinked, so I clicked through to learn what an exceptional simple Lie group was. The link took me to a section of a more general article on simple Lie groups. OK, so obviously I need to know what a simple Lie group is before I can learn about the exceptional ones. This article said that a simple Lie group was a "connected non-Abelian Lie group" with some additional constraints to make it qualify as "simple", which looked analogous to the constraints that make an ordinary simple group simple (no normal substructures). If I really wanted to know what they were talking about, though, I obviously had to understand what a Lie group was. So I clicked through to the article about Lie groups in general. The first thing it said was that a Lie group is "a group that is also a differentiable manifold". Wait just a ding danged minute. Do they mean that the points of the manifold form a group? Apparently so, and the group operation has to be continuous and smooth. OK, that makes sense, and the examples they give (the real line under addition, for instance) are consistent with this definition. But: E8 is a finite group. And it's an exceptional simple Lie group, which is a kind of simple Lie group, which is a kind of Lie group, which (can be viewed as) a differentiable manifold. How can any finite group be a differentiable manifold? Differentiable manifolds all have at least the cardinality of the continuum. Then I noticed that the article "Lie group" began with a caveat, "Not to be confused with 'Group of Lie type'." Looking more closely, it seems like the article "Simple Lie group" is actually discussing two separate concepts: differentiable-manifold Lie groups that have a concept of simplicity appropriate to that category; and groups of Lie type that are simple in the ordinary group-theoretical sense. It seems like it bops back and forth between the two concepts indiscriminately, and it is confusing the heck out of me. Help.