Intereting Posts

Find an orthonormal basis of a plane
Counting the number of 4 letter words that can be made from a given multiset of 11 letters
Bijection $f:\mathcal{P}(A)\to(A\to \{0,1\})$
Proof of $\gcd(a,b)=ax+by$
Simplify $\int_{0}^{1}\ln(x-a)\ln x\,\mathrm{d}x$, for $a<0$
Functions that take rationals to rationals
Construction of a right triangle
variance inequality
Are all metric spaces topological spaces?
A curious coincidence for Wroblewski's solutions to $1^4+x_2^4+x_3^4+x_4^4+x_5^4 = y_1^4$
Why do we need to learn integration techniques?
Pull-backs of diagrams of groups with free product.
Showing a distribution is not complete for a parameter $\theta$
Classification of local Artin (commutative) rings which are finite over an algebraically closed field.
Commutator of a group

We want to show that $Hom_R(R^n,M) \cong M^n$ for $n\in\Bbb Z_{\ge0}$

I have already shown that $Hom_R(R,M) \cong M$ by letting $f:Hom_R(R,M)\rightarrow M$ given by $f(\phi) = \phi(1)$.

I showed that $f$ is bijective and is a group homomorphism, thus $Hom_R(R,M) \cong M$.

- The Relationship Between Cohomological Dimension and Support
- Using Nakayama's Lemma to prove isomorphism theorem for finitely generated free modules
- Determining the presentation matrix for a module
- global dimension of rings and projective (flat) dimension of modules
- Generating connected module over a connected $K$-algebra
- Solutions of homogeneous linear differential equations are a special case of structure theorem for f.g. modules over a PID

It seems too easy to define the same function for $Hom_R(R^n,M) \cong M^n$, I must be doing something wrong. Injectivity and surjectivity were both straightforward, and showing its a homomorphism seemed to go okay… Can you just use the same $f$? How can you show these are isomorphic?

- For a Noetherian ring $R$, we have $\text{Ass}_R(S^{-1}M)=\text{Ass}_R(M)\cap \{P:P\cap S=\emptyset\}$
- Equivalent Definitions of Ideal Norm
- Show that $R/I\otimes_R R/J\cong R/(I+J)$
- Example of a non-splitting exact sequence $0 → M → M\oplus N → N → 0$
- Existence proof of the tensor product using the Adjoint functor theorem.
- A ring with IBN which admits a free module with a generator with less elements than a basis
- Whence this generalization of linear (in)dependence?
- Given a, b How many solutions exists for x, such that: $a \bmod{x}=b $
- Isomorphism of R-modules
- $M\oplus A \cong A\oplus A$ implies $M\cong A$?

In general, following theorem holds:

$$\operatorname{Hom}_R\left(\bigoplus_{i\in I}A_i, B \right)\cong \prod_{i\in I}\operatorname{Hom}_R(A_i,B)$$

Let define a map $\phi$ from the former to the latter defined as

$$\phi(f) := \langle f\circ \iota_i\rangle_{i\in I}$$

(where $\iota_i:A_i\to \bigoplus_{i\in I} A_i$ be the canonical insertion) and define map $\psi$ from the latter to the former as

$$\psi(\langle g_i\rangle_{i\in I})(a) = \sum_{i\in I}g_i(a_i).$$

Above sum ranges for all $i\in I$. Each $g_i$ is a morphism from $A_i$ to $B$ and $a = \langle a_i\rangle_{i\in I} \in \bigoplus_{i \in I} A_i$. $a_i=0$ but finitely many so $\psi(\langle g_i\rangle_{i\in I})$ is well-defined. You can check that $\phi$ and $\psi$ are homomorphism and inverses each other.

You can find the finite version of above theorem, and its proof is essentially same.

- Sufficiency of $X_{(n)}$ for random sample of scale uniform variables.
- On Ramanujan's Question 359
- All $11$ Other Forms for the Chudnovsky Algorithm
- Field reductions. part two
- Curvature of geodesic circles on surface with constant curvature
- Find all $x,y\in \mathbb{N}$ such that: $2^x+17=y^2$.
- Express in terms of Legendre polynomials
- $\left \| \cdot \right \|$ is an induced norm. If $\left \| A \right \|<1$, how to show that $I-A$ is nonsingular and …?
- What is the intuitive meaning of the adjugate matrix?
- The meaning of notation $\subset\subset$ in complex analysis
- Prove that in an ordered field $(1+x)^n \ge 1 + nx + \frac{n(n-1)}{2}x^2$ for $x \ge 0$
- Is a single point boundaryless?
- Is conditional expectation with respect to two sigma algebra exchangeable?
- Find $n$ such that $n/2$ is a square, $n/3$ is a cube, and $n/5$ a fifth power
- Find maximum divisors of a number in range