# Tagged Questions

This tag is for questions about rings, which are a type of algebraic structure studied in abstract algebra and algebraic number theory.

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 ...
192 views

85 views

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$ ...
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 ...
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.
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,/] ...
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 ...
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 ...
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 ...
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 ...
60 views

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.
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 ...
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 ...
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}$, ...
173 views

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 ...
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 ...
44 views

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 ...