The composition length of a finite-length module or group is the number of simple factors in a composition series. The Jordan–Hölder theorem makes this independent of the chosen composition series.
New to topics? Read the docs here!
New to topics? Read the docs here!