The question reads: Find a basis of $\mathbb{Q}(\sqrt{2}+\sqrt[3]{4})$ over $\mathbb{Q}$. Describe the elements of $\mathbb{Q}(\sqrt{2}+\sqrt[3]{4})$. My original thought on the approach was to find the minimum polynomial (which would have degree 6), and then just take create a basis where every element is $(\sqrt{2}+\sqrt[3]{4})^n$ for $n=0,\ldots,5$. The hint in the back recommends adjoining $\sqrt[3]{4}$ first, […]

So I’ve got this exercise: Let $X$ be a set and $(G, \star)$ a group. We denote $G^X$ the set of a mappings from $X$ to $G$. Show that $G^X$ has a group structure induced by $G$ So this is my attempt. I first have to show that it has the identity element, but I […]

Let $S = \oplus_{n \geq 0} S_n$ be a graded ring. Let $S$ be a finitely generated $A$-algebra, where $A = S_0$, a commutative ring with unity. Then there exists $t_1, .., t_M$ homogeneous elements of positive degree that generate $S$ over $A$. It then follows that $S$ is isomorphic to $k[x_1, …, x_M]/I$ as […]

Let $M$ be a module and $\phi: M\longrightarrow M$ be an endomorphism. Let $\ker \phi$ be a direct summand of $M.$ Does it imply that $\mbox{im}\,\phi$ is a direct summand of $M$ too? I have not seen an explicit statement in any text have read but it seems quite clear from what I have seen […]

Let $g \in \text{ group } G $ and $n \in N$. Let $\phi : \mathbb{Z_n} \rightarrow G$ be defined by $\phi(i) = g^i$ for $0 \le i \le n$. Give a necessary and sufficient condition (in terms of g and n) for $\phi$ to be a homomorphism. Prove your assertion. My $g =$ solution’s […]

Consider the following proposition: A nonzero element $m\in{\bf Z}_n$ is a zero divisor if and only if $m$ and $n$ are not relatively prime. I don’t know if this is a classical textbook result. (I didn’t find it in Gallian’s book). For the “only if” part, one may like to use the Euclid’s lemma. But […]

I am reading Dummit and Foote, and in Section 4.1: Group Actions and Permutation Representations they give the following example of a group action: The symmetric group $G = S_n$ acts transitively in its usual action as permutations on $A = \{1, 2, \dots, n\}$. Note that the stabilizer in $G$ of any point $i$ […]

Let $x,y \in R$, where $R$ is a unique factorization domain. Let $P$ be the set of all representatives in each class of associate irreducible elements of $R$. Then, suppose $x,y\in R$ are nonzero, nonunit elements (First Question: How would this proof change if either $x$ or $y$ is zero or is a unit of […]

Let $A$ be a integral domain and $M$ a maximal ideal in $A$ such that the quotient $A/M$ is a finite ring (and thus a finite field). Is it true, in general, that $$|A/M^k|=|A/M|^k \quad (k\in\textbf{N})\ ?$$ Edit. (Counter-example in the answers, thanks to Jendrik Stelzner and Bib-lost). Nevertheless, I have the feeling that this […]

If $R$ is an integral domain and a subring $S$ has identity $1_S$, how would you show that $1_S=1_R$ (here $1_R$ is the identity of the ring $R$)? I am unsure about what an integral domain really is and how the subring comes into play here.

Intereting Posts

Show that the area of a triangle is given by this determinant
No nonconstant coprime polynomials $a(t)$, $b(t)$, $c(t) \in \mathbb{C}$ where $a(t)^3 + b(t)^3 = c(t)^3$.
How to show the series $\displaystyle\sum_{\xi\in\mathbb Z^n}\frac{1}{(1+|\xi|^2)^{s/2}}$ converges if and only if $s>n$?
Holomorphic and Harmonic functions
What are the rules for factorial manipulation?
What equation can produce these curves?
How to evaluate $ \lim_{x\rightarrow +\infty } \sqrt{a^x+b^x} = ? $
Solving polynomial equation system to find three dimensional location
In the card game Set, what's the probability of a Set existing in n cards?
Evaluate $\int_0^{\pi} e^{a\cos(t)}\cos(a\sin t)dt$
Help evaluating a gamma function
map from $\mathbb{C}$ to $\mathbb{C}/L$ is open map?
What is the relation between connections on principal bundles and connections on vector bundles?
How can I show that $\sup(AB)\geq\sup A\sup B$ for $A,B\subset\mathbb{R}$ where $A\cup B$ is positive and bounded?
$A\in M_3(\mathbb R)$ orthogonal matrix with $\det (A)=1$. Prove that $(\mathrm{tr} A)^2- \mathrm{tr}(A^2) = 2 \mathrm{tr} (A)$