I think a major reason is because Lie algebras don't have an identity, but I'm not really sure.

27$\begingroup$ I don't think this is a reason. The natural ring associated with a Lie algebra is its universal enveloping algebra, which does have an identity. $\endgroup$ – José FigueroaO'Farrill Apr 26 '10 at 10:29

16$\begingroup$ For the same reason you think ideals are interesting. :) $\endgroup$ – Gjergji Zaimi Apr 26 '10 at 11:10

26$\begingroup$ Lie algebras are not associative, so I don't think they should be considered a major answer to the question. The right answer, which is consistent with the examples illustrated in the answers below, is that there are important rings without identity in analysis. This is a nice example of why mathematicians shouldn't closet themselves into their own little area but have some awareness of what goes on in the rest of math: basic examples you seek might not be in your area but could be mother's milk for other areas. $\endgroup$ – KConrad Apr 26 '10 at 17:18

2$\begingroup$ Another argument in favor of requiring rings to have identity: wwwmath.mit.edu/~poonen/papers/ring.pdf $\endgroup$ – Sam Hopkins Aug 13 '14 at 2:21

2$\begingroup$ Even though this question is old, I think it makes sense to make this Community Wiki, in accordance with longstanding MO norms. $\endgroup$ – Todd Trimble♦ Jan 26 '15 at 2:37
The reason is simple: There are many nonunital rings which appear quite naturally.
If $X$ is a locally compact space (in the following every space is assumed to be Hausdorff), then $C_0(X)$, the ring of continuous complexvalued functions on $X$ vanishing at infinity, is a $C^\ast$algebra which is unital if and only if $X$ is compact. If $X = \mathbb{N}$, this is just the ring of sequences converging to $0$. Gelfand duality yields an antiequivalence between unital commutative $C^\ast$algebras and compact spaces, and also between (possibly nonunital) commutative $C^*$algebras (with "proper" homomorphisms) and locally compact spaces (with proper maps). In a very similar spirit ($\mathbb{C}$ is replaced by $\mathbb{F}_2$), there is an antiequivalence between unital boolean rings and compact totally disconnected spaces, and also between Boolean rings and locally compact totally disconnected spaces. OnepointCompactification on the topological side corresponds here to the unitalization on the algebraic side. Perhaps we have the following conclusion: As locally compact spaces appear very naturally in mathematics (e.g. manifolds), the same is true for nonunital rings.
If $A$ is a ring (possibly nonunital), its unitalization is defined to be the universal arrow from $A$ to the forgetful functor from unital rings to rings. An explicit construction is given by $\tilde{A} = A \oplus \mathbb{Z}$ as abelian group with the obvious multiplication so that $A \subseteq \tilde{A}$ is an ideal and $1 \in \mathbb{Z}$ is the identity. Because of the universal property, the module categories of $A$ and $\tilde{A}$ are isomorphic. Thus many results for unital rings take over to nonunital rings.
Every ideal of a ring can be considered as a ring. Important examples also come from functional analysis, such as the ideal of compact operators on a Hilbert space.
What is the reason for considering any algebraic structure? Because it comes up naturally when trying to do other things!
Here's a concrete example. In the Langlands programme one of the main local conjectures is relating representations of a (connected reductive) $p$adic group to representations of a (group related to a) Galois group. Now most of the interesting representations of the $p$adic group are infinitedimensional, so this precludes one of the most powerful things that a representation theorist has in his arsenalnamely the possibility of taking traces. But in fact this can be fixed up very nicely! There is an analogue of the "group ring" of our $p$adic group, namely the space of locallyconstant complexvalued functions on the group with compact support. This space interits an addition (obvious) and a multiplication (convolution: the group has a natural measure on it, namely the Haar measure). So it's an algebra. Furthermore it is easily checked to have no identity element (the "delta function" isn't a locallyconstant function!). However it's also not hard to check that there's an equivalence of categories between (certain) representations of the $p$adic group that one is interested in, and (certain) representations of this algebrathe socalled Hecke algebra. Furthermore elements of the Hecke algebra act via maps with finite image, and so have traces! This is a big win. One can prove linear independence of characters etc etc, and get the powerful techniques back. But no way can the identity map be in this Hecke algebrait certainly doesn't have finite image in general, and hence no trace.
Representations of the Hecke algebra are absolutely crucial in many works on this part of the Langlands correspondence, but they have no identity element. So there is one reason, in my area, at least.

1$\begingroup$ I'm just curious, Kevin, if you're looking at the space of locally constant complex valued functions on a locally compact group G, which is a subspace of L^1(G), can't you just view it as a subspace of the Banach algebra (with identity) M(G) of complex Borel measures on G with convolution (where the "delta function" does exist as a measure)? Perhaps you don't want to leave the space you're working in? I don't really know anything about the applications you're talking about. $\endgroup$ – Keenan Kidwell Apr 26 '10 at 11:25

2$\begingroup$ I'm not so sure that this bigger ring would act on the vector space underlying a smooth representation of $G$. Let me try you on a trivial example. Let $G$ be a locally compact $p$adic group. Fix once and for all a Haar measure on $G$. Let $V$ be the trivial 1dimensional representation of $G$. Then the Hecke algebra of locally constant functions with compact support also acts on $V$: an element $f$ in this Hecke algebra acts by the constant equal to the integral of $f$ over $G$. Would your bigger ring also act naturally on $V$? More worryingly, what if $V$ is countably infinitediml? $\endgroup$ – Kevin Buzzard Apr 26 '10 at 12:15

$\begingroup$ That's a good point. I hadn't even thought of that and it's not clear to me that the bigger ring does have a natural action on V. $\endgroup$ – Keenan Kidwell Apr 26 '10 at 12:24

1$\begingroup$ I was going was going to give the same answer, but you beat me to it! +1! By the way, isn't there a way to construct the Hecke algebra without a choice of a Haar measure by looking at an operation on the measures themselves (the reason, if I remember correctly (though I may be wrong), that we have to fix a Haar measure is because we're applying a duality from integration theory)? $\endgroup$ – Harry Gindi Apr 26 '10 at 12:57

1$\begingroup$ @Harry Gindi: there is, but if you do it like that then you can't interpret the elements as locallyconstant functions on the group, it's slightly more elaborate. It's all explained in Cartier Corvallis. If you're going to go for locallyconstant functions on the group as elements then you clearly need a Haar measure because if K is a compact subgroup with characteristic function f then f*f tells you mu(K). Different choices of Haar measure give you canonically isomorphic algebras though, so another way of doing it would be taking all Haar measures at once and then taking the projective limit. $\endgroup$ – Kevin Buzzard Apr 26 '10 at 17:59
Here is a favorite example. (See also Martin's answer.) Consider $C[0,\infty)$, the continuous complexvalued functions on $[0,\infty)$ with the "multiplication" operation of convolution... $$ f * g (x) = \int_0^x f(t) g(xt)\,dt $$ It is a ring. Without unit. Even an integral domain. Mikusinski[*] said, take the field of fractions. Great. A simple introduction to generalized functions. Now if the student had studied algebra from some perverse textbook that constructed the field of fractions only in the unital case, what is the student to do? Go back to the textbook and check that it works without unit? A good exercise for that student, I guess.
[*] Jan Mikusinski, OPERATIONAL CALCULUS, 1959

10$\begingroup$ I guess MOST textbook only introduce the field of fractions in the unital case. Actually I don't think I'd able to cite one who does it the other way. By the way, what has to do this construction with usual generalized functions (distributions, hyperfunctions...)? $\endgroup$ – Andrea Ferretti Apr 26 '10 at 12:26

4$\begingroup$ @Andrea Ferretti: I think that Hungerford is one such textbook (see the first paragraph above Theorem 4.2 in books.google.com/…). $\endgroup$ – user2734 Apr 26 '10 at 12:40

1$\begingroup$ (But I confess that it is the only such textbook that I have found :) ) $\endgroup$ – user2734 Apr 26 '10 at 13:09

2$\begingroup$ * van der Waerden, ALGEBRA, volume I chapter 3. Section 13 "Quoientenbildung" is carried out starting from an "Integritätsbereich" possibly without unit. $\endgroup$ – Gerald Edgar Apr 27 '10 at 17:56

13$\begingroup$ @Gerald: with respect, your argument about as to why algebra texts should discuss the nonunital case seems exactly wrong to me. Many aspects of the general theory of rings (especially commutative rings) do indeed require a unit (e.g. the existence of maximal ideals), to an extent that a "general nonunital ring" just doesn't behave in the same way as a "general ring". On the other hand, many individual results do carry over to a nonunital context in a straightforward way. If you want to construct fraction fields in rings without unit: sure, just modify the proof in the unital case. $\endgroup$ – Pete L. Clark Feb 3 '11 at 22:40
Perhaps you will find the following remarks of interest, excerpted from the preface of Gardner and Wiegandt: Radical Theory of Rings, 2004.
Some authors deal exclusively with rings with unity element. This assumption is all right and not restrictive, if the ring is ﬁxed, as in module theory or group ring theory or sometimes investigating polynomial rings and power series rings (if the ring of coefficients does not possess a unity element. the indeterminate x is not a member of the polynomial ring). Dealing, however, simultaneously with several objects in a category of rings, demanding the existence of a unity element leads to a bizarre situation. Rings with unity element include among their fundamental operations the nullary operation $\mapsto$ 1 assigning the unity element. Thus in the category of rings with unity element the morphisms, in particular the monomorphisms, have to preserve also this nullary operation: subrings (i.e. subobjects) have to contain the same unity element, and so a proper ideal with unity element is not a subring, although a ring and a direct summand; there are no inﬁnite direct sums, no nil rings, no Jacobson radical rings, the ﬁnite valued linear transformations of an inﬁnite dimensional vector space do not form a ring, etc. Thus, in many, maybe most, branches of ring theory the requirement of the existence of a unity element is not sensible, and therefore unacceptable. This applies also to radical theory. and so in this book rings need not have a unity element.
A lowlevel answer, but I found it pretty surprising: Dimension shifting for Hochschild cohomology is easier to prove for nonunital rings than for unital rings. Let me explain these notions:
Let $A$ be a (not necessarily unital) $k$algebra (with $k$ a commutative ring), and $P$ an $\left(A,A\right)$bimodule. We denote by $C^n\left(A,P\right)$ the (additive) $k$module of all $k$linear homomorphisms $A^{\otimes n}\to P$. We define the differential $\delta:C^n\left(A,P\right)\to C^{n+1}\left(A,P\right)$ by
$\left(\delta f\right)\left(a_1\otimes a_2\otimes ...\otimes a_{n+1}\right)$
$= a_1 f\left(a_2\otimes a_3\otimes ...\otimes a_{n+1}\right) + \sum\limits_{i=1}^n \left(1\right)^i f\left(a_1\otimes a_2\otimes ...\otimes a_{i1} \otimes a_i a_{i+1} \otimes a_{i+2} \otimes a_{i+3} \otimes ... \otimes a_{n+1}\right)$
$ + \left(1\right)^{n+1} f\left(a_1\otimes a_2\otimes ...\otimes a_n\right) a_{n+1}$.
This satisfies $\delta^2 =0$, so we get a cohomology $k$module $H^n\left(A,P\right)$, which is called the $k$th Hochschild cohomology of $A$ and $P$.
Dimensionshifting now states that $H^{m+1}\left(A,P\right) = H^m\left(A,Q\right)$ for any $m\geq 1$, where the $\left(A,A\right)$bimodule $Q$ is the $k$vector space $C^1\left(A,P\right)=\mathrm{Hom}_k\left(A,P\right)$ with $\left(A,A\right)$bimodule structure defined by
$\left(a*f\right)\left(b\right)=a\cdot f\left(b\right)$ for any $a\in A$, $f\in Q$, $b\in A$;
$\left(f*a\right)\left(b\right)=f\left(ab\right)f\left(a\right)b$ for any $a\in A$, $f\in Q$, $b\in A$.
Now, if you try to do this all for rings $A$ with unity and for unital $\left(A,A\right)$bimodules $P$ (id est, the unity of $A$ acts as identity from both sides on $P$), you are in for a bad surprise: Even if $P$ is a unital $A$module, $Q$ isn't necessarily. It's the right $A$action which causes the troubles. What you can do instead is replacing $Q$ by the subset of $Q$ formed by all those $f\in Q$ which satisfy $f\left(1\right)=0$. But now proving $H^{m+1}\left(A,P\right) = H^m\left(A,Q\right)$ isn't as easy anymore, as we have to show that cohomology of normalized cochains is the same as cohomology of cochains (this amounts to finding a chain homotopy, something which is implicit in Hochschild's Annals 1946 paper).


$\begingroup$ I remember this fact annoying/confusing me greatly when I first started to learn the rudiments of Hochschild cohomology. The dimension shift is also annoying in the Banach versions of this, because not only is your shifted module not "unital" or "unitlinked", but the action of the algebra might not be contractive. $\endgroup$ – Yemon Choi Apr 26 '10 at 19:57

1$\begingroup$ This is surely not the reason (nor even a reason) for considering nonunital rings, though! $\endgroup$ – Mariano SuárezÁlvarez Feb 11 '11 at 17:23
To answer a slightly generalized question, there are nonunital ring maps between unital rings that come up naturally. If $e \in A$ is an idempotent, then the ring of elements of the form $eAe$ inherits its additive and multiplicative structure from $A$, but its identity element is $e$ and not $1_A$. For example, if $k$ is a commutative ring and $m < n$ then the map $M_m(k) \to M_n(k)$ given by "padding by 0's" is a natural nonunital map of unital algebras. Under certain circumstances the rings $A$ and $eAe$ are Morita equivalent, so this type of situation can be useful in representation theory.
For work related to radicals of rings, the Köthe Conjecture, etc., it's very useful to consider "rngs" (Louis Rowen's term for rings without identity).
A consequence of using nonunital rings is that you have to postulate that its additive structure is commutative, so that the group additive structure is abelian. This is not necessary for unital rings, since the commutativity of addition is a consequence of the associativity of addition, of the definition of the multiplicative neutral element and of the left and right distributivity of addition for multiplication. I do not know if this fact can be considered as a reason for considering rings without identity. Gérard Lang

$\begingroup$ I don't see it as a reason, but it's a cute fact worth recording. $\endgroup$ – Todd Trimble♦ Jan 25 '15 at 19:57

$\begingroup$ Another thing occurring in $K$algebras without identity [associative or not] is that ideals (as ring) can fail to be $K$submodules (this is automatic in presence of identity). So we have to be careful with using the word "ideal". A typical example is just a 1dimensional Lie algebra (=null ring). $\endgroup$ – YCor Jun 17 '19 at 5:57
One can imagine a point of view that rings without identity appeared at a certain stage of the development of mathematics as a result of the lack of convenient categories. And this concept will die in the future, when new convenient categories become popular enough (and mathematicians will accept the view that nonunital algebras are just ideals of "normal", unital algebras).
For example it's clear to me that the algebra $C_0(X)$, which Martin Brandenburg mentions, appear from the idea that algebras in functional analysis must be Banach algebras (a special case: $C^*$algebras), otherwise they become "too complicated". This idea comes from the fact that until recently in functional analysis the only monoidal closed category of topological vector spaces was the category of Banach spaces.
That's why many functional algebras were constructed as Banach algebras. The same is true for the algebras playing the role of group algebras in functional analysis (Kevin Buzzard mentiones one of them, this is the diversity of convolution algebras like $L_1(G)$, or the Banach algebra of measures on $G$, etc.)  they are mostly also Banach algebras and that is the reason why they often have no identity (the Hecke algebra however has no identity for another reason). And why they are not Hopf algebras (in contrast to the original models in pure algebra). They resemble Hopf algebras, and a mathematician with algebraic training will recognize them as strange substitutes for the usual Hopf algebra of functions on a finite (or algebraic) group. But they are not Hopf algebras. A cynical opinion would be that they are "too ugly for evolution".
As an alternative one can look at the picture from the point of view of another monoidal closed category in functional analysis, the category of stereotype spaces (I am sorry, this is my usual refrain), and everything becomes amazingly simple. The group algebras become "true Hopf algebras" (and "true group algebras"), the necessity to consider algebras without identity disappears, the properties of finiteness like the approximation property are inherited by tensor products, functional analysis becomes much closer to algebra and geometry, unexpected duality theories appear etc., etc., etc.
That would be a point of view of an outside observer.

$\begingroup$ I don't see how the convenient category issue is at all relevant to the desire to work with $L^1({\bf T})$ rather than $\ell^1({\bf T})$. How is the sterotypespace viewpoint supposed to bypass the consideration of $L^1({\bf T})$, which I believe is a legitimate and natural ``algebra without identity''? It is certainly much more tractable than the full measure algebra $M({\bf T})$, even though the latter is unital $\endgroup$ – Yemon Choi Jan 26 '15 at 2:08

$\begingroup$ The functionalgebraic techniques used by e.g. Rudin or Reiter in their books on harmonic analysis on LCA groups would seem to make a good case that $L^1(G)$ is a natural and interesting object to study, even if you prefer the stereotype dual to the norm dual $\endgroup$ – Yemon Choi Jan 26 '15 at 2:12

$\begingroup$ Yemon, I don't understand you. Does anybody consider $\ell^1({\mathbb T})$? The stereotype theory suggests several natural group algebras, in particular, the algebra of measures ${\mathcal C}^\star(G)$, the algebra of distributions ${\mathcal E}^\star(G)$, etc., and they are all Hopf algebras in contrast to $L^1(G)$. The full measure algebra $M({\mathbb T})$ is unital, but it is not a Hopf algebra and not a group algebra, since it does not generate equivalence between representations (of $\mathbb T$ and of $M({\mathbb T})$). $\endgroup$ – Sergei Akbarov Jan 26 '15 at 6:51

$\begingroup$ $M(\mathbb T)$ is a good illustration: if you want to have a Banach algebra, then you get $M(\mathbb T)$, and this is neither a Hopf algebra, nor a group algebra. But if you allow your algebras to be just stereotype, the very same space of measures $M(\mathbb T)$, with the same multiplication (but with another topology) turns into a stereotype Hopf algebra ${\mathcal C}^\star(\mathbb T)$ which is a group algebra. $\endgroup$ – Sergei Akbarov Jan 26 '15 at 8:04