Or, to illustrate this more clearly, here’s a group in one image.
Consider a group (of inputs) as a single input.
Then you’ll see that, just like with any other input, in addition to the “normal” fader, you also have for each aux mix an assignable “GRP to AUX” control (see red) that you need to open.
