Let 0<γ<π be a fixed pythagorean angle. We study the abelian group Hr of primitive integral triangles (a,b,c) for which the angle opposite side c is γ. Addition in Hr is defined by adding the angles β opposi...Let 0<γ<π be a fixed pythagorean angle. We study the abelian group Hr of primitive integral triangles (a,b,c) for which the angle opposite side c is γ. Addition in Hr is defined by adding the angles β opposite side b and modding out by π-γ. The only Hr for which the structure is known is Hπ/2, which is free abelian. We prove that for generalγ, Hr has an element of order two iff 2(1- cosγ) is a rational square, and it has elements of order three iff the cubic (2cosγ)x3-3x2+1=0 has a rational solution 0<x<1. This shows that the set of values ofγ for which Hr has two-torsion is dense in [0, π], and similarly for three-torsion. We also show that there is at most one copy of either Z2 or Z3 in Hr. Finally, we give some examples of higher order torsion elements in Hr.展开更多
Around 1945, Alfred Tarski proposed several questions concerning the elementary theory of non-abelian free groups. These remained open for 60 years until they were proved by O. Kharlampovich and A. Myasnikov and indep...Around 1945, Alfred Tarski proposed several questions concerning the elementary theory of non-abelian free groups. These remained open for 60 years until they were proved by O. Kharlampovich and A. Myasnikov and independently by Z. Sela. The proofs, by both sets of authors, were monumental and involved the development of several new areas of infinite group theory. In this paper we explain precisely the Tarski problems and what has been actually proved. We then discuss the history of the solution as well as the components of the proof. We then provide the basic strategy for the proof. We finish this paper with a brief discussion of elementary free groups.展开更多
文摘Let 0<γ<π be a fixed pythagorean angle. We study the abelian group Hr of primitive integral triangles (a,b,c) for which the angle opposite side c is γ. Addition in Hr is defined by adding the angles β opposite side b and modding out by π-γ. The only Hr for which the structure is known is Hπ/2, which is free abelian. We prove that for generalγ, Hr has an element of order two iff 2(1- cosγ) is a rational square, and it has elements of order three iff the cubic (2cosγ)x3-3x2+1=0 has a rational solution 0<x<1. This shows that the set of values ofγ for which Hr has two-torsion is dense in [0, π], and similarly for three-torsion. We also show that there is at most one copy of either Z2 or Z3 in Hr. Finally, we give some examples of higher order torsion elements in Hr.
文摘Around 1945, Alfred Tarski proposed several questions concerning the elementary theory of non-abelian free groups. These remained open for 60 years until they were proved by O. Kharlampovich and A. Myasnikov and independently by Z. Sela. The proofs, by both sets of authors, were monumental and involved the development of several new areas of infinite group theory. In this paper we explain precisely the Tarski problems and what has been actually proved. We then discuss the history of the solution as well as the components of the proof. We then provide the basic strategy for the proof. We finish this paper with a brief discussion of elementary free groups.
