Content deleted Content added
Adding short description: "Model of set theory constructed using permutations" (Shortdesc helper) |
Added in “finite” unions since ideals do not have to be complete to generate a dual filter. Tags: Mobile edit Mobile app edit iOS app edit |
||
Line 17:
==Construction of filters on a group==
A filter on a group can be constructed from an invariant ideal on of the Boolean algebra of subsets of ''A'' containing all elements of ''A''. Here an ideal is a collection ''I'' of subsets of ''A'' closed under taking finite unions and subsets, and is called invariant if it is invariant under the action of the group ''G''. For each element ''S'' of the ideal one can take the subgroup of ''G'' consisting of all elements fixing every element ''S''. These subgroups generate a normal filter of ''G''.
==References==
| |||