Discussion Overview
The discussion centers on the definition of the determinant in the context of non-commutative matrices, specifically exploring applications to quaternions and Clifford algebras. Participants are examining whether traditional methods, such as minor expansion, are applicable in these non-commutative settings.
Discussion Character
- Exploratory
- Technical explanation
- Debate/contested
Main Points Raised
- One participant questions whether the minor expansion of the determinant, which is typically defined over a field, still holds in non-commutative algebras.
- Another participant suggests that the definition of the determinant may not assume commutativity, indicating that it could potentially work in non-commutative contexts, though they express uncertainty about this idea.
- A third participant proposes that a useful definition of the determinant could be derived by representing a finite dimensional algebra over the reals as an algebra of real matrices, allowing for the computation of a real-valued determinant.
- One participant notes that while the definition of determinant is straightforward for real or complex matrices, they are unsure if the Laplace expansion applies to quaternionic matrices, which could have implications for the norm function in Clifford algebras.
- Another participant mentions finding various resources on "noncommutative determinant" that may provide useful definitions.
Areas of Agreement / Disagreement
Participants express uncertainty and differing viewpoints regarding the applicability of traditional determinant definitions in non-commutative settings. No consensus is reached on whether the minor expansion or Laplace expansion can be applied to quaternionic matrices.
Contextual Notes
The discussion highlights limitations related to the assumptions of commutativity in determinant definitions and the potential need for new definitions or approaches in the context of non-commutative algebras.
