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
add a comment

1 Answer

Sort by ยป oldest newest most voted
1

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

John Palmieri gravatar image

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
add a comment

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

subscribe to rss feed

Stats

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

Seen: 320 times

Last updated: May 21 '18

Related questions

Using CombinatorialFreeModule

Constructing a morphism of free modules using the indexing set

How to add term order to free module?

A simple question on modules.

What is the name of a tensor product?

How to get coordinates of an element of a combinatorial free module?

Groebner Basis for Submodules of a Free Module

inheriting from CombinatorialFreeModule

Computing basis of local artinian ring as a vector space.

<repr(<sage.modular.modform.element.Newform at 0x7f0c8fa15c30>) failed: IndexError: list index out of range>],

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.
about | faq | help | privacy policy | terms of service
Powered by Askbot version 0.7.59