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

In summary, Example 7 in Section 1.1 of Paul E. Bland's book "Rings and Their Modules" discusses the notation $End_{\mathbb{Z}}(G)$ as a shorthand for $Hom_\mathbb{Z}(G,G)$, where the underlying ring is $\mathbb{Z}$. This notation is used to denote the set of all group homomorphisms from the group $G$ to itself, where $G$ is considered as a $\mathbb{Z}$-module. This is because $\mathbb{Z}$-modules are additive abelian groups and $\mathbb{Z}$-maps are homomorphisms between such groups. This notation is similar
  • #1
Math Amateur
Gold Member
MHB
3,998
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:

" ... ... \(\displaystyle \text{ End}_\mathbb{Z} (G) \) denotes the set of all group homomorphisms \(\displaystyle f \ : \ G \to G\) ... ... "Can someone explain exactly why \(\displaystyle \mathbb{Z}\) is in the symbol/notation \(\displaystyle \text{ End}_\mathbb{Z} (G) \) for the set of all group homomorphisms \(\displaystyle f \ : \ G \to G\) ... ... ?Peter
 
Physics news on Phys.org
  • #2
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}$.
 
  • #3
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
 

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

What is an endomorphism ring?

An endomorphism ring is a mathematical concept used in abstract algebra that describes the set of all endomorphisms (a type of function) on a given mathematical object, such as a group or vector space. It is denoted by End(R) where R is the object on which the endomorphisms are defined.

What is the significance of studying endomorphism rings?

Studying endomorphism rings is important in understanding the structure and behavior of mathematical objects. It allows for the identification of symmetries and patterns within these objects, and provides a framework for solving problems and proving theorems in abstract algebra.

Can you give an example of an endomorphism ring?

One example of an endomorphism ring is the set of all linear transformations from a vector space V to itself, denoted by End(V). In this case, the endomorphisms are defined as functions that map vectors in V to other vectors in V.

What is Bland's theorem about endomorphism rings?

Bland's theorem, also known as Bland's lemma, is a result in abstract algebra that states that if R is a commutative ring and S is a subring of R, then the endomorphism ring End(S) is isomorphic to a subring of End(R). This theorem has important applications in the study of ring extensions and factorization.

How can endomorphism rings be used to analyze mathematical structures?

Endomorphism rings can be used to analyze mathematical structures by providing a way to classify and compare different objects. By studying the properties and structure of endomorphism rings, mathematicians can gain insight into the underlying structure of the objects they are studying, and use this information to solve problems and develop new theories.

Back
Top