Talk:Algebraically compact module