I am trying to learn about Kummer Rings, and in particular what makes $n=3,4,6$ so special. (That is the Gaussian and Eisenstein integers) The only $\theta\in [0,\frac{\pi}{2}]$ which are rational multiples of $\pi$ for which $\cos(\theta)\in \mathbb{Q}$ are $\theta=\frac{\pi}{2},\frac{\pi}{3}$ which corresponds exactly to $n=4,6$ in $\frac{2\pi}{n}$. Can someone give me an explanation for why $\cos(\theta)$ […]

Is the ring $\displaystyle A=\mathbb{Z} \left[ \frac{1+i \sqrt{7}}{2} \right]$ euclidean? If $N : z \mapsto z \overline{z}$, then for all $z \in \mathbb{C}$ there exists $a \in A$ such that $N(z-a)<1$, except when $z$ has the form $\displaystyle \left(n+\frac{1}{2} \right)+ \left(m+ \frac{1}{2} \right) \frac{1+i \sqrt{7}}{2}$; in this case, you can only find a large inequality. […]

Assume $F$ is a field and $f$ is an irreducible polynomial in $F[X,Y]$ which involves the variable $Y$. Then, by Gauss’s lemma, $f$ is irreducible also in $F(X)[Y]$ so that $F(X)[Y]/(f)$ is a field (where $(f)$ is the ideal generated by $f$). I’m looking for a simple way to see that the fraction field of […]

Let $R$ be a PID (Principal Ideal Domain) and $x$ is an element R. Prove that the ideal $\langle x\rangle$ is maximal if and only if $x$ is irreducible. Ok, so I know what an irreducible is. I’m thinking that this problem is asking us to set up a proof by contradiction but I can’t […]

Give me some examples of basis for $\mathbb{R}$ (as vector space over field $k=\mathbb{Q}$). Thanks.

I have tried various numbers of the form $a+b\sqrt{5},\ a,b \in \mathbb{Z}$, but cannot find the one needed. I would appreciate any help. Update: I have found that $q=1+\sqrt{5}$ is irreducible. Now if I show that 2 is not divisible by $q$ in $\mathbb{Z}[\sqrt{5}]$ then $2\cdot2 = (\sqrt{5}-1)(\sqrt{5}+1)$ and I’m done. Can it be shown […]

Show that an algebraically closed field must be infinite. Answer If F is a finite field with elements $a_1, … , a_n$ the polynomial $f(X)=1 + \prod_{i=1}^n (X – a_i)$ has no root in F, so F cannot be algebraically closed. My Question Could we not use the same argument if F was countably infinite? […]

Show that $(\mathbb{Z}[x]/(x^{n+1}))^{\times}\cong \mathbb{Z}/2\mathbb{Z}\times\Pi_{i=1}^n\mathbb{Z}$. Anyway how and what method is used to prove this. I still have no idea now. really thanks for your help

I am going over some counterexamples for the the isomorphism $M^{*} \otimes M \rightarrow Hom_R( M,M)$. In particular I have been trying to understand what happens if you remove the various restrictions on the module conditions on $M$ necessary guarantee the bijectivity of the isomorphism. The strongest condition required that I know of $M$ be […]

Let $R$ be a ring, commutative with $1$, let $\mathfrak{i}$ be an ideal, not the whole ring. In general $\mathfrak{i}^2\subseteq\mathfrak{i}$. Can this inclusion be an equality, or it is always a strict inclusion?

Intereting Posts

How to show that a measurable function on $R^d$ can be approximated by step functions?
How can I improve my explanation that the ratio $\theta=\frac{s}{r}$ that defines the radian measure holds for all circles?
$xT=x$ iff $x=e$ implies that every $g$ may be written as $x^{-1}(xT)$ for some $x\in G$.
Give an example of a relation R on $A^2$ which is reflexive, symmetric, and not transitive
How prove this inequality $3a^3b+3ab^3+18a^2b+18ab^2+12a^3+12b^3+40a^2+40b^2+64ab\ge 0$
Integral with Undefined Endpoint (Complex Variables)
Open Problems in Convex Analysis and Convex Optimization
Function whose third derivative is itself.
Density of rationals and irrationals in real analysis
Tricks. If $\{x_n\}$ converges, then Cesaro Mean converges (S.A. pp 50 2.3.11)
How to prove that $53^{103}+ 103^{53}$ is divisible by 39?
Prove functions defined by sup and inf are continuous
For any point outside of a circle, is there ever only one tangent to the circle that passes through the point?
Show that Function Compositions Are Associative
Is $\sum_{k\leqslant n} f'(k)f'(n-k) \asymp f'(n)f(n)$ when $f'$ is positive decreasing?