Let F be a nontrivial on X. Prove that the follow- ing statements are equivalent1. F is an ultrafilter.2. (∀A⊆X)A∈F ↔ X−A∈/F.3. (∀A,B⊆X)A∪B∈F → A∈F or B∈F.

Elements Of Modern Algebra
8th Edition
ISBN:9781285463230
Author:Gilbert, Linda, Jimmie
Publisher:Gilbert, Linda, Jimmie
Chapter1: Fundamentals
Section1.2: Mappings
Problem 27E: 27. Let , where and are nonempty. Prove that has the property that for every subset of if and...
icon
Related questions
Topic Video
Question

Let F be a nontrivial on X. Prove that the follow-

ing statements are equivalent
1. F is an ultrafilter.
2. (∀A⊆X)A∈F ↔ X−A∈/F.
3. (∀A,B⊆X)A∪B∈F → A∈F or B∈F.

Expert Solution
steps

Step by step

Solved in 8 steps with 8 images

Blurred answer
Knowledge Booster
Propositional Calculus
Learn more about
Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, advanced-math and related others by exploring similar questions and additional content below.
Recommended textbooks for you
Elements Of Modern Algebra
Elements Of Modern Algebra
Algebra
ISBN:
9781285463230
Author:
Gilbert, Linda, Jimmie
Publisher:
Cengage Learning,
Linear Algebra: A Modern Introduction
Linear Algebra: A Modern Introduction
Algebra
ISBN:
9781285463247
Author:
David Poole
Publisher:
Cengage Learning
Algebra & Trigonometry with Analytic Geometry
Algebra & Trigonometry with Analytic Geometry
Algebra
ISBN:
9781133382119
Author:
Swokowski
Publisher:
Cengage