Does Subring Inherit Same Multiplicative Identity?

  • Thread starter Thread starter boombaby
  • Start date Start date
  • Tags Tags
    Identity
Click For Summary
SUMMARY

The discussion centers on whether a subring inherits the same multiplicative identity as its parent ring. According to Rotman's definition, a subring must include the multiplicative identity of the original ring. However, the example of the subring S={3k | k is integers} within Z_6 illustrates that S has its own multiplicative identity of 3. This raises the question of convention in defining subrings, as many authors stipulate that a subring must share the same multiplicative identity as the original ring.

PREREQUISITES
  • Understanding of ring theory and definitions, particularly regarding rings and subrings.
  • Familiarity with the concept of multiplicative identity in algebraic structures.
  • Knowledge of modular arithmetic, specifically Z_6.
  • Ability to analyze examples of subrings and their properties.
NEXT STEPS
  • Research the definition of subrings in various algebraic texts, focusing on conventions regarding multiplicative identities.
  • Study the properties of Z_n rings and their subrings, particularly in modular arithmetic.
  • Explore examples of rings with different multiplicative identities and their implications for subrings.
  • Examine how different authors define and treat multiplicative identities in ring theory.
USEFUL FOR

Mathematics students, algebraists, and anyone studying ring theory who seeks clarity on the properties and definitions of subrings and multiplicative identities.

boombaby
Messages
129
Reaction score
0
should the subring inherit the same multiplicative identity of the original ring? assuming multiplicative identity is required in the definition of ring.

according to the book (Rotman's), [tex]1\in S[/tex] is required. But, does it mean S contains the same multiplicative identity, or contains its own multiplicative identity?

Consider Z_6 defined on Z by taking mod 6. And its subset S={3k| k is integers} equipped with the same operations as in Z_6.
S is itself a ring, having multiplicative identity 3. I'm wondering if S is called a subring of Z_6?
 
Physics news on Phys.org
It's a matter of convention. Most authors, when they require rings to have a multiplicative identity, will stipulate that a subring must have the same multiplicative identity as the ring.
 
Thanks a lot!
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 8 ·
Replies
8
Views
4K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 5 ·
Replies
5
Views
1K
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 17 ·
Replies
17
Views
7K