Among Lie groups, why study the semisimple ones? I'm in the process of learning Lie theory.
Simply connected Lie groups correspond to finite dimensional real Lie algebras.
Finite dimensional semisimple real Lie algebras correspond to Satake diagrams.
So, simply connected semisimple Lie groups correspond to Satake diagrams.
A Lie group is a geometric object and is a group. So, the most natural classification task is to classify Lie groups by geometric, topological and abstract  group theoretic properties (i.e. "compact", or "simple as an abstract group").
I know, in fact, that such characterization exists: A connected Lie group is semisimple if and only if its radical (largest connected solvable normal subgroup) is trivial.
So, Satake diagrams correspond to simply connected Lie groups with trivial radical.
While this is this is the type of classification I was looking for, the property of being "simply connected with trivial radical" seems a little artbitrary.
This is my question:

What  I'm trying to understand  is whether the focus on semisimple Lie groups is only because "that's where we have a good understanding", or also because of some natural mathematical domains where "among Lie groups, the semisimple ones are all that matter".

 A: Simple groups and simple algebras are "the ones all that matter" for an intrinsic reason. They are the atoms of this universe, so to speak, and hence are interesting. In case of Lie groups, there are furthermore reasons from geometry, why we are in particular interested in semisimple ones. However, even there, the reason is similar. We want to understand the basic "irreducible" components. One example illustrating this is the  classification of Riemannian symmetric spaces. It can then be shown that any simply connected Riemannian symmetric space is a Riemannian product of irreducible ones. Therefore, it makes sense to further restrict oneself to classifying the irreducible, simply connected Riemannian symmetric spaces.
We end up with simple Lie groups in Case $A$, and with compact Lie groups in case  $B$. But even for compact Lie groups we are very close to semisimple Lie groups, and one could argue that also there "the ones all that matter" are semisimple ones.
A: From the standpoint of representation theory, the larger class of reductive groups are "the ones that matter" (this is an oversimplification, as finite-dimensional representations of non-reductive groups are crucial to understand, even if you only care about representations of reductive groups). But you can't understand reductive groups without understanding semisimple groups first.
