Il proprietario del file deve appartenere al gruppo di file?

Ho una comprensione piuttosto semplicistica dei permessi dei file sui sistemi * nix. Comprendo che esiste un proprietario di file e un gruppo di file, ma esiste una regola rigida per stabilire se anche il proprietario del file deve appartenere al gruppo di file? O in altri termini, un file può appartenere a un gruppo di cui il proprietario non fa parte?

In tal caso (o in caso contrario), perché? Mi piacerebbe aumentare la mia comprensione ... Non riesco a trovare nulla che ne parli in modo specifico nelle interwebs ... Sono anche aperto ad un buon materiale di lettura sull'argomento.

No, non è necessario che il proprietario di un file appartenga al gruppo di quel file. Non esiste alcun meccanismo per verificare o applicare questo. Inoltre, un utente potrebbe appartenere a un gruppo contemporaneamente e quindi essere rimosso; nulla passerà attraverso il filesystem per verificare la presenza di file in conflitto.

Fondamentalmente, i metadati del proprietario e del gruppo per un file sono semplicemente seduti sul disco e non hanno collegamenti esterni. (Tangente: è memorizzato dall'ID utente numerico e dall'ID gruppo e questi vengono risolti dal sistema quando richiesto.)

Inoltre, viene utilizzato solo un set di autorizzazioni alla volta: se sei il proprietario, vengono esaminate solo le autorizzazioni del proprietario e le autorizzazioni del gruppo non contano. Se non sei il proprietario ma sei nel gruppo, vengono utilizzate le autorizzazioni di gruppo. Infine, se non fai parte del gruppo né del proprietario, vengono utilizzate le autorizzazioni "altro". Se siete sia il proprietario di un file e nel gruppo del file, i bit del gruppo non contano.