Talk:G-Module is Irreducible iff no Non-Trivial Proper Submodules

I vote for either $\left({\rho \left({G}\right)}\right)\left({W}\right)$ for formal correctness, or $\rho \left({G}\right) W$ for readable purposes. The present line will certainly be cause of confusion. I silently (well, no longer silently...) hope that people will agree that the second is better... --Lord_Farin 18:19, 16 March 2012 (EDT)

More definitions needed
In order to improve understanding, I have added links to three further objects, all of which will need pages for:


 * Definition:Irreducible G-Module
 * Definition:Trivial G-Module
 * Definition:Proper G-Submodule

What has been done previously on this site is for separate objects to be created for these compound definitions, especially if they are used in a lot of places. It also aids in consolidating results about such objects as entities in their own right.

In particular, as it currently stands, it is not easy to work out the nature of these objects from the pages linked to.

Compare Definition:Commutative Semigroup, Definition:Commutative and Unitary Ring and the like. --prime mover 02:09, 17 March 2012 (EDT)