Definition talk:Additive Function (Conventional)

From ProofWiki
Jump to navigation Jump to search

I would like to call any homomorphism between abelian groups an 'additive function'; would you like me to do it here or on eg. Definition:Additive Function (Group Theory)? --Lord_Farin 14:32, 7 April 2012 (EDT)

Not sure. I'd rather it went the other way round: to call an additive function an instance of homomorphism. Reason being that homomorphism is so much more general than the concept of additive functions which evolved from number theory and such like. I've never been sure about classifying all abelian group operations as "addition" even though it can be modelled completely by isomorphism to group products of modulo addition groups on integers.
But Definition:Additive Function (Group Theory) group theory would work, if you have a particular direction to take this concept. --prime mover 14:47, 7 April 2012 (EDT)
I need to cast additivity as on Integral of Positive Simple Function is Additive into a rigid context. --Lord_Farin 14:59, 7 April 2012 (EDT)