Mathematics

Associated with Math.SE; for both general discussion & math qu...
GGG
Mar 17, 2016 07:29
I think confused my definitions, it should be $\text{ker}(\phi) = \left\{x+iy \in \mathbb{C}: x^2+y^2 = 1\right\} = \left\{z \in \mathbb{C}: |z| = 1\right\}$ which is the unit circle.
GGG
Mar 17, 2016 06:53
Let $\phi: \mathbb{C}^{\times} \to \mathbb{R^{\times}}$ be defined by $\phi(x+iy) = x^2+y^2$. Prove that $\phi$ is a homomorphism and describe the kernel and image of $\phi.$

I think $|(x+iy)^2| = |x+iy||x+iy| = x^2+y^2, $ so $\phi$ is a homomorphism. $\text{ker}(\phi) = \left\{x,y \in \mathbb{R}\setminus \left\{0\right\}: x+iy = 1\right\} = \left\{r \in \mathbb{R}\setminus \left\{0\right\}: re^{i\theta} =1 \right\}$? Is this right? And $\text{im}(\phi) = \left\{x+iy: x,y \in \mathbb{R} \setminus\left\{0\right\}\right\}$?
GGG
Mar 15, 2016 08:00
Thanks.
GGG
Mar 15, 2016 07:59
@feralin That's neat! I would never think of that!
GGG
Mar 15, 2016 07:45
@MikeMiller I can't figure it out. Please reveal!
GGG
Mar 15, 2016 07:44
@feralin with what you have given I can calculate the first one (the one I had already done) in like one step.
GGG
Mar 15, 2016 07:37
@feralin No, in fact. I'm still puzzled about it.
GGG
Mar 15, 2016 07:23
Yeah, how did you get that?
GGG
Mar 15, 2016 07:14
Lol! What sorcery is this? Is it because $503$ is a prime number?
GGG
Mar 15, 2016 06:53
Done the first one! The second one looks a lot trickier.
GGG
Mar 15, 2016 06:46
Any tips on calculating $5^{2009}\mod{31}$ and $5^{2009^{1492}} \mod{503}$
GGG
Mar 14, 2016 22:02
@Semiclassical Bye. Cheers for helping me out several times today. :D
GGG
Mar 14, 2016 21:59
Not sure, just guessing. I only understand that definition in terms of $D_6$.
GGG
Mar 14, 2016 21:53
$D_4 = \left\{x^i, yx^i: 0 \le i \le 3 \right\}$?
GGG
Mar 14, 2016 21:41
You know how the Dihedral group $D_6$ can be defined as $D_6 = \left\{x^i, yx^i: 0 \le i \le 5 \right\}$. What's the equivalent definition for $D_4$?
GGG
Mar 14, 2016 19:17
Neat stuff! :D
GGG
Mar 14, 2016 19:17
@Semiclassical regarding that left coset I think it's $r e^{i (\pi/2)}$ for $r \in \mathbb{R}\setminus \left\{0\right\}$.
GGG
Mar 14, 2016 18:28
Ok I see, thanks again.
GGG
Mar 14, 2016 18:26
So they mean describe the set $\left\{i \right\}$ as a coset of $\mathbb{R}^{\times}$ ,the subgroup of $\mathbb{C}^{\times}$.
GGG
Mar 14, 2016 18:21
@Semiclassical So it doesn't mean $\mathbb{R}^{\times}$? I mistyped $\times$ as $+$ previously but edited it.
GGG
Mar 14, 2016 18:16
"Note that $\mathbb{R}^{\times}$ is a subgroup of $\mathbb{C}^{\times}$ (the non-zero complex numbers under multiplication). Describe the left coset of $\mathbb{R} ^{\times}$ in $\mathbb{C}^{\times}$ containing $i$." Could anyone please translate this question because I don't understand it. What does containing $i$ mean?
GGG
Mar 14, 2016 15:43
so as soon as I find four distinct cosets, I know i'm done?
GGG
Mar 14, 2016 15:39
Cheers, I didn't fully grasp the definition it turns out!
GGG
Mar 14, 2016 15:39
Oh, riiiight!
GGG
Mar 14, 2016 15:30
What are the left cosets of the subgroup $\langle [4]\rangle = \left\{[1], [4]\right\}$ of $\mathbb{Z}_{15}^{\times}$? My answer it's the set $\left\{[1], [4]\right\}$ because the left cosets are $\left\{[1]h: h \in \langle [4]\rangle \right\} = \left\{[1],[4]\right\}$ and $\left\{[4]h: h \in \langle [4]\rangle \right\} = \left\{[1],[4]\right\}$.

But this is wrong because I'm saying the left cosets are the subgroup itself, which sounds wrong.
GGG
Mar 13, 2016 21:23
Euclidean algorithm using matrices! Why didn't anyone tell me about this coolness before!?
GGG
Mar 13, 2016 21:19
@TobiasKildetoft Cool, thanks. I was only wondering whether I could translate the problem in terms of arithmetic modulo $14$ or something.
GGG
Mar 13, 2016 20:55
@TobiasKildetoft I get it. So if I want to find the order of $g^i$ for say $2 \le i \le 13$ I do that for each of them or is there a more systematic approach I could use?
GGG
Mar 13, 2016 20:38
If the order of the element $g$ of a group is $14$, how do I find the order of say $g^6$?
GGG
Mar 13, 2016 19:09
Cheers. @TobiasKildetoft
GGG
Mar 13, 2016 19:07
"An integer $k$ in $\mathbb{Z}/n\mathbb{Z}$ is a generator of $\mathbb{Z}/n\mathbb{Z}$ iff $\gcd(n, k) = 1$." Is this just for the multiplicative group, or for the additive group as well?
GGG
Mar 13, 2016 17:31
Cheers @TedShifrin
GGG
Mar 13, 2016 17:28
@MikeMiller Assume there's such $x$ such that $(\mathbb{R}^{+}, \times) = \left\{x^{\ell}: \ell \in \mathbb{Z}\right\}.$ Then in particular we would have say $x^{n} = 2$ suggesting that $x = 2^{\frac{1}{n}}$. Trying this on $3$ we have $3 = 2^{\frac{m}{n}} \implies 3^n = 2^m$, which is impossible, right?
GGG
Mar 13, 2016 16:11
Is it not possible to do by contradiction? Assume that there's such element $x$, then derive a contradiction...
GGG
Mar 13, 2016 16:00
I can't come up with such $x$.
GGG
Mar 13, 2016 15:59
Nope.
GGG
Mar 13, 2016 15:56
I know that if $H$ is cyclic, then there's an element $x$ in $H$ such that $H = \left\{x^{\ell}: \ell \in \mathbb{Z} \right\}$
GGG
Mar 13, 2016 15:54
Busted!
GGG
Mar 13, 2016 15:50
How do you prove that $\left({\mathbb{R}^{+}, \times}\right)$ is not cyclic?
GGG
Mar 7, 2016 05:02
Does my question make sense?
GGG
Mar 7, 2016 05:02
-1
Q: Null space of linear transformation of polynomials

GGGThe set $\mathcal{P}$of all real polynomials $f(x)$ is a linear subspace of the vector space $\mathcal{C}^{\infty}$ of real differentiable functions on the real line. Find the null space of the following mappings defined on $\mathcal{P}$. $F_2(f(x)) = xf(x)$ $F_3(f(x)) = x^2f''(x)-2xf'(x)$ Wh...

GGG
Mar 6, 2016 22:17
If $T = \begin{pmatrix}1&0&1\\0&1& 1\\ 0& 0& 0\end{pmatrix}$, why does $\text{Im}(T) = \text{span}\left\{(1,0,0), (0,1,0)\right\}$? I thought image of $T$ was the span of the columns of $T$, in which case $\text{Im}(T) = \text{span}\left\{(1,0,0), (0,1,0), (1,1,0)\right\}$?
GGG
Mar 6, 2016 20:34
Thanks!
GGG
Mar 6, 2016 20:27
Does anyone know sources for linear transformation problems at level of the one above?
GGG
Mar 6, 2016 20:26
Cool!
GGG
Mar 6, 2016 20:18
Let $T$ be the linear operator on $\mathbb{R}^3$ defined by

$$T(x_1, x_2, x_3)= (3x_1, x_1-x_2, 2x_1+x_2+x_3)$$

Is $T$ invertible? If so, find a rule for $T^{-1}$ like the one which defines $T$.

Prove that $(T^2-I)(T-3I) = 0.$

I've found that $T$ invertible, and that the rule is $$T^{-1}(x_1, x_2, x_3) = (\frac{1}{3}x_1, -x_2, -\frac{2}{3}x_1+x_2).$$

But to show that $(T^2-I)(T-3I) = 0$, am I supposed to use linearity/earlier part, or just the matrix?
GGG
Mar 4, 2016 16:20
Am I misunderstanding the whole concept when I say I'm caught in-between two non-standard basis? Or maybe that wasn't the transition matrix I was supposed to find. Could someone please explain.
GGG
Mar 4, 2016 16:18
1
A: Vectors that form basis in $\mathbb{R}^3$ and transition matrix

mvwThe given vector $x$ $$ x = 4 e_1+ 4 e_3 $$ can be represented according the first or the second basis too. \begin{align} x &= x_1^{(0)} b_1^{(0)} + x_2^{(0)} b_2^{(0)} + x_3^{(0)} b_3^{(0)} = (x_1^{(0)},x_2^{(0)},x_3^{(0)})^T = [x]_0 \\ &= x_1^{(1)} b_1^{(1)} + x_2^{(1)} b_2^{(1)} + x_3^{(1)} ...

GGG
Mar 4, 2016 09:33
Oh, wow! I was stuck on this for time 'cause I thought I couldn't do that! Thank you.
GGG
Mar 4, 2016 09:31
@TobiasKildetoft my matrix $\mathbf{A}$ is a four (rows) by three (columns) - am I allowed to multiply by that vector?