The wedgie: Difference between revisions

Line 26:

In the language of linear algebra, the wedgie is an "alternating bilinear form" on the appropriate JI group M; this means that it acts like the operation of finding the determinant of two vectors on the appropriate quotient group M' = M/K of M, where K is the kernel of the bilinear form W. Using the fact that W = a&b where a and b are two edos (properly, rank-1 [[val]]s), you can verify that K is exactly the kernel of the rank-2 temperament:

Let K_1 = the kernel of ~~_the~~ temperament (i.e. the set of commas tempered out by the temperament), and K_2 = ker W = {v ∈ M : W(v, w) = 0 ∀w ∈ M}. If v ∈ K1, then v is tempered out by both a and b, so W(v, w) = a(v)b(w)-a(w)b(v) = 0, and v ∈ K_2. Conversely, if v ∈ K_2, then W(v, w) = a(v)b(w)-a(w)b(v) = 0 for all w, which implies a(v)b(w) = a(w)b(v) (*) for all w. Since a and b both have rank 1 but a&b has rank 2, we can choose w such that a(w) = 0 but b(w) ≠ 0. Then (*) shows a(v) = 0. By the same argument, b(v) = 0. So v is in K_1 and K_1 = K_2, as claimed.

Let K_1 = the kernel of the temperament (i.e. the set of commas tempered out by the temperament), and K_2 = ker W = {v ∈ M : W(v, w) = 0 ∀w ∈ M}. If v ∈ K1, then v is tempered out by both a and b, so W(v, w) = a(v)b(w)-a(w)b(v) = 0, and v ∈ K_2. Conversely, if v ∈ K_2, then W(v, w) = a(v)b(w)-a(w)b(v) = 0 for all w, which implies a(v)b(w) = a(w)b(v) (*) for all w. Since a and b both have rank 1 but a&b has rank 2, we can choose w such that a(w) = 0 but b(w) ≠ 0. Then (*) shows a(v) = 0. By the same argument, b(v) = 0. So v is in K_1 and K_1 = K_2, as claimed.

By the First Isomorphism Theorem it follows that M' is the group of intervals in the rank-2 temperament in question.

@@ Line 26: / Line 26: @@
 In the language of linear algebra, the wedgie is an "alternating bilinear form" on the appropriate JI group M; this means that it acts like the operation of finding the determinant of two vectors on the appropriate quotient group M' = M/K of M, where K is the kernel of the bilinear form W. Using the fact that W = a&b where a and b are two edos (properly, rank-1 [[val]]s), you can verify that K is exactly the kernel of the rank-2 temperament:
-Let K_1 = the kernel of _the temperament (i.e. the set of commas tempered out by the temperament), and K_2 = ker W = {v ∈ M : W(v, w) = 0 ∀w ∈ M}. If v ∈ K1, then v is tempered out by both a and b, so W(v, w) = a(v)b(w)-a(w)b(v) = 0, and v ∈ K_2. Conversely, if v ∈ K_2, then W(v, w) = a(v)b(w)-a(w)b(v) = 0 for all w, which implies a(v)b(w) = a(w)b(v) (*) for all w. Since a and b both have rank 1 but a&b has rank 2, we can choose w such that a(w) = 0 but b(w) ≠ 0. Then (*) shows a(v) = 0. By the same argument, b(v) = 0. So v is in K_1 and K_1 = K_2, as claimed.
+Let K_1 = the kernel of the temperament (i.e. the set of commas tempered out by the temperament), and K_2 = ker W = {v ∈ M : W(v, w) = 0 ∀w ∈ M}. If v ∈ K1, then v is tempered out by both a and b, so W(v, w) = a(v)b(w)-a(w)b(v) = 0, and v ∈ K_2. Conversely, if v ∈ K_2, then W(v, w) = a(v)b(w)-a(w)b(v) = 0 for all w, which implies a(v)b(w) = a(w)b(v) (*) for all w. Since a and b both have rank 1 but a&b has rank 2, we can choose w such that a(w) = 0 but b(w) ≠ 0. Then (*) shows a(v) = 0. By the same argument, b(v) = 0. So v is in K_1 and K_1 = K_2, as claimed.
 By the First Isomorphism Theorem it follows that M' is the group of intervals in the rank-2 temperament in question.