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 (2)

3
votes
0answers
47 views

If $a^{2k}=a$ for all elements of a ring then $a= -a$ for all $a$

If there is a positive even integer $n$ such that $a^n= a$ for all elements of a ring R then how to prove that $a+a=0$ for all $a$ in R. For Boolean ring, it is easy. But how to prove for $n>2$.
3
votes
0answers
150 views

Find the $\ker(f)$ and $\text{Im}(f)$.

Consider the rings $\mathbb{Z}$, $\mathbb{Z}_{4} = \{\bar{0},\bar{1},\bar{2},\bar{3}\}$ and $\mathbb{Z}_{12} = \{[0],[1],[2],...[11]\}$. Define $f: \mathbb{Z} \to \mathbb{Z}_{12}$ by $f(x) = 9x$. ...
3
votes
0answers
35 views

Efficiently computing GCDs in $\mathbb{Z}[(1+\sqrt{-19})/2]$

The ring $\mathbb{Z}[(1+\sqrt{-19})/2]$ is a PID; hence any two elements have a GCD. How you would compute their GCD? In a Euclidean domain, you would use the Euclidean algorithm. But ...
3
votes
0answers
38 views

are both topologies same

Consider the space $(\mathbb{C^2},T)$ where $T$ is the product topology on $\mathbb{C}$ with $\mathbb{C}$ having Zarisky topology. Now let $T_2$ defines another topology on $\mathbb{C}^2$ with open ...
3
votes
0answers
145 views

Is $\mathbb{Z}[x]/(x^3-2)$ a field?

Exercise: Prove or disprove: $\mathbb{Z}[x]/(x^3 − 2)$ is a field. I would say, that it is not a field. We can use the following theorem: Let $R$ be a commutative ring with identity and $M$ ...
3
votes
0answers
65 views

Is the power of a finitely generated associative algebra still finitely generated?

Let $A$ be an associative finitely-generated algebra. I want to show that any power of $A$ is finitely-generated as well. Definition of power: $$A^k \stackrel{\text{def}}= \text{ { all finite ...
3
votes
0answers
71 views

Rings with bounded index of nilpotency are Dedekind-Finite

Recently in an article by A. A. Klein I have seen this result: A ring $R$ with bounded index of nilpotence is Dedekind-Finite. Can anyone help me prove this result?
3
votes
0answers
90 views

Counting rings of order $p^3$

MathWorld states that there are exactly 52 rings of order 8 (multiplication in rings may be not commutative and perhaps there will be no neutral element) and 53 rings of order $p^3$ where $p$ is an ...
3
votes
0answers
114 views

finite field extensions: how to compute norm and trace

I'm studying abstract algebra and I'm stuck in the topic of fields. I don't understand what the following definition Let $R$ be a commutative ring and let $S$ be a commutative $R$-algebra, which is ...
3
votes
0answers
85 views

Can $\operatorname{Spec}(A)$ be expressed as an inverse limit?

We know that given a ring $A$ such that $A/\mathfrak{R}$ is absolutely flat, then $\operatorname{Spec}(A)$ is Hausdorff (it's an equivalence). So $Spec(A)$ becomes a quasi-compact, Hausdorff and ...
3
votes
0answers
35 views

To prove ; $pa:=a+a+… p $ times $=0 , \forall a \in R$ and $a^p=a , \forall a \in R$ for some prime $p$ then the ring $R$ is commutative

If in a ring $R$ , $\exists $ prime $p$ such that $pa:=a+a+... p $ times $=0 , \forall a \in R$ and $a^p=a , \forall a \in R$ , then how to prove that $R$ is commutative ? I would not want to use ...
3
votes
0answers
47 views

Example of finite ring which is not a Bézout ring

A left (or right) Bézout ring is a ring in which any two elements generate a principal left (resp. right) ideal. Assume that we have a finite ring R. Does there exist some classification theorem ...
3
votes
0answers
44 views

Equivalence of Modules

The category of modules over a ring can be viewed as an enriched version of an action of a monoid on a set (see nLab entry). Moreover, if $R$ is a commutative ring, the category of modules over it is ...
3
votes
0answers
86 views

Henselization of the ring of polynomials

I am trying to understand example of Henselization from wiki. http://en.wikipedia.org/wiki/Henselian_ring#Henselization It says that Henselization of the ring of polynomials localized at point $(0, ...
3
votes
0answers
32 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.
3
votes
0answers
30 views

Does there exist a finite axiomatization of the quasi-algebraic theory of real matrix rings?

Some definitions. Let us take the signature of ring theory to consist of the function symbols $\{+,-,0,\cdot,1\}$ equipped with their usual airities, where the minus symbol represents a unary ...
3
votes
0answers
44 views

Non-UFD that there exists set $X$ of any cardinality and $a$ that $xy$ is not divisible by $a^2$ for any $x,y \in X$ and $x^2$ is divisible by $a^2$

Let's say we want to construct a non-UFD that is a commutative ring that satisfies: There exists $a$ such that there exists a set $X$ of elements of finite cardinality $k$ such that for any $x,y \in ...
3
votes
0answers
76 views

Find valuation rings of the function field $k(x,y)/k(xy)$ which do not contain $k[x,y]$.

Let k be any field, then how does one find valuation rings of the function field $k(x,y)/k(xy)$ which do not contain $k[x,y]$? I believe there are two. If we consider a rational function field ...
3
votes
0answers
78 views

A question about the proof of Hilbert's Basis Theorem

I have a question regarding the proof of Hilbert's Basis Theorem. Say $I=(f_1,f_2,f_3,\dots)$ is an ideal in $A[x]$, where A is a Noetherian ring. Say we take the leading coefficients $a_i$ of all ...
3
votes
0answers
113 views

Is the completion of a Dedekind domain a PID?

Ths is a basic question on Dedekind domains. Let $R$ be a Dedekind domain, $P$ a non-zero prime ideal of $R$. I know that the localization $R_P$ is a PID, but is it true that the completion ...
3
votes
0answers
105 views

Why is the norm of an ideal contained in that ideal?

Suppose $K$ is a number field and that $\mathcal{O}_K$ is the ring of integers of $K$. Now, let $I$ be an ideal in $\mathcal{O}_K$. I know that $N(I) \in I$, but I want to prove it. By definition, ...
3
votes
0answers
88 views

Finding the prime element of a place of a function field of a elliptic curve.

Let $p$ be an elliptic curve in $\mathbb{C}[X,Y] $. Consider the quotient ring $A = \mathbb{C}[X,Y]/(p) $ and its field of fractions $F = frac(A) $. For all $f + (p) \in A$, define $deg_A(f + (p))= ...
3
votes
0answers
545 views

Tensor product of the spaces of quaternions and complex numbers

Let $ \mathbb{H} $ be the ring of quaternions and make the vector space $A = \mathbb{H} \otimes \mathbb{C}$ into a ring by defining $$(a \otimes w)(b \otimes z) = (ab \otimes wz) $$ for $a,b ...
3
votes
0answers
71 views

Any simple proof of that localization of a UFD is a UFD without using Kaplansky condition?

Using Kaplansky condition, the proof of this statement is quite easy. Before knowing this condition, I tried to prove this statement by actually showing the definition of UFD holds on $S^{-1}A$ ($A$ ...
3
votes
0answers
80 views

Modules with finite injective dimension have $\omega_R$-resolutions

Let $(R,m,k)$ be a local Noetherian ring, $M$ a finitely generated $R$-module. How can I prove that $M$ has finite injective dimension if and only if it has a $\omega_R$-resolution? ($\omega_R$ is the ...
3
votes
0answers
83 views

$p(x)=x^4-2x^2-4$ is irreductible over $\mathbb Q.$

I need to show that $p(x)=x^4-2x^2-4$ is irreductible over $\mathbb Q.$ Here's what I've done: Please tell me if it's correct Over $\mathbb C,$ $x^4-2x^2-4\\=(x^2-1)^2-5\\=(x^2-1+\sqrt ...
3
votes
0answers
80 views

A questions about Group Rings

Let's say $R:=\mathbb{Z}_p[C_{p^\infty}]$ be the group ring of a Prufer group over the field of integer module a prime $p$. We have $C_{p^\infty}=\langle u_1, u_2, ..., u_n, ... |\,\,\,\, ...
3
votes
0answers
110 views

A Lemma of Kaplansky

Source: Rings With a Polynomial Identity, Irving Kaplansky The Lemma: Suppose that $\mathbb{A}$ is an $\mathbb{F}$-algebra, where $\mathbb{F}$ is a field. Then, suppose that $\mathbb{A}$ ...
3
votes
0answers
162 views

Relation between finite stable rank and IBN (invariant basis number)

For R is any ring has an identity, we known if R has stable rank one, then R is "weakly finite" (or "stably finite," all matrix rings over R are Dedekind finite) and this implies R has IBN . But ...
3
votes
0answers
109 views

A Commutator Identity in Rings

In a ring (or associative algebra), let the commutator $[A,B]$ be defined as $[A,B]=AB-BA$. I have asked earlier for a general formula for the expression $[x_1\cdots x_m,y_1\cdots y_m]$ in a group ...
3
votes
0answers
140 views

Counterexamples to the Artin-Rees Lemma

This well known Lemma about $I$-stable filtrations asserts: Lemma (Artin-Rees) Let $A$ be a Noetherian ring and $E$ a finitely generated $A$-module. Let $F$ be a submodule of $E$ and $\{E_i\}$ an ...
3
votes
0answers
57 views

$G \simeq R^{\times}$

What is known about the groups G for wich there exist a unitary ring R, such that $R^{\times} \simeq G$? I can easily prove that The only G cyclic with this property(Edit:and odd order) are those who ...
3
votes
0answers
78 views

Graded Betti Numbers of a Graded Ideal with Linear Quotients

Exercise 8.8(a) in Monomial Ideals by Herzog and Hibi: Let $I\subset S=K[x_{1},...,x_{n}]$ be a graded ideal which has linear quotients with respect to a homogeneous system of generators ...
3
votes
0answers
84 views

Units and zero divisors in $\mathbb{Z}_2[x]/(x^2 + 1)$ and in general

The elements of $\mathbb{Z}_2[x]/(x^2 + 1)$ are polynomials in $\mathbb{Z}_2[x]$ with degree $0$ or $1$. I.e. $\{\overline{0}, \overline{1}, \overline{x}, \overline{x+1}\}$ $\overline{0} = ...
3
votes
0answers
60 views

The integral closure of Bezout domains in arbitrary field extensions is Prüfer?

Let $R$ be a Bezout domain with quotient field $K$, $L$ an arbitrary extension field of $K$, and $\overline{R}$ the integral closure of $R$ in $L$. Is $\overline{R}$ a Prüfer domain? If the answer is ...
3
votes
0answers
141 views

Condition so that coefficients nilpotent implies power series nilpotent for non-noetherian ring $R$ with char$(R) = 0$

For a noetherian ring $R$ the following holds: $$\sum\limits_{i=0}^{\infty}a_iX^i \mbox{ nilpotent } \iff a_i \mbox{ nilpotent } \forall i, \mbox{ where } a_i \in R.$$ If $R$ is non-noetherian ...
3
votes
0answers
65 views

About quotient ring

I want to find the value $|\mathbb{Z}({\sqrt{2})/(3+\sqrt{2})}|,|\mathbb{Z}({\sqrt{13})/(5+\sqrt{13})}|$ and also the number of ideals of $\mathbb{Z}({\sqrt{13})/(5+\sqrt{13})}$. But still not ...
3
votes
0answers
200 views

When every matrix is a sum of nilpotent (idempotent or invertible) matrices ??

Let $R$ be a ring with non-zero identity. Consider the following three properties: Every $A \in M_n(R)$ is a sum of nilpotent matrices. Every $A \in M_n(R)$ is a sum of idempotent matrices. Every ...
3
votes
0answers
65 views

Weakening the assumption that an ideal is maximal

This question is from ChI, $\S{3}$ of Serge Lang's Algebraic Number Theory. Let $A$ be a commutative integral domain, integrally closed in its quotient field $K$, and let $E$ be a finite extension of ...
3
votes
0answers
93 views

A question about the consequence of Prime Avoidance.

I have found the following statement: Let $R$ be a Noetherian ring and $x$ is a non-zero divisor of $R$. Let $P$ be a prime ideal associated to $xR$. Then by Prime Avoidance there exists a non-zero ...
3
votes
0answers
80 views

Show that if $M$ is Noetherian then there $ n_{0} \in \mathbb{N}$ such that $n \geq n_{0}$, $0= \operatorname{Im}(f^{n}) \cap \ker(f^{n})$

Sean $M$ an $R$-module and $f: M \longrightarrow M$ an endomorphism of $M$. Show that if $M$ is Noetherian then there $ n_{0} \in \mathbb{N}$ such that $n \geq n_{0}$, $0= \operatorname{Im}(f^{n}) ...
3
votes
0answers
114 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
166 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
198 views

verifying if an ideal is prime

Let $R=\mathbb{Z}[\sqrt{-5}]$ and let $\mathfrak{i}=(2,1+\sqrt{-5})$ the ideal generated in $R$ by $2$ and $1+\sqrt{-5}$. I want to prove that $\mathfrak{i}$ is prime. So i considered the surjective ...
3
votes
0answers
106 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
118 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
151 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
92 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
161 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 ...