Linked Questions

25
votes
1answer
3k views

Abelian categories and axiom (AB5)

Let $\mathcal{A}$ be an abelian category. We say that $\mathcal{A}$ satisfies (AB5) if $\mathcal{A}$ is cocomplete and filtered colimits are exact. In Weibel's Introduction to homological algebra, ...
-3
votes
2answers
1k views

Hartshorne Exercise II. 3.19 (c)

Hartshorne Exercise II. 3.19 (c) is as follows. Prove the following theorem of Chevalley by using Exercise II. 3.19 (a) and (b) and noetherian induction on $Y$. How do we prove this? Theorem of ...
11
votes
2answers
1k views

Ideal class group of a one-dimensional Noetherian domain

Let $A$ be a one-dimensional Noetherian domain. Let $K$ be its field of fractions. Let $B$ be the integral closure of $A$ in $K$. Suppose $B$ is finitely generated $A$-module. It is well-known that B ...
2
votes
1answer
1k views

On orders of a quadratic number field

Let $K$ be an algebraic number field of degree $n$. An order of $K$ is a subring $R$ of $K$ such that $R$ is a free $\mathbb{Z}$-module of rank $n$. Let $\alpha_1, \cdots, \alpha_n$ be a basis of $R$ ...
1
vote
1answer
869 views

Conductor of a quadratic order

We need some definitions to state the problem. Let $B$ be a commutative ring, $A$ its subring. We denote by $(A : B)$ the set $\{x \in B | xB \subset A\}$. $(A : B)$ is an ideal of $B$. It is ...
-4
votes
1answer
213 views

Canonical basis of an ideal of a quadratic order

Let $K$ be a quadratic number field. Let $R$ be an order of $K$, $D$ its discriminant. I am interested in the ideal theory on $R$ because it is closely related to the theory of binary quadratic forms ...
-2
votes
1answer
188 views

Decomposition of a primitive regular ideal of a quadratic order

Let $K$ be a quadratic number field. Let $\mathcal{O}_K$ be the ring of algebraic integers in $K$. Let $R$ be an order of $K$, $D$ its discriminant. I am interested in the ideal theory on $R$ because ...
1
vote
2answers
111 views

Determination of the prime ideals lying over $2$ in a quadratic order

Let $K$ be a quadratic number field. Let $R$ be an order of $K$, $D$ its discriminant. By this question, $1, \omega = \frac{(D + \sqrt D)}{2}$ is a basis of $R$ as a $\mathbb{Z}$-module. Let $x_1,\...
-3
votes
1answer
176 views

Determination of the prime ideals lying over an odd prime in a quadratic order

We need some notation before we state the problem. Let $K$ be a quadratic number field, $d$ its discriminant. Let $R$ be an order of $K$, i.e. a subring of $K$ which is a free $\mathbb{Z}$-module of ...
0
votes
1answer
173 views

Decomposition of a primitive ideal of a quadratic order

Let $K$ be a quadratic number field. Let $\mathcal{O}_K$ be the ring of algebraic integers in $K$. Let $R$ be an order of $K$, $D$ its discriminant. I am interested in the ideal theory on $R$ because ...