Fruits of procrastination

Month: October, 2013

Some facts, better explained, from Atiyah-Macdonald

Today we shall discuss some interesting properties of elements of a ring.

1. If a\in R is not a unit, then it is present in some maximal ideal of the ring R. Self-explanatory.

2. If a is present in every maximal ideal, then 1+xa is a unit for all x\in R. Proof: Let 1+xa not be a unit. Then it is present in some maximal ideal (from 1). Let 1+xa=m, where m is an element from the maximal ideal 1+xa is a part of. Then 1=m-xa. Hence, 1 is also a member of the maximal ideal, which is absurd.

Let’s break down this theorem into elementary steps, and present a better proof (than given on pg.6 of “Commutative Algebra” by Atiyah-Macdonald). If x\in M_1 for some maximal ideal M_1, then 1\pm xy\notin M_1 for all y\in R. Similarly, If x\in M_2 for some maximal ideal M_2, then 1\pm xy\notin M_2 for all y\in R. This argument can then be extended to the fact that if x\in all maximal ideals, then 1\pm xy\notin any maximal ideal for all y\in R. An element not there in any maximal ideal is a unit. Hence, 1\pm xy is a unit.

3. If 1-xy is a unit for all y\in R, then x is part of every maximal ideal in R. Proof: Let is assume x is not part of some maximal ideal. Then there exists some m\in that maximal ideal such that m+xy=1. This implies that m=1-xy, which is impossible as 1-xy is a unit. The same argument can be used for 1+xy.


On pg.6 of Atiyah-Macdonald, it is mentioned that if a,b,c are ideals, then a\cap (b+c)=a\cap b+a\cap c if b\subseteq a and c\subseteq a. It is not elaborated in the book, and the flippant reader may be confused. I’d like to elaborate on this concept.

a\cap (b+c) consists of those elements in b+c which are also there in a. Now elements of a\cap (b+c)=[(b+c) wrt those elements of both b and c that are in a] \bigcup [(b+c) wrt those elements of b that are in a and those elements of c that are not] \bigcup [(b+c) wrt those elements of b that are not in a and those elements of c that are] \bigcup [(b+c) wrt those elements of both b and c that are not in a]

The second and the third terms are null sets, as can be easily seen.

The fourth term is NOT necessarily empty. However, it becomes an empty set if b,c\subseteq a. It may also become an empty set under other conditions which ensure that if both b and c are not in a, then b+c\notin a.

In summation, a\cap (b+c)=a\cap b+a\cap c is definitely true when b,c\subseteq a. However, it is also true under other conditions which ensure that the fourth term is an empty set.


I have extended a small paragraph in Atiyah-Macdonald to a full-fledged exposition: (a,b,c and d are ideals in commutative ring R)

1. a\cup (b+c)\subseteq(a\cup b)+(a\cup c)– Both sides contain all elements of a and b+c. Remember that b\cup c\subseteq b+c. However, the right hand side also contains elements of the form a+b and a+c, which the left hand side does not contain.

2. a\cap (b+c)– This has already been explained above.

3. a+(b\cup c)=(a+b)\cup (a+c)– Both are exactly the same.

4. a+ (b\cap c)\subseteq (a+b)\cap (a+c)– There might be b_1,c_1\notin b\cap c such that a'+b_1=a''+c_1. However, any element in a+(b\cap c) will definitely be present in (a+ b)\cap (a+c).

5. a(b\cup c)\supseteq ab\cup ac– LHS contains elements of the form a'b_1+a''c_1, which the RHS doesn’t. In fact, LHS is an ideal while the RHS isn’t. You might wonder how LHS is an ideal. I have just extended the algorithm used to make AB an ideal when A and B are both ideals to situations in which A is an ideal and B is any subset of R.

6. a(b\cap c)\subseteq ab\cap ac– The RHS may contain elements of the form a'b_1=a''c_1 for b_1,c_1\notin b\cap c.

7. a(b+c)=ab+ac– Easy enough to see.

8. (a+b)(c\cap d)=(c\cap d)a+(c\cap d)b\subseteq(ac\cap ad)+(bc\cap bd)

From this formula, we have (a+b)(a\cap b)\subseteq (a\cap ab)+(b\cap ab)\subseteq ab.
This fact is mentioned on pg.7 of Atiyah-Macdonald.

9. (a+b)(c\cup d)= (c\cup d)a+(c\cup d)b= (ca\cup da)+(cb\cup db).

From this formula, we have (a+b)(a\cup b)=(a^2\cup ab)+(b^2\cup ab)\supseteq ab.

The existence or inexistence of a maximal element

Have you ever wondered why the real number line does not have a maximal element?
Take \Bbb{R}. Define an element \alpha. Declare that \alpha is greater than any element in in \Bbb{R}. Can we do that? Surely! We’re defining it thus. In fact, \alpha does not even have to be a real number! It can just be some mysterious object that we declare to be greater than every real number. Note that \alpha is greater than real number, but it is not the maximal element of \Bbb{R}, as for that it will have to be a part of \Bbb{R}. Why can’t \alpha be a part of \Bbb{R}? We’ll see in the next paragraph. 

However, it is when we assert that \alpha has to be a real number that we begin to face problems. If \alpha is a real number, then so is \alpha+1. Thereby, we reach a contradiction, showing that no real number can exist which is greater than all other real numbers.

Another approach is to take the sum of all real numbers. Let that sum be \mathfrak{S}, which is greater than any one real number. However, as the sum of real numbers is a real number by axiom (\Bbb{R} is a field), \mathfrak{S} is also a real number, which is smaller than the real number \mathfrak{S}+1. If we did not have the axiom that the sum of real numbers should be a real number, then we’d be able to create a number greater than all real numbers. The same argument would work if we were to multiply all real numbers.


Now I’d like to draw your attention to the proof of the fact that every ring must have a maximal ideal, as given on pg. 4 of the book “Commutative Algebra” by Atiyah-Macdonald. The gist of the proof is: take every ideal which is a proper subset of the ring, and find its union. This union is the maximal ideal.

Why this proof works is that we wouldn’t know which element to add to make the ideal bigger. If we could construct a bigger ideal for any ideal we choose, we can prove that no maximal ideal exists. But whatever element we choose to add to the previous ideal, we have no reason to suspect that that element does not already exist in it.

Let us generalize this argument. Let us take a set of elements, define an order between the elements, and then declare the existence of a maximal element which is part of the set. If we cannot prove that a bigger element exists, then there is no contradiction, and hence that element is indeed a maximal element of the set. This argument works if we were to prove that every ring has a maximal ideal, and does not if we were to prove that \Bbb{R} has a maximal element.


Breaking down Zorn’s lemma

Today I’m going to talk about Zorn’s lemma. No. I’m not going to prove that it is equivalent ot the Axiom of Choice. All I’m going to do is talk about what it really is. Hopefully, I shal be able to create a visually rich picture so that you may be able to understand it well.

First, the statement.

“Suppose a partially ordered set P has the property that every chain (i.e. totally ordered subset) has an upper bound in P. Then the set P contains at least one maximal element.”

Imagine chains of elements. Like plants. These may be intersecting or not. Imagine a flat piece of land, and lots of plants growing out of it. These may grow straight, or may grow in a crooked fashion, intersecting. These plants are totally ordered chains of elements. Now as all such chains have a maximal elements, imagine being able to see the tops of each of these plants. Not three things: 1. Each tree may have multiple tops (or maximal elements). 2. There may be multiple points of intersection between any two trees. 3. Different plants may have the same maximal element.

Moreover, there may be small bits of such plants lying on the ground. These are elements that are not part of any chain. If any such bit exists on the ground, then we have a maximal element. Proof: If it could be compared to any other element, it would be on a chain. If it can’t be compared to any other element, it’s not smaller than any element.

Let us suppose no such bits of plants exist. Then a maximal element of any chain will be the maximal element of the whole set! Proof: It is not smaller than any element in its own chain. It can’t be compared with the chains which do not intersect with this chain. And as for chains that intersect with this chain, if the maximal element is the same, then we’re done. If the maximal elements are not the same, then too the two maximal elements can’t be compared. Hence, every distinct maximal element is a maximal element of the whole set.

Assuming that the set is non-empty, at least one plant bit or chain has to exist. Hence, every partially ordered set has at least one maximal element. The possible candidates are plant bits (elements not in any chain) and plant tops (maximal elements of chains).

The mysterious linear bounded mapping

What exactly is a linear bounded mapping? The definition says T is called a linear bounded mapping if \|Tx\|/\|x\|\leq c. When you hear the word “bounded”, the first thing that strikes you is that the mappings can’t exceed a particular value. That all image points are within a finite outer covering. That, unfortunately, is not implied by a linear bounded mapping.

The image points can lie anywhere in infinite space. It is just that the vectors with norm 1 are mapped to vectors whose norms have a finite upper bound (here the upper bound is c. One may also refer to it as \|T\|). Say a is a vector which is mapped to Ta. Then sa will be mapped to sTa, where s is a scalar. This is how the mapping is both bounded (for vectors with norm 1) and linear (T(\alpha x+\beta y)=\alpha Tx+\beta Ty).

Could this concept be generalized? Of course! We could have quadratic bounded mappings: vectors with norm 1 are mapped in a similar way as linear bounded mappings, and T(\alpha x)=\alpha^2 Tx. What about T(\alpha x+\beta y)? Let r be a scalar such that \|r(\alpha x+\beta y)\|=1. Then T(\alpha x+\beta y)=\frac{1}{r^2} T(r(\alpha x+\beta y)). Similarly we could have cubic bounded mappings, etc.

Then why are linear bounded mappings so important? Why haven’t we come across quadratic bounded mappings, or the like? This is because linear bounded mappings are definitely continuous, whist not much can be said about other bounded mapppings. Proof: \|T(x-x_0)\|\leq c\|x-x_0\|\implies \|Tx-Tx_0\|\leq c\|x-x_0\| implies that linear bounded mappings are continuous. Does this definitely prove that quadratic bounded mappings are not continuous? No. All that is shown here is that we can’t use this method to prove that quadratic or other bounded mappings are continuous.  

The “supremum” norm

Today I shall speak on a topic that I feel is important.

All of us have encountered the “\sup” norm in Functional Analysis. In C[a,b], \|f_1-f_2\|=\sup|f_1x-f_2x| for x\in X. In the dual space B(X,Y), \|T_1x-T_2x\|=\sup\limits_{x\in X}\frac{\|(T_1-T_2)x\|}{\|x\|}. What is the utility of this “sup” norm? Why can’t our norm be based on “inf” or the infimum? Or even \frac{\sup+\inf}{2}?

First we’ll talk about C[a,b]. Let us take a straight line on the X-Y plane, and a sequence of continuous functions converging to it. How do we know they’re converging? Through the norm. Had the norm been \inf, convergence would only have to be shown at one point. For example, according to this norm, the sequence f_n=|x|+\frac{1}{n} converges to y=0. This does not appeal to our aesthetic sense, as we’d want the shapes of the graphs to gradually start resembling y=0.  

Now let’s talk about B(X,Y). If we had the \inf norm, then we might not have been able to take every point x\in X and show that the sequence (T_n x), n\in\Bbb{N} is a cauchy sequence. So what if we cannot take every x\in X and say (T_n x) is a cauchy sequence? This would crush the proof. How? Because then \lim\limits_{n\to\infty} T_n would not resemble the terms of the cauchy sequence at all points in X, and hence we wouldn’t be able to comment on whether \lim\limits_{n\to\infty} T_n is linear for all x\in X or not. Considering that B(X,Y) contains only bounded linear operators, the limit of the cauchy sequence (T_n) not being a part of B(X,Y) would prove that B(X,Y) is not complete. Hence, in order for us to be able to prove that \lim\limits_{n\to\infty} T_n is linear and that B(X,Y) is complete, we need to use the \sup norm.

On making a choice between hypotheses

At 15:33, Peter Millican says “How can any criterion of reliable knowledge be chosen, unless we already have some reliable criterion for making that choice?”

What does this actually mean? Say I have two hypotheses- A and B. One of them is true, whilst the other is false. But I don’t know which is which. How should I choose? Maybe I should choose the one which corroborates the existing body of knowledge to a greater extent. Or I could choose the one which corroborates my personal experiences to a greater extent (my personal experiences and the existing body of knowledge would certainly overlap, but the former may or may not be a subset of the latter). Clearly, we have a problem here. On what criterion should I base my selection. This is precisely the question being discussed here.

This, I feel brings us to an even more fundamental question: How do we make choices? Let us suppose I have to choose between two identical bars, based on just sight. One is a gold bar, and the other an imitation. As they’re exactly identical, I have no reason to choose one over the other. This of course is true only after removing biases like “I should choose the bar on the left as the left is my lucky side; Today is the 13th, and I had an accident on the 13th while turning to the right, hence I should choose left, etc”. Hence, the criterion for selection, without the addition of any further knowledge, would be arbitrary.

However, when making choices between two non-identical hypotheses, we have a definite bias. I might say my textbook supports A. Or that my personal experiences support B. Now based on whether I trust my textbook more or my personal experiences and reasoning, I shall make a choice accordingly. The criterion for making a choice in such situations is hence based on evaluating biases, of one form or another, and deciding which choice I’m naturally more inclined or biased towards. A lot of this evaluation takes place implicitly in the brain in our daily lives.

This of course is assuming the choice-making process is completely rational, which it is not in humans. I could, for example, arbitrarily choose the option which the weighted sum of my biases do not support.

The factoring of polynomials

This article is about the factorization of polynomials:

First, I’d like to discuss the most important trick that is used directly or implicitly in most of the theorems given below. Let us consider the polynomial f(x)=(a_mx^m+a_{m-1}x^{m-1}+\dots+a_0)(b_nx^n+b^{n-1}x^{n-1}+\dots+b_0). Let a_i be the first coefficient, starting from a_0, not to be a multiple of p in a_mx^m+a_{m-1}x^{m-1}+\dots+a_0. Let b_j be the first such coefficient in b_nx^n+b^{n-1}x^{n-1}+\dots+b_0. Then the coefficient of x^r in f(x) where r\leq i+j-1 is definitely a multiple of p, the coefficient of x^{i+j} is definitely NOT a multiple of p, and the coefficient of x^t where t>i+j, we can’t say anything about, except for the coefficient of x^{m+n} which is definitely not a multiple of p.

1. Gauss’s lemma (polynomial)- A primitive polynomial is one one with integer coefficients such that the gcd of all the coefficients is 1. The lemma states that if a primitive polynomial is irreducible over \Bbb{Z}, then it is irreducible over \Bbb{Q}. In other words, if a primitive polynomial has a root, it has to be an integer. The converse is also obviously true, as \Bbb{Z\subset Q}. A very interesting proof can be found here, although Proof 1 is not completely correct. The characterization of c_{i+j} should actually be \sum\limits_{k\leq m,i+j-k\leq n}{a_k b_{i+j-k}}. This is to include the possibility of i+j>m or i+j>n. Also, note that in all other coefficients a_rx^r\in f(x)g(x), we are unlikely to find a glaring contradiction (that p doesn’t divide this coefficient). This proof by explicit demonstration is indeed brilliant. But wait. This just proves that the product of primitive polynomials is primitive. It doesn’t prove that a primitive polynomial can only be factored into primitive polynomials. This proves the aforementioned. The most important thing to concentrate on here is the how to convert rational polynomials into a constant times a primitive polynomial. Any irreducible polynomial can be converted into a constant times a product of two primitive polynomials. It is only when the original polynomial is also primitive that this constant is 1.

2. Rational root theorem- It states that if a polynomial with integer coefficients has a rational root \frac{p}{q}, then p divides the constant and q divides the leading coefficient (if the polynomial is a_n x^n +a_{n-1}x^{n-1}+\dots +a_0, then p|a_0 and q|a_n). A proof is given here. I’d like to add certain things to the proof given in the article for a clearer exposition. First of all, by taking out the integral gcd of the coefficients, make the polynomial primitive. Let the gcd be g. Deal with this primitive polynomial. Using Gauss’s lemma and the proof in the article, we can easily deduce that q|\frac{a_n}{g} and p|\frac{a_0}{g}. This both these are true, and as g is an integer, we get q|a_n and p|a_0.

3. Eisenstein criterion- The statement and the proof are given here. I want to discuss the true essence of the proof. The most important condition is that p^2\not| a_0. What this essentially does is it splits p between b_0 and c_0; ie it can’t divide both. How does the splitting of p change anything? We’ll come to that. Another important condition is that p\not| a_n. This forces us to conclude that not all b_i or c_i are divisible by p. Hence, there is a first element b_r and a c_t which are not divisible by p. If p\not|b_0, then a_t is not divisible by p, which contradicts the third condition that p|a_i for i<m+n. How? Because a^t=b_0c_t+b_1c_{t-1}+\dots+b_tc_0.All terms except b_0c_t are divisible by p. This is where the splitting helped. If there was no such splitting (if p^2|b_0c_0) then a_t could have been divisible by p). Similarly, if p\not| c_0, then p\not|a^r. Remember the point that I elaborated at the very beginning of the article? Try to correlate that with this proof. Here a_{i+j} becomes a_t or a_r, as the first coefficient not to be divisible by p is b_0 or c_0.

Proving J[i] is a Euclidean ring.

Today we’ll try to realign our intuition with the standard textbook proof of “J[i] is a Euclidean ring”.

J[i] denotes the set of all complex numbers of the form a+bi where a and b are integers. d(a+bi)=a^2+b^2.

Let us take two complex numbers m+in, c+id\in J[i]. Let m=qc+r_1 and n=wd+r_2, where d(r_1)<d(c) and d(r_2)<d(d). Then if there exists a complex number x+iy such that m+in=(x+iy)(c+id)+(r_1+ir_2), we’ll be done. This is because if d(r_1)<d(c)\implies r_1^2<c^2 and d(r_2)<d(d)\implies r_2^2<d^2, then r_1^2+r_2^2<c^2+d^2, which in turn implies d(r_1+ir_2)<d(c+id). This is what we wanted.


According to the conditions stated, we have xc-yd=qc and xd+yc=wd. From these two equations, we need to determine the values of x and y, and prove x+iy\in J[i]. The equations simplify to x(c^2+d^2)=qc^2+wd^2 and y(c^2+d^2)=cd(w-q). Are x and y integers, provided c,d,q and w are? A quick verification should tell you this is not true (try substituting c=3,d=4,q=2 and w=3). Then is there no such element x+iy\in J[i] such that this condition is satisfied? The fact that we’ve failed to find such an element does not imply one cannot exist. Note that our approach had several restrictions like xc-yd=qc, etc.

Let us now go to the book’s proof. The book first proves it for integers. A noteworthy step is ensuring the absolute value of the remainder is \leq\left|\frac{1}{2}n\right|. Then it takes x\overline{x}, which is a positive integer, and uses it in a particular fashion to prove that a=bq+r where d(r)<d(b). Don’t worry if you don’t get what I’m talking about. This proof is present in its entirety on pg.150 in “Topics in Algebra” by Herstein.

How different is this from our earlier method? Earlier we were concerned with quotients and remainders of m and n. The element x+iy and r_1+ir_2 were, for some reason, thought to be of a pre-set nature; r_1 was thought to be x\mod c and r_2 was thought to be d\mod d. Here, we have no such pre-sets. There are two main techniques here, which are analyzed below:

1. |u_1|\leq\left|\frac{1}{2}n\right| and |v_1|\leq\left|\frac{1}{2}n\right|. What does this do? It ensures that d(u_1+iv_1)<d(n). Had we not ensured these bounds, it is possible that u_1^2+v_1^2 would have exceeded n^2. Note that the bounds of u_1 and v_1 cannot be made much sharper; in other words, we can’t ensure that |u_1|<\leq\left|\frac{1}{3}n\right|, etc.

2. The observation that d(a(b+c))=d(a)d(b+c). This is only possible under the current definition of d. If d(ab)=a+b, then this wouldn’t be true.

Let x+iy,m+in and c+id have the same descriptions as given at the beginning of the article. What ultimately is the nature of x+iy? If m(c^2+d^2)=q(c^2+d^2)+u_1 where |u_1|\leq\left|\frac{1}{2}(c^2+d^2)\right|, then x=q. Similarly, if n(c^2+d^2)=r(c^2+d^2)+v_1 where |v_1|\leq\left|\frac{1}{2}(c^2+d^2)\right|, then y=r. This is different from the nature of x+iy that we’d initially thought of. No surprise then that our approach didn’t work.

Euclidean rings and prime factorization

Now we will talk about the factorization of elements in Euclidean rings. On pg.146 of “Topics in Algebra” by Herstein, it says:

“Let R be a Euclidean ring. Then every element in R is either a unit in R or can be written as the product of a finite number of prime elements in R.”

This seems elementary. Take any element a\in R. If it is prime, then we’re done. If it is not, then keep on splitting it into factors. For example, let a=bc. If b is prime, then we leave it as it is. If it is not (if b=fg), we split it as fgc. The same with c, and so on.

The theorem says a can be represented as the product of a finite number of primes. But what if this splitting is a never-ending process? We don’t face this problem with \Bbb{N}, as splitting causes positive integers to decrease in magnitude and there’s a lower limit to how much a positive integer can decrease. But we might face this problem with other Euclidean rings.

Circumventing this problem throws light on a fact that is often forgotten. d(a)\leq d(ab). When we take a and start splitting it, we’re decreasing the d-values of the individual factors as we continue to split them. Note that we will not split an associate into a unit and its associate. For example, if f and g are associates, and a=ft, then we will not split f=u_1 g where u_1 is a unit, as we’re only looking to split elements that are not prime. Hence, if only splittings involving units are possible for f, then we know that f is prime, and leave it as it is. Let us suppose f=pq where neither p nor q s a unit. Then d(p),d(q)<d(f), as they’re not associates. This shows that as we keep splitting non-prime elements into factors that are not units, then the d-value of each individual factor keeps strictly decreasing. This has a lower bound as d-values are positive real numbers, and we’re bound to arrive upon a finite factorization in a finite number of steps.  

What’s the deal with units then? We’ll return to this after a short discussion on d(0) and d(1).

If a\neq 0, then d(1)\leq d(1.a)=d(a) for every a\in R. Hence, d(1)=d(u) for all non-zero units u\in R (proof: let 1=u_1 b, where u_1 is a unit. Then b has to be u_{1}^{-1}, which is also a unit. The same can be said of all units. Hence, 1 is associate with all units only), and d(1)<d(a) for all non-zero non-units in R.

Now what about d(0)? If the axiom of a Euclidean ring was a=qb+r\implies d(r)<d(b) rather than d(r)<d(b) provided r\neq 0, then we could conduct some investigation into this. Let us imagine d(0) exists. Then a=1.a+0. Hence, d(0)<d(a) for all a\in R. But 0=0.0+0. Hence, d(0)<d(0), which is impossible as d:R\to \Bbb{R}^+ is a well-defined mapping. Hence, in order to facilitate the well-defined existence of d and also keep a=qb+r\implies d(r)<d(b) as an axiom used to define a Euclidean ring, we forego defining f(0).  

Now returning to our discussion, we’ve already stated that as d(0) is not defined, and 1 has the lowest d-value in R. Moreover, as all associates of 1 are units, d(u)=d(1), where u is a unit. If it were possible to split u into factors ab such that both a and b are not units, then d(a),d(b)<d(u), which is not possible. Hence, every unit u is prime in a Euclidean ring. Note that this is not a natural property of such structures, but a result of the arbitrary axiom that d(ab)\geq d(a),d(b).

Summarising the above arguments:

1. A unit is prime in a Euclidean ring R.

2. Every element in R can be split into a finite number of prime factors.

3. In order to avoid contradictions, d(0) is not defined. Also, 1 has the lowest d-value.

4. Removing the axiom d(ab)\geq d(a),d(b) would nullify a lot of these properties.

Euclidean rings and generators of ideals

This is to address a point that has just been glazed over in “Topics in Algebra” by Herstein.

In a Euclidean ring, for any two elements a,b\in R, \exists q,r\in R such that a=bq+r. Also, there exists a function d:R\to\Bbb{R} such that d(r)<d(b).

We also know that the element with the lowest d-value generates the whole ring R. The proof of this is elementary.

But what if there are more than one element with the same lowest d-value? Do both these elements generate R?

Yes. Proof: Let d(x)=d(y) such that x and y are the elements of R with the lowest d-value. Then for a third element c\in R, c=u_1 x=u_2 y. Hence, both x and y divide c. They also divide each other. Hence, x and y have to be associates. In other words, x=uy, where u is a unit in R.

Let us approach this from the opposite direction now. If x=uy, where u is a unit. Axiomatically, d(y)\leq d(uy). Hence, d(y)\leq d(x). Similarly, d(x)\leq d(y). This shows that d(x)=d(y). Therefore, whenever two elements a and b are associates, their d-values are the same.

Note that if we did not have the axiom that d(a)\leq d(ab), then there would be no reason to believe that if a and b are associates, then d(a)=d(b). Hence, ideals could then potentially be generated  by elements whose d-values would not be the lowest in the ideal, with the restriction that all those elements would be associates of the lowest d-value element.

A summary of the important points is:

1. Associates have the same d-value.

2. An element a generates an ideal iff it has the lowest d-value in the ideal.

3. All associates of the lowest d-value element in an ideal generate the same ideal.

4. If we did not have the axiom d(a)\leq d(ab), then point 1 would not be true, point 2 would not be true (a generator of an ideal wouldn’t have to have the lowest d-value), but point 3 would still be true.


There’s a couple of things I’d like to add here.

Why is it that a prime element should be such that its factorization does not contain a unit element? Generally, when we think about prime numbers in positive integers, we imagine a number which is absolutely not factorizable except in the form 1.p (p being the prime number). A sense of unbreakability is felt. Here, the same prime element p can be broken in at least n ways, where n is the number of unit elements in the Euclidean ring R. The sense of absolute unbreakability is lost. I suppose the reason for this is that the concept of ‘unit’ is just an extension of 1 in natural numbers. As factorization of primes of the form 1.p are not counted when dealing with natural numbers, factorizations of the form u.p_1 shouldn’t count in R, where p_1 is an associate of p.

Also note that the addition of deletion of axioms would have greatly changed the structure of Euclidean rings. For example, deleting the axiom d(ab)\geq d(a),d(b) would allow infinite prime factorizations of elements, and adding the axiom d(a+b)<d(ab) would further alter the structure of R. One should not forget that the properties of the elements of R are a result of these defining axioms, and the addition and deletion of such would cause substantial alterations. It is just the fact that Euclidean rings mimic many properties of natural numbers that we find them important to study.