MHB The Category Grp - Aluffi - Section 3.3 - basic question/clarification

  • Thread starter Thread starter Math Amateur
  • Start date Start date
  • Tags Tags
    Section
Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
I am reading Paolo Aluffi's book, Algebra: Chapter 0.

I am studying Chapter II: Groups, first encounter. In Section 3 of this chapter, Aluffi deals with the category Grp in which the objects are groups and the morphisms are group homomorphisms.

Section 3,3, which is a pause for reflection, reads as follows:View attachment 2668

I am somewhat confused by the specific function described in that Aluffi writes:

$$ i_G \: \ G \to G , \ \ i(g) := g^{-1} $$.I have two rather simple questions:

1. Why do we have $$ i_G $$ in one place and $$ i $$ in the other - that is, shouldn't the above read $$ i_G \: \ G \to G , \ \ i_G(g) := g^{-1} $$?

2. Aluffi mentions both the identity element and inverses, but the function he considers seems to only deal with inverses? What is going on?

I realize that these are pretty simple issues, but would appreciate someone clarifying the situation for me.

Peter

***EDIT*** I have been reflecting on the above and now feel, regarding question 2 above, that I misunderstood what Aluffi was saying - the function specified only referred to inverses.
 
Last edited:
Physics news on Phys.org
1. Yes. But the map $i$ and $m$ as well are defined the same way for all groups $G$, so no confusion should occur.

2. The point is: any SEMI-GROUP homomorphism between groups is also a group homomorphism, since for any homomorphism:

$\varphi: G \to G'$

we have:

$\varphi(e_G) = e_{G'}$

$\varphi(g^{-1}) = [\varphi(g)]^{-1}$

which high-lights something about "group-ness", just preserving the map $m$ (in the sense that:

$\varphi \circ m_G = m_{G'} \circ (\varphi \times \varphi)$)

ensures that $\varphi$ preserves $i$ and $e$ (which we can think of as a "special" map $e:1 \to G$):

$\varphi \circ i_G = i_{G'} \circ \varphi$

$\varphi \circ e_G = e_{G'}$

To see why this is special, note that a similar assertion is NOT TRUE for monoids: a semi-group homomorphism between monoids does NOT necessarily preserve the identity, and this condition must be stipulated as an additional condition to have a monoid homomorphism.
 
Thread 'Determine whether ##125## is a unit in ##\mathbb{Z_471}##'
This is the question, I understand the concept, in ##\mathbb{Z_n}## an element is a is a unit if and only if gcd( a,n) =1. My understanding of backwards substitution, ... i have using Euclidean algorithm, ##471 = 3⋅121 + 108## ##121 = 1⋅108 + 13## ##108 =8⋅13+4## ##13=3⋅4+1## ##4=4⋅1+0## using back-substitution, ##1=13-3⋅4## ##=(121-1⋅108)-3(108-8⋅13)## ... ##= 121-(471-3⋅121)-3⋅471+9⋅121+24⋅121-24(471-3⋅121## ##=121-471+3⋅121-3⋅471+9⋅121+24⋅121-24⋅471+72⋅121##...

Similar threads

Back
Top