Everything2
Near Matches
Ignore Exact
Full Text
Everything2

matrix representation of Mobius functions

created by ariels

(idea) by ariels (2.7 d) (print)   ?   (I like it!) 1 C! Sun Sep 10 2000 at 14:22:22

Recall that a möbius function has 4 parameters; they are nicely arranged in 2 rows (numerator and denominator) and in 2 columns (x coefficient and unit coefficient). So it looks nice to arrange them in a 2x2 matrix. Wouldn't it be even nicer if the matrix made sense?

It does!

The trivial case for these functions is when the denominator divides the numerator, and the function is constant. This occurs precisely when the matrix is singular. In all other cases, the function is one to one.

Now, consider what happens when you compose the möbius functions fA and fB represented by 2 matrices A and B. The function f(x) = fA(fB(x)) is also a möbius function (verify this by substitution). And even better -- the coefficients of f are exactly given by the matrix A B!

Note, however, that the correspondence to 2x2 matrices is not one to one: if we multiply both numerator and denominator by the same constant, we change the matrix but not the function. So the group of möbius functions is a quotient group of GL2, but not isomorphic to it. However, if we are in C we can always multiply numerator and denominator by a constant to get determinant 1, so we're looking at PSL2(C). If we're in R, we can always get the determinant to be +1 or -1, so we're looking at SL2(R). And if we're in Z, we're basically looking at some number theory to decide anything, but it turns out that all the interesting functions are in SL2(R) anyway.

For real coefficients, the sign of the determinant is also important.


printable version
chaos

Useful properties of Mobius functions Mobius function Iron Maiden mathematics
Ramen spinor Whoa! Mobius strip
Politics There is no spoon compose Feature request for Universe 2.0
Y'know, if you log in, you can write something here, or contact authors directly on the site. Create a New User if you don't already have an account.
  Epicenter
Login
Password

password reminder
register

Everything2 Help

Cool Staff Picks
Just another sprinkling of indeterminacy
Mr. Clean will clean up everything you hold dear, leaving you crying, sanitized and utterly alone
Philosophical theories of truth
elastrator
Thomas Jefferson
Hecate
What is conflict, and why bother to resolve it?
Planck units
Bikram Yoga
The Guru got a girlfriend
Richard Harris
Anonymous Men Think They Can Talk To Me
Satsuma
I Can't Make You Love Me
New Writeups
antigravpussy
One fly amongst many(person)
sam512
Moon Base Shackleton, 1978(fiction)
Pavlovna
toy boy(person)
XWiz
tear jerker(review)
Heitah
Anarchy is Order(idea)
jessicaj
July 26, 2008(dream)
Berek
ABBA(person)
devolution
k-hole(place)
Nadine_2
The Sound Of Madness(review)
SwimmingMonkey
Conversations with Fo Fo, the Loneliest dog in Purgatory(fiction)
locke baron
lynx(thing)
Simulacron3
Reality, Dimensions and the Natural Ontology(essay)
SubSane
Making Love to a 9-Foot Woman(person)
Ouzo
Thoughts(idea)
antigravpussy
I fall silent, listening. The breadcrumbs are talking about us(person)
Everything 2 is brought to you by the letter C and The Everything Development Company