The classification of finite simple groups is known to be very very long. But I was wondering: is there somehow a classification of the infinite simple groups, or at least a beginning of a classification?
Here are a few examples. Such a classification might appear far more difficult than the one for finite simple groups, but sometimes the infinite case is easier, as shown there. For instance, the classification of algebraically closed fields of cardinality $2^{\aleph_0}$ is just based on the characteristic, if I'm not mistaken.
Any comment is welcome. Thank you!