prosolvable group
a topological group that is isomorphic to the inverse limit of an inverse system of solvable groups
solvable group
group that can be constructed from abelian groups using extensions; a group whose derived series terminates in the trivial subgroup