Timeline for Chain of ideals in a BA
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 23, 2011 at 14:20 | comment | added | Joel David Hamkins | GiroCont, you need only take the collection of finite joins of elements of your generating set to get a generating set in the sense of KP Hart. But the set of finite joins from a countable set is still countable, and so the two notions for the ideal are equivalent. | |
| Nov 23, 2011 at 12:44 | comment | added | GiroCont | Thank you. For me, an ideal $I$ is generated by $A$ if $I$ is the intersection of all ideals containing $A$. Your definition is clearly equivalent to mine for $A=\{p\}$ but I am not sure if this actually the same for infinite generating sets. | |
| Nov 23, 2011 at 12:30 | history | answered | KP Hart | CC BY-SA 3.0 |