Finite-dimensional algebra over a field: Difference between revisions
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
{{curing property}} | {{curing property}} | ||
{{domain-to-field | {{domain-to-field property}} | ||
==Definition== | ==Definition== | ||
Revision as of 20:34, 2 February 2008
This article defines a property of commutative unital rings; a property that can be evaluated for a commutative unital ring
View all properties of commutative unital rings
VIEW RELATED: Commutative unital ring property implications | Commutative unital ring property non-implications |Commutative unital ring metaproperty satisfactions | Commutative unital ring metaproperty dissatisfactions | Commutative unital ring property satisfactions | Commutative unital ring property dissatisfactions
Any integral domain satisfying this property of commutative unital rings, must be a field
Definition
A finite-dimensional algebra over a field is a commutative unital ring that contains a subfield, such that the ring is finite-dimensional, when viewed as a vector space over the field. The dimension here is not to be confused with the Krull dimension, which is always zero for such algebras.