The hookrightarrow and its meaningAn “atom” in Boolean algebraWhat is the “circle-plus” symbol I see in Abstract Algebra?Meaning of notation $operatornameord_Q(g)$ in “Algebraic Curves” by FultonWhat does “IR” mean in linear algebra?About the meaning of associated graded idealWhat's a group whose group of automorphisms is non-abelian?Meaning of $1,2,4^5$ in linear algebraProof of Menger's theorem. Having trouble with notationFind the flaw in the given proof.ideal sheaf modulo square of ideal sheaf equals restriction?

SOQL: Populate a Literal List in WHERE IN Clause

Gravity magic - How does it work?

What did Alexander Pope mean by "Expletives their feeble Aid do join"?

What approach do we need to follow for projects without a test environment?

Official degrees of earth’s rotation per day

Interplanetary conflict, some disease destroys the ability to understand or appreciate music

Why doesn't using two cd commands in bash script execute the second command?

How to change two letters closest to a string and one letter immediately after a string using notepad++

If I can solve Sudoku can I solve Travelling Salesman Problem(TSP)? If yes, how?

How to simplify this time periods definition interface?

Gantt Chart like rectangles with log scale

Are there other languages, besides English, where the indefinite (or definite) article varies based on sound?

Why one should not leave fingerprints on bulbs and plugs?

My Graph Theory Students

How difficult is it to simply disable/disengage the MCAS on Boeing 737 Max 8 & 9 Aircraft?

how to write formula in word in latex

Define, (actually define) the "stability" and "energy" of a compound

Sailing the cryptic seas

Why Choose Less Effective Armour Types?

Why does Bach not break the rules here?

How could a scammer know the apps on my phone / iTunes account?

It's a yearly task, alright

Existence of subset with given Hausdorff dimension

Can a druid choose the size of its wild shape beast?



The hookrightarrow and its meaning


An “atom” in Boolean algebraWhat is the “circle-plus” symbol I see in Abstract Algebra?Meaning of notation $operatornameord_Q(g)$ in “Algebraic Curves” by FultonWhat does “IR” mean in linear algebra?About the meaning of associated graded idealWhat's a group whose group of automorphisms is non-abelian?Meaning of $1,2,4^5$ in linear algebraProof of Menger's theorem. Having trouble with notationFind the flaw in the given proof.ideal sheaf modulo square of ideal sheaf equals restriction?













3












$begingroup$


Very weirdly I found a $hookrightarrow $ in my Algebra book just like that. Could someone please just tell me what it means? Sorry for this maybe stupid question in advance but very much appreciate your help!










share|cite|improve this question











$endgroup$







  • 11




    $begingroup$
    Most probably, it denotes an injective morphism.
    $endgroup$
    – Bernard
    5 hours ago










  • $begingroup$
    It's used between groups at this point... pretty weird it wasn't explained before using it.
    $endgroup$
    – KingDingeling
    5 hours ago










  • $begingroup$
    Between groups, I'm sure.
    $endgroup$
    – Bernard
    5 hours ago






  • 4




    $begingroup$
    $Ahookrightarrow B$ primarily means the usual inclusion if $Asubseteq B$, i.e. the restriction of the identity function. More generally, it can also denote arbitrary embedding, which, in algebraic context, is usually the same as 'injective homomorphism'.
    $endgroup$
    – Berci
    4 hours ago











  • $begingroup$
    thanks guys for your help! much appreciated here :)
    $endgroup$
    – KingDingeling
    4 hours ago















3












$begingroup$


Very weirdly I found a $hookrightarrow $ in my Algebra book just like that. Could someone please just tell me what it means? Sorry for this maybe stupid question in advance but very much appreciate your help!










share|cite|improve this question











$endgroup$







  • 11




    $begingroup$
    Most probably, it denotes an injective morphism.
    $endgroup$
    – Bernard
    5 hours ago










  • $begingroup$
    It's used between groups at this point... pretty weird it wasn't explained before using it.
    $endgroup$
    – KingDingeling
    5 hours ago










  • $begingroup$
    Between groups, I'm sure.
    $endgroup$
    – Bernard
    5 hours ago






  • 4




    $begingroup$
    $Ahookrightarrow B$ primarily means the usual inclusion if $Asubseteq B$, i.e. the restriction of the identity function. More generally, it can also denote arbitrary embedding, which, in algebraic context, is usually the same as 'injective homomorphism'.
    $endgroup$
    – Berci
    4 hours ago











  • $begingroup$
    thanks guys for your help! much appreciated here :)
    $endgroup$
    – KingDingeling
    4 hours ago













3












3








3





$begingroup$


Very weirdly I found a $hookrightarrow $ in my Algebra book just like that. Could someone please just tell me what it means? Sorry for this maybe stupid question in advance but very much appreciate your help!










share|cite|improve this question











$endgroup$




Very weirdly I found a $hookrightarrow $ in my Algebra book just like that. Could someone please just tell me what it means? Sorry for this maybe stupid question in advance but very much appreciate your help!







abstract-algebra notation






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited 4 hours ago









J. W. Tanner

3,2701320




3,2701320










asked 5 hours ago









KingDingelingKingDingeling

1837




1837







  • 11




    $begingroup$
    Most probably, it denotes an injective morphism.
    $endgroup$
    – Bernard
    5 hours ago










  • $begingroup$
    It's used between groups at this point... pretty weird it wasn't explained before using it.
    $endgroup$
    – KingDingeling
    5 hours ago










  • $begingroup$
    Between groups, I'm sure.
    $endgroup$
    – Bernard
    5 hours ago






  • 4




    $begingroup$
    $Ahookrightarrow B$ primarily means the usual inclusion if $Asubseteq B$, i.e. the restriction of the identity function. More generally, it can also denote arbitrary embedding, which, in algebraic context, is usually the same as 'injective homomorphism'.
    $endgroup$
    – Berci
    4 hours ago











  • $begingroup$
    thanks guys for your help! much appreciated here :)
    $endgroup$
    – KingDingeling
    4 hours ago












  • 11




    $begingroup$
    Most probably, it denotes an injective morphism.
    $endgroup$
    – Bernard
    5 hours ago










  • $begingroup$
    It's used between groups at this point... pretty weird it wasn't explained before using it.
    $endgroup$
    – KingDingeling
    5 hours ago










  • $begingroup$
    Between groups, I'm sure.
    $endgroup$
    – Bernard
    5 hours ago






  • 4




    $begingroup$
    $Ahookrightarrow B$ primarily means the usual inclusion if $Asubseteq B$, i.e. the restriction of the identity function. More generally, it can also denote arbitrary embedding, which, in algebraic context, is usually the same as 'injective homomorphism'.
    $endgroup$
    – Berci
    4 hours ago











  • $begingroup$
    thanks guys for your help! much appreciated here :)
    $endgroup$
    – KingDingeling
    4 hours ago







11




11




$begingroup$
Most probably, it denotes an injective morphism.
$endgroup$
– Bernard
5 hours ago




$begingroup$
Most probably, it denotes an injective morphism.
$endgroup$
– Bernard
5 hours ago












$begingroup$
It's used between groups at this point... pretty weird it wasn't explained before using it.
$endgroup$
– KingDingeling
5 hours ago




$begingroup$
It's used between groups at this point... pretty weird it wasn't explained before using it.
$endgroup$
– KingDingeling
5 hours ago












$begingroup$
Between groups, I'm sure.
$endgroup$
– Bernard
5 hours ago




$begingroup$
Between groups, I'm sure.
$endgroup$
– Bernard
5 hours ago




4




4




$begingroup$
$Ahookrightarrow B$ primarily means the usual inclusion if $Asubseteq B$, i.e. the restriction of the identity function. More generally, it can also denote arbitrary embedding, which, in algebraic context, is usually the same as 'injective homomorphism'.
$endgroup$
– Berci
4 hours ago





$begingroup$
$Ahookrightarrow B$ primarily means the usual inclusion if $Asubseteq B$, i.e. the restriction of the identity function. More generally, it can also denote arbitrary embedding, which, in algebraic context, is usually the same as 'injective homomorphism'.
$endgroup$
– Berci
4 hours ago













$begingroup$
thanks guys for your help! much appreciated here :)
$endgroup$
– KingDingeling
4 hours ago




$begingroup$
thanks guys for your help! much appreciated here :)
$endgroup$
– KingDingeling
4 hours ago










2 Answers
2






active

oldest

votes


















3












$begingroup$

Resolved in comments, so I'll make this community wiki. $F hookrightarrow G$ denotes the inclusion of $F$ in $G$, with $hookrightarrow$ denoting a monomorphism.






share|cite|improve this answer











$endgroup$




















    1












    $begingroup$

    In an algebraic setting, $hookrightarrow$ denotes a monic map and $twoheadrightarrow$ denotes an epic map.






    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%2f3149834%2fthe-hookrightarrow-and-its-meaning%23new-answer', 'question_page');

      );

      Post as a guest















      Required, but never shown

























      2 Answers
      2






      active

      oldest

      votes








      2 Answers
      2






      active

      oldest

      votes









      active

      oldest

      votes






      active

      oldest

      votes









      3












      $begingroup$

      Resolved in comments, so I'll make this community wiki. $F hookrightarrow G$ denotes the inclusion of $F$ in $G$, with $hookrightarrow$ denoting a monomorphism.






      share|cite|improve this answer











      $endgroup$

















        3












        $begingroup$

        Resolved in comments, so I'll make this community wiki. $F hookrightarrow G$ denotes the inclusion of $F$ in $G$, with $hookrightarrow$ denoting a monomorphism.






        share|cite|improve this answer











        $endgroup$















          3












          3








          3





          $begingroup$

          Resolved in comments, so I'll make this community wiki. $F hookrightarrow G$ denotes the inclusion of $F$ in $G$, with $hookrightarrow$ denoting a monomorphism.






          share|cite|improve this answer











          $endgroup$



          Resolved in comments, so I'll make this community wiki. $F hookrightarrow G$ denotes the inclusion of $F$ in $G$, with $hookrightarrow$ denoting a monomorphism.







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          answered 4 hours ago


























          community wiki





          bounceback






















              1












              $begingroup$

              In an algebraic setting, $hookrightarrow$ denotes a monic map and $twoheadrightarrow$ denotes an epic map.






              share|cite|improve this answer









              $endgroup$

















                1












                $begingroup$

                In an algebraic setting, $hookrightarrow$ denotes a monic map and $twoheadrightarrow$ denotes an epic map.






                share|cite|improve this answer









                $endgroup$















                  1












                  1








                  1





                  $begingroup$

                  In an algebraic setting, $hookrightarrow$ denotes a monic map and $twoheadrightarrow$ denotes an epic map.






                  share|cite|improve this answer









                  $endgroup$



                  In an algebraic setting, $hookrightarrow$ denotes a monic map and $twoheadrightarrow$ denotes an epic map.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered 4 hours ago









                  MPWMPW

                  30.7k12157




                  30.7k12157



























                      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%2f3149834%2fthe-hookrightarrow-and-its-meaning%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







                      Popular posts from this blog

                      कुँवर स्रोत दिक्चालन सूची"कुँवर""राणा कुँवरके वंशावली"

                      Why is a white electrical wire connected to 2 black wires?How to wire a light fixture with 3 white wires in box?How should I wire a ceiling fan when there's only three wires in the box?Two white, two black, two ground, and red wire in ceiling box connected to switchWhy is there a white wire connected to multiple black wires in my light box?How to wire a light with two white wires and one black wireReplace light switch connected to a power outlet with dimmer - two black wires to one black and redHow to wire a light with multiple black/white/green wires from the ceiling?Ceiling box has 2 black and white wires but fan/ light only has 1 of eachWhy neutral wire connected to load wire?Switch with 2 black, 2 white, 2 ground and 1 red wire connected to ceiling light and a receptacle?

                      चैत्य भूमि चित्र दीर्घा सन्दर्भ बाहरी कडियाँ दिक्चालन सूची"Chaitya Bhoomi""Chaitya Bhoomi: Statue of Equality in India""Dadar Chaitya Bhoomi: Statue of Equality in India""Ambedkar memorial: Centre okays transfer of Indu Mill land"चैत्यभमि