Hide keyboard shortcuts

Hot-keys on this page

r m x p   toggle line displays

j k   next/prev highlighted chunk

0   (zero) top of page

1   (one) first highlighted chunk

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

39

r""" 

Matrix algebras 

""" 

from __future__ import absolute_import 

#***************************************************************************** 

# Copyright (C) 2005 David Kohel <kohel@maths.usyd.edu> 

# William Stein <wstein@math.ucsd.edu> 

# 2008-2009 Nicolas M. Thiery <nthiery at users.sf.net> 

# 

# Distributed under the terms of the GNU General Public License (GPL) 

# http://www.gnu.org/licenses/ 

#****************************************************************************** 

 

from .category_types import Category_over_base_ring 

from .algebras import Algebras 

 

class MatrixAlgebras(Category_over_base_ring): 

""" 

The category of matrix algebras over a field. 

 

EXAMPLES:: 

 

sage: MatrixAlgebras(RationalField()) 

Category of matrix algebras over Rational Field 

 

TESTS:: 

 

sage: TestSuite(MatrixAlgebras(ZZ)).run() 

""" 

 

def super_categories(self): 

""" 

EXAMPLES:: 

 

sage: MatrixAlgebras(QQ).super_categories() 

[Category of algebras over Rational Field] 

""" 

R = self.base_ring() 

return [Algebras(R)]