Talk:Powers of Group Elements

From ProofWiki
Jump to navigation Jump to search

All seems a bit involved. I reckon we might be able to tackle this by using induction. I'll see what I can dig up, if you like. --prime mover (talk) 23:29, 23 August 2008 (UTC)

Sure, that would probably be a much quicker route. Feel free to make any changes. --Spoon737 23:32, 23 August 2008 (UTC)

Sure thing, it's on my TODO list. I'm working towards it but I have some way to go ... --prime mover (talk) 08:39, 24 August 2008 (UTC)

We've got the proof of these laws defined in Index Laws for Monoids, proves the result for invertible elements. What I've done is reference these results here. I left the original source code in, commented out. Feel free to do with it what you will. --prime mover (talk) 22:36, 18 October 2008 (UTC)