How define a Noetherian ring without unity? I found this link. It says that we can define a Noetherian ring $R$ that need not have unity element. 
Note that, in my book, a Noetherian ring is a commutative ring $R$  with the property that every ideal in $R$ is finitely generated. How could we define the concept "Ideal is generated by a finite set" on a ring which don't have unity? (The definition of "Ideal is generated by a set" in Roman's Advanced Linear Algebra require that $R$ is a ring with unity element.)
My question is how can we define a Noetherian ring $R$ that need not have unity element? 
Thanks a lot.
 A: A Noetherian ring, as you probably know, is a ring which satisfies the ascending chain condition. That is, every chain of ideals with $I_n \subset I_{n+1}$ has some $m$ above which all $I_n = I_{n+1}$ for $n > m$  
This has nothing to do with the existence of a neutral element, and can be satisfied by rings without unity. 
A: When $R$ is a rng, then the ideal $\langle X \rangle$ generated by a subset $X \subseteq R$ is defined as the intersection of all ideals of $R$ containing $X$. In other words, it is the smallest ideal of $R$ (with respect to inclusion) that contains $X$. Explicitly, it is the $\mathbb{Z}$-span of $X \cup R \cdot X \cup X \cdot R \cup R \cdot X \cdot R$. Thus, elements are finite sums of elements of the form $x$, $r \cdot x$, $x \cdot r$, and $r \cdot x \cdot s$, where $r,s \in R$ and $x \in X$. Thus, the element structure gets a little bit more complicated as for rings, where we only need the $\mathbb{Z}$-span of $R \cdot X \cdot R$ (contrary to what has been claimed in the comments so far), only the abstract definition stays the same.
A rng is called noetherian when every ascending chain of ideals is stationary. By the usual proof, this is equivalent to the condition that every ideal is finitely generated. You can use the abstract definition which I have given above, you won't need elements.
The left ideal generated by $X$ is the smallest left ideal containing $X$, and it is the $\mathbb{Z}$-span of $X \cup R \cdot X$. Again a rng is called left noetherian when the ascending chain condition holds for left ideals, and this is satisfied if and only if every left ideal is finitely generated. By duality, the same statements hold with "left" replaced by "right".
