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
2answers
37 views

Show that if $\mathrm{Tr}(y)=0$ then there exists a $x$ such that $x^p-x=y$.

We have the Trace map defined by: $$ \mathrm{Tr}\colon \mathbb{F}_q\rightarrow\mathbb{F}_q\colon x\mapsto x+x^p+x^{p^2}+\cdots+x^{p^{n-1}} $$ , where $q=p^n$. Now I have to prove that if ...
8
votes
2answers
46 views

If $\forall x \in R, x^2-x \in Z(G)$, than $R$ is commutative

Let $R$ be a ring such that for every $x\in R$ we have $x^2-x \in Z(G)$. Show that $R$ is a commutative ring. My thoughts What should I do? I could show that every $y \in R$ could be written in ...
0
votes
0answers
12 views

$I_M=J_M$ for all $M \in Max(R)$ implies $I=J$ [on hold]

Let $R$ be a commutative ring with unity. Show that if $I_M=J_M$ for all $M \in Max(R)$ then $I=J$.
0
votes
0answers
24 views

Kernel of a homomorphism: why $g_i(\alpha)\in Q_i$?

Let $K\le L$ be two number fields, $[L:K]=n$. Let $R=\mathbb A\cap K$ and $S=\mathbb A\cap L$ be the relative number rings. Take $\alpha\in S$ an element of degree $n$, i.e. such that $L=K[\alpha]$. ...
3
votes
0answers
39 views

Functorial approach to Ideals and Quotients, Multiplicative Sets and Localizations

I have been playing with substructures of commutative rings today and noticed that there is a strong analogy between the formation of quotients and kernels with the formation of localizations with ...
0
votes
0answers
33 views

If field has a prime field isomorphic to $\mathbb{Q}$, sufficient condition for every subring being integrally closed domain

Suppose that a field $k$ has the prime field isomorphic to the field of rational numbers $\mathbb{Q}$. Then what would be sufficient condition in order for every subring of $k$ be integrally closed ...
1
vote
0answers
31 views

When is a subring of a field an integrally closed domain? [on hold]

What criteria would be necessary/sufficient for a subring of a field to be an integrally closed domain?
4
votes
0answers
44 views

Condition on a field that makes every subring of the field an integrally closed domain?

Every subring of a field is an integral domain. Now I want to know what would need to be additionally imposed on the definition of a field to make every subring of the field an integrally closed ...
1
vote
0answers
17 views

Show that $31 | ord(\alpha)$ for a root of $f \in \mathbb{F}_{5}$

Let $f$ be an irreducible monical polynomial of in $\mathbb{F}_5[X]$ such that $\deg(f)=3$, and let $\alpha$ be a root in some field $\mathbb{F}_5^n$. Show that $31$ divides the order of $\alpha \in ...
1
vote
1answer
39 views

Example of a module such that every proper submodule is finitely generated but the module is not.

Let $R$ be a ring with 1 and $M$ an $R$-module. What is an example such that $M$ is infinitely generated but every proper submodule is finitely generated.
0
votes
2answers
48 views

What would be a prime element in the field of rational numbers?

It is clear to understand what prime elements will be in case of ring of integers and many other rings. However, I find it confusing in case of fields, more specifically field of rational numbers. So ...
0
votes
0answers
20 views

A non-UFD where there exist infinitely many elements such that $a^2 \mid b^2$ does not lead to $a\mid b$ [duplicate]

Is there a commutative non-$\text{UFD}$ ring such that there exists a set $X$ of infinite cardinality of elements that for $\forall x \in X$, $x^2$ is a multiple of $a^2$ for some particular $a$, but ...
0
votes
1answer
29 views

Example of commutative algebra over integers where there exists $x$ such that $x = y^2$ for several $y$'s

Is there a commutative algebra over integers such that there exists $x$ with $x = y^2$ for several $y$'s? Also, is there a commutative algebra over integers such that for every $k \in \mathbb{N}$, ...
-1
votes
2answers
30 views

every finite integral domain is a field

I am trying to understand a proof that every finite integral domain is a field, and in part is states: "Consider $a, a^2, a^3,\dots$. Since there are only finitely many elements we must have $a^m = ...
6
votes
1answer
58 views

A central division algebra is not its commutator

In looking at old qualifying exam questions, I've come upon a question that has me stumped. Let $A$ be a central division algebra (of finite dimension) over a field $k$. Let $[A,A]$ be the ...
0
votes
1answer
34 views

Relating the characteristic of the ring R to the characteristic of R[x]

Suppose $R$ is a ring and $R[x]$ is the ring of polynomials in the indeterminate $x$ with coefficients from $R$. The characteristic of a ring is the smallest positive integer $n$ such that $n \cdot r ...
0
votes
0answers
22 views

Question about valuation rings of a rational function field

Let $k$ be a field and $f \in k[x,y] \setminus k$. Write $E=k(f)$ and $L=k(x,y)$. Assume that there exists a $g \in k(x,y)$ such that $L = E(g)$. Suppose there exists a valution ring $\mathcal{O}$ ...
1
vote
0answers
49 views

Rapid and easy question on ideals and ring

Let $R$ be the number ring related to a field $K$ of finite degree over $\mathbb Q$, i.e. $\mathbb Q\le K\le\mathbb C$ and $[K:\mathbb Q]=n$. Hence $R=\mathbb A\cap K$, where $\mathbb A$ is the ring ...
1
vote
1answer
32 views

Ideal quotient and extension

Let $R$ be a commutative ring and $S$ a subring of $R$. If $I$ is an ideal of $S$ define $I^e$ as the ideal in $R$ generated by $I$, i.e. the extension of $I$ in $R$. If $I,J$ are ideals in $S$, we ...
3
votes
0answers
32 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 ...
0
votes
3answers
41 views

Converting a polynomial ring to a numerical ring

One may be curious why one wishes to convert a polynomial ring to a numerical ring. But as one of the most natural number system is integers, and many properties of rings can be easily understood in ...
4
votes
2answers
78 views

A non-UFD such that $a^2 \mid b^2$ does not lead to $a\mid b$

Is there any non-UFD that is a commutative ring such that $a^2 \mid b^2$ does not always lead to $a\mid b$? It would be preferable if examples are something that does not involve ...
0
votes
0answers
28 views

Isomorphic matrix groups over rings

I've thinking about this problem for the last couple days and I can't get anywhere. I would really appreciate some help. Is it true that, a) $\operatorname{SL}_n(\mathbb{Z}/2013\mathbb{Z})\cong ...
0
votes
1answer
23 views

Noetherian Ring Question

Let $A \subset B \subset C $ be rings. Suppose that A is Noetherian and that C is finitely generated as an A-Algebra. I want to show that C is finitely generated as a B-Module $ \iff $ C is integral ...
1
vote
0answers
34 views

Showing the existence of sub fields of a finite field

For each divisor $m$ of $n$, $GF(p^n)$ has a unique sub field of order $p^m$ . The proof of this theorem in Gallian goes like this : Suppose that $m$ divides $n$. Then, since : $(p^n-1) = ...
1
vote
1answer
22 views

Every prime ideal is max. if anysequence $I_1 \supseteq I_2 \supseteq I_3 \supseteq \cdots $ stabilises? [duplicate]

Let $R$ be a comutative ring with $1 \neq 0 $. Assume that for every sequence of ideals $I_1 \supseteq I_2 \supseteq I_3 \supseteq \cdots $ there is a $N$ such that $$ n,m \geq N \quad ...
3
votes
3answers
92 views

Is division allowed in rings and fields?

Is division allowed in ring and field? The definition of ring I am using here does not require the presence of multiplicative inverse. I think in general, division is not a well-defined ...
1
vote
3answers
54 views

A number system that is not unique factorization domain

Can anyone present a number system that is not unique factorization domain and is a commutative ring? So I want the case that does not involve polynomials/monomials or some trivial cases.
0
votes
1answer
52 views

Proof that presheaf is a sheaf for Spec

Atiyah Macdonald define presheaf (chapter 3, exercise 23) on the base of $Spec(A)$, where $A$ is commutative ring with $1$, as follows $$ \mathfrak{F}(X_f) = A_f, $$ where $X_f$ is a basic open set ...
-3
votes
2answers
67 views

Idempotent elements of a ring.

I need the idempotent elements of $Z_{900}$ $2^2\cdot 3^2\cdot 5^2=900$ Of course there's $$0 \pmod 4 \\ 0 \pmod 9 \\ 0 \pmod {25} \\ $$ and $$ 1 \pmod 4 \\ 1 \pmod 9 \\ 1 \pmod {25} \\ $$ I found ...
0
votes
2answers
47 views

Let $R=\mathbb{Z}/2[x]$ and $I=R(x^{17}-1)$. Is there a nonzero element $y$ of $R/I$ with $y^2=0$?

Let $R=\mathbb{Z}/2[x]$ and the ideal $I=R(x^{17}-1)$. Is there a non zero element $y$ of $R/I$ with $y^2=0$? My approach: Suppose there is $y=\bar{f}(x)$ with $f(x)\in R$, then ...
1
vote
2answers
137 views

Every element in a ring with finitely many ideals is either a unit or a zero divisor.

I came across the above proposition on mathstackexchange If every nonzero element of $R$ is either a unit or a zero divisor then $R$ contains only finitely many ideals. the link asks a different ...
7
votes
3answers
156 views

In $\mathbb{Z}/(n)$, does $(a) = (b)$ imply that $a$ and $b$ are associates?

[Update: Based on the hints provided by @zcn and @whacka, I believe I have found a solution. See my answer below.] Below, $R$ is a commutative ring with $1$. In John J. Watkins' Topics in ...
0
votes
1answer
35 views

A matrix lies in a subring isomorphic to $\mathbb{C}$

Problem: Consider the matrix $$A = \begin{pmatrix} 0 & 3\\ -4 & 1 \end{pmatrix}.$$ Show that $A$ lies in a subring of Mat$_{2\times 2}(\mathbb{R})$ that is isomorphic to $\mathbb{C}$. ...
1
vote
1answer
78 views

The spectrum of a commutative ring with unity and its “topology”

Let $\operatorname{Spec}(R)$ be the set of prime ideals in the commutative ring with unity $R$, and let $\mathfrak a$ be some ideal. Show that we get a topological space if we define the closed sets ...
1
vote
1answer
55 views

Characterizing maximal ideals in $\mathbb{Z}[x]$

I need to prove this: Let $I\subset\mathbb{Z}$ be the ideal generated by $\{p,f(x)\}$, with $p$ prime in $\mathbb{Z}$. Then $I$ is maximal iff $f(x)$ is irreducible modulo $p$. So I was trying to ...
2
votes
1answer
48 views

Von Neumann regular but not self-injective ring

I want an example of a von Neumann regular ring which is not self-injective. My thanks go to anybody answering.
3
votes
2answers
141 views

Sum and Product of two transcendental numbers cannot be simultaneously algebraic

If $\alpha$ and $\beta$ are real number and $\alpha$ and $\beta$ are transcendental over $\mathbb Q$, show that $\alpha \beta$ or $\alpha +\beta$ is also transcendental over $\mathbb Q$ Attempt: ...
1
vote
1answer
37 views

Characterizing Prime and Maximal Ideals in a nice Ring

Consider the "nice" ring $(\mathbb{Z}/20\mathbb{Z})[x]$ and I am trying to list all the prime and maximal ideals of this. The reason I call this a nice (or manageable) ring is because we ...
7
votes
2answers
181 views

Showing that $x^3+y^3+z^3=0$ is not rational

Is there a short proof that $F:x^3+y^3+z^3=0$ in $\mathbf{P}^2$ is not rational, apart from using the genus? Perhaps this is an elliptic curve, so every morphism $\mathbf{P}^n\rightarrow F$ is ...
2
votes
1answer
33 views

Example of a ring which is not CM at all its prime ideals

A commutative ring $A$ is said to be CM at a maximal ideal $\mathfrak{m}$ if and only if $Depth(A_{\mathfrak{m}})=Krull(A_{\mathfrak{m}})$. What is an example of a connected commutative ring $A$ which ...
0
votes
1answer
47 views

A nonregular local ring [duplicate]

Consider the ring of the formal power series $k[[T_1,\ldots,T_n]]$ ($k$ algebraically closed) where $\mathfrak m$ is the maximal ideal. If $f\in\mathfrak m^2$, why $$\frac{k[[T_1,\ldots,T_n]]}{(f)}$$ ...
1
vote
2answers
117 views

Is there a more direct way of proving that this ring is an integral domain?

In self studying abstract algebra and I've come upon the following problem which I could not solve directly. For any $d\in \mathbb{Z}$ we are asked to show that $\mathbb{Z}[\sqrt d]=\{a+b\sqrt{d} ...
0
votes
1answer
72 views

Some residue field

Consider a prime ideal $\mathfrak{p}\in\mathrm{Spec} \ \mathbf{Z}[x]$; the residue field at $\mathfrak{p}$ is the fraction field of $\mathbf{Z}[x]/\mathfrak{p}$. Can we classify the residue fields? I ...
4
votes
1answer
35 views

Let $K$ be a field extension of $F$ and let $a \in K$. Show that $[F(a):F(a^3)] \leq 3$

Let $K$ be a field extension of $F$ and let $a \in K$. Show that $[F(a):F(a^3)] \leq 3$. Find examples to illustrate that $[F(a):F(a^3)]$ can be $1,2$ or $3$. Attempt: $F \subset F(a^3) \subseteq ...
0
votes
0answers
45 views

A non-unital commutative ring with infinite elements such that each element $a$ satisfies $ab =0$ for infinitely many $b$'s

Beside the usual rules for non-unital commutative ring (that is, a ring without multiplicative identity) $R$, I want $R$ to satisfy the following: $ab = 0$ for each element $a$ and there are ...
0
votes
0answers
104 views

Multiplicity of a module in a particular case

We define multiplicity of a module M of dimension $d>0$ as $$mult(M) := lc (P_M) (d-1)!$$ where $P_M$ denotes the Hilbert polynomial of M. Equivalently, we have $mult(M) = Q_M(1)$, where $HP_M (z) ...
2
votes
1answer
22 views

A field extension of prime degree

Suppose that $E$ is an extension of $F$ of prime degree. Show that $~~\forall~ a \in E : ~ F(a)=F$ or $F(a)=E$ Attempt: Suppose that $E$ is an extension of a field $F$ of prime degree, $p$. ...
2
votes
1answer
30 views

Suppose that $f(x)$ and $g(x)$ are irreducible over $F$ and that $\deg f(x)$ and $\deg g(x)$ are relatively prime.

Suppose that $f(x)$ and $g(x)$ are irreducible over $F$ and that $\gcd(~\deg g(x),\deg f(x)~)=1$. If $a$ is a zero of $f(x)$ in some extension of $F$, show that $g(x)$ is irreducible over $F(a)$ ...
0
votes
2answers
47 views

Space of matrices that commute with a given matrix

Let $A$ be an $n\times n$ complex matrix, and $C(A)$ be the vector space of all matrices that commute with $A$. I have to determinate if the dimension of $C(A)$ is greater or equal than $n$, or not. ...