MATH2601 Higher Linear Algebra (1 Viewer)

leehuan

Well-Known Member
Joined
May 31, 2014
Messages
5,805
Gender
Male
HSC
2015




Hint was to use the Bezout property but I have no idea to use it. I assume it's related to proving the existence of an inverse because that was the only bit I had trouble proving. (Associativity is just a repeat proof and the identity element is obviously 1)
____________

Side note - Am not sure why my threads had to be moved here.
 
Last edited by a moderator:

seanieg89

Well-Known Member
Joined
Aug 8, 2006
Messages
2,662
Gender
Male
HSC
2007
Re: Linear Algebra

Suppose the integer a is a representative of a nonzero equivalence class in Z_p.

Then a is coprime to p and hence am+pn=1 for some integers m and n.

Projecting to equivalence classes we get [a][m]=1 (mod p). ([z] denotes the equivalence class in Z_p of the integer z.)

I.e. every element of U_p has an inverse.
 

seanieg89

Well-Known Member
Joined
Aug 8, 2006
Messages
2,662
Gender
Male
HSC
2007
Re: Linear Algebra

In fact this argument straightforwardly generalises to tell us that the subset of Z_n consisting of only the equivalence classes coprime to n form a group w.r.t. multiplication.

This yields Euler's theorem just as the version originally posted will yield Fermat's little theorem.
 

seanieg89

Well-Known Member
Joined
Aug 8, 2006
Messages
2,662
Gender
Male
HSC
2007
Re: Linear Algebra

Ps this isn't really linear algebra at all.
 

leehuan

Well-Known Member
Joined
May 31, 2014
Messages
5,805
Gender
Male
HSC
2015
Re: Group Theory

I am well aware that group theory may not fall under the umbrella of 'linear algebra'. However, in my course (MATH2601), it is the first thing that they choose to teach, hence I set the thread up with that title. I would like my thread name back so I can reserve this thread for all of my math2601 questions. Thanks.
 

Green Yoda

Hi Φ
Joined
Mar 28, 2015
Messages
2,859
Gender
Male
HSC
2017
Re: Group Theory

I am well aware that group theory may not fall under the umbrella of 'linear algebra'. However, in my course (MATH2601), it is the first thing that they choose to teach, hence I set the thread up with that title. I would like my thread name back so I can reserve this thread for all of my math2601 questions. Thanks.
When you double click on your thread when viewing from "whats new" you can change the name yourself.
 

leehuan

Well-Known Member
Joined
May 31, 2014
Messages
5,805
Gender
Male
HSC
2015
Re: Group Theory

When you double click on your thread when viewing from "whats new" you can change the name yourself.
I know that. I just don't want to appear as though I am undoing a moderator action without permission.
 

dan964

what
Joined
Jun 3, 2014
Messages
3,473
Location
South of here
Gender
Male
HSC
2014
Uni Grad
2019
Re: Group Theory

I know that. I just don't want to appear as though I am undoing a moderator action without permission.
its totally fine to edit the thread yourself :)
I have renamed it again so that it is useful for other users of the site.
 

leehuan

Well-Known Member
Joined
May 31, 2014
Messages
5,805
Gender
Male
HSC
2015
Re: MATH2601 Linear Algebra/Group Theory Questions

Just out of curiosity, what's an example of a vector space and/or a field which is defined in a way, that does not use the conventional means of addition and (scalar) multiplication?
 

Drsoccerball

Well-Known Member
Joined
May 28, 2014
Messages
3,657
Gender
Undisclosed
HSC
2015
Re: MATH2601 Linear Algebra/Group Theory Questions

Prove:
 

Shadowdude

Cult of Personality
Joined
Sep 19, 2009
Messages
12,146
Gender
Male
HSC
2010
Re: MATH2601 Linear Algebra/Group Theory Questions

Just out of curiosity, what's an example of a vector space and/or a field which is defined in a way, that does not use the conventional means of addition and (scalar) multiplication?
there are probably some real valued matrix examples
 

Drsoccerball

Well-Known Member
Joined
May 28, 2014
Messages
3,657
Gender
Undisclosed
HSC
2015
Re: MATH2601 Linear Algebra/Group Theory Questions

Let G be a group with identity e. Prove that if x^2 = e for all x in G then G is abelian.
 

leehuan

Well-Known Member
Joined
May 31, 2014
Messages
5,805
Gender
Male
HSC
2015
Re: MATH2601 Linear Algebra/Group Theory Questions

Didn't notice that an element is it's own inverse thanks :)
It's basically this



Having used the associativity axiom and the definition of the identity element.

Right-operating also works
 

Paradoxica

-insert title here-
Joined
Jun 19, 2014
Messages
2,556
Location
Outside reality
Gender
Male
HSC
2016
Re: MATH2601 Linear Algebra/Group Theory Questions

This is strictly for Leehuan's understanding, but here's a concrete example to flesh out for the non-standard addition operation question:



and more generally:

for a bijective function φ(x):

 

leehuan

Well-Known Member
Joined
May 31, 2014
Messages
5,805
Gender
Male
HSC
2015
Re: MATH2601 Linear Algebra/Group Theory Questions

 

Users Who Are Viewing This Thread (Users: 0, Guests: 1)

Top