Intereting Posts

Showing that $f(x)^3 + g(x)^3 + h(x)^3 – 3f(x)g(x)h(x) = 1$ for functions $f$, $g$, and $h$ defined by certain power series
What is the square root of complex number i?
A function is continuous if its graph is closed
$\mathcal{K}(L^2(\mathbb{R}^m \times \mathbb{R}^n)) = \mathcal{K}(L^2(\mathbb{R}^m)) \otimes \mathcal{K}(L^2(\mathbb{R}^n))$?
Show that $15\mid 21n^5 + 10n^3 + 14n$ for all integers $n$.
Finding coefficient of a complicated binomial expression?
Construction of “pathological” measures
Relations of a~b iff b = ak^2
Proving the Thompson Transfer Lemma
Prove that $f$ is one-to-one iff $f \circ h = f \circ k$ implies $h = k$.
If the index $n$ of a normal subgroup $K$ is finite, then $g^n\in K$ for each $g$ in the group.
What is a covector and what is it used for?
Notation for image and preimage
Cantor-Bernstein-like theorem: If $f\colon A\to B$ is injection and $g\colon A\to B$ is surjective, can we prove there is a bijection as well?
Gluing together mathematical structures, how?

$F$ is an isomorphism from group $G$ onto group $B$. Prove $F^{-1}$ is an isomorphism from $B$ onto $G$.

I do not know which direction to go in.

- What are the commutative quasigroups satisfying $a/b=b/a$?
- Whitehead's axioms of projective geometry and a vector space over a field
- A finite field extension of $\mathbb R$ is either $\mathbb R$ or isomorphic to $\mathbb C$
- Can non-units be multiplied together to form units?
- If $R\otimes_\mathbb R\mathbb C$ is finitely generated $\mathbb C$ - algebra then $R$ is a finitely generated $\mathbb R$ - algebra?
- On Groups of Order 315 with a unique sylow 3-subgroup .

- Prove that $x-1$ is a factor of $x^n-1$
- Reducibility of a polynomial in $\mathbb R$
- Book recommendations for self-study at the level of 3rd-4th year undergraduate
- Which finite groups contain the two specific centralizers?
- Group of order $48$ must have a normal subgroup of order $8$ or $16$
- Additive primes
- Examples of prime ideals that are not maximal
- Normal products of groups with maximal nilpotency class
- {5,15,25,35} is a group under multiplication mod 40
- How to show the Symmetric Group $S_4$ has no elements of order $6$.

Since F is an isomorphism of G onto group B we know that $F^-1$ is bijective that being said we know its 1-1 and onto and all youd have to do is prove that $F^-1$ is operation preserving

Hint: if $x,y\in B$, then $x=F(g)$ and $y=F(h)$ for some $g,h\in G$. Then

$$

F^{-1}(xy)=F^{-1}(F(g)F(h))=\ldots

$$

Excuse me for this rather pedantic answer: an isomorphism is a homomorphism$~f$ that has an inverse homomorphism$~g$, and since the conditions for an inverse are symmetric (namely $f\circ g=1$ and $g\circ f=1$), it is clear that $g$ is an isomorphism as well (with inverse$~f$). There is nothing more to prove.

Now I realise that this may not be the definition of an isomorphism of groups that you have at hand; it might be defined as a bijective homomorphism. That is not the correct definition. It is a valid *characterisation* of isomorphisms of groups, exactly because one can prove that the inverse bijection then is a homomorphism of groups (and of course being bijective is also *necessary* to have an inverse homomorphism). But before this is shown, there is no justification to call bijective homomorphisms isomorphisms. The definition of isomorphism is always the above one in terms of homomorphisms; it is valid in *all* categories.

Now it happens that in many algebraic categories (groups, monoids, fields, vector spaces, rings, modules, you name it) all bijective homomorphisms are isomorphisms. This is because in such categories, all properties that a function$~f$ must satisfy to be a homomorphism are of the form $$\def\Op{\operatorname{Op}}

f(\Op(x_1,x_2,…))=\Op(f(x_1),f(x_2),…),

$$

where $\Op$ is an algebraic operation in the category. (For groups the relevant operations are multiplication (with $2~$arguments), inverse ($1~$argument) and identity ($0~$arguments), though it turns out requiring it for multiplication alone suffices.) Given that such a requirement holds for $f$ and that $f$ has an inverse function$~f^{-1}$, set $y_i=f(x_i)$ for all arguments, so that $x_i=f^{-1}(y_i)$, and apply $f^{-1}$ to both sides of the equation. This gives after simplification $\Op(f^{-1}(y_1),f^{-1}(y_2),…)=f^{-1}(\Op(y_1,y_2,…))$, so that $f^{-1}$ satisfies the same requirement. This applies in particular for groups, with $\Op(x,y)=xy$.

Because $F$ is a bijection, $F^{-1}$ is a bijection as well. Now we know

$$F(a\cdot b)=F(a)\cdot F(b)$$

This means that

$$F^{-1}(a\cdot b)=F^{-1}(F^{-1}(F(a\cdot b))) = F^{-1}(F^{-1}(F(a)))\cdot F^{-1}(F^{-1}(F(b))) = F^{-1}(a)\cdot F^{-1}(b)$$

Thus $F^{-1}$ is an isomorphism from $B$ to $G$.

- Outer Measure of the complement of a Vitali Set in equal to 1
- Inverse of $y=xe^x$
- Trying to understand why circle area is not $2 \pi r^2$
- Euclidean domain $\mathbb{Z}$
- Sum of product of Fibonacci numbers
- How to compute the area of the shadow?
- A Combinatorial Proof of Dixon's Identity
- Measurability of one Random Variable with respect to Another
- References for coordinate-free linear algebra books
- Invariant subspaces using matrix of linear operator
- Subgroups of a cyclic group and their order.
- In Hilbert space: $x_n → x$ if and only if $x_n \to x$ weakly and $\Vert x_n \Vert → \Vert x \Vert$.
- Additive basis of order n: Sets which allow every integer to be expressed as the sum of at most n members of that set.
- Zero's of an ODE.
- Prove where exp: Skew($3\times 3$) $\rightarrow SO(3)$ is local homeomorphism