Irreducible Divisor Graphs
|
|
- Clifford Newton
- 7 years ago
- Views:
Transcription
1 Irreducible Divisor Graphs Jim Coykendall Department of Mathematics North Dakota State University Fargo, ND Jack Maney Department of Mathematical Sciences The University of South Dakota 414 E. Clark St. Vermillion, SD October 21, 2005 Abstract In [6], I. Beck introduces the idea of a zero-divisor graph of a commutative ring. We generalize this idea to study factorization in integral domains and define irreducible divisor graphs. We use these irreducible divisor graphs to characterize certain classes of domains, including UFDs. 1 Introduction In this paper, R will denote an integral domain (commutative, with nonzero identity). Often, but not always, we will also assume that R is an atomic domain (that is, every nonzero nonunit element of R can be written as a product of irreducibles). If S is a subset of R, we denote S \ {0} by S. Also, N and F q denote the natural numbers and the field of q elements, respectively. If G = (V, E) is a graph and if v is a verte of G, then by v G we will mean v V. Also, V and E may also be respectively denoted by V (G) and E(G) if there is any danger of confusion as to which graph is being referred. A recent subject of study linking commutative ring theory with graph theory has been the concept of the zero-divisor graph of a commutative ring. Let R be a commutative ring with identity and denote the set of (nonzero) zero-divisors of R as Z(R). The zero-divisor graph of R, denoted by Γ(R), is the graph with verte set Z(R) and if a, b Z(R), ab E(Γ(R)) if and only if ab = 0. Zero-divisor graphs were introduced by I. Beck in [6], and they have been studied and generalized even more recently (cf. [5], [3], [11], [8], [10], [14], [4], 1
2 [15], [1], [2], [12], [16], [9], and [17]). In this paper, we stretch this idea in a different direction, applying it to factorization in integral domains. If R is atomic, it is well-known that nonzero nonunit elements of R need not factor uniquely into irreducibles. If a nonzero nonunit R (with R atomic) does not factor uniquely into irreducibles, then it follows that there eist two nonassociate irreducible divisors, π and ξ of such that = πα 1 α 2 α m = ξβ 1 β 2 β m, with α i, β j irreducible, and with π nonassociate to each β j and likewise with ξ and each α i. When this happens, we will say that π and ξ show up in two different factorizations of. Equivalently, if it is not the case that any two nonassociate irreducible divisors of show up in two different factorizations of, then factors uniquely into irreducibles. Thus, if is a nonzero nonunit element of an (atomic) domain R, then one approach to studying the factorization(s) of this (fied) lies in looking at how many pairs of nonassociate irreducible divisors of are both in a factorization of (or, in other words, looking at how many pairs of nonassociate irreducible divisors of have their product dividing ). This leads to the development of the irreducible divisor graph. If R is a domain, we denote the set of irreducibles of R by Irr(R). However, as is the case when studying factorization in integral domains, we will generally not distinguish between an irreducible and its associates. So, we define Irr(R) to be a (pre-chosen) set of coset representatives, one representative from each coset in the collection {πu(r) π Irr(R)}. We also recall that a graph G (with no loops or multiple edges) is a clique if G is a complete graph, that is, if there is an edge between every pair of vertices. A clique on n vertices (n N) will be denoted by K n. If G is a graph with a subgraph H, we recall that H is an induced subgraph of G if for all u, v H, uv E(G) implies that uv E(H). For v G, we denote the neighborhood of v (in G) by N(v) = N G (v) := {u G uv E(G)}. We will need a new graph-theoretic definition that we will find helpful. Definition 1.1 Let G be a graph. We say that G is a pseudo-clique if G is a complete graph having some number (possibly zero) of loops. It immediately follows that a clique is a pseudo-clique. Definition 1.2 Let R be a domain, and let R be a nonzero nonunit that can be factored into irreducibles. 1. We define the irreducible divisor graph of to be the graph G() = (V, E) where V = {y Irr(R) y }, and given y 1, y 2 Irr(R), y 1 y 2 E if and only if y 1 y 2. Further, we attach n 1 loops to the verte y if y n divides. 2
3 2. We define the reduced divisor graph of to be the subgraph of G() containing no loops, and we denote the reduced divisor graph of as G(). 3. If R is an antimatter domain, that is, a domain having no irreducibles (and this includes the class of fields), then we define G() = G() to be the empty graph for each R. 4. If A V (G()), then by G A (), we mean the induced subgraph of G() on N(A). If A = {π 1, π 2,, π n }, then G A () will be denoted by G (π1,π 2,,π n )() and if A = {π}, then G A () will be denoted by G π (). Note that in G() it is possible for π to be in N(π). In fact, this happens precisely when π 2. We will mainly be interested in the case of R being atomic. Throughout the rest of this paper, we will assume that R is not an antimatter domain. 2 Eamples Eample 2.1 Let R = Z[ 5]. Using norms, it is easy to see that the only nonassociate irreducible factorizations of 6 are: 6 = 2 3 = (1 5)(1 + 5). So, G(6) is as follows: Also, the only irreducible factorizations of 18 in R are: 18 = = 3(1 5)(1 + 5) = 2(2 + 5)(2 5). So, G(18) is as follows: Eample 2.2 Let R = Z[ 14]. Then, again using norms, we see that the only irreducible factorizations of 81 are: 81 = 3 4 = (5 2 14)( ). 3
4 Thus G(81) is as follows: Eample 2.3 Let R be a UFD, and let be any nonzero nonunit. Then we may factor as p a 1 1 pa 2 2 pa n n where a i N and the p i are distinct nonassociate primes. Since this is the only way to factor into irreducibles, we see that G() is isomorphic to K n with a i 1 loops on each verte p i. It also follows that G() = K n. Eample 2.4 Let R = Q[ 2, 3 ] and let f() = The only irreducible factorizations of f in R are: f() = ( 2 3 ) = ( 3 4 ) = 3 3 ( 3 4 ). And G(f) is as follows: Eample 2.5 Let F = F 2, and let y be a root of the (irreducible) polynomial X 3 + X + 1 F []. Let K = F [y] and let V be the F -subspace of K with basis {1, y}. Finally, let R = F + V + 2 K[[]]. After some calculations, it is apparent that V = {0, 1, y, y 3 } and that Irr(R) = {, y, y 3, y 5 2 }. Furthermore, the only nonassociate irreducible factorizations of 5 are: () 5 = (y 5 2 )(y 3 ) 3 = (y 5 2 )(y) 2 = 2 (y 3 ) 2 (y) = (y) 4 (y 3 ). 4
5 Therefore G( 5 ) is as follows: y 3 y y 5 2 and G( 5 ) has four loops on, two loops on y 3, and three loops on y. We now notice a contrast between these eamples. In Eamples 2.1, 2.2, and 2.3 every (maimal) pseudo-clique corresponds to a factorization. For eample, in the second graph in 2.1, we have a triangle formed by 2 and 2 ± 5 and we also have 2(2 + 5)(2 5) = 18. Similarly, in Eample 2.2, the verte 3 (along with its 3 loops) makes a factorization of 81, as does the K 2 formed by 5 ± These eamples are nice in the sense that it is easy to pick out the irreducible factorizations just by looking at the irreducible divisor graph. In contrast, in Eample 2.4, we have a triangle formed by 2, 3, and 3 4. This triangle also forms a maimal pseudo-clique (since G(f) is not a psuedoclique). However, 2 3 ( 3 4 ) does not divide f(). Also, in Eample 2.5, G( 5 ) is a pseudo-clique. However, y 9 5 = y 2 5 = (y)(y 3 )(y 5 2 ) does not divide 5 in R. The phenomenon behind this contrast will be studied in the sequel. 3 Preliminary Results Recall that R is a Finite Factorization Domain (FFD) if R is atomic and every nonzero nonunit element of R has finitely many nonassociate irreducible divisors. Proposition 3.1 Let R be an atomic domain. Then R is an FFD if and only if G() is finite for each nonzero nonunit R. Proof: If R is an FFD, then every nonzero nonunit R has but finitely many nonassociate irreducible factors, whence the verte set of G() is finite. On the other hand, if G() is finite for each, then each has only finitely many nonassociate irreducible divisors, and R is an FFD. Lemma 3.2 Let R be a domain and let R be a nonzero nonunit that can be factored into irreducibles, and let π be an irreducible divisor of. Then the verte sets of G π () and G( π ) coincide. In other words, the vertices of G( π ) are precisely those in the neighborhood of π. What is more, the edge set of G( π ) is contained in the edge set of G π (). Proof: Note that the result is vacuously true if Irr(R). 5
6 Assume that there eists another irreducible divisor of that is adjacent to π, call it ξ. Since ξ and π are adjacent in G(), we must have that ξπ whence ξ G( π ). Conversely, if ξ is a verte of G( π ), then ξ is an irreducible divisor of π whence ξπ and ξ is a verte in G π(). Now, let α, β G( π ) have an edge between them. Then αβ π, yielding that αβπ Thus αβ combined with the fact that α, β N(π) yields that αβ E(G π ()). If no other irreducible divisors of are adjacent to π, then (up to a unit of R), we have = π k for some k 2. It follows that π is adjacent to itself in G(), whence it is easy to see that the assertions follow. We recall that an atomic domain R is a half factorial domain, or HFD, if given any collection of irreducibles {α 1, α 2,, α m, β 1, β 2,, β n } with α 1 α m = β 1 β n, then m = n. Theorem 3.3 Let R be an atomic domain. Then the following are equivalent: 1. R is an HFD. 2. For any nonzero nonunit of R, and for any irreducible factorization π a1 1 πa2 2 πan n with the π i s pairwise nonassociate, the sum of the number of vertices and the number of loops in G (π1,π 2,,π n )() is constant. Proof: (1 2): Clear from the definition of HFD. (2 1): Let π a 1 1 πa 2 2 πan n = ξ b 1 1 ξb 2 2 ξbm m be two irreducible factorizations of. In G (π1,π 2,,π n)() (resp. G (ξ1,ξ 2,,ξ n)()), π i (ξ j ) has a i 1 (b j 1) loops. Thus, by hypothesis, n m n + (a i 1) = m + (b j 1) j=1 n m a i = b j, j=1 and R is an HFD. 4 Boundary Valuation Domains We will now characterize Boundary Valuation Domains (which were defined and studied by the second author in [13]) by their irreducible divisor graphs. We first require some definitions. Definition 4.1 Let R be an HFD with quotient field K. If R K, we define the boundary map R : K Z by R (α) = t s where α = π 1π 2 π t where δ 1 δ 2 δ s π i, δ j Irr(R) for each i and j. If R = K, then we declare R (α) = 0 for all α K. The boundary map was first introduced in [7]. It is clear that R is a homomorphism of abelian groups. 6
7 Definition 4.2 ([13]) Let R be an HFD with quotient field K. We say that R is a boundary valuation domain (BVD) if given any α K with R (α) 0, either α R or α 1 R. It is easy to see that an HFD R with quotient field K is a BVD if for all α K with R (α) > 0, α R (cf. Theorem 2.3 in [13]). Clearly, any rank-1 DVR is a BVD. A non-trivial class of eamples includes domains of the form F + K[[]] where F K is an etension of fields. Eample 4.3 Let R be a BVD with complete integral closure R. Then R is a rank 1 DVR (cf. [13]). Denote the maimal ideal of R by zr. Then every irreducible of R is of the form uz for u U(R ). Of course, if Irr(R), then G() is merely isomorphic to K 1. If R () = 2, then we may write = (u 1 z)(u 2 z) for u i U(R ). Let uz be any other irreducible of R nonassociate (in R) to u 1 z and u 2 z. Then u 1 u 1 u 2 z is an irreducible of R and clearly (uz)(u 1 u 1 u 2 z) =. Therefore V (G()) = Irr(R). Now, suppose that (uz)(u 1 z) E(G()). Then (up to a unit in R), (uz)(u 1 z) = = (u 1 z)(u 2 z) whence u = u 2, a contradiction. Therefore uz is not connected to either u 1 z or u 2 z in G(). In fact, the only irreducible in R that is connected to uz is u 1 u 1 u 2 for if (uz)(vz) E(G()), then (again, up to a unit in R), (uz)(vz) = = (u 1 z)(u 2 z) and v = u 1 u 1 u 2. Therefore, in the case of R () = 2, G() consists of the disjoint union of K 2 s and single vertices with one loop (in the case where u 1 u 2 U(R)). Finally, suppose that R () = n 3. Then we may write = (u 1 z)(u 2 z) (u n z). By the same argument used above, V (G()) = Irr(R). So, let uz, vz Irr(R) be arbitrary. Then = (u 1 z)(u 2 z) (u n z) = (uz)(vz)(u 1 v 1 u 1 u 2 u 3 z) (u n z), and it follows that uz and vz are connected in E(G()), whence G() is a pseudo-clique on V vertices. Proposition 4.4 Let R be an atomic domain. Then the following are equivalent: 1. R is a BVD. 2. For all nonzero nonunit in R, the following hold: a). Either Irr(R) or V (G()) = Irr(R). b). If can be written as a product of two irreducibles, then G() is a disjoint union of graphs, each of which is (graph) isomorphic to K 2 or to a verte with a single loop. c). If can be written as the product of three or more irreducibles, then G() is a pseudo-clique on V (G()). 7
8 Proof: Eample 4.3 shows that 1 implies 2. For the other implication, suppose that condition 2 holds. We will first show that R is an HFD. If Irr(R), then we are done. Otherwise, suppose that = π a1 1 πa2 2 πa n n = ξ b1 1 ξb2 2 ξb m m, with a i, b j N and π i, ξ j Irr(R). We may assume that each of the π s and ξ s are pairwise nonassociate and that n a i is the minimal length of any irreducible factorization of. If Suppose net that However, m b j = 3. j=1 π 1 n a i = 2, then by property 2b, it is clear that m b j = 2. j=1 n a i = 3. Since G() is a pseudo-clique, ξ 1 G( π 1 ). can be written as a product of two irreducibles. It follows that So we may now assume that 4 n a i < m b j. Without loss of generality, we will also assume that amongst all elements of R with different length factorizations, that n a i is minimal. Again, ξ 1 G( π 1 ) whence we have for α l irreducible. Thus and by the minimality of However, we also have = π 1 ξ 1 α 1 α t j=1 ξ 1 α 1 α t = π a π a 2 2 πan n n a i, we have t + 2 = n a i. π 1 α 1 α t = ξ b ξ b m m. ( n ) Counting irreducibles, we have t + 1 = a i 1 irreducibles on the left and ( ) m n b j 1 irreducibles on the right. By the minimality of a i, we must j=1 have equal lengths, implying that n a i = m b j, a contradiction. Therefore R is an HFD. Now we show that R is a BVD. Let α = π 1π 2 π n+t be an element of the δ 1 δ 2 δ n quotient field of R with π i, δ j Irr(R) and R (α) = t > 0. Our aim is to show that α R. Let = π 1 π n+t and let y = δ 1 δ n. If n + t = 1 then n = 0 = R (y), whence y U(R) and α R. j=1 8
9 If n + t = 2 then either n = 0 (and y U(R)) or n = t = 1 and α = π 1π 2. δ 1 Since V (G()) = Irr(R), it follows that δ 1 and α R. Suppose now that n + t 3. Again, since V (G()) = Irr(R), we have that δ 1. Thus there eists r R such that δ 1 r = and R (r) = R () 1. Also, r we have α =. Continuing inductively, we conclude that y and that δ 2 δ n α R. 5 A Characterization of Unique Factorization We close with a characterization of unique factorization domains (or UFDs) via divisor graphs. Theorem 5.1 Let R be atomic. The following are equivalent: 1. R is a UFD. 2. For each nonzero nonunit R, G() is a pseudo-clique. 3. For each nonzero nonunit R, G() is a clique. 4. For each nonzero nonunit R, G() is connected. Proof: It is clear that 2 3 and 2 4 both hold. (1 2,3): This assertion follows from Eample 2.3. (2 1): Assume that R is not a UFD. Let A denote the set of all nonzero nonunit elements of R that do not factor uniquely into irreducibles. Assume that A is nonempty. We set n := min Choose A and an {m z = δ 1δ 2 δ m ; δ i Irr(R)}. z A irreducible factorization of, say = π a 1 1 πa 2 2 πam n with π i and π j nonassociate for each i j and a 1 + a a m = n. Since A, we have another (distinct) irreducible factorization of : = π a 1 1 πa 2 2 πam n = ξ b 1 1 ξb 2 2 ξbt m, with ξ i Irr(R), each ξ i and ξ j nonassociate for each i j, and b 1 + b b t n. Note that no π i can be associate to any ξ j, for if this were to occur, then we could cancel, violating the minimality of n. Now, we can factor π 1 n. Since G() is a pseudo-clique, ξ 1 is adjacent to π 1 in G(), and hence ξ 1 is in the verte set of G( π 1 ). This means that ξ 1 is an irreducible divisor of π 1. So we have the factorizations as π a π a 2 2 πan π 1 = π a π a 2 2 πan n = rξ 1 for some r R. Factoring r into irreducibles, we obtain π 1 = π a1 1 1 π a2 2 πa n n = α 1 α 2 α t ξ 1. 9
10 Note that since ξ 1 is pairwise nonassociate to any π i, the factorizations above are necessarily distinct. But this violates the minimality of a 1 + a a m as the minimal length of factorization of any element of R admitting non-unique irreducible factorizations. Therefore A = {}, no such non-unique factorizations eist, and R is a UFD. (4 1): It will suffice to show that G() is a pseudo-clique for each. Again, let A denote the set of all nonzero nonunit elements of R that do not factor uniquely into irreducibles. Assume that A is nonempty. We again set n := min {m z = δ 1δ 2 δ m ; δ i Irr(R)}, and we take note that n 2. To z A finish off the proof, we induct on n. First, suppose that n = 2. Let A with = yz, y, z Irr(R) nonassociate. Since A, we have another factorization: = yz = π 1 π 2 π t, with π i Irr(R). Now G() is connected, so we may declare, without loss of generality that π 1 is adjacent to y in G() and no π i is associate to z. To see why this is true, we first note that there is a path in G() between π 1 and y, so we may replace π 1 with the verte on this path that is adjacent to y, implying that π 1 is nonassociate to y. We may then take π 1 π 2 π t to be an irreducible factorization of involving π 1. If some π i, for 1 i t, were to be associate to some z, then we may cancel and conclude that t = 2 and that factors uniquely, contradicting the fact that A. Thus our claim is established. So, we have that π 1 y, whence there eists r R such that π 1 yr = = yz, implying that π 1 is associate to z, a contradiction. If n = 2 and y is an associate to z (without loss of generality, y = z), then = y 2. The eact same argument above yields the same contradiction. Thus if has a factorization consisting of eactly two irreducibles, then G() is a pseudo-clique. Net, we assume that n 3 and that any nonzero nonunit of R with minimal length factorization of length less than n factors uniquely. We now suppose that there eists A with y 1 y 2 y n a minimal length irreducible factorization of. We will show that G() is a pseudo-clique. Since A, we have another irreducible factorization = y 1 y 2 y n = π 1 π 2 π t, where t n. Although the y i s may not be distinct, we claim that each y i is nonassociate to each π j. For if not, say without loss of generality, uy 1 = π 1, where u U(R), then we would have u 1 y 2 y 3 y n = π 2 π 3 π t. However, (u 1 y 2 )y 3 y n and π 2 π 3 π t are nonassociate irreducible factorizations of y 1 (since y 1 y n and π 1 π t are nonassociate irreducible factorizations of ). We conclude that y 1 A, violating the minimality of n. Therefore no y i is associate to any π j. 10
11 The fact that G() is connected again implies that, without loss of generality, π 1 and y 1 are adjacent in G(). Consider G( y 1 ). Since y 1 π 1, π 1 is a verte in G( y 1 ), which is to say that π 1 divides y 1 = y 2 y 3 y n. By induction, G( y 1 ) is a pseudo-clique. Now, π 1, y 2, y 3,, y n are all vertices in G( y 1 ). Since π 1 is nonassociate to each of y 2, y 3,, y n and since G( y 1 ) is a pseudo-clique, we must have π 1 y 2 y 1. Thus π 1 G( y 1 y 2 ). Continuing via use of induction, we see that π 1 G( y 1y 2 y n 1 ). However, = y n, implying that π 1 and y n are associate, a contradiction. Therefore A = {} and R is a UFD. y 1y 2 y n 1 Corollary 5.2 Let R be atomic and suppose that for all nonzero nonunit R, G() is connected. Then each G() is a finite pseudo-clique. Proof: If G() is connected for all nonzero nonunit R, then R is a UFD and hence an FFD. The result clearly follows. Corollary 5.3 Let R be atomic. Then R is a UFD if and only if for each nonzero nonunit R, diam(g()) = 1. Proof: This follows from the fact that a graph has a diameter of 1 if and only if it is complete. References [1] S. Akbari, H. R. Maimani, and S. Yassemi, When a zero-divisor graph is planar or a complete r-partite graph, J. Algebra 270 (2003), no. 1, MR MR (2004h:13025) [2] S. Akbari and A. Mohammadian, On the zero-divisor graph of a commutative ring, J. Algebra 274 (2004), no. 2, MR MR (2004k:13009) [3] David F. Anderson, Andrea Frazier, Aaron Lauve, and Philip S. Livingston, The zero-divisor graph of a commutative ring. II, Ideal theoretic methods in commutative algebra (Columbia, MO, 1999), Lecture Notes in Pure and Appl. Math., vol. 220, Dekker, New York, 2001, pp MR MR (2002e:13016) [4] David F. Anderson, Ron Levy, and Jay Shapiro, Zero-divisor graphs, von Neumann regular rings, and Boolean algebras, J. Pure Appl. Algebra 180 (2003), no. 3, MR MR (2003m:13007) [5] David F. Anderson and Philip S. Livingston, The zero-divisor graph of a commutative ring, J. Algebra 217 (1999), no. 2, MR MR (2000e:13007) 11
12 [6] István Beck, Coloring of commutative rings, J. Algebra 116 (1988), no. 1, MR MR (89i:13006) [7] J. Coykendall, The half-factorial property in integral etensions, Comm. Algebra 27 (1999), no. 7, MR 2000d:13013 [8] F. R. DeMeyer, T. McKenzie, and K. Schneider, The zero-divisor graph of a commutative semigroup, Semigroup Forum 65 (2002), no. 2, MR MR (2003d:20091) [9] Frank DeMeyer and Lisa DeMeyer, Zero divisor graphs of semigroups, J. Algebra 283 (2005), no. 1, MR MR (2005h:20138) [10] Frank DeMeyer and Kim Schneider, Automorphisms and zero divisor graphs of commutative rings, Commutative rings, Nova Sci. Publ., Hauppauge, NY, 2002, pp MR MR (2004k:13010) [11] Ron Levy and Jay Shapiro, The zero-divisor graph of von Neumann regular rings, Comm. Algebra 30 (2002), no. 2, MR MR (2002k:13014) [12] Dan-cheng Lu and Wen-ting Tong, The zero-divisor graphs of abelian regular rings, Northeast. Math. J. 20 (2004), no. 3, MR MR (2005e:16017) [13] J. Maney, Boundary valuation domains, J. Algebra 273 (2004), [14] Shane P. Redmond, The zero-divisor graph of a non-commutative ring, Commutative rings, Nova Sci. Publ., Hauppauge, NY, 2002, pp MR MR [15], An ideal-based zero-divisor graph of a commutative ring, Comm. Algebra 31 (2003), no. 9, MR MR (2004c:13041) [16], Structure in the zero-divisor graph of a noncommutative ring, Houston J. Math. 30 (2004), no. 2, (electronic). MR MR (2005d:16002) [17] Tongsuo Wu, On directed zero-divisor graphs of finite rings, Discrete Math. 296 (2005), no. 1, MR MR
ON UNIQUE FACTORIZATION DOMAINS
ON UNIQUE FACTORIZATION DOMAINS JIM COYKENDALL AND WILLIAM W. SMITH Abstract. In this paper we attempt to generalize the notion of unique factorization domain in the spirit of half-factorial domain. It
More informationNon-unique factorization of polynomials over residue class rings of the integers
Comm. Algebra 39(4) 2011, pp 1482 1490 Non-unique factorization of polynomials over residue class rings of the integers Christopher Frei and Sophie Frisch Abstract. We investigate non-unique factorization
More informationI. GROUPS: BASIC DEFINITIONS AND EXAMPLES
I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called
More informationPOLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS
POLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS RUSS WOODROOFE 1. Unique Factorization Domains Throughout the following, we think of R as sitting inside R[x] as the constant polynomials (of degree 0).
More informationQuotient Rings and Field Extensions
Chapter 5 Quotient Rings and Field Extensions In this chapter we describe a method for producing field extension of a given field. If F is a field, then a field extension is a field K that contains F.
More informationMath 319 Problem Set #3 Solution 21 February 2002
Math 319 Problem Set #3 Solution 21 February 2002 1. ( 2.1, problem 15) Find integers a 1, a 2, a 3, a 4, a 5 such that every integer x satisfies at least one of the congruences x a 1 (mod 2), x a 2 (mod
More informationFUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES
FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES CHRISTOPHER HEIL 1. Cosets and the Quotient Space Any vector space is an abelian group under the operation of vector addition. So, if you are have studied
More information11 Ideals. 11.1 Revisiting Z
11 Ideals The presentation here is somewhat different than the text. In particular, the sections do not match up. We have seen issues with the failure of unique factorization already, e.g., Z[ 5] = O Q(
More informationChapter 13: Basic ring theory
Chapter 3: Basic ring theory Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 42, Spring 24 M. Macauley (Clemson) Chapter 3: Basic ring
More informationMath 4310 Handout - Quotient Vector Spaces
Math 4310 Handout - Quotient Vector Spaces Dan Collins The textbook defines a subspace of a vector space in Chapter 4, but it avoids ever discussing the notion of a quotient space. This is understandable
More informationit is easy to see that α = a
21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UF. Therefore
More informationChapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm.
Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. We begin by defining the ring of polynomials with coefficients in a ring R. After some preliminary results, we specialize
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22 RAVI VAKIL CONTENTS 1. Discrete valuation rings: Dimension 1 Noetherian regular local rings 1 Last day, we discussed the Zariski tangent space, and saw that it
More informationCOMMUTATIVE RINGS. Definition: A domain is a commutative ring R that satisfies the cancellation law for multiplication:
COMMUTATIVE RINGS Definition: A commutative ring R is a set with two operations, addition and multiplication, such that: (i) R is an abelian group under addition; (ii) ab = ba for all a, b R (commutative
More informationA 2-factor in which each cycle has long length in claw-free graphs
A -factor in which each cycle has long length in claw-free graphs Roman Čada Shuya Chiba Kiyoshi Yoshimoto 3 Department of Mathematics University of West Bohemia and Institute of Theoretical Computer Science
More information(a) Write each of p and q as a polynomial in x with coefficients in Z[y, z]. deg(p) = 7 deg(q) = 9
Homework #01, due 1/20/10 = 9.1.2, 9.1.4, 9.1.6, 9.1.8, 9.2.3 Additional problems for study: 9.1.1, 9.1.3, 9.1.5, 9.1.13, 9.2.1, 9.2.2, 9.2.4, 9.2.5, 9.2.6, 9.3.2, 9.3.3 9.1.1 (This problem was not assigned
More informationDegree Hypergroupoids Associated with Hypergraphs
Filomat 8:1 (014), 119 19 DOI 10.98/FIL1401119F Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Degree Hypergroupoids Associated
More informationA REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE. 1. Introduction and Preliminaries
Acta Math. Univ. Comenianae Vol. LXVI, 2(1997), pp. 285 291 285 A REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE E. T. BASKORO, M. MILLER and J. ŠIRÁŇ Abstract. It is well known that Moore digraphs do
More informationSOLUTIONS TO EXERCISES FOR. MATHEMATICS 205A Part 3. Spaces with special properties
SOLUTIONS TO EXERCISES FOR MATHEMATICS 205A Part 3 Fall 2008 III. Spaces with special properties III.1 : Compact spaces I Problems from Munkres, 26, pp. 170 172 3. Show that a finite union of compact subspaces
More informationCOMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH. 1. Introduction
COMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH ZACHARY ABEL 1. Introduction In this survey we discuss properties of the Higman-Sims graph, which has 100 vertices, 1100 edges, and is 22 regular. In fact
More informationSEQUENCES OF MAXIMAL DEGREE VERTICES IN GRAPHS. Nickolay Khadzhiivanov, Nedyalko Nenov
Serdica Math. J. 30 (2004), 95 102 SEQUENCES OF MAXIMAL DEGREE VERTICES IN GRAPHS Nickolay Khadzhiivanov, Nedyalko Nenov Communicated by V. Drensky Abstract. Let Γ(M) where M V (G) be the set of all vertices
More informationPYTHAGOREAN TRIPLES KEITH CONRAD
PYTHAGOREAN TRIPLES KEITH CONRAD 1. Introduction A Pythagorean triple is a triple of positive integers (a, b, c) where a + b = c. Examples include (3, 4, 5), (5, 1, 13), and (8, 15, 17). Below is an ancient
More informationContinued Fractions and the Euclidean Algorithm
Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction
More informationCOMMUTATIVITY DEGREES OF WREATH PRODUCTS OF FINITE ABELIAN GROUPS
COMMUTATIVITY DEGREES OF WREATH PRODUCTS OF FINITE ABELIAN GROUPS IGOR V. EROVENKO AND B. SURY ABSTRACT. We compute commutativity degrees of wreath products A B of finite abelian groups A and B. When B
More informationHow To Prove The Dirichlet Unit Theorem
Chapter 6 The Dirichlet Unit Theorem As usual, we will be working in the ring B of algebraic integers of a number field L. Two factorizations of an element of B are regarded as essentially the same if
More informationFACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z
FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z DANIEL BIRMAJER, JUAN B GIL, AND MICHAEL WEINER Abstract We consider polynomials with integer coefficients and discuss their factorization
More informationTHIN GROUPS OF FRACTIONS
Contemporary Mathematics THIN GROUPS OF FRACTIONS Patrick DEHORNOY Abstract. A number of properties of spherical Artin Tits groups extend to Garside groups, defined as the groups of fractions of monoids
More informationIntroduction to Finite Fields (cont.)
Chapter 6 Introduction to Finite Fields (cont.) 6.1 Recall Theorem. Z m is a field m is a prime number. Theorem (Subfield Isomorphic to Z p ). Every finite field has the order of a power of a prime number
More informationHow To Know If A Domain Is Unique In An Octempo (Euclidean) Or Not (Ecl)
Subsets of Euclidean domains possessing a unique division algorithm Andrew D. Lewis 2009/03/16 Abstract Subsets of a Euclidean domain are characterised with the following objectives: (1) ensuring uniqueness
More informationMean Ramsey-Turán numbers
Mean Ramsey-Turán numbers Raphael Yuster Department of Mathematics University of Haifa at Oranim Tivon 36006, Israel Abstract A ρ-mean coloring of a graph is a coloring of the edges such that the average
More informationMATH10040 Chapter 2: Prime and relatively prime numbers
MATH10040 Chapter 2: Prime and relatively prime numbers Recall the basic definition: 1. Prime numbers Definition 1.1. Recall that a positive integer is said to be prime if it has precisely two positive
More information3. Prime and maximal ideals. 3.1. Definitions and Examples.
COMMUTATIVE ALGEBRA 5 3.1. Definitions and Examples. 3. Prime and maximal ideals Definition. An ideal P in a ring A is called prime if P A and if for every pair x, y of elements in A\P we have xy P. Equivalently,
More informationCS 103X: Discrete Structures Homework Assignment 3 Solutions
CS 103X: Discrete Structures Homework Assignment 3 s Exercise 1 (20 points). On well-ordering and induction: (a) Prove the induction principle from the well-ordering principle. (b) Prove the well-ordering
More information7. Some irreducible polynomials
7. Some irreducible polynomials 7.1 Irreducibles over a finite field 7.2 Worked examples Linear factors x α of a polynomial P (x) with coefficients in a field k correspond precisely to roots α k [1] of
More informationFactorization in Polynomial Rings
Factorization in Polynomial Rings These notes are a summary of some of the important points on divisibility in polynomial rings from 17 and 18 of Gallian s Contemporary Abstract Algebra. Most of the important
More informationAlgebraic Structures II
MAS 305 Algebraic Structures II Notes 12 Autumn 2006 Factorization in integral domains Lemma If a, b, c are elements of an integral domain R and ab = ac then either a = 0 R or b = c. Proof ab = ac a(b
More information1. Prove that the empty set is a subset of every set.
1. Prove that the empty set is a subset of every set. Basic Topology Written by Men-Gen Tsai email: b89902089@ntu.edu.tw Proof: For any element x of the empty set, x is also an element of every set since
More informationF. ABTAHI and M. ZARRIN. (Communicated by J. Goldstein)
Journal of Algerian Mathematical Society Vol. 1, pp. 1 6 1 CONCERNING THE l p -CONJECTURE FOR DISCRETE SEMIGROUPS F. ABTAHI and M. ZARRIN (Communicated by J. Goldstein) Abstract. For 2 < p
More informationADDITIVE GROUPS OF RINGS WITH IDENTITY
ADDITIVE GROUPS OF RINGS WITH IDENTITY SIMION BREAZ AND GRIGORE CĂLUGĂREANU Abstract. A ring with identity exists on a torsion Abelian group exactly when the group is bounded. The additive groups of torsion-free
More informationThe Kolchin Topology
The Kolchin Topology Phyllis Joan Cassidy City College of CUNY November 2, 2007 hyllis Joan Cassidy City College of CUNY () The Kolchin Topology November 2, 2007 1 / 35 Conventions. F is a - eld, and A
More informationCS 598CSC: Combinatorial Optimization Lecture date: 2/4/2010
CS 598CSC: Combinatorial Optimization Lecture date: /4/010 Instructor: Chandra Chekuri Scribe: David Morrison Gomory-Hu Trees (The work in this section closely follows [3]) Let G = (V, E) be an undirected
More informationMA651 Topology. Lecture 6. Separation Axioms.
MA651 Topology. Lecture 6. Separation Axioms. This text is based on the following books: Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology by Nicolas Bourbaki Counterexamples
More informationSimilarity and Diagonalization. Similar Matrices
MATH022 Linear Algebra Brief lecture notes 48 Similarity and Diagonalization Similar Matrices Let A and B be n n matrices. We say that A is similar to B if there is an invertible n n matrix P such that
More informationP. Jeyanthi and N. Angel Benseera
Opuscula Math. 34, no. 1 (014), 115 1 http://dx.doi.org/10.7494/opmath.014.34.1.115 Opuscula Mathematica A TOTALLY MAGIC CORDIAL LABELING OF ONE-POINT UNION OF n COPIES OF A GRAPH P. Jeyanthi and N. Angel
More informationGalois Theory III. 3.1. Splitting fields.
Galois Theory III. 3.1. Splitting fields. We know how to construct a field extension L of a given field K where a given irreducible polynomial P (X) K[X] has a root. We need a field extension of K where
More informationMathematical Induction
Mathematical Induction (Handout March 8, 01) The Principle of Mathematical Induction provides a means to prove infinitely many statements all at once The principle is logical rather than strictly mathematical,
More informationLecture 17 : Equivalence and Order Relations DRAFT
CS/Math 240: Introduction to Discrete Mathematics 3/31/2011 Lecture 17 : Equivalence and Order Relations Instructor: Dieter van Melkebeek Scribe: Dalibor Zelený DRAFT Last lecture we introduced the notion
More informationHomework 2 Solutions
Homework Solutions 1. (a) Find the area of a regular heagon inscribed in a circle of radius 1. Then, find the area of a regular heagon circumscribed about a circle of radius 1. Use these calculations to
More information6.2 Permutations continued
6.2 Permutations continued Theorem A permutation on a finite set A is either a cycle or can be expressed as a product (composition of disjoint cycles. Proof is by (strong induction on the number, r, of
More informationmost 4 Mirka Miller 1,2, Guillermo Pineda-Villavicencio 3, The University of Newcastle Callaghan, NSW 2308, Australia University of West Bohemia
Complete catalogue of graphs of maimum degree 3 and defect at most 4 Mirka Miller 1,2, Guillermo Pineda-Villavicencio 3, 1 School of Electrical Engineering and Computer Science The University of Newcastle
More informationUndergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics
Undergraduate Notes in Mathematics Arkansas Tech University Department of Mathematics An Introductory Single Variable Real Analysis: A Learning Approach through Problem Solving Marcel B. Finan c All Rights
More informationModern Algebra Lecture Notes: Rings and fields set 4 (Revision 2)
Modern Algebra Lecture Notes: Rings and fields set 4 (Revision 2) Kevin Broughan University of Waikato, Hamilton, New Zealand May 13, 2010 Remainder and Factor Theorem 15 Definition of factor If f (x)
More informationGröbner Bases and their Applications
Gröbner Bases and their Applications Kaitlyn Moran July 30, 2008 1 Introduction We know from the Hilbert Basis Theorem that any ideal in a polynomial ring over a field is finitely generated [3]. However,
More information1 Homework 1. [p 0 q i+j +... + p i 1 q j+1 ] + [p i q j ] + [p i+1 q j 1 +... + p i+j q 0 ]
1 Homework 1 (1) Prove the ideal (3,x) is a maximal ideal in Z[x]. SOLUTION: Suppose we expand this ideal by including another generator polynomial, P / (3, x). Write P = n + x Q with n an integer not
More informationON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP. A. K. Das and R. K. Nath
International Electronic Journal of Algebra Volume 7 (2010) 140-151 ON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP A. K. Das and R. K. Nath Received: 12 October 2009; Revised: 15 December
More informationCONTENTS 1. Peter Kahn. Spring 2007
CONTENTS 1 MATH 304: CONSTRUCTING THE REAL NUMBERS Peter Kahn Spring 2007 Contents 2 The Integers 1 2.1 The basic construction.......................... 1 2.2 Adding integers..............................
More informationIntroduction to Topology
Introduction to Topology Tomoo Matsumura November 30, 2010 Contents 1 Topological spaces 3 1.1 Basis of a Topology......................................... 3 1.2 Comparing Topologies.......................................
More informationDEGREES OF ORDERS ON TORSION-FREE ABELIAN GROUPS
DEGREES OF ORDERS ON TORSION-FREE ABELIAN GROUPS ASHER M. KACH, KAREN LANGE, AND REED SOLOMON Abstract. We construct two computable presentations of computable torsion-free abelian groups, one of isomorphism
More information2. Let H and K be subgroups of a group G. Show that H K G if and only if H K or K H.
Math 307 Abstract Algebra Sample final examination questions with solutions 1. Suppose that H is a proper subgroup of Z under addition and H contains 18, 30 and 40, Determine H. Solution. Since gcd(18,
More informationAn inequality for the group chromatic number of a graph
An inequality for the group chromatic number of a graph Hong-Jian Lai 1, Xiangwen Li 2 and Gexin Yu 3 1 Department of Mathematics, West Virginia University Morgantown, WV 26505 USA 2 Department of Mathematics
More informationFactoring Polynomials
Factoring Polynomials Sue Geller June 19, 2006 Factoring polynomials over the rational numbers, real numbers, and complex numbers has long been a standard topic of high school algebra. With the advent
More information8. Matchings and Factors
8. Matchings and Factors Consider the formation of an executive council by the parliament committee. Each committee needs to designate one of its members as an official representative to sit on the council,
More informationCyclotomic Extensions
Chapter 7 Cyclotomic Extensions A cyclotomic extension Q(ζ n ) of the rationals is formed by adjoining a primitive n th root of unity ζ n. In this chapter, we will find an integral basis and calculate
More information1 = (a 0 + b 0 α) 2 + + (a m 1 + b m 1 α) 2. for certain elements a 0,..., a m 1, b 0,..., b m 1 of F. Multiplying out, we obtain
Notes on real-closed fields These notes develop the algebraic background needed to understand the model theory of real-closed fields. To understand these notes, a standard graduate course in algebra is
More informationFour Unsolved Problems in Congruence Permutable Varieties
Four Unsolved Problems in Congruence Permutable Varieties Ross Willard University of Waterloo, Canada Nashville, June 2007 Ross Willard (Waterloo) Four Unsolved Problems Nashville, June 2007 1 / 27 Congruence
More information16.3 Fredholm Operators
Lectures 16 and 17 16.3 Fredholm Operators A nice way to think about compact operators is to show that set of compact operators is the closure of the set of finite rank operator in operator norm. In this
More informationCOMMUTATIVITY DEGREES OF WREATH PRODUCTS OF FINITE ABELIAN GROUPS
Bull Austral Math Soc 77 (2008), 31 36 doi: 101017/S0004972708000038 COMMUTATIVITY DEGREES OF WREATH PRODUCTS OF FINITE ABELIAN GROUPS IGOR V EROVENKO and B SURY (Received 12 April 2007) Abstract We compute
More informationSection 6.1 - Inner Products and Norms
Section 6.1 - Inner Products and Norms Definition. Let V be a vector space over F {R, C}. An inner product on V is a function that assigns, to every ordered pair of vectors x and y in V, a scalar in F,
More informationALGEBRA HW 5 CLAY SHONKWILER
ALGEBRA HW 5 CLAY SHONKWILER 510.5 Let F = Q(i). Prove that x 3 and x 3 3 are irreducible over F. Proof. If x 3 is reducible over F then, since it is a polynomial of degree 3, it must reduce into a product
More informationRINGS OF ZERO-DIVISORS
RINGS OF ZERO-DIVISORS P. M. COHN 1. Introduction. A well known theorem of algebra states that any integral domain can be embedded in a field. More generally [2, p. 39 ff. ], any commutative ring R with
More informationINDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS
INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS STEVEN P. LALLEY AND ANDREW NOBEL Abstract. It is shown that there are no consistent decision rules for the hypothesis testing problem
More informationDetermination of the normalization level of database schemas through equivalence classes of attributes
Computer Science Journal of Moldova, vol.17, no.2(50), 2009 Determination of the normalization level of database schemas through equivalence classes of attributes Cotelea Vitalie Abstract In this paper,
More informationOn Integer Additive Set-Indexers of Graphs
On Integer Additive Set-Indexers of Graphs arxiv:1312.7672v4 [math.co] 2 Mar 2014 N K Sudev and K A Germina Abstract A set-indexer of a graph G is an injective set-valued function f : V (G) 2 X such that
More informationMATH 304 Linear Algebra Lecture 20: Inner product spaces. Orthogonal sets.
MATH 304 Linear Algebra Lecture 20: Inner product spaces. Orthogonal sets. Norm The notion of norm generalizes the notion of length of a vector in R n. Definition. Let V be a vector space. A function α
More informationPractice with Proofs
Practice with Proofs October 6, 2014 Recall the following Definition 0.1. A function f is increasing if for every x, y in the domain of f, x < y = f(x) < f(y) 1. Prove that h(x) = x 3 is increasing, using
More informationINCIDENCE-BETWEENNESS GEOMETRY
INCIDENCE-BETWEENNESS GEOMETRY MATH 410, CSUSM. SPRING 2008. PROFESSOR AITKEN This document covers the geometry that can be developed with just the axioms related to incidence and betweenness. The full
More informationminimal polyonomial Example
Minimal Polynomials Definition Let α be an element in GF(p e ). We call the monic polynomial of smallest degree which has coefficients in GF(p) and α as a root, the minimal polyonomial of α. Example: We
More informationIRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL. 1. Introduction
IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL R. DRNOVŠEK, T. KOŠIR Dedicated to Prof. Heydar Radjavi on the occasion of his seventieth birthday. Abstract. Let S be an irreducible
More informationZachary Monaco Georgia College Olympic Coloring: Go For The Gold
Zachary Monaco Georgia College Olympic Coloring: Go For The Gold Coloring the vertices or edges of a graph leads to a variety of interesting applications in graph theory These applications include various
More informationMathematics Course 111: Algebra I Part IV: Vector Spaces
Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 1996-7 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are
More informationFACTORING AFTER DEDEKIND
FACTORING AFTER DEDEKIND KEITH CONRAD Let K be a number field and p be a prime number. When we factor (p) = po K into prime ideals, say (p) = p e 1 1 peg g, we refer to the data of the e i s, the exponents
More informationZORN S LEMMA AND SOME APPLICATIONS
ZORN S LEMMA AND SOME APPLICATIONS KEITH CONRAD 1. Introduction Zorn s lemma is a result in set theory that appears in proofs of some non-constructive existence theorems throughout mathematics. We will
More informationSMALL SKEW FIELDS CÉDRIC MILLIET
SMALL SKEW FIELDS CÉDRIC MILLIET Abstract A division ring of positive characteristic with countably many pure types is a field Wedderburn showed in 1905 that finite fields are commutative As for infinite
More informationNo: 10 04. Bilkent University. Monotonic Extension. Farhad Husseinov. Discussion Papers. Department of Economics
No: 10 04 Bilkent University Monotonic Extension Farhad Husseinov Discussion Papers Department of Economics The Discussion Papers of the Department of Economics are intended to make the initial results
More informationChapter 4. Polynomial and Rational Functions. 4.1 Polynomial Functions and Their Graphs
Chapter 4. Polynomial and Rational Functions 4.1 Polynomial Functions and Their Graphs A polynomial function of degree n is a function of the form P = a n n + a n 1 n 1 + + a 2 2 + a 1 + a 0 Where a s
More informationExponential time algorithms for graph coloring
Exponential time algorithms for graph coloring Uriel Feige Lecture notes, March 14, 2011 1 Introduction Let [n] denote the set {1,..., k}. A k-labeling of vertices of a graph G(V, E) is a function V [k].
More informationSo let us begin our quest to find the holy grail of real analysis.
1 Section 5.2 The Complete Ordered Field: Purpose of Section We present an axiomatic description of the real numbers as a complete ordered field. The axioms which describe the arithmetic of the real numbers
More information26 Ideals and Quotient Rings
Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan 26 Ideals and Quotient Rings In this section we develop some theory of rings that parallels the theory of groups discussed
More information5 Directed acyclic graphs
5 Directed acyclic graphs (5.1) Introduction In many statistical studies we have prior knowledge about a temporal or causal ordering of the variables. In this chapter we will use directed graphs to incorporate
More informationTree-representation of set families and applications to combinatorial decompositions
Tree-representation of set families and applications to combinatorial decompositions Binh-Minh Bui-Xuan a, Michel Habib b Michaël Rao c a Department of Informatics, University of Bergen, Norway. buixuan@ii.uib.no
More information1 if 1 x 0 1 if 0 x 1
Chapter 3 Continuity In this chapter we begin by defining the fundamental notion of continuity for real valued functions of a single real variable. When trying to decide whether a given function is or
More informationFACTORIZATION IN INTEGRAL DOMAINS
FACTORIZATION IN INTEGRAL DOMAINS PETE L. CLARK Contents Introduction 2 1. Norm functions 3 1.1. Weak multiplicative norms and multiplicative norms 3 1.2. Abstract number rings 3 1.3. Dirichlet rings 5
More informationTilings of the sphere with right triangles III: the asymptotically obtuse families
Tilings of the sphere with right triangles III: the asymptotically obtuse families Robert J. MacG. Dawson Department of Mathematics and Computing Science Saint Mary s University Halifax, Nova Scotia, Canada
More informationMetric Spaces. Chapter 7. 7.1. Metrics
Chapter 7 Metric Spaces A metric space is a set X that has a notion of the distance d(x, y) between every pair of points x, y X. The purpose of this chapter is to introduce metric spaces and give some
More information8 Divisibility and prime numbers
8 Divisibility and prime numbers 8.1 Divisibility In this short section we extend the concept of a multiple from the natural numbers to the integers. We also summarize several other terms that express
More informationMax-Min Representation of Piecewise Linear Functions
Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 43 (2002), No. 1, 297-302. Max-Min Representation of Piecewise Linear Functions Sergei Ovchinnikov Mathematics Department,
More informationk, then n = p2α 1 1 pα k
Powers of Integers An integer n is a perfect square if n = m for some integer m. Taking into account the prime factorization, if m = p α 1 1 pα k k, then n = pα 1 1 p α k k. That is, n is a perfect square
More informationThe Prime Numbers. Definition. A prime number is a positive integer with exactly two positive divisors.
The Prime Numbers Before starting our study of primes, we record the following important lemma. Recall that integers a, b are said to be relatively prime if gcd(a, b) = 1. Lemma (Euclid s Lemma). If gcd(a,
More informationCollinear Points in Permutations
Collinear Points in Permutations Joshua N. Cooper Courant Institute of Mathematics New York University, New York, NY József Solymosi Department of Mathematics University of British Columbia, Vancouver,
More informationGROUPS WITH TWO EXTREME CHARACTER DEGREES AND THEIR NORMAL SUBGROUPS
GROUPS WITH TWO EXTREME CHARACTER DEGREES AND THEIR NORMAL SUBGROUPS GUSTAVO A. FERNÁNDEZ-ALCOBER AND ALEXANDER MORETÓ Abstract. We study the finite groups G for which the set cd(g) of irreducible complex
More information