Endomorphism Rings .... Bland, Example 7, Section 1.1 .... ....

  • Context: MHB 
  • Thread starter Thread starter Math Amateur
  • Start date Start date
  • Tags Tags
    Example Rings Section
Click For Summary
SUMMARY

The discussion centers on understanding the notation $$\text{ End}_\mathbb{Z} (G)$$ as presented in Example 7 of Paul E. Bland's book "Rings and Their Modules." The notation signifies the set of all group homomorphisms $$f: G \to G$$ where $$\mathbb{Z}$$ indicates that the underlying structure is a $$\mathbb{Z}$$-module. Participants clarify that $$End_{\mathbb{Z}}(G)$$ is equivalent to $$Hom_{\mathbb{Z}}(G,G)$$, emphasizing that $$\mathbb{Z}$$-modules are additive abelian groups and $$\mathbb{Z}$$-maps are homomorphisms between these groups.

PREREQUISITES
  • Understanding of group homomorphisms
  • Familiarity with the concept of modules over rings
  • Knowledge of additive abelian groups
  • Basic comprehension of notation in abstract algebra
NEXT STEPS
  • Study the properties of $$\mathbb{Z}$$-modules in detail
  • Learn about the structure of homomorphisms between additive abelian groups
  • Explore the implications of the Endomorphism Ring in various algebraic contexts
  • Investigate the relationship between modules and rings in abstract algebra
USEFUL FOR

Mathematicians, students of abstract algebra, and anyone interested in the foundational concepts of rings and modules will benefit from this discussion.

Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
I am reading Paul E. Bland's book, "Rings and Their Modules".

I am focused on Section 1.1 Rings and need some help to fully understand the proof of part of Example 7 on page 10 ... ...

Example 7 on page 10 reads as follows:View attachment 8197In the above example from Bland we read the following:

" ... ... $$\text{ End}_\mathbb{Z} (G) $$ denotes the set of all group homomorphisms $$f \ : \ G \to G$$ ... ... "Can someone explain exactly why $$\mathbb{Z}$$ is in the symbol/notation $$\text{ End}_\mathbb{Z} (G) $$ for the set of all group homomorphisms $$f \ : \ G \to G$$ ... ... ?Peter
 
Physics news on Phys.org
The $”R”$ in $Hom_R(M,N)$ denotes that we are working with $R$-modules and $R$-maps.
$Hom_{\mathbb{Z}}(G,H)$ denotes that we are dealing with $\mathbb{Z}$-modules and $\mathbb{Z}$-maps. Now $\mathbb{Z}$-modules are additive abelian groups and $\mathbb{Z}$-maps are homomorphisms between additive abelian groups.

$End_{\mathbb{Z}}(G)$ is short for $Hom_{\mathbb{Z}}(G,G)$ and the $”\mathbb{Z}”$ denotes that the underlying ring is $\mathbb{Z}$.
 
steenis said:
The $”R”$ in $Hom_R(M,N)$ denotes that we are working with $R$-modules and $R$-maps.
$Hom_{\mathbb{Z}}(G,H)$ denotes that we are dealing with $\mathbb{Z}$-modules and $\mathbb{Z}$-maps. Now $\mathbb{Z}$-modules are additive abelian groups and $\mathbb{Z}$-maps are homomorphisms between additive abelian groups.

$End_{\mathbb{Z}}(G)$ is short for $Hom_{\mathbb{Z}}(G,G)$ and the $”\mathbb{Z}”$ denotes that the underlying ring is $\mathbb{Z}$.
Thanks for the help, steenis ...

Peter
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
1K
Replies
3
Views
1K
  • · Replies 3 ·
Replies
3
Views
997
  • · Replies 2 ·
Replies
2
Views
2K
Replies
6
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
Replies
1
Views
1K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 6 ·
Replies
6
Views
2K