Re: [Isarmathlib-devel] Something missing

[Slawomir Kolodynski]

There is some material on group quotients in IsarMathLib, see "Normal subgroups and quotient groups" section in http://isarmathlib.org/Group_ZF_2.html . Of course much more can and should be done.

Vector spaces are missing indeed. Starting a theory on that is a good idea.

Slawekk

---

From: daniel <address@hidden>
To: address@hidden
Sent: Tuesday, May 21, 2013 9:05 PM
Subject: [Isarmathlib-devel] Something missing

Hi!

I feel that we are missing group quotients and vector spaces in
isarmathlib. Is anyone (maybe only you read this, Slawomir) considering
to start develop the theory in any of those cases?

If not, I would like to start one. I think it will be really interesting
when applied to topological groups, finite groups or group
representation theory.

Best regards,

Daniel de la Concepción Sáez

_______________________________________________
Isarmathlib-devel mailing list
address@hidden
https://lists.nongnu.org/mailman/listinfo/isarmathlib-devel