The purpose of this work is to show that the fractional maximal operator has somewhat unexpected regularity properties. The main result shows that the fractional maximal operator maps $L^p$-spaces boundedly into certain first-order Sobolev spaces. It is also proved that the fractional maximal operator preserves first-order Sobolev spaces. This extends known results for the Hardy–Littlewood maximal operator.