84:
74:
53:
22:
319:
If A is a non-commutative ring, and if M,N are two left A-modules, then the set of A-linear morphisms from M to N is an abelian group. It is not an A-module. At best, it is a module over the center of A! Any text on noncommutative algebra will say it. Therefore, I am reverting once again the edit of
172:
P is such that f(h(m))=m for all m in M, and both f,h are R-module homomorphisms, then P is the direct sum of ker(f) and im(h), and the image of h is isomorphic to M. An easy proof is that (1) P=ker(f)+im(h) since x = (x - h(f(x))) + h(f(x)), and f( x - h(f(x)) ) = f(x) - f(h(f(x))) = f(x) - f(x) =
176:
The group ring example might have a few different interpretations, but either the implicit h is not a G-homomorphism, or the composition is not the identity. Since there is a copy of the trivial module Z contained in the center of ZG and a G-homomorphism from Z to that copy, I'll assume we are in
179:
n*Sum(g,g in G). But then f(h(1)) = |G|, rather than 1. The composition is not the identity, but rather |G| times the identity. Now if |G| is invertible in the ring (changing Z to just some ring R), then one can fix this little snag, but then the trivial module R *is* a direct summand of RG.
173:
0, so the first summand is in the kernel of f, and the second summand is in the image of h. If x is in the intersection of ker(f) and im(h), then x=h(m), but then 0 = f(x) = f(h(m)) = m, and x=h(0)=0. Finally, since f and h are R-module homomorphisms, im(h) and ker(f) are R-submodules of P.
166:
about an equivalence of sections and direct sum decompositions for modules. First I'll describe the equivalence, and then describe what probably went wrong with the proposed example (an edit summary is not long enough to specify such an example, so one must interpret).
140:
240:
Done. Non-principal ideals of
Dedekind domains are popular examples, but simpler examples are direct factor of direct product rings, or the natural module of a full matrix ring.
348:
130:
256:
106:
343:
225:
321:
265:
97:
58:
284:
The article needs to have examples of projective modules (including explicit ones) and explicit examples of non-projective models.
33:
289:
257:
https://math.stackexchange.com/questions/697681/graded-projective-modules-and-vector-bundles-on-projective-varieties
229:
325:
269:
285:
245:
185:
39:
83:
261:
221:
21:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
89:
73:
52:
304:
241:
204:
181:
337:
300:
200:
102:
79:
255:
Here is a counter example, a vector bundle which is not a projective module,
218:
Could someone please provide a few examples of non-free projective modules?
329:
308:
293:
273:
249:
233:
208:
189:
299:
There are some examples and non-examples in the section "Properties".
163:
199:
Clearly there should be an extra page with at least the definition.
15:
101:, a collaborative effort to improve the coverage of
8:
315:Mistake in the subsection titled Exactness
259:
47:
49:
19:
7:
95:This article is within the scope of
38:It is of interest to the following
349:High-priority mathematics articles
14:
158:Section and split exact sequences
115:Knowledge:WikiProject Mathematics
118:Template:WikiProject Mathematics
82:
72:
51:
20:
135:This article has been rated as
171:M is surjective, and h:M-: -->
1:
109:and see a list of open tasks.
344:B-Class mathematics articles
309:00:14, 5 December 2012 (UTC)
294:14:41, 4 December 2012 (UTC)
274:19:37, 9 December 2019 (UTC)
209:20:40, 16 August 2008 (UTC)
195:Locally free redirects here
365:
190:14:21, 26 March 2008 (UTC)
177:the latter case: h:Z-: -->
330:15:39, 1 April 2014 (UTC)
250:14:32, 3 March 2009 (UTC)
234:13:08, 3 March 2009 (UTC)
134:
67:
46:
141:project's priority scale
98:WikiProject Mathematics
28:This article is rated
121:mathematics articles
162:There was a recent
90:Mathematics portal
34:content assessment
286:MathKnight-at-TAU
276:
264:comment added by
224:comment added by
155:
154:
151:
150:
147:
146:
356:
236:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
364:
363:
359:
358:
357:
355:
354:
353:
334:
333:
317:
282:
219:
216:
197:
160:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
362:
360:
352:
351:
346:
336:
335:
316:
313:
312:
311:
281:
280:Basic Examples
278:
253:
252:
226:128.40.136.156
215:
212:
196:
193:
159:
156:
153:
152:
149:
148:
145:
144:
133:
127:
126:
124:
107:the discussion
94:
93:
77:
65:
64:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
361:
350:
347:
345:
342:
341:
339:
332:
331:
327:
323:
322:85.65.231.247
314:
310:
306:
302:
298:
297:
296:
295:
291:
287:
279:
277:
275:
271:
267:
266:65.153.185.86
263:
258:
251:
247:
243:
239:
238:
237:
235:
231:
227:
223:
213:
211:
210:
206:
202:
194:
192:
191:
187:
183:
174:
168:
165:
157:
142:
138:
137:High-priority
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
62:High‑priority
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
318:
283:
260:— Preceding
254:
217:
198:
178:Z(G):n-: -->
175:
170:If f:P-: -->
169:
161:
136:
96:
40:WikiProjects
242:JackSchmidt
220:—Preceding
182:JackSchmidt
112:Mathematics
103:mathematics
59:Mathematics
338:Categories
320:Lazard.
262:unsigned
222:unsigned
214:Examples
164:concern
139:on the
30:B-class
301:Arcfrk
201:T3kcit
36:scale.
326:talk
305:talk
290:talk
270:talk
246:talk
230:talk
205:talk
186:talk
131:High
340::
328:)
307:)
292:)
272:)
248:)
232:)
207:)
188:)
324:(
303:(
288:(
268:(
244:(
228:(
203:(
184:(
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.
