84:
74:
53:
22:
157:
I deleted the claim that nilpotency is equivalent to vanishing of the
Killing form as it is false. There are non-nilpotent Lie algebras whose Killing form vanishes. Hopefully it won't violate the no original research principle if I give a counterexample further down. I haven't found any reference
176:
Counterexample: let L be a complex vector space with a basis {a,b,c}. There is a unique alternating bilinear form such that = b, = i.c , = 0. The only non-trivial case of the Jacobi identity is ] + ] + ] = 0, which holds because each term vanishes individually. Hence we have a Lie algebra.
180:
For any x, y, is a linear combination of b, c, so ] = ] = 0. Hence (ad b)(ad x) = (ad c)(ad x) = 0, so the
Killing form * satisfies b*x = c*x = 0. Finally, a*a = tr((ad a)^2)) - tr((diag(0,1,i))^2) = tr(diag(0,1,-1) = 0. Thus * vanishes.
353:
296:
531:
140:
460:
484:
234:
173:, which correctly states that nilpotency implies that the Killing form vanishes (it is the converse that is false) but does not refer to this fact as Cartan's criterion.
169:
only refers to the solvable case as "Cartan's criterion" (p.66), though it discusses the semisimple case too (p.68). The only reference to nilpotency I could find is
567:
130:
562:
547:
106:
97:
58:
301:
161:
Also, it seems that the standard usage of "Cartan's criterion" refers only to either the solvable or the semisimple case. Eg.
240:
Not sure why this claim is made in this article anyways, besides the fact that it is false: take e.g. the associative algebra
243:
33:
489:
21:
196:
543:
39:
83:
358:
162:
539:
465:
215:
186:
so the common kernel of the adjoint action is trivial). Alternatively, observe that = <b,c: -->
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
89:
486:
in fact has a non-degenerate bilinear form but is not reductive... it has a single proper ideal
73:
52:
192:
166:
556:
184:
Finally, L is not nilpotent because it has no center (since ker(ad a) = <a: -->
102:
200:
165:
explicitly discusses both cases under the heading of "Cartan's criterion", and
236:
is reductive if and only if it admits a nondegenerate invariant bilinear form.
79:
170:
533:
which is abelian, so the adjoint representation is not reducible.
15:
348:{\displaystyle {\mathfrak {g}}=sl_{2}(\mathbb {C} )\otimes A}
188:, so the upper central series stabilises at <b,c: -->
492:
468:
361:
304:
246:
218:
291:{\displaystyle A=\mathbb {C} /\langle z^{2}\rangle }
101:, a collaborative effort to improve the coverage of
525:
478:
454:
347:
290:
228:
212:More generally, a finite-dimensional Lie algebra
536:See also e.g. Favre & Santharoubane (1987).
206:Non-degenerate invariant bilinear form =/=: -->
526:{\displaystyle sl_{2}(\mathbb {C} )\otimes z}
158:to the fact that this equivalence is false.
8:
285:
272:
19:
47:
510:
509:
500:
491:
470:
469:
467:
360:
332:
331:
322:
306:
305:
303:
279:
267:
254:
253:
245:
220:
219:
217:
185:, ker(ad b) = ker(ad c) = <b,c: -->
49:
7:
95:This article is within the scope of
471:
307:
221:
38:It is of interest to the following
14:
568:Mid-priority mathematics articles
455:{\displaystyle =\otimes f(z)g(z)}
115:Knowledge:WikiProject Mathematics
563:Start-Class mathematics articles
118:Template:WikiProject Mathematics
82:
72:
51:
20:
479:{\displaystyle {\mathfrak {g}}}
229:{\displaystyle {\mathfrak {g}}}
135:This article has been rated as
514:
506:
449:
443:
437:
431:
422:
410:
404:
401:
395:
380:
374:
362:
336:
328:
264:
258:
1:
549:00:19, 14 December 2010 (UTC)
298:and consider the Lie algebra
109:and see a list of open tasks.
584:
201:22:01, 20 June 2008 (UTC)
134:
67:
46:
141:project's priority scale
355:(usual definition with
98:WikiProject Mathematics
527:
480:
456:
349:
292:
230:
28:This article is rated
528:
481:
457:
350:
293:
231:
490:
466:
359:
302:
244:
216:
121:mathematics articles
187:and = <b,c: -->
523:
476:
452:
345:
288:
226:
90:Mathematics portal
34:content assessment
155:
154:
151:
150:
147:
146:
575:
548:_reductive": -->
532:
530:
529:
524:
513:
505:
504:
485:
483:
482:
477:
475:
474:
461:
459:
458:
453:
354:
352:
351:
346:
335:
327:
326:
311:
310:
297:
295:
294:
289:
284:
283:
271:
257:
235:
233:
232:
227:
225:
224:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
583:
582:
578:
577:
576:
574:
573:
572:
553:
552:
496:
488:
487:
464:
463:
357:
356:
318:
300:
299:
275:
242:
241:
214:
213:
209:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
581:
579:
571:
570:
565:
555:
554:
522:
519:
516:
512:
508:
503:
499:
495:
473:
451:
448:
445:
442:
439:
436:
433:
430:
427:
424:
421:
418:
415:
412:
409:
406:
403:
400:
397:
394:
391:
388:
385:
382:
379:
376:
373:
370:
367:
364:
344:
341:
338:
334:
330:
325:
321:
317:
314:
309:
287:
282:
278:
274:
270:
266:
263:
260:
256:
252:
249:
223:
208:
204:
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:
580:
569:
566:
564:
561:
560:
558:
551:
550:
545:
541:
537:
534:
520:
517:
501:
497:
493:
446:
440:
434:
428:
425:
419:
416:
413:
407:
398:
392:
389:
386:
383:
377:
371:
368:
365:
342:
339:
323:
319:
315:
312:
280:
276:
268:
261:
250:
247:
238:
237:
205:
203:
202:
198:
194:
190:
182:
178:
174:
172:
168:
164:
159:
142:
138:
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
538:
535:
239:
211:
210:
193:Jeremy Henty
191:
183:
179:
175:
160:
156:
137:Mid-priority
136:
96:
62:Mid‑priority
40:WikiProjects
112:Mathematics
103:mathematics
59:Mathematics
30:Start-class
557:Categories
540:Adagioing
462:). Then
207:reductive
139:on the
36:scale.
544:talk
197:talk
171:here
167:this
163:this
131:Mid
559::
546:)
518:⊗
426:⊗
390:⊗
369:⊗
340:⊗
286:⟩
273:⟨
199:)
189:.
542:(
521:z
515:)
511:C
507:(
502:2
498:l
494:s
472:g
450:)
447:z
444:(
441:g
438:)
435:z
432:(
429:f
423:]
420:y
417:,
414:x
411:[
408:=
405:]
402:)
399:z
396:(
393:g
387:y
384:,
381:)
378:z
375:(
372:f
366:x
363:[
343:A
337:)
333:C
329:(
324:2
320:l
316:s
313:=
308:g
281:2
277:z
269:/
265:]
262:z
259:[
255:C
251:=
248:A
222:g
195:(
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.