Home My Page Projects CoqFiniteGroups
Summary Activity Forums Tracker Lists Tasks Docs News SCM Files

Forum: Weak version of Maschke Theorem completed

Posted by: Sidi Ould Biha
Date: 2007-01-10 13:52
Summary: Weak version of Maschke Theorem completed
Project: CoqFiniteGroups

Content:

The weak version of Maschke Theorem :
Let V be a representation of a finite group G over a Field K, Card(G) is invertible in K.
Let W be a invariant subspace (sub representation) of V.

Then exists an invariant subspace W1 of V such that V = W (+) W1. (*direct sum*).
Latest News

First Official Release

Laurent Théry - 2013-07-04 08:27 -

Ssreflect 1.3 released

Georges Gonthier - 2011-03-15 12:26 -

New release of ssreflect

Laurent Théry - 2009-08-12 13:37 -

WIki

Laurent Théry - 2007-01-23 15:52 -

Weak version of Maschke Theorem completed

Sidi Ould Biha - 2007-01-10 13:52 -
Monitor Forum | Start New Thread Start New Thread