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)

1
vote
1answer
68 views

Commutative semiring such that every element except zero does not have additive inverse and each element can be uniquely sum-decomposed

Is there a unique factorization commutative semiring such that every element except zero does not have additive inverse in the semiring and each element can be decomposed into unique finite sum ...
7
votes
2answers
192 views

Show that there is no surjective ring homomorphism from $\mathbb Z_2[x]$ to $\mathbb Z_2 \times \mathbb Z_2\times \mathbb Z_2$

I saw this question as a bonus from a past exam, and here's my solution for verification. I argued like so. I said suppose there is such a surjective homomorphism $f$, then $f(0)=(0,0,0)$, $f(1)= ...
3
votes
3answers
142 views

What are some examples of coolrings that cannot be expressed in the form $R[X]$?

Let $K$ denote a field. Then the polynomial ring $K[x]$ has the property that the sum of two units is either a unit, or zero. I'll bet there's heaps of other examples, though. So let a coolring be a ...
1
vote
1answer
123 views

Paradox in ring theory — what am I missing?

I saw somewhere the following exercise: Give example of prime ideal in a ring which is not maximal the answer was this: Let $R$ be our Ring and $I$ ideal such $$ R = {Z}[{X}] $$ $$ I = (x) $$ ...
2
votes
1answer
95 views

Is there a theory of “rings” with partially defined multiplication?

Consider the abelian group $R [[\mathbb{Z}^d]]$ of all formal Laurent series over a commutative ring $R$ (a typical element has the form $\sum_{v \in \mathbb{Z}^d} \lambda_v \cdot X_1^{v_1} \dots ...
6
votes
0answers
85 views

Symmetric Algebra and Extension of Scalars

I am reading Gortz and Wedhorn's Algebraic Geometry. In their section on the symmetric algebra they explain the adjoint situation $$ \mathrm{Sym}_A \dashv i_A\colon \mathrm{Alg}(A)\to ...
3
votes
1answer
537 views

Prove that the ring of rational numbers $\Bbb Q$ is not isomorphic to the ring of real numbers $\Bbb R$

just wondering if my reasoning is correct. I said assume there is such a homomorphism f, then f(1)=1 since it is a ring homomorphism. But $$f(\sqrt 2)= f(1\cdot\sqrt 2)= f(1) \cdot \sqrt 2= \sqrt ...
6
votes
1answer
66 views

The number of combinations $(a,b) \in \mathbb{Z}_n \times \mathbb{Z}_n$ such that $a \cdot b = 0$

This question is about a ring for some chosen $n \in \mathbb{N}$ I wanted to find the number $M_n$ of combinations $(a,b) \in \mathbb{Z}_n \times \mathbb{Z}_n$ can be found such that $a \cdot b = 0$ ...
3
votes
1answer
122 views

Failure of the Krull-Schmidt Theorem?

Theorem 1.19 of Representation Theory of Finite Groups: Algebra and Arithmetic is the Krull-Schmidt theorem, which I screenshotted and uploaded it here, I don't have any problem with this theorem and ...
2
votes
3answers
201 views

Example of ring which is neither commutative nor unital

Give an example of ring which is neither commutative nor unital. I think, subring of matrix ring is neither commutative nor has a unit element.
1
vote
1answer
94 views

Explain rings and is [S, /, -] a ring?

Okay, so we are going to use the base set of numbers [i], which contains all possible cases of ai, where a is any real number. Here are 4 possible groups on this set --> [i,*]... [i,+]... [i,/] ...
1
vote
1answer
60 views

Finite rings without unity that are subrings of finite rings with unity

I know that a ring $R$ without unity can be embedded as a subrng of a ring with underlying additive structure $R \oplus \mathbb{Z}$, a ring with unity. But this does not yield a finite field. But I ...
0
votes
0answers
38 views

Polynomial modulus in Quotient Ring

I have a ring $R=\Bbb Z[x]/(x^m+1)$ with $m$ some power of two and a polynomial $g \in R$, which has relatively small coefficients and some other properties that I believe to be irrelevant for this ...
0
votes
1answer
86 views

A subring of the ring of Gaussian integers such that $a^2 \mid b^2$ does not lead to $a\mid b$ in infinitely many such cases

As the ring of Gaussian integers is a UFD, this means that $a^2 \mid b^2$ leads to $a\mid b$. Is there any subring of the ring of Gaussian integers with infinitely many elements such that ...
2
votes
1answer
127 views

Ideal generated by a regular sequence

I need to prove that the ideal $$ I = (xz -y^2, x^2t^2 -yz^3, x^2yt^2 -xz^4) \subset R = \mathbb{K}[x,y,z,t]$$ is generated by a $R$-regular sequence. How can I do it? I don't know if this can ...
0
votes
2answers
60 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
228 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
37 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
85 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
2answers
164 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
2answers
144 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}$ ...
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 ...
2
votes
0answers
43 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
53 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
63 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
204 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
122 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
2answers
81 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
69 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
76 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 ...
5
votes
0answers
100 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 ...
4
votes
0answers
78 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
23 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 ...
0
votes
1answer
106 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
264 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
47 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
173 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
122 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
208 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 ...
1
vote
0answers
59 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
73 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
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 ...
0
votes
3answers
58 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
99 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 ...
2
votes
1answer
340 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
72 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
42 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
142 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
107 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.