Definition talk:Norm/Algebra

From ProofWiki
Jump to navigation Jump to search

The definition of an algebra requires the scalar ring to be commutative. Which means that the definition of a norm on an algebra should be in terms of a scalar field and not just a division ring. The same applies for the definition of a unital algebra. Not sure if there is some other way around this, but I plan to review the dependencies on these definitions and make sure that they are either in terms of a valued field or can be changed to a valued field so that these definitions can be changed to be restricted to a valued field. --Leigh.Samphier (talk) 06:26, 23 July 2019 (EDT)

I don't know my way around this area very well. If there are genuine technical restrictions preventing an algebra being defined on a division ring (as I believe there might be), then yes we need to tighten these pages up. --prime mover (talk) 11:35, 23 July 2019 (EDT)