テンソル積や外積はイデアルで定義されるから、それを言ってるだけだな