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)

1
vote
2answers
30 views

Rank of a module when the base ring is not a domain

Suppose $R$ is a commutative Noetherian local ring with $1$, which is not a domain. Let $M$ be a (non-free) finite $R$-module. What is meant by rank of $M$ in this case?
2
votes
0answers
28 views

Graded rings and modules - which book to refer to?

Could you recommend a book with a good treatment of the theory of graded rings and modules?
0
votes
1answer
26 views

Equivalence of a integer domain

If $R$ is a commutative ring with $1$. Suppose that for all polynomial $P(X)\in{R[X]\setminus{R}}$ has at most $n$ roots, with $n=grad\ (f)$ then $R$ is an integer domain. Any suggestion, please.
0
votes
1answer
32 views

Does the relation $\pi(S_{i})=S^{-1}R-P_{i}\cdot S^{-1}R$ hold for prime ideals $P_i$ in a commutative ring $R$?

Let $R$ be a commutative ring. Let $P_{i}$, $1\leq i\leq n$ be prime ideals none of which are contained in each other. Let $S=R-(\cup_{i=1}^{n} P_{i})$. Then $S$ is a multiplicatively closed set and ...
1
vote
2answers
34 views

Question on quotient ring

Let $\zeta := \zeta_p = e^{2\pi i/p}\in \mathbb{C}$ and set $R = \mathbb{Z}[\zeta] = \left\{\sum_{i=0}^{p-1} a_i\zeta^i\mid a_i \in \mathbb{Z}\right\}$. Let $\mathfrak{p} = (1-\zeta)$ be an ideal of ...
0
votes
0answers
21 views

Finding this Polynomial Subspace

Let $A = k[x^{\pm 1}, y^{\pm 1} ] $, considered as a $k$ - algebra. Can someone give me a nice description of the (vector) subspace: $$ A_0 = \lbrace (f,g) \in A^2 : \frac{ \partial f}{\partial y} = ...
0
votes
2answers
57 views

In an Integral Domain, every prime is an irreducible. Flaw in the Proof?

In an Integral Domain, every prime is an irreducible. The proof is as follows : Let $D$ be the integral domain, then, if $a \in D$, it's possible to express a = $bc$ where $b,c \in D ...(1)$. ...
1
vote
0answers
34 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 ...
0
votes
3answers
42 views

Recovering Unique Factorization

Can a (commutative) ring $S$ fail to have unique factorization but be a subring of a (possibly noncommutative) ring $R$ which does have unique factorization? The idea being that the irreducibles in ...
1
vote
0answers
22 views

Ideal in a certain algebra over a field

Let $K|k$ be a finite field extension. Define $D$ to be a finite dimensional $k$ division algebra. If $J$ is a nonzero two-sided ideal of $D\otimes_k K$ then by considering $K$-dimensions, I see that ...
1
vote
1answer
83 views

How do we know that $f(x)\in Y$?

At page 19 in this book $f:X\to Y$ is defined to be $$f(a):=(\tilde\varphi(T_1')(a),\dots,\tilde\varphi(T_n')(a)).$$ To explain the notation above, $X\subseteq \mathbb{A}^m(k)$, $Y\subseteq ...
1
vote
2answers
123 views

Is $\mathbb{C}[x,y] / (y^2-x^3)$ a PID?

First, I'd like to show $\mathbb{C}[x,y] / (y^2-x^3)$ is an integral domain. Then I need to find out whether or not it is a PID. For the first part, I want to show $y^2-x^3 \: | \: fg \implies ...
6
votes
5answers
263 views

A finite commutative ring with 1 whose elements satisfy a particular equation

I would be very grateful if you give me a hint on it: Suppose $R$ is a finite commutative ring with identity such that $ x^3 = x $ for all elements $x$ of $R$. Then $R$ is a finite direct product ...
0
votes
0answers
17 views

Representing multivariable polynomials as matrices

Is there a nice way to represent polynomials in $x$ and $y$ of degree say $n$ as matrices, so that multiplication works out in a nice way? Maybe a ring homomorphism or something? I'm sorry that this ...
1
vote
2answers
35 views

An integral domain and its field of fractions.

I'm trying to solve the following problem: Let $R$ be a integral domain which is not a field and $K$ its fractions field. Show that a non-zero module $R$-homomorphism from $K$ to $R$ does not ...
2
votes
2answers
51 views

How to show this is not a UFD

I am trying to show that $R=\Bbb Z[x,y,z,w]/(xw-zy)$ is not a UFD. Let $I=(xw-zy)$. Let $X=x+I$, $Y=y+I$, $Z=z+I$, and $W=w+I$. My guess is that $X$ is irreducible and therefore $(X)$ is a prime ...
2
votes
2answers
79 views

Isn't $x^2+1 $ irreducible in $\mathbb Z$, then why is $\langle x^2+1 \rangle$ not a maximal ideal in $\mathbb Z[x]?$

Isn't $ x^2+1$ irreducible in $\mathbb Z$, then why is $\langle x^2+1 \rangle$ not a maximal ideal in $\mathbb Z[x]$? $ x^2+1$ cannot be broken down further non trivially in $\mathbb Z[x]$. hence, ...
2
votes
1answer
58 views

Can polynomials with degree at least 2 over $\mathbb{R}$ have finite number of solutions in $End(\mathbb{R},+)$

Consider a polynomial of degree at least 2 with all coefficients in $\mathbb{R}$. We are concern with set of solution for the polynomial in $End(\mathbb{R},+)$ - the endomorphism ring of the abelian ...
1
vote
1answer
39 views

Noetherian group rings

I'm asking for an example of a finitely generated amenable group $G$ and a field $K$, such that the group ring $K[G]$ is not Noetherian. Is it also possible to find a finitely generated amenable ...
1
vote
2answers
36 views

If $p$ is a prime prove that $x^{p-1} - x^{p-2} + x^{p-3}- \cdots -x+1$ is irreducible over $Q$

If $p$ is a prime prove that $x^{p-1} - x^{p-2} + x^{p-3}- \cdots -x+1$ is irreducible over $Q$. $1$st Attempt: $x^{p-1} - x^{p-2} + x^{p-3}- \cdots -x+1 $ $= x^{p-2}(x-1)+x^{p-4}(x-1)+ \cdots ...
0
votes
1answer
31 views

Characterization of right noetherian rings

Here's a quick question on noetherian rings. I know that for a ring $R$, the following are equivalent. $R$ is left noetherian Every finitely generated left $R$-module is noetherian Every submodule ...
3
votes
1answer
60 views

A ring with finite dimensional vector space structure is noetherian?

Let $K$ be a field and $R$ a ring with finite dimensional vector space structure over $K$. Is $R$ necessarily a Noetherian ring? If $K \subset R$, then any ideal in $R$ is also a subspace and, since ...
2
votes
1answer
37 views

A two sided ideal of a Noetherian ring

$R$ is a left Noetherian ring with a minimal left ideal. Consider the set of minimal left ideals of $R$ ordered by inclusion. Then there is a maximal element $\mathfrak b= \bigoplus_{i\in I} \mathfrak ...
-1
votes
1answer
45 views

Graded ring, and its homogeneous ideals : $ I = \displaystyle \bigoplus_ {n \in \mathbb {Z}} (I \bigcap B_n) $

Let $ B = \displaystyle \bigoplus_{n \in \mathbb {Z}} B_n $ be a graded ring. Let $ I $ be an ideal of $ B $. Why is $ I = \displaystyle \bigoplus_ {n \in \mathbb {Z}} (I \bigcap B_n) $ equivalent to ...
2
votes
3answers
42 views

Example of ring $R$ with ideals $I\neq J$ such that $R/I \cong R/J$ as modules

It's easy to prove that if $I$, $J$ are two-sided ideals and $R/I\cong R/J$ as modules over $R$, then $I=J$. What about left ideals? Is there a simple counterexample? I believe I've found an answer, ...
5
votes
3answers
184 views

A question about algebraically closed fields

A field $\mathbb{K}$ is said to be algebraically closed in practice if every polynomial over $\mathbb{K}$ of positive degree less than or equal to $10^{10}$ has zero belonging $\mathbb{K}$. The ...
5
votes
3answers
78 views

Finitely generated ideal in Boolean ring; how do we motivate the generator?

This problem is Exercise 11.3 in Atiyah/Macdonald Commutative Algebra. They ask to prove every finitely generated ideal in a Boolean ring is in fact a principal ideal. The question has been answered ...
0
votes
1answer
32 views

My question is about the definition of a map called the “reduction map”.

Let $G$ be a group and $N$ normal in $G$. I have read about a map $\alpha : G\rightarrow \frac{G}{N}$ called the reduction map mod $N$. I would love if someone could please explain this to me. Is it ...
3
votes
2answers
123 views

If for any two principal ideals one contains another, then for any two ideals one ideal contains another

Let $R$ be a commutative ring with identity. Assume that for any two principal ideals $Ra$ and $Rb$ we have either $Ra\subseteq Rb$ or $Rb\subseteq Ra$. Show that for any two ideals $I$ and $J$ in ...
1
vote
1answer
21 views

ideal,ring,flat module,modules over R

Is there a characterization of modules (AND equivalent characterizations of rings R) over integral domains R with the property that each left ideal in R is flat?When all left ideals are ...
0
votes
1answer
50 views

A Question about the Proof of Eisenstein's Irreducibity Criterion

Statement: Let $f(x) = a_n x^n + a_{n-1} x^{n-1}+ \cdots + a_0 \in \mathbb Z[x]$. If there is a prime $p$ such that $p \nmid a_n, p \mid a_{n-1}, \dots,p \mid a_0$ and $p^2 \nmid a_0 $, then $f(x)$ ...
3
votes
0answers
41 views

When does $n$-dimensional algebra have $m$-dimensional faithful representation?

Suppose we have an $n$-dimensional associative unital algebra $A$ over a field $k$ (assume $\operatorname{char}(k)=0$ and maybe even $k$ is closed). I would like to know what is the minimal ...
1
vote
1answer
20 views

Embedding the base ring in the augmentation ideal of a group algebra

Let $G$ be a finite group. Then the group algebra $\mathbb{Q}G$ trivially contains $\mathbb{Q}$. But when (i.e. for which $G$) does the augmentation ideal $I_G=\{\sum_{g\in G} r_g\,g \mid \sum_{g\in ...
0
votes
2answers
28 views

finite boolean ring order is $2^n$

let $R$ be a finite boolean ring. prove that $|R|=2^n$ for some $n\in\mathbb N$. I know that $R$ is commutative and for every element $a\in R\space a+a=0$ and $a^2=a$
3
votes
1answer
39 views

Irreducibility of a polynomial over a field

I'm trying to show that the polynomial $f(x) = \frac{x^5}{32}-3x-2$ is irreducible over $\mathbb Q$. Obviously $f$ doesn't have a root over $\mathbb Q$ so I tried to use Gauss lemma for $32f$ and ...
-4
votes
0answers
29 views

Proving $R=\{a+b\sqrt3\mid a,b \in \Bbb Z\}$ is Euclidean. [closed]

Let $R=\{a+b\sqrt3\mid a,b \in \Bbb Z\}$ A. Prove $R$ is a Euclidian domain with respct to the norm $N(a+b\sqrt3)= |a^2-3b^2|$. B. Divide $1+\sqrt3$ by $2+\sqrt3$ in $R$.
0
votes
2answers
75 views

Is $2x^2+4$ reducible over $\mathbb C$?

I am not sure if I making some very fundamental mistake. But Gallian says that $2x^2+4$ is reducible over $\mathbb C$. If $D$ be an integral domain. A polynomial $f(x)$ from $D[x]$ is said to be ...
2
votes
0answers
54 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 ...
0
votes
0answers
29 views

Text on Witt vectors that are accessible to undergraduate students

I am looking for a thorough text on Witt vectors that is accessible to an undergraduate student that have completed the following courses: Calc 1, 2, Linear Algebra and Abstract Algebra. (In Norway, ...
1
vote
0answers
36 views

Simple Cogenerator for the category of left $R$-modules

I want to prove that if the category of left $R$-modules has a simple cogenerator $M$, then $R$ is a simple ring. (Here, $R$ is an arbitrary ring with $1$.) My try is to take an ideal $I$ of $R$ ...
3
votes
1answer
56 views

If $F$ be a field, then $F[x]$ is a principal ideal domain. Does $F$ have to be necessarily a field?

If $F$ be a field, then $F[x]$ is a principal ideal domain. Does $F$ have to be necessarily a field? My Thoughts: Suppose instead of $F$, we take the set of polynomials $R[x]$ over a commutative ring ...
3
votes
2answers
36 views

A doubt about lower nil radical while proving 2-primality of ring.( Baer-McCoy Radical)

I was proving that a reversible ring is 2-Primal for an exercise in T.Y Lam's book, but I got stuck. Here is where I'm stuck: let $a$ be a nilpotent element of $R$ with $a^n=0$. Then using ...
0
votes
1answer
36 views

Global dimension regular rings of finite type

Have I made an error in my reasoning? If $k$ is a field, $A$ is a commutative regular $k$-algebra of finite type and ${\mathfrak{m}}$ is a maximal ideal in $A$ then since $Ext_{A_{\mathfrak{m}} ...
0
votes
2answers
39 views

A ring with prime characteristic

Let $p$ be a prime and let $R$ be a commutative ring with characteristic $p$. Prove that the number of elements of the set $$S_k=\{x\in R\;\lvert \;x^p=k\}\quad \text{for} \quad k\in ...
0
votes
0answers
43 views

Is every local ring the localization of some other ring?

One way of constructing a local ring is to start with any commutative ring, and localize all the elements outside of some maximal ideal (i.e., adjoining inverses to all those elements). But I'm ...
0
votes
2answers
42 views

Prove that a polynomial of degree $n$ over a commutative ring with zero divisors may have more than $n$ zeroes?

A polynomial of degree $n$ over a commutative ring with zero divisors may have more than $n$ zeroes. Attempt: Let $R$ be the commutatve ring which has a zero divisor $a \neq 0$. Then $\exists~~b \in ...
0
votes
2answers
41 views

prove that if $p(x)\in R[x]$ is reducible over $F[x]$ then $p(x)$ is reducible over $R[x]$.

let $R$ be a unique factorization domain and let $F$ be its field of fractions. Prove that if $p(x)\in R[x]$ is reducible over $F[x]$ then $p(x)$ is reducible over $R[x]$.
0
votes
1answer
41 views

Show that if M, N are non-zero commutative rings, then M×N always has zero divisors, and is not an integral domain or a field.

Show that if M, N are non-zero commutative rings, then M×N always has zero divisors, and is not an integral domain or a field. How do I do this?!
5
votes
1answer
63 views

Irreducibility of some multivariate polynomials

Consider the polynomials $xw-yz\in A[x,y,z,w]$ and $x^n+y^n+z^n\in A[x,y,z]$, where $A$ is a commutative ring. I am curious to know what conditions on $A$ (factorial ring, algebraically closed field, ...
1
vote
2answers
42 views

Prove that the field of quotients of an integral domain $D$ is the smallest field containing $D$. . My Attempt Shown

Let $D$ be an integral domain and let $F$ be the field of quotients of $D$. Show that if $E$ is any field that contains $D$, then, $E$ contains a sub field that is ring isomorphic to $F$. Hence, the ...