This tag is for questions about rings, which are a type of algebraic structure studied in abstract algebra and algebraic number theory.

learn more… | top users | synonyms (1)

3
votes
0answers
74 views

The action of a Galois group on a prime ideal in a Dedekind domain

Let $A$ be a commutative Dedekind domain and $K$ its field of fractions. Let $L/K$ be a finite Galois extension with Galois group $G$ and let $B$ be the integral closure of $A$ in $L$. If ...
3
votes
0answers
133 views

associated graded ring is the quotient of a free algebra by a homogeneous ideal

Let $A$ be a semilocal ring with Jacobson radical $m$ and let $I$ be an ideal of definition, i.e. an ideal such that $m^{\nu} \subset I \subset m$. Consider the associated graded ring of $A$, given by ...
3
votes
0answers
116 views

Hilbert symbol over a ring

Normally the Hilbert symbol over a field $\mathbb{F}$ is defined for $a,b\in\mathbb{F}^*$ as follows: $$ (a,b)=\begin{cases}1,&\text{ if }z^2=ax^2+by^2\text{ has a non-zero solution }(x,y,z)\in ...
3
votes
0answers
100 views

On complexes of projective modules

How can I prove the following statement? Let $\beta: B\rightarrow C$ be a quasi-isomorphism of complexes of $R$-modules. If $P$ is a complex of projective $R$-modules which is bounded below, then ...
3
votes
0answers
105 views

Applications of Govorov-Lazard Theorem?

The Govorov-Lazard Theorem states that a (right) module over an unital ring is flat iff it is a direct limit of finitely generated free (right) modules. I wonder if this theorem has interesting ...
3
votes
0answers
130 views

Extension of the theorem of Jacobson

Let $A$ be a ring. Let $E$ be the set of polynomials $\{X^n-X \in \mathbb{Z}[X]|n \in \mathbb{N}^*-\{1\}\}$. By the theorem of Jacobson, we know that if for each $a\in A$ there is an element of $E$ ...
3
votes
0answers
87 views

What's this called? $\mathbb{C}[d/dx]$

The 'ring of differential operators wrt x' ? Thx.
3
votes
0answers
50 views

Does the singleton reduction system $\{(x^2y,yx)\}$ lead to a normal form?

Suppose you have a singleton reduction system $\{(x^2y,yx)\}$. Does such a system lead to a normal form on the corresponding $k$-algebra $k\langle x,y\rangle$, where $k$ is a commutative, ...
3
votes
0answers
133 views

Dimension of a module vs codimension of its annihilator

For some reason I am just stuck on this question, although my intuition insists it's easy - I'd appreciate anyone telling me any obvious fact I'm overlooking here. Suppose we have an ...
3
votes
0answers
178 views

Projective modules over rings without unit

For rings with unit there are at least three ways to define a projective module: The universal property, i.e. $P$ is projective if for any epimorphism $M\to N$ and any morphism $P\to N$ there exists ...
3
votes
0answers
70 views

The number of local rings $R$ such that $R^\ast$ is cyclic of order $n$

For $n>0$, let $c_n$ be the number of local rings $R$ such that $R^\ast$ is cyclic of order $n$. Note that $c_1 =1$. (A local ring $R$ such that $R^\ast = \{1\}$ has precisely two elements. See Is ...
3
votes
0answers
91 views

Azumaya algebra and its subalgebras

I remind you that an Azumaya algebra $A$ is a central and separable algebra. Now, I know that if $A$ is an algebra over a skew-field or over a local ring then there exists a subalgebra $S$ of $A$ such ...
3
votes
0answers
202 views

Show $\mathrm{E}(\mathbb{Z}_{mn})$ is isomorphic to $\mathrm{E}(\mathbb{Z}_{m})\times\mathrm{E}(\mathbb{Z}_{n})$ if and only if $(m,n)=1$

Define $\mathrm{E}(\mathbb{Z}_{i})$ to be the group of invertible elements of the ring with unity $\mathbb{Z}_{i}$. Show that $\mathrm{E}(\mathbb{Z}_{mn})$ is isomorphic to ...
2
votes
0answers
81 views

Regular subrings of a polynomial ring

Let $R=\mathbb{C}[x,y]$. I have the following situation: $\mathbb{C} \subseteq D \subseteq R$ is affine (=finitely generated as a $\mathbb{C}$-algebra), noetherian, has field of fractions ...
2
votes
0answers
48 views

Dimensions of quotient rings of $K[x,y]$

I have tried to solve the following problem and would be very grateful if someone could check my answer. Let $K$ be an algebraically closed field with $\mathrm{char}(K)=0$. I wish to compute ...
2
votes
0answers
30 views

Rings where action of automorphisms on maximal ideals is transitive

If $R$ is a commutative ring, $\alpha: R \to R$ an automorphism of $R$, and $M$ a maximal ideal of $R$, then $\alpha(M)$ is also a maximal ideal of $R$ with the same quotient field. So the group of ...
2
votes
0answers
66 views

Prove $λ$ must divide one of $x$, $y$, or $z$.

Let $λ = (3 + \sqrt{−3})/2 \in \Bbb Q[\sqrt{−3}]$. Prove that if $x^3 + y^3 = z^3$, and $x$, $y$, $z$ are quadratic integers in $\mathbb Q[\sqrt{−3}]$, then $λ$ must divide one of $x$, $y$, or $z$. ...
2
votes
0answers
28 views

Definition with Euclidean domain

Let $R$ be a Euclidean domain and let $A$ be an ideal of $R.$ Then there exists an element $a_0 \in A$ such that $A$ consists of all $a_0x$ as $x$ ranges over $R.$ I found the above theorem ...
2
votes
0answers
35 views

If in a UFD every maximal ideal is principal then it is a PID

I want to prove that if in a UFD every maximal ideal is principal then it is a PID. My line of attack is: If it is a field i.e. it has no non-zero proper ideal, then we are done. Otherwise ...
2
votes
0answers
26 views

Characterization of epic morphisms in the category of rings.

Let $C$ denotes the category of rings (with identities). It's easy to prove that for any $R\in \text{ob }C$, any multiplicative set $S\subset R$ and any ideal $I\leqslant R$, both $R\to S^{-1}R$ and ...
2
votes
0answers
25 views

Maximal ideals of polynomial ring $\mathbb Z_n[x]$

How would I find one? say $n=p^2q^2$ for $p,q$ primes
2
votes
0answers
33 views

Question about the Chinese Remainder Theorem and the residue class ring ${\bf Z}/p\# {\bf Z}$

In a question that I asked on MO, Terence Tao observed that: The Chinese Remainder Theorem tells us that the residue class ring ${\bf Z}/p\# {\bf Z}$ is isomorphic (as a ring) to the product of ...
2
votes
0answers
97 views

How to prove that an ideal can not be generated by 2 elements

In Kunz's "Introduction to commutative algebra and algebraic geometry", page 137-139, particular monomial affine curves are described. Here is the link. In case the curve is not an ideal ...
2
votes
0answers
38 views

Why is every non-zero element not a unit of this ring?

Consider the ring $\mathbb{Z}[\sqrt2]=a+b\sqrt2$ where $a,b\in\mathbb{Z}$. Now, if I am understanding the definition of units correctly, they are all the elements within the ring that have ...
2
votes
0answers
36 views

Euclidean domains and Fields

I've been wrtiting a chain of inclusions of algebraic structures as given at the end of this first paragraph on wikipedia: http://en.wikipedia.org/wiki/Euclidean_domain And I've been giving examples ...
2
votes
0answers
25 views

Suppose a and b belong to a commutative ring and ab is a zero-divisor. Show that either a or b is a zero-divisor.

Suppose a and b belong to a commutative ring and ab is a zero-divisor. Show that either a or b is a zero-divisor. My answer goes like this: If ab is a zero-divisor, then there exists a nonzero ...
2
votes
0answers
27 views

On units in subrings ( or ideal ) and quotient ring of ring with unity

Let $R$ be a finite ring with unity and $S$ be an ideal ( or subring ) , let $R^*$ be the group of units of $R$ and $S^*:=R^* \cap S$ , then does $|S^*|$ divide $R^*$ ? Moreover , if $S$ is an ideal ...
2
votes
0answers
20 views

Construct the rule in fields extensions

Let $f(x) = x^3+6x^2-12x+3$ Show that f(x) is irreducible over $\mathbb Q$ . Let $\theta$ be a real root of $f(x)$, which exists due to the intermediate value theorem. $\mathbb Q(\theta)$ consists of ...
2
votes
0answers
60 views
2
votes
0answers
28 views

What are the ideals of $End(R)$?

Let $R$ be a ring (with unity if necessary) , then $End(R)$ i.e. the set of endomorphism of the ring $R$ (the set of all ring homomorphisms from $R$ to $R$ ) forms a ring under point-wise function ...
2
votes
0answers
28 views

Example of a maximal idea

Let $A$ be the set of bounded continuous functions from the set of real numbers to itself. Then $A$ is a ring under pointwise addition and multiplication. The set $I$ of all functions $f \in A$ ...
2
votes
0answers
30 views

Derived categories of filtered modules

For a ${\mathbb Z}$-filtered ring ${\mathbb k}$ one can consider the category ${\mathbb k}\text{-filt}$ of ${\mathbb Z}$-filtered ${\mathbb k}$-modules, equipped with the exact structure which ...
2
votes
0answers
29 views

Inclusion of subring in Ideal

Let $K$ be a commutative ring with mutpilicative identity and $m \ge 3$. Let $L(m,K)$ be a subring of Lie ring of matrices with coefficients from $K$ and traces = $0$: $ \{ (a_{ij}) \in M_m (K) | ...
2
votes
0answers
34 views

Symmetry of two-sided ideals

I was thinking about two-sided ideals and have some intuition-guided, soft questions regarding them. Since I don't have anyone to talk to about such subject matter, I thought I'd ask. Let a be an ...
2
votes
0answers
34 views

Quotients of successive powers of the augmentation ideal

For $H$ be any group, let $\mathbb{Z} H$ denote the integral group ring. Define $J(H)$ to be the augmentation ideal i.e $J$ is the kernel of the ring homomorphism $\mathbb{Z}H \to \mathbb{Z}$ sending ...
2
votes
0answers
114 views

Generalisation of chinese remainder theorem on ideals of ring without 1

Let $I_1,\dots,I_n$ be (two-sided) ideals of a ring $R$ (not necessarily with 1), which are pairwise co-maximal, i.e. $\forall i\ne j\in \mathbb{Z}_{[1,n]}$, $I_i+I_j=R$. Let $f:R\to R/I_1\times ...
2
votes
0answers
70 views

Localization of euclidean ring is euclidean?

I am trying to prove that a localization of a euclidean ring is euclidean, and the converse statement. I feel the basic definition of the norm is enough but I do not know how. Please note I am very ...
2
votes
0answers
34 views

A question about a system of congruent equations? Is there a unified proof by using ring theory?

In his book ``Topics in number theory, Volumes I and II''. William J. Leveque proved the following theorem(see page 34) Theorem A necessary and sufficient condition that the system of congruences ...
2
votes
0answers
32 views

Polynomials in the extension of a complete field

I need some help in answering this exercise from Serre's Local Fields textbook: Let K be a complete field, and let f(X) in K[X] be a separable irreducible polynomial of degree n. Let L/K be the ...
2
votes
0answers
48 views

Question on an $\mathbb{R} $-algebra

Define $[n] = \{1,\ldots, n\} $, where $n \in \mathbb{N}$ and define the $2^n$- dimensional $\mathbb{R}$-algebra $C_n$ as follows: Notation: Basis is $e_I$, where $I \subset \mathbb{N}$ and let ...
2
votes
0answers
33 views

Can we build infinite products in $k[[X]]$?

Let $P \in k[[X]]$, where $k[[X]]$ denotes the ring of formal power series over the field $k$. Is well defined $$\prod_{n\in \mathbb{N}}P$$ (i.e. the power to infinity of $P$?) By looking at the ...
2
votes
0answers
30 views

Proof of Gauss lemma

Gauss lemma Let $R$ be a UFD and $F$ its field of quotients. Let $f=\sum_{i=0}^n a_ix^i \in R[X]$ with $a_0 \neq 0$. If $p$ and $q$ are non zero, coprime elements in $R$, such that $\dfrac{p}{q} \in ...
2
votes
0answers
63 views

UFD and relatively prime elements

I've found the following statement at page 9 of Griffiths, Harris "Principles of Algebraic Geometry": Proposition. If $R$ is a UFD and $u$, $v \in R[t]$ are relatively prime, then there exist ...
2
votes
0answers
73 views

Non-Noetherian subring of F[X,Y]

I am trying to prove that, for a given field $F$, the subring $$R:=\{p(X,Y)=\sum c_{ij}X^iY^j \in F[X,Y] : c_{0j}=c_{j0}=0 \text{ whenever } j>0\}$$ of $F[X,Y]$ is not Noetherian. I think I ...
2
votes
0answers
69 views

Necessary and sufficient condition for a ring homomorphisms property

The question states: Let $R$ be a commutative ring with unity and let $A,B\subseteq R$ be two ideals, find a necessary and sufficient condition for $\mathrm{Hom}(R/A,R/B)=0$. Since ...
2
votes
0answers
28 views

prove that $(E_{p^n},*)$ is cyclic group

if $p \in$ $\mathbb{N}$ is a prime integer, how can i prove that $E_{p^n}$ the group of invertible elements of $\frac{\mathbb{Z}}{p^n\mathbb{Z}}$ is a cyclic group.
2
votes
0answers
77 views

cohomology ring of grassmannian

Let $G_k(\mathbb{R}^n)$ be the grassmannian consisting of all $k$-subspaces in $\mathbb{R}^n$. How to compute the cohomology ring $$H^*(G_k(\mathbb{R}^n);\mathbb{Z})$$ and what is the result?
2
votes
0answers
42 views

the numer of monic irreducible polynomials of degree $3$ in $\mathbb{F}_q$

I want to know how hany monic irreducible polynomials of degree $3$ there are in a field $\mathbb{F}_q$. The whole number of monic polynomials of degree three is $q^3$. Now I want to find out how ...
2
votes
0answers
53 views

Relative topological tensor product

I know that for a pair of topological rings $R$ and $R'$ (perhaps with some additional topological/functional-analytic hypothesis on them?) there exist two topological tensor produts, the injective ...
2
votes
0answers
64 views

Problems from Polynomial Rings. My attempt shown.

$1.$ Let $f(x) =a_mx^m+a_{m-1}x^{m-1}+ \cdots +a_0$ and $g(x) = b_nx^n+b_{n-1}x^{n-1}+ \cdots +b_0$ belong to $\mathbb Q[x]$ and suppose that $f \circ g \in \mathbb Z[x].$ Prove that $a_ib_j$ is an ...