1
vote
2answers
45 views

How do I show a mapping is a homomorphism?

I don't want to make this question too broad, or non-specific. I'll will discuss a simple situation so we can all share a common context, but my question is less about this particular group, and more ...
4
votes
2answers
133 views

homomorphism $f: \mathbb{C}^* \rightarrow \mathbb{R}^*$ with multiplicative groups, prove that kernel of $f$ is infinite.

Let $f: \mathbb{C}^* \rightarrow \mathbb{R}^*$ be a homomorphism of the multiplicative group of complex numbers to the multiplicative group of real numbers. I need to show that the kernel of $f$ must ...
2
votes
2answers
99 views

How Many Homomorphisms $\Bbb{Z}_4 \to \Bbb{Z}_8 \times \Bbb{Z}_{12} \times \Bbb{Z}_{15}$?

I know that the number of homomorphisms between $Z_n$ and $Z_m$ is $\gcd(m,n)$. However, I don't know what to do with these two questions: How many different homomorphisms exist: $\Bbb{Z}_4 \to ...
0
votes
1answer
51 views

Two isomorphism questions

Let G = (C - {0}, mult.), and let U be the subgroup U = {x+yi such that x^2 + y^2 = 1}. Use the Fundamental Theorem to show that: a) G/U is isomorphic to (R>0, mult.) b) G/R>0 is isomorphic to U. ...
0
votes
2answers
100 views

How to show there is only one homomorphism between $\mathbb Z_{25}$ and $S_4$?

Show that there is only one homomorphism from $\mathbb Z_{25}$ to $S_4$. How do i approach this question? If anyone could give me a hint or some guidelines that would be great.
0
votes
2answers
54 views

How is this map a well-defined homomorphism?

If $f: R \rightarrow S$ is a homomorphism of rings with kernel $K$, and $I$ is an ideal in $R$ such that $I \subset K$. The hypothesis is that the map $\overline{f}: R/I \rightarrow S$ given by ...
1
vote
3answers
90 views

No isomorphism between $(\mathbb R,+)$ and $(\mathbb R^*, \times)$

My goal is to disprove the existence of an isomorphism between $(\mathbb R,+)$ and $(\mathbb R^*, \times)$. I proceeded by contradiction. Suppose $f$ is such a map. Then $$f(0-0)=f(0)f(-0)=-f(0)^2$$ ...
1
vote
3answers
95 views

Question about automorphisms

Let G be a finite abelian group and let n be a positive integer relatively prime to |G|. a. Show that the mapping ϕ(x)=x^n is an automorphism of G. b. Show that every x∈G has an nth root, i.e., for ...
5
votes
2answers
78 views

Differences between nilpotent and pointwise nilpotent endomorphisms.

Consider an endomorphism of a module $f:M\rightarrow M$. We have that $f$ is pointwise nilpotent if $\forall x\in M,\ \exists n,\ n\in \mathbb N$ such that $f^{n}(x)=0$. I already know that the ...
3
votes
1answer
67 views

Morphisms, Splitting Fields, and Primitive Cube Roots

Let $\alpha=\sqrt[3]2$ and $\omega=e^{2\pi i/3}$, and let $K=\mathbb{Q}[\alpha,\omega]$ be the splitting field of $f(x)=x^3-2$ over $\mathbb{Q}.$ Determine all morphisms $K\to K$. Ok, so I have ...
0
votes
2answers
52 views

$k$-algebra homomorphisms

I would like to ask if the following is true: Let $A$ be a $k$-algebra where $k$ is any field. If we have a $k$-algebra homomorphism $f:A\rightarrow k$, does it follow that $\ker(f)$ is a maximal ...
2
votes
2answers
67 views

Proving the Frobenius map is an endomorphism

I have prime $p$, and $K$ a field such that $p \cdot 1 = 1+1+\cdots+1 = 0$. I am asked to prove that $F: K \rightarrow K$, $a \mapsto a^p$ is a ring homomorphism. I can prove this for ...
0
votes
1answer
41 views

Say $K=\mathbb Q(2^{1/3})$. Determine all endomorphisms of $K$.

Say $K=\mathbb Q(2^{1/3})$. Determine all endomorphisms of $K$, and justify your answer. Hint: Say $f(x)= x^3-2$. How many roots of $f$ are in $K$? For this I know $x^3-2$ has 1 real root, ...
0
votes
1answer
107 views

Isomorphism of R-modules

Does somebody has an example where the left $R$-modules $R^m$ and $R^n$ are isomorphic for all positive integers $m$, and $n$?
3
votes
3answers
167 views

Isomorphisms and the Fundamental Homomorphism Theorem

Let $$ R=\left\{ \begin{bmatrix} a & b \\ 0 & a \end{bmatrix} : a,b∈ℝ\right\}⊂M_2(ℝ) $$ and $$ I=\left\{ \begin{bmatrix} 0 & b \\ 0 & 0 \end{bmatrix}: b∈ℝ\right\}. $$ Identify the ...
3
votes
1answer
138 views

Automorphism of $\mathbb{Z}\rtimes\mathbb{Z}$

I'm looking for a description of $\mathrm{Aut}(\mathbb{Z}\rtimes\mathbb{Z})$. I've tried an unsuccessfully combinatorical approac, does anymore have some hints? Thank you.
1
vote
2answers
146 views

Is the ring $\mathbb{Z}_5[x]$ isomorphic to the ring of polynomial functions from $\mathbb{Z}_5$ to $\mathbb{Z}_5$?

Is the ring $\mathbb{Z}_5[x]$ isomorphic to the ring of polynomial functions from $\mathbb{Z}_5$ to $\mathbb{Z}_5$? If not, what is a good counterexample? If yes, how can we prove that there's a ...
31
votes
4answers
737 views

$\mathbb C[X]/(X^2)$ is isomorphic to $\mathbb R[Y]/((Y^2+1)^2)$

This question led me to the following: Prove that $\mathbb C[X]/(X^2)$ is isomorphic to $\mathbb R[Y]/((Y^2+1)^2)$.
3
votes
2answers
320 views

Prove the third isomorphism theorem

I'm trying to prove the third Isomorphism theorem as stated below Theorem. Let $G$ be a group, $K$ and $N$ are normal subgroups of $G$ with $K⊆N$. Then $$(G⁄K)⁄(N⁄K)≅G⁄N.$$ I look up for some ...
0
votes
3answers
91 views

Let $p$ be a prime. Determine the number of homomorphisms from $\mathbb{Z}_p \oplus \mathbb{Z}_p$ into $\mathbb{Z}_p$.

Let $p$ be a prime. Determine the number of homomorphisms from $\mathbb{Z}_p \oplus \mathbb{Z}_p$ into $\mathbb{Z}_p$. How can I able to solve this problem?can anyone help me please.
6
votes
2answers
114 views

Aut $\mathbb Z_p\simeq \mathbb Z_{p-1}$

I'm trying to prove that Aut $\mathbb Z_p\simeq \mathbb Z_{p-1}$ (p prime). I know that Aut $\mathbb Z_p$ has $p-1$ elements because $\mathbb Z_p$ has $p-1$ possiblities of generators, so intuitively ...
1
vote
3answers
139 views

Ring homomorphism question.

If $R$ is a ring, show that there is exactly one ring homomorphism $\phi: \mathbb{Z} \to R$. I can't grasp the idea that there can be only one ring homomorphism. Aren't there many (at least more than ...
8
votes
1answer
76 views

Prove that $Tx=x^{-1}~\forall~x\in G.$ [duplicate]

Let $G$ be a finite group and suppose the automorphism $T$ sends more than $\dfrac{3}{4}th$ of the elements of $G$ onto their inverses. Prove that $Tx=x^{-1}~\forall~x\in G.$
3
votes
2answers
561 views

If $\phi:G\to\bar{G}$ is an isomorphism and if $H$ is a normal subgroup of $G$, then $\phi(H)$ is a normal subgroup of $\bar{G}$.

If $\phi:G\to\bar{G}$ is an isomorphism and if $H$ is a normal subgroup of $G$, then $\phi(H)$ is a normal subgroup of $\bar{G}$. I am struggling with getting started with the problem. I know ...
5
votes
1answer
92 views

A question on morphisms of fields

Let $A,B$ be two fields. Let $\phi:A\rightarrow B$ and $\psi:B\rightarrow A$ be two morphisms of fields. Can i conclude that $A$ and $B$ are isomorphic fields? My guess is yes, because every morphism ...
1
vote
1answer
112 views

How I can find the inverse of an isomorphism?

The motivation of this question can be found in Can we extend the map $φ$ to $ℝ^{r}×C(ℚ)^{\text{tors}}→C(ℚ)$ as an isomorphism or not? My question is: How I can find the inverse of the ...
1
vote
0answers
120 views

Order of kernel of a homomorphism

Let $p,q$ be distinct primes. Prove that the kernel of the map $$f: (\mathbb{Z}/p^k\mathbb{Z})^* \rightarrow (\mathbb{Z}/p^k\mathbb{Z})^*$$ defined by $f(x)=x^q$ has order $\gcd(p-1,q).$ Thank ...
-1
votes
1answer
89 views

Problem of monomorphism of rings [duplicate]

Let $A$ a ring, for each monomorphism $f:A^m \rightarrow A^n$, I don't know how to prove that $m\leq n$. I can't start the problem, I have no idea, help me please.
10
votes
1answer
257 views

Question on a homomorphism of a set G.

I'm having difficulty showing the given a map, say $\phi(z)=z^k$, is surjective. This question is from D & F section 1.6 - #19 Let $G$ =$\{z \in \mathbb C|z^n=1 \text{ for some } n \in \mathbb ...
1
vote
3answers
132 views

How can I conclude that an automorphism is the identity map?

Let $\phi$ be an automorphism on a group $G$. If $\phi$ maps any one non-identity element in $G$ to itself, is $\phi$ necessarily the identity map? What if $G$ is cyclic?
0
votes
5answers
174 views

Show that $S_2$ is isomorphic to $Z_2$

Show that $S_2$ is isomorphic to $Z_2$ I know that $S_2$ has two elements $\sigma_1$ and $\sigma_2$...and $Z_2$ has two elements 0 and 1. But isomorphism is a bijective function, right? So doesn't ...
1
vote
2answers
69 views

Morphisms generated by functions

Given a function $f: A \to B$, I can construct a morphism $g : A^* \to B^*$ where $X^*$ denotes some free structure generated by $X$ (Could be monoid, group, module, etc.). I'd like to study ...
5
votes
5answers
860 views

In a ring homomorphism we always have $f(1)=1$? [duplicate]

Possible Duplicate: the image of $1$ by a homomorphism between unitary rings I'm studying the Atiyah's commutative algebra book and I realized that in the beginning of the book, the author ...
127
votes
2answers
4k views

Can we ascertain that there exists an epimorphism $G\rightarrow H$?

Let $G,H$ be finite groups. Suppose we have an epimorphism $$G\times G\rightarrow H\times H$$ Can we find an epimorphism $G\rightarrow H$?
1
vote
1answer
145 views

Unique decomposition of a mapping by an equivalence relation

I have a math question from computer science. The following should be a fundamental fact from mathematics. Can you the mathematicins tell me how you would say it in a more elegant way? Given a ...
4
votes
1answer
202 views

When is the image of a group morphism a normal subgroup?

Let $f : G \to G'$ be a group morphism. I need to find a necessary and sufficient condition such that $\operatorname{Im}(f)$ is a normal subgroup of $G'$.
3
votes
1answer
307 views

the image of $1$ by a homomorphism between unitary rings

let $R$ and $S$ be unitary rings and $\phi:R\rightarrow S$ a ring homomorphism. is the following correct: $\phi(1_R\cdot1_R)=\phi(1_R)\cdot\phi(1_R)$ so $\phi(1_R)(1_S-\phi(1_R))=0_S$ and so ...