Intereting Posts

$n = 2^k + 1$ is a prime iff $3^{\frac{n-1}{2}} \equiv -1 \pmod n$
Small primes attract large primes
Decomposing the plane into intervals
Complex analysis: contour integration
Functions continuous in each variable
Normal subgroup $H$ of $G$ with same orbits of action on $X$.
Mathematical problem induction: $\frac12\cdot \frac34\cdots\frac{2n-1}{2n}<\frac1{\sqrt{2n}}$
Prove that if $A$ is transitive, then $\mathcal{P}(A)$ is transitive too.
Do Symmetric Games with Nash Equilibria always have a symmetric Equilbrium?
homeomorphism from $\mathbb{R}^2 $ to open unit disk.
Why $2n \int ^\infty _n \frac{c}{x^2 \log(x)} \sim n \frac{C}{n \log(n)}$?
Parabolic subgroups of $\mathrm{Sl}_n$ are the ones that stabilize some flag
Cartesian Product of Two Complete Metric Spaces is Complete
Closed subspace of $l^\infty$
Countability of boundary points

I have a question related to this: Projective modules

I’m trying to understand the “philosophy” of the statement, because it seems too similar to the statement “a module is free iff every element can be written uniquely as a finite linear combination of elements of a basis”.

Is this “projective basis” property saying this:

- Quick way to find the number of the group homomorphisms $\phi:{\bf Z}_3\to{\bf Z}_6$?
- Is every element of a complex semisimple Lie algebra a commutator?
- Any prime is irreducible
- Borel subalgebras contain solvable radical
- Show that all abelian groups of order 21 and 35 are cyclic.
- Right and left inverse

a module P is projective iff every element in P can be written as a finite linear combination of some elements of P?

We lose uniqueness in the expression as a sum: in the elements of P, in the elements of R, and in the number of terms (so the concept of “rank” wouldn’t make sense). Is this all, or am I misunderstanding the statement?

Any other intuition related to that property is also appreciated.

- Ideal contained in a finite union of prime ideals
- Find all subrings of $\mathbb{Z}^2$
- For $a=\cos(2\pi/n)$, show that $ = \ldots$
- The uniqueness of a special maximal ideal factorization
- $F$ is a field iff $F$ is a Principal Ideal Domain
- Show $x^6 + 1.5x^5 + 3x - 4.5$ is irreducible in $\mathbb Q$.
- Ring of formal power series over a field is a principal ideal domain
- Find irreducible but not prime element in $\mathbb{Z}$
- Isomorphism and cyclic modules
- Example for an ideal which is not flat (and explicit witness for this fact)

The statement “every element in P can be written as a finite linear combination of some elements of P.”, where “some” means a finite set, just says that the module is finitely generated.

This has nothing to do with being projective.

Take for instance the $\mathbb Z$-module $\mathbb Z/2$. Here every element can be written as a multiple of $[1]$. So $\mathbb Z/2$ is finitely generated but not projective.

On the other hand the infinite direct sum $\bigoplus_{\mathbb N}\mathbb Z$ is a projective $\mathbb Z$-module which is not finitely generated.

The crucial thing in the definition of a projective basis is really that you have *homomorphisms out of $P$ into the ring (regarded as module over itself)*.

The statement you’re linking to is: A module $P$ is projective if and only if there is a family $\{x_{i}\}_{i \in I} \subset P$ and morphisms $f_{i}: P \to R$ such that for each $x \in P$ we have $x = \sum_{i \in I} f_{i}(x) x_{i}$. The last statement says three things:

- In order for the sum to make sense we must have that for all $x$ the set $\{i\,:\,f_{i}(x) \neq 0 \}$ is finite. Or, as stated there: for all $x$ we have $f_{i}(x) = 0$ for almost all $i$.
- The set $(x_{i})_{i \in I}$
*generates*$P$. In other words, the map $g: \bigoplus_{i \in I} R \to P$ sending $(r_{i})$ to $\sum_{i \in I} r_{i} x_{i}$ is an epimorphism (it suffices to take $r_{i} = f_{i}(x)$ to see that this map is onto). - The epimorphism $g$
*splits*: there is a right inverse $f: P \to \bigoplus_{i \in I} R$ of $g$, i.e. $gf = \operatorname{id}_{P}$ (this morphism $f$ is of the form $(f_{i})_{i \in I}$ with morphisms $f_{i}: P \to R$ and by the definition of a direct sum we have $f_{i}(x) \neq 0$ only for finitely many $i$).

In my opinion its just an extremely explicit way of phrasing the much more catchy “a module is projective if and only if it is a direct summand of a free module”.

The phrasing of your statement

a module P is projective iff every element in P can be written as a finite linear combination of some elements of P

is pretty bad, because it is not at all evident from that those *some elements* are fixed: what you mean, but not what you wrote, probably is

a module is projective iff there is a set $X\subseteq P$ such that every element of $P$ is a finite combination of elements of $X$.

Now, this last statement is false: you can always pick $X=P$, so its truth would imply that all modules are projective—and there are rings which have non-projective modules!

- How common are probability distributions with a finite variance?
- Question about conjugacy class of alternating group
- Is the function $ f(x,y)=xy/(x^{2}+y^{2})$ where f(0,0) is defined to be 0 continuous?
- How to convert the general form of ellipse equation to the standard form?
- Tough Inverse Fourier Transform
- Monte Carlo double integral over a non-rectangular region (Matlab)
- Difference between a class and a set
- How find this $\sum\limits_{n=0}^{\infty}(-1)^{n}\left(\frac{1}{n+1}-\frac{1}{n+2}+\frac{1}{n+3}-\cdots\right)^{2}$
- What does $\sum_{k=0}^\infty \frac{k}{2^k}$ converge to?
- Transforming the cubic Pell-type equation for the tribonacci numbers
- Find the value of $a^2-b^2+c^2$
- Why: A holomorphic function with constant magnitude must be constant.
- Evaluate $\int_{|z|=r}^{}\frac{\log\ z}{z^2+1}dz$ where $r>0$
- Conjugacy Class of Isomorphisms Between Two Isomorphic Groups Definition
- How to link two curves?