modules -- When is projectivity detected on subalgebras? -- Cohomology and group