- #1

- 45

- 0

## Main Question or Discussion Point

Given a ring R, how exactly do I interpret it as a module? A lot of my homework assignments involve treating a ring as "a module over itself" and I don't know precisely what that means.

- I
- Thread starter TMO
- Start date

- #1

- 45

- 0

Given a ring R, how exactly do I interpret it as a module? A lot of my homework assignments involve treating a ring as "a module over itself" and I don't know precisely what that means.

- #2

Infrared

Science Advisor

Gold Member

- 741

- 358

- #3

mathwonk

Science Advisor

Homework Helper

- 10,963

- 1,137

thus it will be exactly what is called an ideal of the ring. in my opinion it is probably better pedadogically, to study ideals first, and then after defining modules to remark that an ideal is just a submodule when the ring is considered a module over itself.

- #4

lavinia

Science Advisor

Gold Member

- 3,236

- 623

Formally, a ring can be thought of as a generalization of a number system such as the the integers. It has a commutative law of addition and a multiplication that distributes over addition.Given a ring R, how exactly do I interpret it as a module? A lot of my homework assignments involve treating a ring as "a module over itself" and I don't know precisely what that means.

A module generalizes the idea of a vector space. It has a commutative law of addition and a multiplication by "scalars" which are elements of a ring (not necessarily a field as in a vector space) and which distributes over addition. However, the elements of the ring may not be elements of the module. For instance any abelian group is a module over the ring of integers.

As @mathwonk points out, modules naturally arise as "ideals" in rings. An ideal is a subgroup of a ring in which the scalars are the ring itself. For example if the ring is the integers, then the even integers are an ideal. Multiplication of an even integer by an arbitrary integer is still even, so the even integers are a module over all of the integers. If the ring is not commutative multiplication by scalars can be different if one multiplies on the right or on the left. One gets the idea of a "left ideal" and a "right ideal" or a "two sided ideal" if multiplication on the left and right both work as scalar multiplication.

Last edited:

- Last Post

- Replies
- 1

- Views
- 1K

- Last Post

- Replies
- 2

- Views
- 2K

- Replies
- 2

- Views
- 1K

- Last Post

- Replies
- 4

- Views
- 2K

- Last Post

- Replies
- 1

- Views
- 2K

- Last Post

- Replies
- 10

- Views
- 907

- Replies
- 7

- Views
- 2K

- Replies
- 1

- Views
- 2K

- Last Post

- Replies
- 10

- Views
- 677

- Last Post

- Replies
- 2

- Views
- 2K