Ask Your Question
1

free module changes dimensions after base change

asked 2018-05-21 22:27:29 +0100

RegularUser gravatar image

Hi, I have a free module of rank 1 over the integers

sage: M

Free module of degree 1 and rank 1 over Integer Ring
Echelon basis matrix:
[2]

However, when I base change it to the field with two elements, it changes dimension!

sage: M.change_ring(GF(2))

Vector space of degree 1 and dimension 0 over Finite Field of size 2
Basis matrix:
[]

What's going on?

P.S.: What does Sage mean by "degree"?

edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted
1

answered 2018-05-21 23:45:33 +0100

The degree means the dimension of the ambient module. For example, the vector space spanned by (2,0,2) inside R^3 is one dimensional but is of degree 3.

In your case, you have a module over the integers, perhaps spanned by (2) inside of a rank one free Z-module. When you reduce mod 2, the spanning vector becomes (0), so the resulting module over GF(2) is zero dimensional.

edit flag offensive delete link more

Comments

So, change_ring applies to the ambient module and not the module itself? That's messed up! Is there a way to base change the module itself then?

RegularUser gravatar imageRegularUser ( 2018-05-22 01:15:27 +0100 )edit

Note that this behavior of change_ring is described it its documentation. Anyway, mathematically, what are you trying to accomplish?

John Palmieri gravatar imageJohn Palmieri ( 2018-05-22 16:49:09 +0100 )edit

I have a homomorphism between two free modules and what to base change it to a finite field.

RegularUser gravatar imageRegularUser ( 2018-05-23 16:07:45 +0100 )edit

Mathematically, if you have the times 2 map between two free modules and you change to GF(2), that map should become zero. That is what Sage's behavior is modeling.

John Palmieri gravatar imageJohn Palmieri ( 2018-05-23 16:56:10 +0100 )edit

The map that I want to base change is not multiplication by two. In fact, trying to base change the map in question throws an exception, precisely because the dimension of the codomain changes.

RegularUser gravatar imageRegularUser ( 2018-05-24 18:47:26 +0100 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2018-05-21 22:27:29 +0100

Seen: 315 times

Last updated: May 21 '18