PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] unities of ring and subring (Result)

Let $R$ be a ring and $S$ a proper subring of it. Then there exists five cases in all concerning the possible unities of $R$ and $S$

  1. $R$ and $S$ have a common unity.
  2. $R$ has a unity but $S$ does not.
  3. $R$ and $S$ both have their own non-zero unities but these are distinct.
  4. $R$ has no unity but $S$ has a non-zero unity.
  5. Neither $R$ nor $S$ have unity.
Note: In the cases 3 and 4, the unity of the subring $S$ must be a zero divisor of $R$

Examples

  1. The ring $\mathbb{Q}$ and its subring $\mathbb{Z}$ have the common unity 1.
  2. The subring $S$ of even integers of the ring $\mathbb{Z}$ has no unity.
  3. Let $S$ be the subring of all pairs $(a,\,0)$ of the ring $R = \mathbb{Z}\times\mathbb{Z}$ , for which the operations ``$+$ ' and ``$\cdot$ ' are defined componentwise (i.e. $(a,\,b)+(c,\,d) = (a+c,\,b+d)$ , etc.). Then $S$ and $R$ have the unities $(1,\,0)$ and $(1,\,1)$ respectively.
  4. Let $S$ be the subring of all pairs $(a,\,0)$ of the ring $R = \{(a,\,2b)|\,\,\,a\in\mathbb{Z}\,\land \,b\in\mathbb{Z}\}$ (operations componentwise). Now $S$ has the unity $(1,\,0)$ but $R$ has no unity.
  5. Neither the ring $\{(2a,\,2b)|\,\,\,a,\,b\in\mathbb{Z}\}$ (operations componentwise) nor its subring consisting of the pairs $(2a,\,0)$ have unity.




"unities of ring and subring" is owned by pahio.
(view preamble | get metadata)

View style:

See Also: unity of subring


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: operations, even integers, zero divisor, non-zero unities, unities, subring, ring

This is version 2 of unities of ring and subring, born on 2004-11-18, modified 2004-11-19.
Object id is 6491, canonical name is UnitiesOfRingAndSubring.
Accessed 1776 times total.

Classification:
AMS MSC13-00 (Commutative rings and algebras :: General reference works )
 16-00 (Associative rings and algebras :: General reference works )
 20-00 (Group theory and generalizations :: General reference works )

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)