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)

0
votes
2answers
52 views

Calculating the kernel of a homomorphism

Let $R := k[x, y]$ be a polynomial ring over field $k$. Consider the homomorphism $\lambda : k[x, y, z] \to R \times R$, defined by $\lambda(x) := (x, x)$, $\lambda(y) := (y, y)$ and $\lambda(z) := ...
4
votes
3answers
163 views

Prove that the division ring is commutative if for every $x$, $x^7=x$

I'm trying to solve a problem and I'm stuck. Here is the original problem: Let $A$ be a finite-dimensional algebra over a field $K$, such that for every $a\in A$, $a^7=a$. Show that $A$ is a ...
0
votes
1answer
26 views

Semiring that has unique factorization except zero

In a ring, there is unique factorization domain. Then is there a similar concept in semiring - that is a commutative semiring that has unique factorization for every element except zero? If so, what ...
1
vote
3answers
61 views

Prove that $I$ is a maximal ideal of $\mathcal A$. [duplicate]

Please, give-me a hint to prove this proposition: Let $\mathcal A$ be the ring of all continuous real functions (with the usual operations of sum and multiplication) defined on the interval ...
-1
votes
3answers
76 views

Annihilator of annihilator of annihilator of a submodule

Let $R$ be a commutative ring and M be an $R$-module. The question is whether for every submodule $N$ of $M$ the equality ...
2
votes
3answers
117 views

How to factor $X^{20}-1$ in $\mathbb{F}_3[X]$

I am trying to factor $X^{20}-1$ into irreducible polynomials in $\mathbb{F}_3[X]$. The first thing I saw is that $1$ is a root. Second, $-1$ must be one too. I have taken the derivative $20X^{19}$ ...
2
votes
0answers
26 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 ...
2
votes
0answers
37 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 ...
1
vote
0answers
46 views

Soluble group algebras and centralizers

Let $K$ be field with $\mathrm{char}(K) = p > 0$ and $G$ a finite group such that $KG$ is soluble. Then the $p$-Sylow-subgroup of $G$ is normal and contains the derived group of $G$ and let $H$ be ...
2
votes
1answer
54 views

Valuation rings of $k(X)$

My question is how to determine all valuation rings of the field $k(X)$ containg the field $k$. I want to show that if $V$ is a valuation ring of the field $k(X)$ and $\neq k(X)$ then ...
6
votes
4answers
163 views

When does $V/\operatorname{ker}(\phi)\simeq\phi(V)$ imply $V\simeq\operatorname{ker}(\phi)\oplus\phi(V)$?

When does $V/\operatorname{ker}(\phi)\simeq\phi(V)$ imply $V\simeq\operatorname{ker}(\phi)\oplus\phi(V)$? I wrote it down in an imprecise way on purpose. The notation above is the linear algebra one: ...
0
votes
1answer
38 views

Maximal ideal in the ring of continuous functions [duplicate]

Let $R$ be the ring of continuous functions $\mathbb{R}\rightarrow\mathbb{R}$ with the usual operations and $I$ the subset of functions $f$ with $f(x_0)=0$ for some $x_0\in\mathbb{R}$. It's easy to ...
0
votes
0answers
19 views

There exists only a finite number of ideal classes in a number ring

Let $K$ be a number field (i.e. $\mathbb Q\le K\le\mathbb C$ s.t. $[K:\mathbb Q]=n$) and $R=\mathbb A\cap K$ the relative number ring. Calling $\Phi(R)$ the set of ideals of $R$, we define on it the ...
0
votes
2answers
49 views

Nilpotent element in commutative ring [duplicate]

Let $A$ be a commutative ring, prove that if $x \in A$ is nilpotent then $1-x$ is an invertible element in $A$. I need help with this one.
4
votes
2answers
55 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
68 views

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

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
33 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]$. ...
4
votes
0answers
78 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
43 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 ...
4
votes
0answers
64 views

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

I want to know what condition would need to be additionally imposed on a field to make every subring of the field an integrally closed domain.
1
vote
0answers
20 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
49 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
53 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
21 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
35 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
46 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 = ...
7
votes
1answer
75 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
39 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
24 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
50 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
37 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
40 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
44 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
87 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
29 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
36 views

Integral ring extensions and finitely generated as a module

Let $A \subset B \subset C $ be rings. Suppose that $A$ is Noetherian and $C$ is finitely generated as an $A$-algebra. I want to show that $C$ is finitely generated as a $B$-module $ \iff $ $C$ is ...
1
vote
0answers
37 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
25 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
116 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
60 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
66 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
81 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
49 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
154 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
212 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
36 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
80 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
59 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
49 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
177 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: ...