中山引理 在交換代數中中山引理是相當有用的一個技術工具