# Tagged Questions

37 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 ...
18 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 ...
27 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}$, ...
57 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 ...
34 views

40 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 ...
74 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 ...
32 views

71 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 ...
35 views

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$. ...
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)$ ...
37 views

### Krull's theorem for a ring that does not have unit (multiplicative identitiy)

Is there some sorts of Krull's theorem (that every ring has maximal ideal) for rings that do not have multiplicative identity (unit)? So I know that non-unital rings do not satisfy Krull's theorem, ...
29 views

### Nil radical of an ideal on a commutative ring

This is a problem of an exercise list: Let $J$ be an ideal of a commutative ring A. Show that $N(N(J))=N(J)$, where $N(J)=\{a \in A; a^n \in J$ for some $n \in \mathbb{N}\}$. What I did: ...
59 views

### Cohen-Macaulay and regularity

I know this is a simple question but to make sure....: $A$ is a commutative ring which is Cohen-Macaulay and for every maximal ideal $\mathfrak{m}$ in $A$ if $\dim A_{\mathfrak{m}}=\dim A$ then ...
57 views

### Showing the Weyl algebra is simple.

Let $R$ be a ring with $1$, which contains $\mathbb{Q}$, and generated over $\mathbb{Q}$ by two elements $x,y$ such that $yx-xy=1$. Show that $R$ is simple. What i did? Certainly $x, y \in R$ as ...
73 views

### Ring of rational-coefficient power series defining entire functions

I'm wondering if anyone has come across the following ring before. Let $R$ be the ring of complex power series $f=\sum_{n \ge 0} a_n t^n$ such that $a_n \in \mathbb{Q} \: \: \forall \: n$ The ...
66 views

### Can $R \times R$ be isomorphic to $R$ as rings?

I know from this question that a ring $R \times R$ can be isomorphic to $R$, as $R$-modules. But can they ever be ismorphic as rings?
38 views

### Kahler differentials and quotient rings.

I am dealing with some nice rings that are always isomorphic to some fairly nice quotient ring of a polynomial ring. A typical example is:  \mathbb{C}[X,XY,XY^2] \cong ...
51 views

### Can units in $M_n(\mathbb{Z})$ be moved to the other side?

Let $M, U_1 \in M_n(\mathbb{Z})$ with $U_1$ a unit (i.e. $\lvert \det(U_1) \rvert=1$). Can I always find another unit $U_2\in M_n(\mathbb{Z})$ such that $U_1 M = M U_2$?
109 views

### What's $R[x]/(x^2)$ isomorphic to?

Can someone explain what the quotient ring $R[x]/(x^2)$ is isomorphic to? I know it's weird because it's reducible/has double root, but I'm not exactly sure what the implications of that, or how to ...
36 views

### Depth and kernel of multiplication map

If $A$ is a commutative $k$-algebra, $\mu: A\otimes_k A\rightarrow A$ is its multplication map and $I$ is the kernel of that map (viewed as an $A\otimes_k A$-module map) then what is the relationship ...
50 views

### Krull dimension of localization

If $R$ is a commutative ring and $m$ a maximal ideal therein, then what are the conditions for the Krull dimension of $R$ equaling to the Krull dimension of $R_m$?
17 views

### Is there any semiring such that every element $z$ only has sum decomposition of $0+z$ and some another decomposition?

Let us say that there is a semiring $R$. By properties of semi-ring, every element $x \in R$ is equal to $0+x$. Is there any nontrivial semi-ring that every element $x \in R$ has only one other finite ...
124 views

### What is so special about $a*b^{ -1}$ equivalence?

This equivalent is used often in group theory. For example, using this equivalnce you prove Lagranges theroem and also this equivalence gives you the cosets and other things. This equivalence also ...
43 views

### Commutative and anticommutative ring that respects $x^2 = 0$, where $0$ is additive identity
Can anyone present an example where a ring consists of infinitely many different sets/elements in a universe (ring), is both commutative and anticommutative, and respects $x \cdot x=x^2 =0$ for ...
### Showing $\sqrt{2} \notin E.$
Let $E$ denote the least subring of $\mathbb{R}$ that is closed under the operation $r \mapsto e^r$. Then presumably, $\sqrt{2} \notin E.$ Question. How can we show this?