# Tagged Questions

116 views

### Noetherianess of a locally noetherian affine scheme without axiom of choice

I use the definition of a noetherian ring given by Qiaochu in this: A commutative ring is noetherian if, for any nonempty collection of ideals $\mathcal{I}$, there is some $I \in \mathcal{I}$ which is ...
102 views

### Zorn's Lemma and Injective Modules

In my study of injective modules over commutative rings, i noticed that Zorn's Lemma is often employed in the proofs. Here are three examples: 1) Baer's Criterion 2) the characterization of injective ...
306 views

### Question about whether axiom of choice is needed in this proof

Do I need axiom of choice in this proof here? I think not: at each step we choose one element from a set $N - \langle g_1, \dots, g_k \rangle$. So while there is indeed a countable number of sets ...
223 views

### Noetherian condition on the ring of formal power series without Axiom of Choice

I use the definition of a Noetherian ring given by Qiaochu in this: A commutative ring is Noetherian if, for any nonempty collection of ideals $\mathcal{I}$, there is some $I \in \mathcal{I}$ which is ...
286 views

### Existence of valuation rings in a finite extension of the field of fractions of a weakly Artinian domain without Axiom of Choice

Can we prove the following theorem without Axiom of Choice? This is a generalization of this problem. Theorem Let $A$ be a weakly Artinian domain. Let $K$ be the field of fractions of $A$. Let $L$ ...
213 views

### Dedekind's theorem on an integrally closed algebra over a commutative ring without Axiom of Choice

Motivation This question came from my efforts to solve this problem presented by Andre Weil in 1951. Can we prove the following theorem without Axiom of Choice? If the answer is affirmative, by using ...
440 views

### Krull-Akizuki theorem without Axiom of Choice

Motivation This question came from my efforts to solve this problem presented by Andre Weil in 1951. We use the definitions in my answers to this question. Can we prove the following theorem without ...
383 views

### Dedekind's theorem on a weakly Artinian integrally closed domain without Axiom of Choice

Let $A$ be a commutative ring. Let $f$ be any non-zero element of $A$. Suppose that $A/fA$ has a composition series as an $A$-module. Then we say $A$ is a weakly Artinian ring (this may not be a ...
841 views

### Nilpotency of the Jacobson radical of an Artinian ring without Axiom of Choice

Let $A$ be a commutative ring. Suppose $A$ has a composition series as an $A$-module. EDIT Since $A$ has a composition series, $A$ has a maximal ideal. Let $J$ be the intersection of all the maximal ...
456 views

### Dedekind's theorem on an integrally closed algebra over a field without Axiom of Choice

Motivation This question came from my efforts to solve this problem presented by Andre Weil in 1951. Can we prove the following theorem without Axiom of Choice? Theorem Let $A$ be an integrally ...
331 views

### Hilbert's Nullstellensatz without Axiom of Choice

Motivation This question came from my efforts to solve this problem presented by Andre Weil in 1951. Can we prove the following theorem without Axiom of Choice? Theorem Let $A$ be a commutative ...
329 views

### Existence of a prime ideal in an integral domain of finite type over a field without Axiom of Choice

Let $A$ be an integral domain which is finitely generated over a field $k$. Let $f \neq 0$ be a non-invertible element of $A$. Can one prove that there exists a prime ideal of $A$ containing $f$ ...
681 views

### Lying-over theorem without Axiom of Choice

This question is motivated by this and this. Can the following proposition be proved without Axiom of Choice? Proposition: Let $k$ be a field. Let $A$ and $B$ be commutative algebras without ...
336 views

### Commutative Algebra without the axiom of choice

It is well known that in a commutative ring with unit, every proper ideal is contained in a maximal ideal. The proof uses the axiom of choice. This fact, and others that are proved using essentially ...
226 views

### Axiom of Choice (for example in the Snake Lemma)

If we have to make a choice, but in the end it doesn't matter what choice we made, did we really make a choice to begin with? More explicitly, somewhere in the standard diagram-chasing proof of the ...
149 views

### Is $\operatorname{Hom}_A(M,N)$ a set without axiom of choice?

Let $M$ and $N$ be $A$-modules, $\operatorname{Hom}_A(M,N)$ the set of all $A$-module homomorphisms $M\rightarrow N$. $\operatorname{Hom}_A(M,N)$ can be viewed as a subset of the cartesian product ...
In Reid's commutative algebra, there is a proof of equivalent conditions of Noetherian rings, especially (1) The set of ideals of $A$ has the a.c.c. $\Rightarrow$ (2) Every ideal in $A$ is finitely ...