How do we know $b$ is in $G$? The Next CEO of Stack Overflowa question about group (decomposition of conjugacy classes in normal subgroups)Normal subgroups of $langle(123),(456),(23)(56)rangle$Explanation/How to use the Lattice isomorphism theoremShowing that the intersection of all subgroups of order $n$ is normalLeft Cosets of Cyclic SubgroupOrder of elements in a cyclic group ($mathbb Z_26$)What exactly is the purpose of a coset?Understanding normal subgroup using invariance under conjugationHow do I prove this group is closed under multiplication?If $N/M$ is a normal subgroup of $G/M$ then $N$ is a normal in $G$

Multi tool use
Multi tool use

What day is it again?

Why is information "lost" when it got into a black hole?

What connection does MS Office have to Netscape Navigator?

It is correct to match light sources with the same color temperature?

Help/tips for a first time writer?

Could a dragon use its wings to swim?

Is a distribution that is normal, but highly skewed, considered Gaussian?

What is the difference between "hamstring tendon" and "common hamstring tendon"?

Is there a way to save my career from absolute disaster?

TikZ: How to fill area with a special pattern?

free fall ellipse or parabola?

Man transported from Alternate World into ours by a Neutrino Detector

Physiological effects of huge anime eyes

Reshaping json / reparing json inside shell script (remove trailing comma)

Are the names of these months realistic?

How to avoid supervisors with prejudiced views?

Can Sneak Attack be used when hitting with an improvised weapon?

Would a grinding machine be a simple and workable propulsion system for an interplanetary spacecraft?

Is there a reasonable and studied concept of reduction between regular languages?

Can I calculate next year's exemptions based on this year's refund/amount owed?

Is there an equivalent of cd - for cp or mv

Does the Idaho Potato Commission associate potato skins with healthy eating?

How did Beeri the Hittite come up with naming his daughter Yehudit?

Airplane gently rocking its wings during whole flight



How do we know $b$ is in $G$?



The Next CEO of Stack Overflowa question about group (decomposition of conjugacy classes in normal subgroups)Normal subgroups of $langle(123),(456),(23)(56)rangle$Explanation/How to use the Lattice isomorphism theoremShowing that the intersection of all subgroups of order $n$ is normalLeft Cosets of Cyclic SubgroupOrder of elements in a cyclic group ($mathbb Z_26$)What exactly is the purpose of a coset?Understanding normal subgroup using invariance under conjugationHow do I prove this group is closed under multiplication?If $N/M$ is a normal subgroup of $G/M$ then $N$ is a normal in $G$










2












$begingroup$


I'm having trouble understanding when we can assume that an element is in a group.



Given problem



Let $H$ be a normal subgroup of $G$. Prove that if $ab in H$, then $ba in H$.



Given solution



Let $H$ be a normal subgroup of $G$ and suppose $ab in H$; say $ab = h in H$. Since $H$ is normal, $H$ is closed under conjugation by elements of $G$. In particular, $bhb^-1 in H$. Substituting $h=ab$, we see that $babb^-1 = ba in H$.



Question



Why can we assume $b in G$?



My understanding is that even if the product of two elements is in a group, we can't necessarily assume that the individual elements are also in that group. I'd assume that the same goes for large groups also, i.e., $ab in G nRightarrow a,b in G$.










share|cite|improve this question











$endgroup$







  • 4




    $begingroup$
    Because all your elements need to be taken from $G$; otherwise, the entire problem doesn't make sense from the start. So $a$ and $b$ are assumed to be elements of $G$, as understood from context.
    $endgroup$
    – Arturo Magidin
    Mar 19 at 20:30







  • 4




    $begingroup$
    A more pedantic wording of the original problem would have said something like "Let $H$ be a normal subgroup of $G$ and let $a, b in G$. Prove ...". However, even as written, context makes clear that $a,b in G$ (where else could they come from?)
    $endgroup$
    – Morgan Sherman
    Mar 19 at 20:34






  • 1




    $begingroup$
    What you label "your understanding" is true for subgroups; however, there needs to be a contextual set-with-an-operation from which everything is taken. In some cases this context need not be clear (for example, if we are talking about addition of integers, is our group the integers, the rationals, the reals, the complex numbers, some other set?), in which case it needs to be specified explicitly where the elements are being taken from. But here the only possible context is $G$. So there is an implicity "if $a,bin G$ are such that" in between "Prove that" and "$abin H$".
    $endgroup$
    – Arturo Magidin
    Mar 19 at 20:35










  • $begingroup$
    All very helpful. Thank you.
    $endgroup$
    – Alex Johnson
    Mar 19 at 20:38















2












$begingroup$


I'm having trouble understanding when we can assume that an element is in a group.



Given problem



Let $H$ be a normal subgroup of $G$. Prove that if $ab in H$, then $ba in H$.



Given solution



Let $H$ be a normal subgroup of $G$ and suppose $ab in H$; say $ab = h in H$. Since $H$ is normal, $H$ is closed under conjugation by elements of $G$. In particular, $bhb^-1 in H$. Substituting $h=ab$, we see that $babb^-1 = ba in H$.



Question



Why can we assume $b in G$?



My understanding is that even if the product of two elements is in a group, we can't necessarily assume that the individual elements are also in that group. I'd assume that the same goes for large groups also, i.e., $ab in G nRightarrow a,b in G$.










share|cite|improve this question











$endgroup$







  • 4




    $begingroup$
    Because all your elements need to be taken from $G$; otherwise, the entire problem doesn't make sense from the start. So $a$ and $b$ are assumed to be elements of $G$, as understood from context.
    $endgroup$
    – Arturo Magidin
    Mar 19 at 20:30







  • 4




    $begingroup$
    A more pedantic wording of the original problem would have said something like "Let $H$ be a normal subgroup of $G$ and let $a, b in G$. Prove ...". However, even as written, context makes clear that $a,b in G$ (where else could they come from?)
    $endgroup$
    – Morgan Sherman
    Mar 19 at 20:34






  • 1




    $begingroup$
    What you label "your understanding" is true for subgroups; however, there needs to be a contextual set-with-an-operation from which everything is taken. In some cases this context need not be clear (for example, if we are talking about addition of integers, is our group the integers, the rationals, the reals, the complex numbers, some other set?), in which case it needs to be specified explicitly where the elements are being taken from. But here the only possible context is $G$. So there is an implicity "if $a,bin G$ are such that" in between "Prove that" and "$abin H$".
    $endgroup$
    – Arturo Magidin
    Mar 19 at 20:35










  • $begingroup$
    All very helpful. Thank you.
    $endgroup$
    – Alex Johnson
    Mar 19 at 20:38













2












2








2





$begingroup$


I'm having trouble understanding when we can assume that an element is in a group.



Given problem



Let $H$ be a normal subgroup of $G$. Prove that if $ab in H$, then $ba in H$.



Given solution



Let $H$ be a normal subgroup of $G$ and suppose $ab in H$; say $ab = h in H$. Since $H$ is normal, $H$ is closed under conjugation by elements of $G$. In particular, $bhb^-1 in H$. Substituting $h=ab$, we see that $babb^-1 = ba in H$.



Question



Why can we assume $b in G$?



My understanding is that even if the product of two elements is in a group, we can't necessarily assume that the individual elements are also in that group. I'd assume that the same goes for large groups also, i.e., $ab in G nRightarrow a,b in G$.










share|cite|improve this question











$endgroup$




I'm having trouble understanding when we can assume that an element is in a group.



Given problem



Let $H$ be a normal subgroup of $G$. Prove that if $ab in H$, then $ba in H$.



Given solution



Let $H$ be a normal subgroup of $G$ and suppose $ab in H$; say $ab = h in H$. Since $H$ is normal, $H$ is closed under conjugation by elements of $G$. In particular, $bhb^-1 in H$. Substituting $h=ab$, we see that $babb^-1 = ba in H$.



Question



Why can we assume $b in G$?



My understanding is that even if the product of two elements is in a group, we can't necessarily assume that the individual elements are also in that group. I'd assume that the same goes for large groups also, i.e., $ab in G nRightarrow a,b in G$.







group-theory






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Mar 19 at 20:30









Arturo Magidin

266k34590920




266k34590920










asked Mar 19 at 20:26









Alex JohnsonAlex Johnson

1468




1468







  • 4




    $begingroup$
    Because all your elements need to be taken from $G$; otherwise, the entire problem doesn't make sense from the start. So $a$ and $b$ are assumed to be elements of $G$, as understood from context.
    $endgroup$
    – Arturo Magidin
    Mar 19 at 20:30







  • 4




    $begingroup$
    A more pedantic wording of the original problem would have said something like "Let $H$ be a normal subgroup of $G$ and let $a, b in G$. Prove ...". However, even as written, context makes clear that $a,b in G$ (where else could they come from?)
    $endgroup$
    – Morgan Sherman
    Mar 19 at 20:34






  • 1




    $begingroup$
    What you label "your understanding" is true for subgroups; however, there needs to be a contextual set-with-an-operation from which everything is taken. In some cases this context need not be clear (for example, if we are talking about addition of integers, is our group the integers, the rationals, the reals, the complex numbers, some other set?), in which case it needs to be specified explicitly where the elements are being taken from. But here the only possible context is $G$. So there is an implicity "if $a,bin G$ are such that" in between "Prove that" and "$abin H$".
    $endgroup$
    – Arturo Magidin
    Mar 19 at 20:35










  • $begingroup$
    All very helpful. Thank you.
    $endgroup$
    – Alex Johnson
    Mar 19 at 20:38












  • 4




    $begingroup$
    Because all your elements need to be taken from $G$; otherwise, the entire problem doesn't make sense from the start. So $a$ and $b$ are assumed to be elements of $G$, as understood from context.
    $endgroup$
    – Arturo Magidin
    Mar 19 at 20:30







  • 4




    $begingroup$
    A more pedantic wording of the original problem would have said something like "Let $H$ be a normal subgroup of $G$ and let $a, b in G$. Prove ...". However, even as written, context makes clear that $a,b in G$ (where else could they come from?)
    $endgroup$
    – Morgan Sherman
    Mar 19 at 20:34






  • 1




    $begingroup$
    What you label "your understanding" is true for subgroups; however, there needs to be a contextual set-with-an-operation from which everything is taken. In some cases this context need not be clear (for example, if we are talking about addition of integers, is our group the integers, the rationals, the reals, the complex numbers, some other set?), in which case it needs to be specified explicitly where the elements are being taken from. But here the only possible context is $G$. So there is an implicity "if $a,bin G$ are such that" in between "Prove that" and "$abin H$".
    $endgroup$
    – Arturo Magidin
    Mar 19 at 20:35










  • $begingroup$
    All very helpful. Thank you.
    $endgroup$
    – Alex Johnson
    Mar 19 at 20:38







4




4




$begingroup$
Because all your elements need to be taken from $G$; otherwise, the entire problem doesn't make sense from the start. So $a$ and $b$ are assumed to be elements of $G$, as understood from context.
$endgroup$
– Arturo Magidin
Mar 19 at 20:30





$begingroup$
Because all your elements need to be taken from $G$; otherwise, the entire problem doesn't make sense from the start. So $a$ and $b$ are assumed to be elements of $G$, as understood from context.
$endgroup$
– Arturo Magidin
Mar 19 at 20:30





4




4




$begingroup$
A more pedantic wording of the original problem would have said something like "Let $H$ be a normal subgroup of $G$ and let $a, b in G$. Prove ...". However, even as written, context makes clear that $a,b in G$ (where else could they come from?)
$endgroup$
– Morgan Sherman
Mar 19 at 20:34




$begingroup$
A more pedantic wording of the original problem would have said something like "Let $H$ be a normal subgroup of $G$ and let $a, b in G$. Prove ...". However, even as written, context makes clear that $a,b in G$ (where else could they come from?)
$endgroup$
– Morgan Sherman
Mar 19 at 20:34




1




1




$begingroup$
What you label "your understanding" is true for subgroups; however, there needs to be a contextual set-with-an-operation from which everything is taken. In some cases this context need not be clear (for example, if we are talking about addition of integers, is our group the integers, the rationals, the reals, the complex numbers, some other set?), in which case it needs to be specified explicitly where the elements are being taken from. But here the only possible context is $G$. So there is an implicity "if $a,bin G$ are such that" in between "Prove that" and "$abin H$".
$endgroup$
– Arturo Magidin
Mar 19 at 20:35




$begingroup$
What you label "your understanding" is true for subgroups; however, there needs to be a contextual set-with-an-operation from which everything is taken. In some cases this context need not be clear (for example, if we are talking about addition of integers, is our group the integers, the rationals, the reals, the complex numbers, some other set?), in which case it needs to be specified explicitly where the elements are being taken from. But here the only possible context is $G$. So there is an implicity "if $a,bin G$ are such that" in between "Prove that" and "$abin H$".
$endgroup$
– Arturo Magidin
Mar 19 at 20:35












$begingroup$
All very helpful. Thank you.
$endgroup$
– Alex Johnson
Mar 19 at 20:38




$begingroup$
All very helpful. Thank you.
$endgroup$
– Alex Johnson
Mar 19 at 20:38










1 Answer
1






active

oldest

votes


















1












$begingroup$

Well, your binary group operation $cdot$ is only defined on $G$. That is, its domain is $G times G$. When you write $ab$, this a shorthand for $a cdot b$. But then for the expression to make sense, $a$ and $b$ must be in $G$. Therefore it's a literature convention to imply that by writing $acdot b in H$, we actually mean "$a in G, b in G, a cdot b in H$".



Note that is very different than saying that "$acdot b in H$" implies "$ain H, b in H, ab in H$", because $cdot$ is well-defined on a superset of $H times H$. So, usually literature just implies the minimal requirement for the expression to make sense, that is, $a$ and $b$ are in $G$.






share|cite|improve this answer











$endgroup$













    Your Answer





    StackExchange.ifUsing("editor", function ()
    return StackExchange.using("mathjaxEditing", function ()
    StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
    StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
    );
    );
    , "mathjax-editing");

    StackExchange.ready(function()
    var channelOptions =
    tags: "".split(" "),
    id: "69"
    ;
    initTagRenderer("".split(" "), "".split(" "), channelOptions);

    StackExchange.using("externalEditor", function()
    // Have to fire editor after snippets, if snippets enabled
    if (StackExchange.settings.snippets.snippetsEnabled)
    StackExchange.using("snippets", function()
    createEditor();
    );

    else
    createEditor();

    );

    function createEditor()
    StackExchange.prepareEditor(
    heartbeatType: 'answer',
    autoActivateHeartbeat: false,
    convertImagesToLinks: true,
    noModals: true,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    imageUploader:
    brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
    contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
    allowUrls: true
    ,
    noCode: true, onDemand: true,
    discardSelector: ".discard-answer"
    ,immediatelyShowMarkdownHelp:true
    );



    );













    draft saved

    draft discarded


















    StackExchange.ready(
    function ()
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3154559%2fhow-do-we-know-b-is-in-g%23new-answer', 'question_page');

    );

    Post as a guest















    Required, but never shown

























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    1












    $begingroup$

    Well, your binary group operation $cdot$ is only defined on $G$. That is, its domain is $G times G$. When you write $ab$, this a shorthand for $a cdot b$. But then for the expression to make sense, $a$ and $b$ must be in $G$. Therefore it's a literature convention to imply that by writing $acdot b in H$, we actually mean "$a in G, b in G, a cdot b in H$".



    Note that is very different than saying that "$acdot b in H$" implies "$ain H, b in H, ab in H$", because $cdot$ is well-defined on a superset of $H times H$. So, usually literature just implies the minimal requirement for the expression to make sense, that is, $a$ and $b$ are in $G$.






    share|cite|improve this answer











    $endgroup$

















      1












      $begingroup$

      Well, your binary group operation $cdot$ is only defined on $G$. That is, its domain is $G times G$. When you write $ab$, this a shorthand for $a cdot b$. But then for the expression to make sense, $a$ and $b$ must be in $G$. Therefore it's a literature convention to imply that by writing $acdot b in H$, we actually mean "$a in G, b in G, a cdot b in H$".



      Note that is very different than saying that "$acdot b in H$" implies "$ain H, b in H, ab in H$", because $cdot$ is well-defined on a superset of $H times H$. So, usually literature just implies the minimal requirement for the expression to make sense, that is, $a$ and $b$ are in $G$.






      share|cite|improve this answer











      $endgroup$















        1












        1








        1





        $begingroup$

        Well, your binary group operation $cdot$ is only defined on $G$. That is, its domain is $G times G$. When you write $ab$, this a shorthand for $a cdot b$. But then for the expression to make sense, $a$ and $b$ must be in $G$. Therefore it's a literature convention to imply that by writing $acdot b in H$, we actually mean "$a in G, b in G, a cdot b in H$".



        Note that is very different than saying that "$acdot b in H$" implies "$ain H, b in H, ab in H$", because $cdot$ is well-defined on a superset of $H times H$. So, usually literature just implies the minimal requirement for the expression to make sense, that is, $a$ and $b$ are in $G$.






        share|cite|improve this answer











        $endgroup$



        Well, your binary group operation $cdot$ is only defined on $G$. That is, its domain is $G times G$. When you write $ab$, this a shorthand for $a cdot b$. But then for the expression to make sense, $a$ and $b$ must be in $G$. Therefore it's a literature convention to imply that by writing $acdot b in H$, we actually mean "$a in G, b in G, a cdot b in H$".



        Note that is very different than saying that "$acdot b in H$" implies "$ain H, b in H, ab in H$", because $cdot$ is well-defined on a superset of $H times H$. So, usually literature just implies the minimal requirement for the expression to make sense, that is, $a$ and $b$ are in $G$.







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited Mar 19 at 20:47









        J. W. Tanner

        4,1961320




        4,1961320










        answered Mar 19 at 20:38









        LærneLærne

        2,189518




        2,189518



























            draft saved

            draft discarded
















































            Thanks for contributing an answer to Mathematics Stack Exchange!


            • Please be sure to answer the question. Provide details and share your research!

            But avoid


            • Asking for help, clarification, or responding to other answers.

            • Making statements based on opinion; back them up with references or personal experience.

            Use MathJax to format equations. MathJax reference.


            To learn more, see our tips on writing great answers.




            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3154559%2fhow-do-we-know-b-is-in-g%23new-answer', 'question_page');

            );

            Post as a guest















            Required, but never shown





















































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown

































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown







            p,6IN9,ICV4e37gaFdNB7yiDnFCburE67
            uu F3vduFFVZ3GikqlMFhm,bCmeK4w2ym7h3BDZtez,lWBYJIdkgt,sR

            Popular posts from this blog

            Solar Wings Breeze Design and development Specifications (Breeze) References Navigation menu1368-485X"Hang glider: Breeze (Solar Wings)"e

            Kathakali Contents Etymology and nomenclature History Repertoire Songs and musical instruments Traditional plays Styles: Sampradayam Training centers and awards Relationship to other dance forms See also Notes References External links Navigation menueThe Illustrated Encyclopedia of Hinduism: A-MSouth Asian Folklore: An EncyclopediaRoutledge International Encyclopedia of Women: Global Women's Issues and KnowledgeKathakali Dance-drama: Where Gods and Demons Come to PlayKathakali Dance-drama: Where Gods and Demons Come to PlayKathakali Dance-drama: Where Gods and Demons Come to Play10.1353/atj.2005.0004The Illustrated Encyclopedia of Hinduism: A-MEncyclopedia of HinduismKathakali Dance-drama: Where Gods and Demons Come to PlaySonic Liturgy: Ritual and Music in Hindu Tradition"The Mirror of Gesture"Kathakali Dance-drama: Where Gods and Demons Come to Play"Kathakali"Indian Theatre: Traditions of PerformanceIndian Theatre: Traditions of PerformanceIndian Theatre: Traditions of PerformanceIndian Theatre: Traditions of PerformanceMedieval Indian Literature: An AnthologyThe Oxford Companion to Indian TheatreSouth Asian Folklore: An Encyclopedia : Afghanistan, Bangladesh, India, Nepal, Pakistan, Sri LankaThe Rise of Performance Studies: Rethinking Richard Schechner's Broad SpectrumIndian Theatre: Traditions of PerformanceModern Asian Theatre and Performance 1900-2000Critical Theory and PerformanceBetween Theater and AnthropologyKathakali603847011Indian Theatre: Traditions of PerformanceIndian Theatre: Traditions of PerformanceIndian Theatre: Traditions of PerformanceBetween Theater and AnthropologyBetween Theater and AnthropologyNambeesan Smaraka AwardsArchivedThe Cambridge Guide to TheatreRoutledge International Encyclopedia of Women: Global Women's Issues and KnowledgeThe Garland Encyclopedia of World Music: South Asia : the Indian subcontinentThe Ethos of Noh: Actors and Their Art10.2307/1145740By Means of Performance: Intercultural Studies of Theatre and Ritual10.1017/s204912550000100xReconceiving the Renaissance: A Critical ReaderPerformance TheoryListening to Theatre: The Aural Dimension of Beijing Opera10.2307/1146013Kathakali: The Art of the Non-WorldlyOn KathakaliKathakali, the dance theatreThe Kathakali Complex: Performance & StructureKathakali Dance-Drama: Where Gods and Demons Come to Play10.1093/obo/9780195399318-0071Drama and Ritual of Early Hinduism"In the Shadow of Hollywood Orientalism: Authentic East Indian Dancing"10.1080/08949460490274013Sanskrit Play Production in Ancient IndiaIndian Music: History and StructureBharata, the Nāṭyaśāstra233639306Table of Contents2238067286469807Dance In Indian Painting10.2307/32047833204783Kathakali Dance-Theatre: A Visual Narrative of Sacred Indian MimeIndian Classical Dance: The Renaissance and BeyondKathakali: an indigenous art-form of Keralaeee

            Method to test if a number is a perfect power? Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 23, 2019 at 00:00UTC (8:00pm US/Eastern)Detecting perfect squares faster than by extracting square rooteffective way to get the integer sequence A181392 from oeisA rarely mentioned fact about perfect powersHow many numbers such $n$ are there that $n<100,lfloorsqrtn rfloor mid n$Check perfect squareness by modulo division against multiple basesFor what pair of integers $(a,b)$ is $3^a + 7^b$ a perfect square.Do there exist any positive integers $n$ such that $lfloore^nrfloor$ is a perfect power? What is the probability that one exists?finding perfect power factors of an integerProve that the sequence contains a perfect square for any natural number $m $ in the domain of $f$ .Counting Perfect Powers