Skip to main content
http -> https (the question was bumped anyway)
Source Link
Martin Sleziak
  • 4.7k
  • 4
  • 35
  • 40

True: Given a graded algebra $A$, there is a notion of a "homogeneous" ideal of $A$. It is a property that connects an ideal of $I$ with the grading and is often necessary to require. For example, if $I$ is a homogeneous ideal of $A$, then the algebra $A / I$ is graded again. If $I$ is not homogeneous, then it is not graded in general (since the projections of different graded components of $A$ onto $A / I$ might have nonzero intersection).

False: Given a filtered algebra $A$, there is a notion of a "filtered" ideal of $A$.

There is no such notion. We can require $I$ to be generated by $I\cap A_n$ for some $n$, or actually to lie inside $A_n$ for some $n$, but in most cases none of these is actually needed. (Correct me if I am wrong.) Formulations like "Let $I$ be an ideal compatible with (or respecting) the filtration" are cargo cult.

But: Given a filtered algebra $A$ and a generating set $G$ of an ideal $I$ of $A$, it is an important question whether $I\cap A_n$ is generated by $G\cap A_n$ for every $n\in \mathbb N$. This is not always satisfied, often nontrivial (in many cases it can be proved by using the diamond lemmadiamond lemma to show that every element of $A_n$ has a unique "remainder" modulo $I$ in a certain sense, and this remainder can be obtained by repeated subtraction multiples of elements of $G\cap A_n$) and used tacitly in various texts.

True: Given a graded algebra $A$, there is a notion of a "homogeneous" ideal of $A$. It is a property that connects an ideal of $I$ with the grading and is often necessary to require. For example, if $I$ is a homogeneous ideal of $A$, then the algebra $A / I$ is graded again. If $I$ is not homogeneous, then it is not graded in general (since the projections of different graded components of $A$ onto $A / I$ might have nonzero intersection).

False: Given a filtered algebra $A$, there is a notion of a "filtered" ideal of $A$.

There is no such notion. We can require $I$ to be generated by $I\cap A_n$ for some $n$, or actually to lie inside $A_n$ for some $n$, but in most cases none of these is actually needed. (Correct me if I am wrong.) Formulations like "Let $I$ be an ideal compatible with (or respecting) the filtration" are cargo cult.

But: Given a filtered algebra $A$ and a generating set $G$ of an ideal $I$ of $A$, it is an important question whether $I\cap A_n$ is generated by $G\cap A_n$ for every $n\in \mathbb N$. This is not always satisfied, often nontrivial (in many cases it can be proved by using the diamond lemma to show that every element of $A_n$ has a unique "remainder" modulo $I$ in a certain sense, and this remainder can be obtained by repeated subtraction multiples of elements of $G\cap A_n$) and used tacitly in various texts.

True: Given a graded algebra $A$, there is a notion of a "homogeneous" ideal of $A$. It is a property that connects an ideal of $I$ with the grading and is often necessary to require. For example, if $I$ is a homogeneous ideal of $A$, then the algebra $A / I$ is graded again. If $I$ is not homogeneous, then it is not graded in general (since the projections of different graded components of $A$ onto $A / I$ might have nonzero intersection).

False: Given a filtered algebra $A$, there is a notion of a "filtered" ideal of $A$.

There is no such notion. We can require $I$ to be generated by $I\cap A_n$ for some $n$, or actually to lie inside $A_n$ for some $n$, but in most cases none of these is actually needed. (Correct me if I am wrong.) Formulations like "Let $I$ be an ideal compatible with (or respecting) the filtration" are cargo cult.

But: Given a filtered algebra $A$ and a generating set $G$ of an ideal $I$ of $A$, it is an important question whether $I\cap A_n$ is generated by $G\cap A_n$ for every $n\in \mathbb N$. This is not always satisfied, often nontrivial (in many cases it can be proved by using the diamond lemma to show that every element of $A_n$ has a unique "remainder" modulo $I$ in a certain sense, and this remainder can be obtained by repeated subtraction multiples of elements of $G\cap A_n$) and used tacitly in various texts.

Post Made Community Wiki
Source Link
darij grinberg
  • 33.8k
  • 4
  • 117
  • 253

True: Given a graded algebra $A$, there is a notion of a "homogeneous" ideal of $A$. It is a property that connects an ideal of $I$ with the grading and is often necessary to require. For example, if $I$ is a homogeneous ideal of $A$, then the algebra $A / I$ is graded again. If $I$ is not homogeneous, then it is not graded in general (since the projections of different graded components of $A$ onto $A / I$ might have nonzero intersection).

False: Given a filtered algebra $A$, there is a notion of a "filtered" ideal of $A$.

There is no such notion. We can require $I$ to be generated by $I\cap A_n$ for some $n$, or actually to lie inside $A_n$ for some $n$, but in most cases none of these is actually needed. (Correct me if I am wrong.) Formulations like "Let $I$ be an ideal compatible with (or respecting) the filtration" are cargo cult.

But: Given a filtered algebra $A$ and a generating set $G$ of an ideal $I$ of $A$, it is an important question whether $I\cap A_n$ is generated by $G\cap A_n$ for every $n\in \mathbb N$. This is not always satisfied, often nontrivial (in many cases it can be proved by using the diamond lemma to show that every element of $A_n$ has a unique "remainder" modulo $I$ in a certain sense, and this remainder can be obtained by repeated subtraction multiples of elements of $G\cap A_n$) and used tacitly in various texts.