# Tagged Questions

26 views

### Rational function in both $k(X)[Y]$ and $k(Y)[X]$

If I have a rational function in $X$ and $Y$ and it can be written as both a polynomial in $Y$ with coefficients being rational functions in $X$ (that is, an element of $k(X)[Y]$) and as a polynomial ...
20 views

### If a ring has its field of fraction as algebraic number field $K$, would this ring be $O_K$?

Suppose that ring has its field of fraction as algebraic number field $K$. Would this ring then be $O_K$, ring of integers? Also, for $O_K$, would subring of $O_K$ be integrally closed?
63 views

### Why is ring of integers $\mathcal O_K$ called ring of integers - what properties of $\mathbb{Z}$ does it inherit?

I was wondering why ring of integers $\mathcal O_K$ for field $K$ is called ring of integers. Definition says that elements in this ring will be a solution for monic equation with coefficients ...
21 views

107 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 ...
157 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: ...
36 views

51 views

### roots of cubic polynomial

On page 26 of Milne's Elliptic Curves (http://www.jmilne.org/math/Books/ectext5.pdf), he states the following: "... a cubic polynomial $h(x) \in k[x]$ with two roots in $k$ has all of its roots in ...
31 views

### Question related to integrality of field of fractions

This is actually not a problem, but it's a statement which is taken for granted and I don't know how to prove it. Hope some one can help me. I really appreciate: Suppose $A$ is subring of ...
43 views

### Prove that $\beta$ is a root of a $n$ degree polynomial of K [x] with leading coefficient $1$.

Prove that $\beta$ is a root of a $n$ degree polynomial of K [x] with leading coefficient $1$. Here $K$ is UFD, $Q$ is its field of fractions, $Q(\beta)$ is algebraic extension of $n>1$ degree of ...
69 views

### Show that $\operatorname{End}_{\mathbb{Z}}(\mathbb{Q})$ is isomorphic to the field $\mathbb{Q}$

I have problem in showing that $\operatorname{End}_{\mathbb{Z}}(\mathbb{Q})$ is isomorphic as a ring to the field $\mathbb{Q}$. Any idea? Thanks
48 views

### Integral domain (rings and fields)

Let $\mathbb Z[i]=\{a+ib \mid a, b \in \mathbb Z \}$. How to Show that $\mathbb Z[i]$ is a integral domain?
48 views

### Commutative ring can be homomorphically mapped onto field

During my algebra lecture, my lecturer used the fact that any commutative ring can be homomorphically mapped onto a field. Is the statement true? How to show that? Thanks
139 views

### Questions about $\Bbb Q[\sqrt{p}]$ and $\Bbb Q(\sqrt{p})$

I studied this part where they talk about $\Bbb{Q}(\sqrt{2})$ and $\Bbb{Q}[\sqrt{2}]$ and I really start to get confused. Definitions:  \Bbb{Q}[\sqrt{2}] = \left\{ a + b \sqrt{2} \mid a,b \in ...
39 views

### Showing that $\frac{\mathbb{C}[X]}{<x-1>}$ is isomorphic to $\mathbb{C}$

I'm trying to show that $\frac{\mathbb{C}[X]}{<x-1>} \cong \mathbb{C}$ and I am not sure if this argument is correct. Define $\phi: \mathbb{C}[X] \to \mathbb{C}$ by $\sum a_it^i \to \sum a_i$. ...
35 views

### Is there an online database somewhere that lists identities for algebraic structures with two binary operators?

I'm working on an abstract algebra library in Python, and I'm trying to include as many functions that analyze algebraic structures, returning true or false based on whether or not the algebra ...
61 views

40 views

### $\mathbb Q$ Field extension

Consider the Field $F = \mathbb Q(2^{\frac 1 3})$, Is $\sqrt 2 \in F$? I'm trying to figure out how to determine that and similar questions, can you give me a hint or some guidance on how to do that? ...
27 views

### understanding roots of polynomials in field extensions

I'm running into a conceptual stumbling block understanding the application of the FHT to field extensions and finding roots, if anyone has any pointers on where I might be misunderstanding. I'm ...
37 views

### Let $R$ be a commutative ring with identity. Let $M$ be an ideal such that every element of $R-M$ is a unit. Then $R/M$ is a field.

Let $R$ be a commutative ring with identity. Let $M$ be an ideal such that every element of $R$ not in $M$ is a unit. Then $R/M$ is a field. I am solving this question of NBHM 2011. To solve this is ...
46 views

### How to deduce whether $\sqrt{3}i \in \mathbb Q (u)$ or not, where u is a root of $x^3-2$

How can one deduce whether $\sqrt{3}i \in \mathbb Q (u)$ or not, where u is a root of $x^3-2$ ? $\mathbb Q (u) = \{c_0 +c_1u+c_2u^2 | c_i \in \mathbb Q\}$ Is it a trivial computation, or does this ...
42 views

### Why is the order of a prime element well-defined?

This is in relation to the $p$-adic valuation on the field of fractions $F$ of an integral domain $D$. The idea is that for each $x \in F$ there is a unique maximal $k$ such that $x = p^k u v^{-1}$ ...
70 views

### Isomorphism between finite fields adjoining a root

Let $p(x)=x^3+x^2+1$ and $q(x)=x^3+x+1$ be polynomials over the field $\mathbb{Z}_2$. Let $\alpha$ be a root of $p(x)$ and $\beta$ be a root of $q(x)$. Now let $K=\mathbb{Z}_2(\alpha)$ and ...
37 views

### Prove that $B$ is a subfield of $F$

If a subring $B$ of a field $F$ is closed with respect to multiplicative inverses, then $B$ is a field. Fields are commutative rings with unity, and every nonzero element has an inverse. A subring ...
41 views

### Polynomial ring and extension field

Let $K$ be a field and $p(x) \in K[x]$ a monic irreducible polynomial of degree $n$, suppose $F/K$ is a field extension, and there exist $u \in K[x]$ which is a root of $p(x)$. 1) Let $K(u)$ be the ...
31 views

### A doubt regarding splitting field.

$\Bbb Q(\omega)= \Bbb Q(\sqrt3,\iota)$ This is written in my text book that i am following. But I think this is a typo. Since $\Bbb Q(\sqrt3,\iota)$ is a larger field. in which $\Bbb Q(\omega)$ is ...
36 views

### Finding the conjugates in $\mathbb{C}$ of a given number over a given field…

I'm having somewhat of a difficult time understand what's being askedâ€”and thus having a hard time answering the question: Find all conjugates in $\mathbb{C}$ of the given number over the given ...
63 views

### Irreducibility over $\mathbb{Q} ( \sqrt{2} , \sqrt{3})$ [closed]

Show that $x^5-9 x^3 +15x +6$ is irreducible over $\mathbb{Q} ( \sqrt{2}, \sqrt{3})$
### What exactly are the elements of $\mathbb{Z}_p[x]/\langle p(x) \rangle$?
It is wellknown that for a polynomial ring $\mathbb{Z}_p[x]$, $\mathbb{Z}_p[x]/\langle p(x) \rangle$ for prime $p$ is a field if and only if $p(x)$ is irreducible over the given polynomial ring, in ...