Sign up ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

A ring need not have a unit element.e.g. even numbers. Can someone give me an example of a ring which doesn't have a unit element but it's subring does have a unit element.

share|cite|improve this question
Take the zero subring. – Jakob Werner Jun 25 '14 at 11:58
What could possibly prohibit this - there is no dependency between the two having unit elements. Unit elements exist independently of this relationship. – The Messiah Jun 25 '14 at 14:23

4 Answers 4

up vote 21 down vote accepted

A simple example:

If $R$ and $S$ are rings, where $R$ has a unit but $S$, doesn't, then $R\times S$ doesn't have a unit, but the subring $R\times\{0\}$ does.

So, for example, you could take the product $\mathbb{Z}\times2\mathbb{Z}$ of the integers and the even integers.

share|cite|improve this answer

There is no reason why not. Even if a ring $A$ fails to have a unit, it can still have an idempotent. If you just take an idempotent, together with all its integer multiples, you get a ring with unit.

(Edited from this point. Thank you for pointing out the flaw).

For example, take $A$ to be $c_{00}$, the set of all sequences $(x_n)_{n\in \mathbb{N}}$ such that all but finitely many $x_n$ are $0$. With pointwise multiplication and addition, this is a ring. The only possible unity would be the constant sequence $x_n = 1$ that obviously does not satisfy the requirement that almost all $x_n$'s are $0$'s. However, $A$ contains idempotents: these are just the $0/1$-valued sequences. To be concrete, take the sequence $e_n$ given by $e_1 = 1$, $e_n = 0$ for $n \neq 1$. Then $e \in A$ and $e^2 = e$. It is now easy to convince yourself that $B := \{k \cdot e \ : \ k \in \mathbb{Z}\}$ is a subring of $A$, and that in fact $B$ is isomorphic to $\mathbb{Z}$.

Other examples when a similar trick would work is $l^1$ (the space of summable sequences), or $L^1(\mathbb{R}) \cap B(\mathbb{R})$, the space of bounded integrable funtcions. The previous example I proposed, $L^1(\mathbb{R})$, fails to be a ring because it is not closed under multiplication.

share|cite|improve this answer
But this isn't a ring, as $L^1(\mathbb R)$ is not closed under pointwise multiplication ... see also user160048's answer below. – martini Jun 25 '14 at 11:20
@martini: Thank you; corrected. – Jakub Konieczny Jun 25 '14 at 12:02

$\mathbb{Z}/(12)$ does have a unit element, so in that sense it is not an example, but its ideal $(3)$ has a (different of course) unit element as well, namely $9$!

share|cite|improve this answer

Here is another example based on matrices. Let $K$ be a field. Consider the set $R$ of matrices of type $$ \begin{pmatrix} a & b \\ 0 & 0 \end{pmatrix} \subset K^{2,2}. $$ Supply $R$ with the usual matrix addition and multiplication. Then $R$ is a ring without unit element. In fact $$ \begin{pmatrix} 1 & b \\ 0 & 0 \end{pmatrix} $$ is a left-sided unit for all $b$, but there is no right unit. However, the set of matrices of type $$ \begin{pmatrix} a & 0 \\ 0 & 0 \end{pmatrix} \subset K^{2,2}. $$ is a subring of $R$, which is even a field.

share|cite|improve this answer

protected by user26857 Aug 17 at 16:05

Thank you for your interest in this question. Because it has attracted low-quality answers, posting an answer now requires 10 reputation on this site.

Would you like to answer one of these unanswered questions instead?

Not the answer you're looking for? Browse other questions tagged or ask your own question.