Page 2 of 2 FirstFirst 12
Results 16 to 23 of 23

Math Help - Proof in a topological space

  1. #16
    Senior Member
    Joined
    Jun 2005
    Posts
    295
    Awards
    1
    Quote Originally Posted by ThePerfectHacker
    ... the union/intersection of two subgroups is a subgroup.
    Not so: the union of two subgroups is almost never a subgroup (exercise: when exactly?).
    Follow Math Help Forum on Facebook and Google+

  2. #17
    Grand Panjandrum
    Joined
    Nov 2005
    From
    someplace
    Posts
    14,972
    Thanks
    4
    Quote Originally Posted by ThePerfectHacker
    CaptainBlack what you said is true. I made a mistake in how I posed my question, I wanted to say a subgroup not a subset.

    The revised question:
    1)Let G be a group.
    2)Let P(G)=\{X|X\leq G\}.
    3)Let S=\{\} \cup P(G).
    4)Then S is a topology on G.
    The reason is because the union/intersection of two subgroups is a subgroup.
    You had better tell us what you want the expressions "union of two subgroups"
    and "intersection of two subgroups" to mean. As it is they don't mean
    anything as union and intersection are usually defined on sets. And a
    groups is not a set, a set may be involved but the group is not the set,
    and as rgep points out the naive union/intersection of the associated sets
    of a pair of subgroups is not usually the set associated with another subgroup.

    RonL
    Follow Math Help Forum on Facebook and Google+

  3. #18
    Global Moderator

    Joined
    Nov 2005
    From
    New York City
    Posts
    10,616
    Thanks
    10
    Maybe I did make a mistake. I just remember my book on Abstract Algebra asking to prove the intersection/uninon of groups, is a group something like that. Maybe, it is true for Normal Subgroups I do not remember exactly.

    I do not think I made a mistake. By uninon/intersection I mean S\cup S'=\{x|x\in S \mbox{ or/and } x\in S'\} respectively. I just am visualizing that in my head, I think it is a subgroup.
    Last edited by ThePerfectHacker; January 22nd 2006 at 11:18 AM.
    Follow Math Help Forum on Facebook and Google+

  4. #19
    Grand Panjandrum
    Joined
    Nov 2005
    From
    someplace
    Posts
    14,972
    Thanks
    4
    Quote Originally Posted by ThePerfectHacker
    Maybe I did make a mistake. I just remember my book on Abstract Algebra asking to prove the intersection/uninon of groups, is a group something like that. Maybe, it is true for Normal Subgroups I do not remember exactly.

    I do not think I made a mistake. By uninon/intersection I mean S\cup S'=\{x|x\in S \mbox{ or/and } x\in S'\} respectively. I just am visualizing that in my head, I think it is a subgroup.
    But S' is not in general closed under the group operation, and
    so in general not a subgroup.

    You might want to consider the group \mathcal{G} with the following group multiplication
    table (which if I have done this right makes \mathcal{G}=(\{I,a,b,c\},\otimes) a group):

    \begin{array}{c|ccccc}\otimes&I&a&b&c\\ \hline I&I&a&b&c\\a&a&I&c&b\\b&b&c&I&a\\c&c&b&a&I\end{arr  ay}

    Then: (\{I,a\},\otimes), (\{I,b\},\otimes), (\{I,c\},\otimes), are all subgroups of \mathcal{G},
    but (\{I,a\} \cup \{I,b\},\otimes) is not a group because \{I,a\} \cup \{I,b\}
    is not closed under \otimes

    RonL
    Last edited by CaptainBlack; January 22nd 2006 at 12:19 PM.
    Follow Math Help Forum on Facebook and Google+

  5. #20
    Global Moderator

    Joined
    Nov 2005
    From
    New York City
    Posts
    10,616
    Thanks
    10
    Thank you CaptainBlack, my only mistake was that I assumed that addition was closed.

    Okay now, change the problem, which type of subgroups will form a subgroup?

    By the way, I like your group multiplication box, that probably took a long time in Latex code.
    Follow Math Help Forum on Facebook and Google+

  6. #21
    Grand Panjandrum
    Joined
    Nov 2005
    From
    someplace
    Posts
    14,972
    Thanks
    4
    Quote Originally Posted by ThePerfectHacker
    By the way, I like your group multiplication box, that probably took a long time in Latex code.
    I like it too, but it didn't take long at all, the examples in the manual are
    easy to follow, which is what I did once I had worked out the group table
    that I wanted.

    RonL
    Follow Math Help Forum on Facebook and Google+

  7. #22
    Global Moderator

    Joined
    Nov 2005
    From
    New York City
    Posts
    10,616
    Thanks
    10
    But it is true that the intersection of subgroups is a subgroup.
    Follow Math Help Forum on Facebook and Google+

  8. #23
    Grand Panjandrum
    Joined
    Nov 2005
    From
    someplace
    Posts
    14,972
    Thanks
    4
    Quote Originally Posted by ThePerfectHacker
    But it is true that the intersection of subgroups is a subgroup.
    Apparnetly.

    RonL
    Follow Math Help Forum on Facebook and Google+

Page 2 of 2 FirstFirst 12

Similar Math Help Forum Discussions

  1. A is a subset of a topological space X
    Posted in the Differential Geometry Forum
    Replies: 8
    Last Post: August 28th 2011, 02:40 PM
  2. Topological space
    Posted in the Differential Geometry Forum
    Replies: 2
    Last Post: May 2nd 2010, 09:23 PM
  3. discrete topological space
    Posted in the Differential Geometry Forum
    Replies: 4
    Last Post: October 6th 2009, 03:17 AM
  4. retract in a topological space
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: March 23rd 2009, 11:51 PM
  5. a topological space
    Posted in the Differential Geometry Forum
    Replies: 8
    Last Post: March 8th 2009, 04:39 AM

Search Tags


/mathhelpforum @mathhelpforum