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)

0
votes
1answer
26 views

A subset of a polynomial ring and its ideal.

Let $P=K[x_1,\dots,x_n]$ be a polynomial ring over a field $K$ and $I = (f)$ be a principal ideal in $P$ generated by $f \in P - \{0 \}$. Moreover let $L \subset \{x_1, \dots, x_n \}$ and $\hat{P} ...
0
votes
0answers
9 views

$K$-affine $Hom$ functor relating to Polynomial Maps (Exercise in _Algebra: Chapter 0_ by Aluffi)

I'm currently learning some category theory and algebraic geometry, the basics at least. In Algebra: Chapter 0 by Aluffi, there is an exercise describing the relationship between morphisms of affine ...
3
votes
2answers
35 views

If $|F| = 8$ and $K$ is a subfield, show that $K = F$ or $K = \{0, 1\}$.

Let $K$ be a subring of a field $F$. If $|F| = 8$ and $K$ is a subfield, show that $K = F$ or $K = \{0, 1\}$. [Hint: Lagrange]. Lagrange's Theorem: If $H$ is a subgroup of a finite group $G$ I Then ...
1
vote
2answers
23 views

Show that a ring $R$ is a division ring if and only if, for each nonzero a $a\in R$, there is a unique element $b\in R$ such that $aba = a$. [duplicate]

Show that a ring $R$ is a division ring if and only if, for each nonzero a $a\in R$, there is a unique element $b\in R$ such that $aba = a$. $\Rightarrow$ Assume $R$ is a division ring. Let $a\in ...
0
votes
0answers
15 views

Help with constructing a certain ring in GAP

I need to construct the following ring in GAP: $$F_2(u) / \langle u^2=0 \rangle =\{ \; a+bu \; | \; a,b \in F_2 \; \}=\{0,1,u,1+u\}$$. I tried using the commands ...
0
votes
2answers
18 views

Cosets of submodule

Suppose we have a ring $R$ and an ideal $J \subseteq R$. Let $M$ be an $R$-module and $N$ be a submodule of $M$. Assume for two elements $m$ and $m'$ of $M$ we have $$m+ JM=m'+JM.$$ Since $N ...
0
votes
1answer
26 views

Questions abaout ring [on hold]

I have a comutative ring (R,+,.) with unity then i have to say which of the following is true: A[X]=A[[X]] A[X] included in A A[X] included in A[[X]] A[[X]] included in A[X] I can't figure it out.
0
votes
1answer
43 views

Show that no ring containing R can contain a root of g(x) = 3x +1

Show that if $R = \mathbb Z_6$ and $g(x) = 3x + 1 ∈ R[x]$, then $R[x]/(g(x)R[x])$ does not contain a root of $g(x)$. More generally, show that no ring containing $R$ can contain a root of $g(x)$. ...
1
vote
2answers
40 views

Ring of matrices has no nontrivial ideals [duplicate]

It is a theorem that a commutative ring is a field if and only if it has no nontrivial ideals. Clearly this does not hold in the noncommutative case. I am trying to show for instance that the ring of ...
4
votes
2answers
47 views

For which rings does a polynomial in $R$ have finitely many roots?

Which infinite rings satisfy the following Every non-zero polynomial in $R[X]$ has only finitely many roots ? Are there such rings which are not integral domains ?
0
votes
1answer
20 views

A $R$-module over a ring $R$ with identity is free iff it is a direct sum of copies of $R_R$, where $R_R$ is $R$ considered as a module over itself

Let $R$ be a ring with identity and $M$ be an $R$-right module. Then $M$ is called free over $X \subseteq M$ if for every module $N$ with mapping $\alpha : X \to N$ we can extend it uniquely to a ...
0
votes
1answer
22 views

Show that $m\mathbb{Z}/md\mathbb{Z} \cong \mathbb{Z}/d\mathbb{Z}$ if and only if $(d,m)=1$

Show that $m\mathbb{Z}/md\mathbb{Z} \cong \mathbb{Z}/d\mathbb{Z}$ as rings without identity if and only if $(d,m)=1$. I know that if $\phi : A \to B$ is a epimorphism ring and $A$ is a unit ...
1
vote
0answers
40 views

Solving a polynomial for cyclic roots

For any complex value of c, the following polynomial has 6 complex root values of p: $$1+c+2 c^2+c^3+p+2 c p+c^2 p+p^2+3 c p^2+3 c^2 p^2+p^3+2 c p^3+p^4+3 c p^4+p^5+p^6$$ For a general 6th order ...
0
votes
0answers
10 views

Representation of left ideals of the matrix ring [duplicate]

We know that $J$ is an ideal of the full matrix ring $S=M_n(R)$ if and only if $J$ is the ring of all $n\times n$ matrices over $I$ for some ideal $I$ of the ring $R$ with identity. Now, my question ...
2
votes
1answer
40 views

Subrings of the product of rings of algebraic integers

Let $K,L$ be a number fields and $\mathcal{O}_K,\mathcal{O}_L$ their rings of algebraic integers, and $n_K=[K:\mathbb Q]$, $n_L=[L:\mathbb Q]$. Suppose that $R$ is a subring of ...
5
votes
0answers
56 views

Prove that $u$ is a trivial unit

Let $G$ be a finite group. I want to prove that if $u\in \mathbb{Z}G$ be a torsion unit (i.e. for some $n$, $u^n=1$) of integral group ring $\mathbb{Z}G$ such that $u$ normalizes $G$, then $u$ is a ...
3
votes
1answer
32 views

Equivalent properties of Von Neumann regular rings

Let $M$ be a module over a ring $A$ and $R=Hom_A(M,M)$ its endomorphism ring (with respect to the composition). I need to show these following conditions are equivalent: $\alpha = \alpha \beta ...
0
votes
2answers
64 views

Show that $\phi(p^e)=p^e-p^{e-1}$

In an exercise I was asked to show that if $R$ is a ring with relatively prime ideals $I_1,I_2$ then $R/I \cong R/I_1 \oplus R/I_2$ where $I=I_1 \cap I_2$ and $\oplus$ is the direct sum. A follow on ...
1
vote
1answer
32 views

If I is an irreducible ideal, and P is a prime ideal, is (I+P)/P irreducible?

Let $A$ be a commutative ring with unit, and $P$ a prime ideal. My question is: If $I$ is an irreducible ideal in $A$, is $(I+P)/P$ irreducible in $A/P$? If not, can you show a counterexample? ...
0
votes
1answer
41 views

Noncommutative rings and the evaluation homomorphism

Recall the evaluation homomorphism of a ring. For example, if $\{R[x]|{p(x)=a_0+a_1x+a_2x^2...}$} is the ring of polynomials with real coefficients then we can evaluate with respect to $c$ by letting ...
1
vote
0answers
34 views

Matrices representing a map between free modules of infinite rank and Fitting's Lemma (Eisenbud)

p.497 of Commutative Algebra with a View Toward Algebraic Geometry, Eisenbud: If $\phi: F \rightarrow G$ is a map of free modules, then $I_j\phi$ is the image of the map $$\Lambda^j F ...
1
vote
3answers
59 views

For which $n \in \mathbb{N}$ does $x^8 + [2]_nx^7+[6]_nx^6-x^2-[2]_nx - [6]_n = [0]_n$ have at least $7$ distinct solutions?

I have to find one $n \in \mathbb{N}$ such that $$x^8 + [2]_nx^7+[6]_nx^6-x^2-[2]_nx - [6]_n = [0]_n$$ has at least $7$ distinct solutions in $\mathbb{Z}_n$ (or, equivalently, $f(x) = x^8 + ...
0
votes
1answer
49 views

Correspondence between prime and maximal ideals [on hold]

My professor put the following statement in the lecture notes without proof: Let $R$ be a commutative ring and $I$ an ideal. Then the natural correspondence between ideals containing $I$ and ideals ...
1
vote
1answer
42 views

Intersection of two ideals

Let $A$ be a commutative ring and let $\mathfrak{a}$, $\mathfrak{b}$ be ideals in $A$. I am asked the following question: Show that $\mathfrak{a} \cap \mathfrak{b}$ is the largest ideal of $A$ ...
1
vote
2answers
22 views

Is the set of all $f$ such that $\lim_{x\to1^-}f(x) = 0$ an ideal in the ring of functions from $[0,1]\rightarrow \mathbb{R}$?

Is the set of all $f$ such that $\lim_{x\to1^-}f(x) = 0$ an ideal in the ring of functions from $[0,1]\rightarrow \mathbb{R}$? I'm sure about the closure under addition but not quite clear about if ...
3
votes
0answers
57 views

Generalisation of euclidean domains

Recently I wondered how dependent the definition of euclidean domains is of the co-domain of the norm-function. To be precise: Let's define a semi-euclidean domain as a domain $R$ together with a ...
1
vote
2answers
45 views

An irreducible polynomial in a subfield of $\mathbb{C}$ has no multiple roots in $\mathbb{C}$

Let $K\subset \mathbb{C}$ be a subfield and $f\in K[t]$ an irreducible polynomial. Show that $f$ has no multiple roots in $\mathbb{C}$. If I understand this question correctly, I must show that ...
0
votes
1answer
29 views

$f$ is divisible by a square of non-constant polynomial iff $f,f'$ are not relatively prime

Let $R$ be a commutative ring and $f=a_0+ \cdots +a_nt^n \in R[t]$. Define $f':=a_1+2a_2t+ \cdots + na_{n-1}t^{n-1}$. Show that $f$ is divisible by a square of non-constant polynomial if and only ...
0
votes
2answers
21 views

Union Over a Totally Ordered Set of Ideals is an Ideal

I am trying to understand the proof of a theorem which uses Zorn's lemma. I understand quite well all parts of the proof except for one point: Let $R$ be a ring and define $K\doteq \{I\subseteq R ...
-1
votes
1answer
30 views

Does localization of a Noetherian ring always give a local ring? [closed]

I have a local ring $A$ and suppose I localized this ring at prime $P$. Is the localized ring $A_P$ a local ring? I was wondering if it requires additional properties on $A$. Thank you very much!
-2
votes
1answer
58 views

Property of a Noetherian ring: How come $P \setminus P^2$ is non-empty? ($P$ is a prime ideal) [closed]

Let $A$ be a Noetherian ring, and let $P$ be a prime ideal. How come we know that $P \setminus P^2$ is non-empty? Thank you!
1
vote
1answer
30 views

Determining all the homomorphisms $\mathbb{Z} \to R$, where R is an integral domain.

I think I have this question figured out almost completely, but I'm a little worried about using a certain notation. Suppose $\mathbb{Z} \stackrel{\phi}{\longrightarrow} R$ is a ring homomorphism. ...
0
votes
1answer
18 views

Computing generators for a finitely generated module

I came across this problem yesterday: Let $R$ be a ring and $M$ an $R-$module. $\varphi:R^n\to M$ is a surjective $R-$module homomorphism if and only if $M$ is finitely generated. Given the set of ...
1
vote
1answer
73 views

When is an ideal also a ring, and could then be anything said about its relation to the original ring

If $R$ is a ring with unity $1$, then $S \subseteq R$ is called a subring if it is itself a ring with $1 \in S$. A subset $I \subseteq R$ is called an ideal if it is a group with respect to addition ...
0
votes
0answers
23 views

Show that we have a ring isomorphism $\varphi : D^{op} \rightarrow {End_{M_n {(D)}}}(D^n) $. [closed]

I am trying to solve the following Representation Theory question: Suppose that $d \in D$ and define the map $$ \varphi_d \colon D^n \rightarrow D^n $$ by $$ \varphi_d((v_1, \ldots, v_n)) ...
3
votes
1answer
39 views

In proof of $|G| = n_1^2 + n_2^2 + \ldots + n_h^2$ how could equality of dimensions concluded from ring isomorphism

In Derek Robinson, A Course in the Theory of Groups on page 224 he proves: Let $G$ be a finite group and let $F$ be an algebraically closed field whose characteristic does not divide the order of ...
-1
votes
0answers
45 views

Field of fractions of $\mathbb{C}[X,Y,Z]/\langle XY-Z^2\rangle$ [closed]

Let $R=\mathbb{C}[X,Y,Z]/\langle XY-Z^2\rangle$ and let $\mathbb{C}(X,Y)$ be the field of fractions of $\mathbb{C}[X,Y]$. Show that the field of fractions of $R$ can be expressed as ...
0
votes
0answers
17 views

Prove that $\varepsilon(v) \equiv \varepsilon(u) \equiv 1 (2)$

Suppose I have a finite group $G$ and its integral group ring $\Bbb{Z}G$. Let $P < G$ , thus we have $\Bbb{Z}[C_G(P)] \subseteq \Bbb{Z}G$. Let $u\in U(\Bbb{Z}G)$ and let $v\in \Bbb{Z}[C_G(P)]$ be ...
0
votes
1answer
31 views

Embeddable rings axiomatic class?

In this question, a ring is defined to be with a unit distinct from the zero element, not necessarily a commutative ring though. Is the class of all such rings that can be embedded into fields an ...
0
votes
0answers
36 views

Reduction modulo $p$ of $x^4 + 3x^3 -21x^2 -62x -40$ with a multiple root

Let us consider $$g(x) = x^4 + 3x^3 -21x^2 -62x -40 \in \mathbb{Z}[x].$$ How does one find the primes $p>0$ such that the reduction of $g(x)$ modulo $p$ has a multiple root (without taking into ...
-1
votes
0answers
29 views

Pick out a polynomial such that ideal $J=q(x)R$ , where $q(x)$ is polynomial and $R$ is ring [closed]

In the ring of polynomials $R =\mathbb Z_5[x]$ with coefficients from the field $\mathbb Z_5$, consider the smallest ideal $J$ containing the polynomials, $p_1(x) = x^3 + 4x^2 + 4x + 1$ $p_2(x) = ...
8
votes
1answer
58 views

Is I-adic completion a ring epimorphism?

Let $R$ be a commutative ring and let $I \subset R$ be an ideal. For any $n \ge 1$, the ring homomorphism $R \rightarrow R/I^n$ is surjective, hence an epimorphism in the category of rings. What about ...
0
votes
2answers
74 views

Affine varieties and their ideals

I was reading on Wikipedia about quotient ideals. It mentions that if $W$ and $V$ are affine varieties (assume $V$ is) and $I(V)$ and $I(W)$ are the ideals for $V$ and $W$, then $$I(V):I(W) = ...
1
vote
1answer
24 views

How do you prove a valuation ring is a subring?

Let's say I have a field $\mathbb{F}$. Now suppose I take the set $R = \{x \in \mathbb F^{\times}: \ y(x) \ge 0\} \cup \{0\}$ where $y$ is a function $y:\mathbb F^{\times} \rightarrow \mathbb{Z}$ ...
2
votes
1answer
49 views

How many elements are there in $\mathbb{Z}[\sqrt{2}]/(1+3\sqrt{2})$?

Let $\mathbb{Z}[\sqrt{2}]:= \lbrace a+b\sqrt{2}|a,b \in \mathbb{Z} \rbrace$. How many elements are there in $\mathbb{Z}[\sqrt{2}]/(1+3\sqrt{2})$? I know that every equivalence class of ...
1
vote
2answers
29 views

Proving that a homomorphism between two rings is surjective

The problem: ($\mathscr{F}(\mathbb{R})$ is the set of real valued functions) Let $\phi:\mathscr{F}(\mathbb{R})\to\mathbb{R}\times\mathbb{R}$ be a function defined by $\phi(f)=(f(0),f(1))$ Prove ...
0
votes
0answers
42 views

Show that $(2,1+\sqrt{-5})$ is a maximal ideal in $\mathbb{Z}[\sqrt{-5}]$ [duplicate]

Let $R=\mathbb{Z}[\sqrt{-5}]$ and $I=(2,1+\sqrt{-5})$ an ideal generated by $2$ and $1+\sqrt{-5}$. Show that $I$ is a maximal ideal. So I tried to prove that if $a \notin I$ then $(I,a)$ must be ...
0
votes
0answers
37 views

Groebner basis and prime ideals.

Let $I$ be an ideal in a polynomial ring $P = K[x,y_1,\dots,y_n]$ and assume that $I \cap K[x]\neq (0)$. Let $>$ be an elimination ordering for $\{y_1, \dots, y_n\}$ and $G$ is a Groebner basis for ...
-2
votes
0answers
73 views

Finite number of maximal ideals of bounded norm [on hold]

Suppose that we have an integral extension of rings $R\subseteq S$ and $S$ is finitely generated as $R$-module or as $R$-algebra, and $R/\mathfrak m$ is finite for all maximal ideals and $S/\mathfrak ...
2
votes
1answer
25 views

If $a \ne b$ in a ring $R$ satisfy $a^3 = b^3$ and $a^2b = b^2a$, show that $a^2 + b^2$ is not a unit.

If $a \ne b$ in a ring $R$ satisfy $a^3 = b^3$ and $a^2b = b^2a$, show that $a^2 + b^2$ is not a unit. So I am thinking that I should be able to do this by contradiction. So if I assume there is some ...