MHB Basic Question on Modules - Dummit and Foote Chapter 10

  • Thread starter Thread starter Math Amateur
  • Start date Start date
  • Tags Tags
    Modules
Click For Summary
An abelian group M can possess multiple R-module structures even when both M and the ring R are fixed, due to the different ways the ring can act on the group. This variation arises from the potential for different ring homomorphisms from R to the endomorphism ring of M, which can be non-injective. The discussion highlights that the nature of the ring action is crucial in defining distinct module structures. An example illustrating this concept would clarify how different actions can lead to varied module interpretations. Understanding these distinctions is essential for grasping module theory as presented in Dummit and Foote.
Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
I am reading Dummit and Foote Chapter 10: Introduction to Module Theory.

After defining modules and giving some examples, D&F state the following:

"We emphasize that an abelian group M may have many different R-module structures even if the ring R does not vary ... ... "

I am puzzled by this statement ... surely if the abelian group M and the ring R is given, there is only one module being defined ...

Obviously I am wrong in this thought, but can someone please explain why I am wrong ...

Peter

EDIT * presumably the answer has something to do with the operation of the action involved ... but what exactly ...hopefully someone has an example that makes the whole thing clear ...
 
Physics news on Phys.org
Think of the ring action as a ring-homomorphism $R \to \text{End}_{\Bbb Z}(M)$.

There is no reason to suppose this homomorphism is injective.

Recall that any $R/I$-module has a natural interpretation as an $R$-module.
 
I am studying the mathematical formalism behind non-commutative geometry approach to quantum gravity. I was reading about Hopf algebras and their Drinfeld twist with a specific example of the Moyal-Weyl twist defined as F=exp(-iλ/2θ^(μν)∂_μ⊗∂_ν) where λ is a constant parametar and θ antisymmetric constant tensor. {∂_μ} is the basis of the tangent vector space over the underlying spacetime Now, from my understanding the enveloping algebra which appears in the definition of the Hopf algebra...

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 12 ·
Replies
12
Views
635
Replies
1
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K