El propietario del archivo debe pertenecer al grupo de archivos?

Tengo una comprensión bastante simplista de los permisos de archivos en los sistemas * nix. Entiendo que hay un propietario y un grupo de archivos, pero ¿existe una regla estricta y rápida sobre si dicho propietario del archivo debe pertenecer también al grupo de archivos? O dicho de otra manera, ¿puede un archivo pertenecer a un grupo del que el propietario no forma parte?

Si es así (o si no), ¿por qué? Me gustaría aumentar mi comprensión ... Parece que no puedo encontrar nada que específicamente hable sobre esto en las páginas web ... También estoy abierto a algún buen material de lectura sobre el tema.

No, no es necesario que el propietario de un archivo pertenezca al grupo de ese archivo. No existe un mecanismo para verificar o hacer cumplir esto. Además, un usuario podría pertenecer a un grupo a la vez y luego ser eliminado; nada pasará por el sistema de archivos para verificar si hay archivos que estarían en conflicto.

Básicamente, los metadatos del propietario y del grupo para un archivo simplemente se encuentran allí en el disco y no tienen ningún enlace externo. (Tangente: se almacena por ID de usuario numérico e ID de grupo, y el sistema los resuelve cuando se le solicita).

Además, solo se usa un conjunto de permisos a la vez: si usted es el propietario, solo se examinan los permisos del propietario y los permisos del grupo no importan. Si no es el propietario pero está en el grupo, se utilizan los permisos de grupo. Finalmente, si no está en el grupo ni el propietario, se utilizan los permisos "otros". Si usted es tanto el propietario de un archivo y en el grupo del archivo, los bits de grupo no importan.