%%Page: 1 1 1 0 bop Black 0 TeXcolorgray Black Black Black Black 10800 5269 a @beginspecial 0 @llx 0 @lly 99 @urx 16 @ury 2880 @rwi @setspecial%%BeginDocument: logo129.eps %!PS-Adobe-2.0 EPSF-2.0 %%Title: logo128.eps %%Creator: fig2dev Version 3.2.3 Patchlevel %%CreationDate: Thu Nov 8 16:13:04 2001 %%For: pope@fry.research.att.com (Sue Pope) %%BoundingBox: 0 0 99 16 %%Magnification: 0.1500 %%EndComments /$F2psDict 200 dict def $F2psDict begin $F2psDict /mtrx matrix put /col-1 {0 setgray} bind def /col0 {0.000 0.000 0.000 srgb} bind def /col1 {0.000 0.000 1.000 srgb} bind def /col2 {0.000 1.000 0.000 srgb} bind def /col3 {0.000 1.000 1.000 srgb} bind def /col4 {1.000 0.000 0.000 srgb} bind def /col5 {1.000 0.000 1.000 srgb} bind def /col6 {1.000 1.000 0.000 srgb} bind def /col7 {1.000 1.000 1.000 srgb} bind def /col8 {0.000 0.000 0.560 srgb} bind def /col9 {0.000 0.000 0.690 srgb} bind def /col10 {0.000 0.000 0.820 srgb} bind def /col11 {0.530 0.810 1.000 srgb} bind def /col12 {0.000 0.560 0.000 srgb} bind def /col13 {0.000 0.690 0.000 srgb} bind def /col14 {0.000 0.820 0.000 srgb} bind def /col15 {0.000 0.560 0.560 srgb} bind def /col16 {0.000 0.690 0.690 srgb} bind def /col17 {0.000 0.820 0.820 srgb} bind def /col18 {0.560 0.000 0.000 srgb} bind def /col19 {0.690 0.000 0.000 srgb} bind def /col20 {0.820 0.000 0.000 srgb} bind def /col21 {0.560 0.000 0.560 srgb} bind def /col22 {0.690 0.000 0.690 srgb} bind def /col23 {0.820 0.000 0.820 srgb} bind def /col24 {0.500 0.190 0.000 srgb} bind def /col25 {0.630 0.250 0.000 srgb} bind def /col26 {0.750 0.380 0.000 srgb} bind def /col27 {1.000 0.500 0.500 srgb} bind def /col28 {1.000 0.630 0.630 srgb} bind def /col29 {1.000 0.750 0.750 srgb} bind def /col30 {1.000 0.880 0.880 srgb} bind def /col31 {1.000 0.840 0.000 srgb} bind def end save newpath 0 16 moveto 0 0 lineto 99 0 lineto 99 16 lineto closepath clip newpath -12.0 26.0 translate 1 -1 scale /cp {closepath} bind def /ef {eofill} bind def /gr {grestore} bind def /gs {gsave} bind def /sa {save} bind def /rs {restore} bind def /l {lineto} bind def /m {moveto} bind def /rm {rmoveto} bind def /n {newpath} bind def /s {stroke} bind def /sh {show} bind def /slc {setlinecap} bind def /slj {setlinejoin} bind def /slw {setlinewidth} bind def /srgb {setrgbcolor} bind def /rot {rotate} bind def /sc {scale} bind def /sd {setdash} bind def /ff {findfont} bind def /sf {setfont} bind def /scf {scalefont} bind def /sw {stringwidth} bind def /tr {translate} bind def /tnt {dup dup currentrgbcolor 4 -2 roll dup 1 exch sub 3 -1 roll mul add 4 -2 roll dup 1 exch sub 3 -1 roll mul add 4 -2 roll dup 1 exch sub 3 -1 roll mul add srgb} bind def /shd {dup dup currentrgbcolor 4 -2 roll mul 4 -2 roll mul 4 -2 roll mul srgb} bind def /DrawEllipse { /endangle exch def /startangle exch def /yrad exch def /xrad exch def /y exch def /x exch def /savematrix mtrx currentmatrix def x y tr xrad yrad sc 0 0 1 startangle endangle arc closepath savematrix setmatrix } def /$F2psBegin {$F2psDict begin /$F2psEnteredState save def} def /$F2psEnd {$F2psEnteredState restore end} def $F2psBegin %%Page: 1 1 10 setmiterlimit 0.00900 0.00900 sc 7.500 slw % Ellipse n 2213 1988 856 856 0 360 DrawEllipse gs col4 1.00 shd ef gr gs col4 s gr % Ellipse n 2213 1991 813 813 0 360 DrawEllipse gs col8 1.00 shd ef gr gs col8 s gr % Ellipse n 1602 1879 177 177 0 360 DrawEllipse gs col11 1.00 shd ef gr gs col11 s gr % Ellipse n 2001 2575 177 177 0 360 DrawEllipse gs col11 1.00 shd ef gr gs col11 s gr % Ellipse n 2831 1877 177 177 0 360 DrawEllipse gs col11 1.00 shd ef gr gs col11 s gr % Ellipse n 2618 1509 177 177 0 360 DrawEllipse gs col11 1.00 shd ef gr gs col11 s gr % Ellipse n 1806 1519 177 177 0 360 DrawEllipse gs col11 1.00 shd ef gr gs col11 s gr % Ellipse n 2205 1364 177 177 0 360 DrawEllipse gs col11 1.00 shd ef gr gs col11 s gr % Ellipse n 1669 2290 177 177 0 360 DrawEllipse gs col11 1.00 shd ef gr gs col11 s gr % Ellipse n 2762 2305 177 177 0 360 DrawEllipse gs col11 1.00 shd ef gr gs col11 s gr % Ellipse n 2439 2579 177 177 0 360 DrawEllipse gs col11 1.00 shd ef gr gs col11 s gr % Ellipse n 2220 1992 440 440 0 360 DrawEllipse gs col4 1.00 shd ef gr gs col4 s gr % Ellipse n 2618 1509 141 141 0 360 DrawEllipse gs col30 1.00 shd ef gr gs col30 s gr % Ellipse n 1805 1515 141 141 0 360 DrawEllipse gs col30 1.00 shd ef gr gs col30 s gr % Ellipse n 1669 2290 141 141 0 360 DrawEllipse gs col30 1.00 shd ef gr gs col30 s gr % Ellipse n 2205 1360 141 141 0 360 DrawEllipse gs col30 1.00 shd ef gr gs col30 s gr % Ellipse n 2762 2305 141 141 0 360 DrawEllipse gs col30 1.00 shd ef gr gs col30 s gr % Ellipse n 1600 1875 141 141 0 360 DrawEllipse gs col30 1.00 shd ef gr gs col30 s gr % Ellipse n 2439 2579 141 141 0 360 DrawEllipse gs col30 1.00 shd ef gr gs col30 s gr % Ellipse n 2831 1877 141 141 0 360 DrawEllipse gs col30 1.00 shd ef gr gs col30 s gr % Ellipse n 2001 2573 141 141 0 360 DrawEllipse gs col30 1.00 shd ef gr gs col30 s gr /Times-Bold ff 225.00 scf sf 1997 2652 m gs 1 -1 sc (23) dup sw pop 2 div neg 0 rm col0 sh gr /Times-Bold ff 225.00 scf sf 2438 2659 m gs 1 -1 sc (11) dup sw pop 2 div neg 0 rm col0 sh gr /Times-Roman ff 480.00 scf sf 3375 2205 m gs 1 -1 sc (Article 03.3.3) col0 sh gr /Times-Roman ff 480.00 scf sf 3375 1650 m gs 1 -1 sc (Journal of Integer Sequences, Vol. 6 \(2003\),) col0 sh gr /Times-Bold ff 225.00 scf sf 2618 1592 m gs 1 -1 sc (2) dup sw pop 2 div neg 0 rm col0 sh gr /Times-Bold ff 225.00 scf sf 2830 1956 m gs 1 -1 sc (3) dup sw pop 2 div neg 0 rm col0 sh gr /Times-Bold ff 225.00 scf sf 2761 2386 m gs 1 -1 sc (6) dup sw pop 2 div neg 0 rm col0 sh gr % Ellipse n 1805 1517 42 42 0 360 DrawEllipse gs 0.00 setgray ef gr gs col0 s gr % Polyline n 2554 1797 m 2554 1796 l 2554 1790 l 2554 1779 l 2554 1765 l 2553 1753 l 2552 1743 l 2550 1736 l 2548 1730 l 2544 1725 l 2540 1721 l 2534 1717 l 2528 1713 l 2521 1711 l 2514 1709 l 2507 1708 l 2499 1707 l 2492 1707 l 2483 1707 l 2474 1707 l 2465 1708 l 2456 1710 l 2447 1712 l 2438 1714 l 2431 1717 l 2423 1720 l 2416 1724 l 2408 1728 l 2401 1734 l 2394 1739 l 2388 1745 l 2382 1751 l 2377 1756 l 2372 1762 l 2368 1768 l 2363 1775 l 2359 1783 l 2356 1791 l 2352 1799 l 2350 1807 l 2348 1814 l 2346 1823 l 2345 1831 l 2345 1841 l 2345 1852 l 2346 1863 l 2349 1873 l 2352 1884 l 2356 1894 l 2360 1902 l 2365 1910 l 2371 1919 l 2378 1928 l 2385 1937 l 2393 1946 l 2401 1955 l 2409 1963 l 2417 1970 l 2425 1977 l 2435 1985 l 2446 1993 l 2457 2000 l 2467 2008 l 2477 2015 l 2487 2021 l 2494 2027 l 2501 2033 l 2506 2038 l 2510 2043 l 2513 2049 l 2515 2055 l 2516 2061 l 2516 2067 l 2516 2073 l 2514 2079 l 2510 2087 l 2505 2095 l 2498 2104 l 2490 2113 l 2481 2120 l 2473 2125 l 2465 2129 l 2458 2131 l 2449 2133 l 2440 2134 l 2431 2134 l 2422 2133 l 2414 2131 l 2406 2128 l 2396 2122 l 2385 2115 l 2375 2107 l 2366 2101 l 2359 2097 l 2353 2096 l 2350 2098 l 2347 2101 l 2346 2107 l 2344 2114 l 2344 2122 l 2344 2130 l 2345 2138 l 2346 2145 l 2347 2151 l 2349 2158 l 2352 2164 l 2355 2169 l 2360 2174 l 2364 2179 l 2370 2182 l 2375 2186 l 2382 2188 l 2390 2190 l 2399 2193 l 2409 2194 l 2419 2195 l 2429 2196 l 2438 2196 l 2448 2196 l 2456 2195 l 2465 2194 l 2475 2192 l 2484 2189 l 2493 2187 l 2501 2183 l 2509 2180 l 2516 2177 l 2524 2172 l 2533 2166 l 2541 2159 l 2548 2152 l 2555 2144 l 2560 2137 l 2565 2129 l 2569 2121 l 2573 2111 l 2576 2102 l 2579 2093 l 2581 2084 l 2583 2076 l 2584 2068 l 2584 2058 l 2584 2049 l 2583 2040 l 2582 2032 l 2580 2023 l 2577 2014 l 2572 2004 l 2568 1994 l 2563 1984 l 2558 1976 l 2552 1968 l 2546 1960 l 2538 1952 l 2531 1945 l 2524 1938 l 2517 1932 l 2509 1926 l 2501 1921 l 2493 1914 l 2484 1908 l 2476 1902 l 2468 1897 l 2461 1890 l 2453 1883 l 2445 1876 l 2437 1869 l 2431 1862 l 2427 1856 l 2423 1849 l 2420 1842 l 2418 1835 l 2417 1830 l 2417 1825 l 2417 1820 l 2417 1816 l 2418 1812 l 2419 1808 l 2419 1806 l 2420 1803 l 2421 1801 l 2422 1798 l 2424 1796 l 2425 1794 l 2427 1792 l 2429 1789 l 2431 1787 l 2433 1785 l 2436 1783 l 2437 1781 l 2439 1780 l 2442 1779 l 2444 1778 l 2446 1778 l 2448 1777 l 2450 1777 l 2452 1777 l 2455 1777 l 2457 1777 l 2460 1776 l 2462 1776 l 2465 1775 l 2468 1775 l 2470 1775 l 2473 1775 l 2476 1775 l 2479 1776 l 2482 1776 l 2484 1777 l 2487 1777 l 2489 1777 l 2492 1778 l 2495 1779 l 2498 1780 l 2502 1782 l 2506 1785 l 2510 1788 l 2514 1790 l 2517 1792 l 2520 1794 l 2522 1795 l 2524 1796 l 2525 1798 l 2527 1799 l 2529 1800 l 2531 1802 l 2534 1805 l 2536 1807 l 2539 1809 l 2540 1811 l 2542 1812 l 2544 1813 l 2546 1814 l 2547 1814 l 2549 1813 l 2550 1811 l 2552 1808 l 2554 1804 l 2555 1801 l 2556 1798 l 2556 1796 l 2557 1795 l 2557 1793 l 2557 1792 l gs 0.00 setgray ef gr gs col0 s gr % Polyline n 1871 1753 m 1902 1705 l 2090 1705 l 2075 1753 l 2075 2255 l 2012 2317 l 1933 2317 l 2012 2255 l 2012 1753 l 1871 1753 l 1918 1737 l cp gs 0.00 setgray ef gr gs col0 s gr % Polyline n 2169 1705 m 2278 1705 l 2263 1720 l 2247 1753 l 2247 2129 l 2278 2191 l 2152 2191 l 2169 2176 l 2185 2129 l 2185 2098 l 2185 1753 l cp gs 0.00 setgray ef gr gs col0 s gr % Ellipse n 1600 1877 42 42 0 360 DrawEllipse gs 0.00 setgray ef gr gs col0 s gr /Times-Bold ff 225.00 scf sf 2197 1439 m gs 1 -1 sc (1) dup sw pop 2 div neg 0 rm col0 sh gr /Times-Bold ff 225.00 scf sf 1667 2376 m gs 1 -1 sc (47) dup sw pop 2 div neg 0 rm col0 sh gr $F2psEnd rs %%EndDocument @endspecial Black Black 1236 11367 a Ft(Matrix)861 b(T)-215 b(ransformations)862 b(of)f(In)-72 b(teger)863 b(Sequences)20839 15759 y Fs(Clark)520 b(Kim)-43 b(b)43 b(erling)17160 17752 y(Departmen)-43 b(t)520 b(of)g(Mathematics)18717 19744 y(Univ)-43 b(ersit)g(y)517 b(of)k(Ev)-87 b(ansville)19679 21737 y(1800)522 b(Lincoln)e(Av)-43 b(en)g(ue)19805 23729 y(Ev)-87 b(ansville,)518 b(IN)j(47722)p 0 1 0 0 TeXcolorcmyk 20379 25722 a(c)-43 b(k6@ev)-87 b(ansville.edu)p [[255 486 371 498] [1 1 1 [3 3]] [0 0 1]] (mailto:ck6@evansville.edu) pdfm Black 2751 30670 a Fr(Abstract:)805 b Fq(The)294 b(in)-36 b(teger)294 b(sequences)g(with)g(\257rst)f(term)g(1)i(comprise)f(a)g (group)g Fp(G)373 b Fq(under)292 b(con)-36 b(v)g(olution,)800 32275 y(namely)-108 b(,)375 b(the)358 b(App)36 b(ell)360 b(group,)374 b(and)358 b(the)h(lo)-36 b(w)g(er)360 b(triangular)f (in\257nite)g(in)-36 b(teger)359 b(matrices)h(with)f(all)h(diagonal)800 33880 y(en)-36 b(tries)555 b(1)h(comprise)g(a)g(group)g Fo(G)f Fq(under)g(matrix)h(m)-36 b(ultiplication.)1501 b(If)556 b Fn(A)577 b Fp(2)g(G)634 b Fq(and)555 b Fn(M)716 b Fp(2)577 b Fo(G)p Fn(;)556 b Fq(then)800 35485 y Fn(M)139 b(A)518 b Fp(2)f(G)79 b Fn(:)1043 b Fq(The)521 b(groups)f Fp(G)600 b Fq(and)521 b Fo(G)g Fq(and)f(v)-72 b(arious)522 b(subgroups)e(are)h(discussed.)1361 b(These)521 b(include)g(the)800 37090 y(group)333 b Fo(G)5418 36608 y Fm(\(1\))7009 37090 y Fq(of)h(matrices)f(whose)h(columns)f(are)g(iden)-36 b(tical)333 b(except)g(for)h(initial)g(zeros,)354 b(and)333 b(also)h(the)e(group)800 38696 y Fo(G)1833 38213 y Fm(\(2\))3443 38696 y Fq(of)352 b(matrices)g(in)f(whic)-36 b(h)352 b(the)f(o)36 b(dd-n)-36 b(um)g(b)36 b(ered)349 b(columns)i(are)h(iden) -36 b(tical)352 b(except)g(for)g(initial)h(zeros)f(and)800 40301 y(the)415 b(same)i(is)f(true)f(for)h(ev)-36 b(en-n)g(um)g(b)36 b(ered)414 b(columns.)988 b(Conditions)416 b(are)g(determined)f(for)h (the)g(pro)36 b(duct)414 b(of)800 41906 y(t)-36 b(w)g(o)417 b(matrices)h(in)f Fo(G)10968 41424 y Fm(\()p Fl(m)p Fm(\))13004 41906 y Fq(to)h(b)36 b(e)416 b(in)h Fo(G)18865 41424 y Fm(\(1\))20123 41906 y Fn(:)835 b Fq(Conditions)417 b(are)g(also)h(determined)e(for)i(t)-36 b(w)g(o)417 b(matrices)g(in)g Fo(G)51542 41424 y Fm(\(2\))800 43511 y Fq(to)434 b(comm)-36 b(ute.)800 49216 y Fk(1)2152 b(In)-60 b(tro)60 b(duction)800 52136 y Fq(Let)483 b Fp(G)563 b Fq(b)36 b(e)483 b(the)g(set)h(of)g(in) -36 b(teger)484 b(sequences)f(\()p Fn(a)23747 52335 y Fm(1)24273 52136 y Fn(;)221 b(a)25538 52335 y Fm(2)26064 52136 y Fn(;)g(a)27329 52335 y Fm(3)27855 52136 y Fn(;)g(:)g(:)g(:)s Fq(\))483 b(for)h(whic)-36 b(h)483 b Fn(a)37445 52335 y Fm(1)38425 52136 y Fq(=)454 b(1)p Fn(:)968 b Fq(The)483 b(notations)h Fn(A)454 b Fq(=)800 53741 y(\()p Fn(a)1989 53940 y Fm(1)2514 53741 y Fn(;)221 b(a)3779 53940 y Fm(2)4306 53741 y Fn(;)g(a)5571 53940 y Fm(3)6097 53741 y Fn(;)g(:)g(:)g(:)r Fq(\))p Fn(;)538 b(B)613 b Fq(=)546 b(\()p Fn(b)13829 53940 y Fm(1)14354 53741 y Fn(;)221 b(b)15489 53940 y Fm(2)16016 53741 y Fn(;)g(b)17151 53940 y Fm(3)17677 53741 y Fn(;)g(:)g(:)g(:)s Fq(\))p Fn(;)537 b(C)641 b Fq(=)546 b(\()p Fn(c)25387 53940 y Fm(1)25912 53741 y Fn(;)221 b(c)27054 53940 y Fm(2)27580 53741 y Fn(;)g(c)28722 53940 y Fm(3)29249 53741 y Fn(;)g(:)g(:)g(:)r Fq(\))537 b(will)i(alw)-36 b(a)g(ys)539 b(refer)f(to)g(elemen)-36 b(ts)537 b(of)h Fp(G)79 b Fn(:)800 55347 y Fq(The)507 b(\257nite)f(sequence)g(\()p Fn(a)13596 55546 y Fm(1)14122 55347 y Fn(;)221 b(a)15387 55546 y Fm(2)15913 55347 y Fn(;)g(a)17178 55546 y Fm(3)17704 55347 y Fn(;)g(:)g(:)g(:)j(;)d(a) 21300 55546 y Fl(n)21927 55347 y Fq(\))506 b(will)i(b)36 b(e)506 b(denoted)g(b)-36 b(y)506 b Fn(A)35153 55546 y Fl(n)35779 55347 y Fn(;)h Fq(and)f(lik)-36 b(ewise)509 b(for)e Fn(B)47147 55546 y Fl(n)48280 55347 y Fq(and)f Fn(C)51813 55546 y Fl(n)52439 55347 y Fn(:)800 56952 y Fq(Let)433 b Fn(?)h Fq(denote)f(con)-36 b(v)g(olution;)434 b(i.e.,)h(if)f Fn(C)464 b Fq(=)369 b Fn(A)295 b(?)h(B)67 b(;)434 b Fq(then)21642 60740 y Fn(c)22202 60939 y Fl(n)23197 60740 y Fq(=)25252 59079 y Fl(n)24578 59478 y Fj(X)24679 62307 y Fl(k)24 b Fm(=1)26718 60740 y Fn(a)27401 60939 y Fl(k)27970 60740 y Fn(b)28523 60939 y Fl(n)p Fi(\241)p Fl(k)g Fm(+1)31597 60740 y Fn(;)800 64717 y Fq(whic)-36 b(h)454 b(w)-36 b(e)454 b(shall)h(sometimes)g(write)f(as)h Fn(A)21799 64916 y Fl(n)22734 64717 y Fh(~)310 b Fn(B)25065 64916 y Fl(n)25691 64717 y Fq(,)460 b(so)454 b(that)g Fn(A)309 b(?)h(B)521 b Fq(is)454 b(the)g(sequence)g(ha)-36 b(ving)455 b Fn(A)48908 64916 y Fl(n)49843 64717 y Fh(~)310 b Fn(B)52174 64916 y Fl(n)800 66322 y Fq(as)434 b Fn(n)p Fq(th)f(term.)1012 b(F)-108 b(ormally)g(,)15182 68600 y Fi(1)14693 68998 y Fj(X)14795 71827 y Fl(k)24 b Fm(=1)16833 70260 y Fn(c)17393 70459 y Fl(k)17962 70260 y Fn(x)18701 69712 y Fl(k)g Fi(\241)p Fm(1)20841 70260 y Fq(=)22222 67989 y Fj(\303)23762 68600 y Fi(1)23274 68998 y Fj(X)23375 71827 y Fl(k)g Fm(=1)25414 70260 y Fn(a)26097 70459 y Fl(k)26665 70260 y Fn(x)27404 69712 y Fl(k)g Fi(\241)p Fm(1)29176 67989 y Fj(!)221 b(\303)31989 68600 y Fi(1)31500 68998 y Fj(X)31602 71827 y Fl(k)24 b Fm(=1)33640 70260 y Fn(b)34193 70459 y Fl(k)34762 70260 y Fn(x)35501 69712 y Fl(k)g Fi(\241)p Fm(1)37272 67989 y Fj(!)38545 70260 y Fn(:)p Black 26475 74617 a Fq(1)p Black eop %%Page: 2 2 2 1 bop Black 0 TeXcolorgray Black Black 800 1424 a Fq(In)477 b(particular,)488 b(if)478 b Fn(c)10678 1623 y Fm(1)11647 1424 y Fq(=)443 b(1)478 b(and)e Fn(c)17362 1623 y Fl(k)18374 1424 y Fq(=)443 b(0)478 b(for)g Fn(k)488 b Fp(\270)443 b Fq(2)p Fn(;)478 b Fq(then)e(the)h(sequence)g Fn(B)545 b Fq(has)477 b(generating)g(function)800 3029 y(1)p Fn(=)p Fq(\()p Fn(a)3289 3228 y Fm(1)4110 3029 y Fq(+)295 b Fn(a)6100 3228 y Fm(2)6626 3029 y Fn(x)g Fq(+)g Fn(a)9650 3228 y Fm(3)10175 3029 y Fn(x)10914 2547 y Fm(2)11736 3029 y Fq(+)f Fp(\242)221 b(\242)g(\242)h Fq(\))p Fn(;)434 b Fq(and)f Fn(A)h Fq(and)f Fn(B)501 b Fq(are)433 b(a)h(pair)g(of)g(con) -36 b(v)g(olutory)435 b(in)-36 b(v)g(erses.)2751 4634 y(Let)328 b Fp(G)5766 4833 y Fl(n)6720 4634 y Fq(denote)g(the)f(group)h (of)h(\257nite)e(sequences)h Fn(A)27887 4833 y Fl(n)28842 4634 y Fq(under)e Fn(?)p Fq(;)j(the)e(iden)-36 b(tit)g(y)328 b(is)g Fn(I)42371 4833 y Fl(n)43366 4634 y Fq(=)369 b(\(1)p Fn(;)221 b Fq(0)p Fn(;)g Fq(0)p Fn(;)g(:)g(:)g(:)226 b(;)221 b Fq(0\))p Fn(;)800 6239 y Fq(and)433 b Fn(A)4304 5757 y Fi(\241)p Fm(1)4304 6568 y Fl(n)5995 6239 y Fq(is)h(the)f (sequence)h Fn(B)15922 6438 y Fl(n)16982 6239 y Fq(giv)-36 b(en)434 b(inductiv)-36 b(ely)434 b(b)-36 b(y)433 b Fn(b)29421 6438 y Fm(1)30316 6239 y Fq(=)369 b(1)434 b(and)21018 10371 y Fn(b)21571 10570 y Fl(n)22567 10371 y Fq(=)368 b Fp(\241)25275 8710 y Fl(n)p Fi(\241)p Fm(1)25202 9109 y Fj(X)25303 11938 y Fl(k)24 b Fm(=1)27342 10371 y Fn(a)28025 10570 y Fl(n)p Fi(\241)p Fl(k)g Fm(+1)31099 10371 y Fn(b)31652 10570 y Fl(k)32220 10371 y Fn(:)18557 b Fq(\(1\))800 14506 y(for)325 b Fn(n)369 b Fp(\270)g Fq(2)p Fn(:)649 b Fq(The)324 b(algebraic)i(system)e(\()p Fp(G)79 b Fn(;)221 b(?)p Fq(\))325 b(is)g(a)f(comm)-36 b(utativ)g(e)325 b(group)e(kno)-36 b(wn)325 b(as)f(the)g(App)36 b(ell)324 b(subgroup)800 16111 y(of)453 b(the)e(Riordan)h(group.)1537 b(Its)452 b(elemen)-36 b(ts,)457 b(the)451 b(App)36 b(ell)452 b(sequences,)457 b(are)452 b(sp)36 b(ecial)453 b(cases)f(of)h(the)e (She\262er)800 17716 y(sequences,)611 b(whic)-36 b(h)574 b(pla)-36 b(y)576 b(a)f(leading)g(role)h(in)f(the)f(um)-36 b(bral)574 b(calculus)i([)p 0 1 0 0 TeXcolorcmyk(2)p (#cite.ref2) [[402 558 408 570] [1 1 1 [3 3]] [0 0 1]] pdfm Black(,)611 b(Chapter)574 b(4];)647 b(ho)-36 b(w)g(ev)g(er,)611 b(the)800 19321 y(um)-36 b(bral)447 b(dev)-36 b(elopmen)g(ts)448 b(are)g(not)g(used)g(in)g(this)f(pap)36 b(er.)1070 b(In)448 b Fp(G)79 b Fn(;)448 b Fq(the)g(iden)-36 b(tit)g(y)447 b(and)h Fn(A)43471 18839 y Fi(\241)p Fm(1)45177 19321 y Fq(are)g(the)f(limits)800 20926 y(of)603 b Fn(I)3024 21125 y Fl(n)4252 20926 y Fq(and)f Fn(A)7925 20444 y Fi(\241)p Fm(1)7925 21255 y Fl(n)9182 20926 y Fn(:)1205 b Fq(\(Here,)644 b(limits)603 b(are)f(of)h(the)f(com)-36 b(binatorial)603 b(kind:)1518 b(supp)36 b(ose)601 b Fn(j)43420 21125 y Fm(1)43946 20926 y Fn(;)221 b(j)45066 21125 y Fm(2)45593 20926 y Fn(;)g(j)46713 21125 y Fm(3)47239 20926 y Fn(;)g(:)g(:)g(:)605 b Fq(is)d(an)800 22531 y(un)-36 b(b)36 b(ounded)399 b(nondecreasing)j(sequence)f(of)i(p)36 b(ositiv)-36 b(e)402 b(in)-36 b(tegers)402 b(and)f Fp(f)p Fn(a)36059 22730 y Fl(i;j)37128 22531 y Fp(g)h Fq(is)g(a)g(sequence)g (of)g(sequences)800 24136 y(suc)-36 b(h)433 b(for)h(eac)-36 b(h)433 b Fn(i;)13026 25742 y Fq(\()p Fn(a)14215 25941 y Fl(k)24 b(;)p Fm(1)15515 25742 y Fn(;)221 b(a)16780 25941 y Fl(k)24 b(;)p Fm(2)18081 25742 y Fn(;)221 b(a)19346 25941 y Fl(k)24 b(;)p Fm(3)20648 25742 y Fn(;)221 b(:)g(:)g(:)i(;)e(a) 24243 25941 y Fl(k)24 b(;j)25399 26076 y Fg(i)25806 25742 y Fq(\))369 b(=)f(\()p Fn(a)29250 25941 y Fl(i;)p Fm(1)30357 25742 y Fn(;)221 b(a)31622 25941 y Fl(i;)p Fm(2)32730 25742 y Fn(;)g(a)33995 25941 y Fl(i;)p Fm(3)35103 25742 y Fn(;)g(:)g(:)g(:)j(;)d(a)38699 25941 y Fl(i;j)39661 26076 y Fg(i)40068 25742 y Fq(\))800 28066 y(for)434 b(ev)-36 b(ery)434 b Fn(k)415 b(>)368 b(i:)867 b Fq(Then)21068 29671 y(lim)20870 30478 y Fl(i)p Fi(!1)23073 29671 y Fq(\()p Fn(a)24262 29870 y Fl(i;)p Fm(1)25369 29671 y Fn(;)221 b(a)26634 29870 y Fl(i;)p Fm(2)27742 29671 y Fn(;)g(a)29007 29870 y Fl(i;)p Fm(3)30115 29671 y Fn(;)g(:)g(:)g(:)r Fq(\))800 32437 y(is)523 b(de\257ned)f(as)h(the)f(sequence)h(\()p Fn(a)17451 32636 y Fm(1)17976 32437 y Fn(;)221 b(a)19241 32636 y Fm(2)19768 32437 y Fn(;)g(a)21033 32636 y Fm(3)21559 32437 y Fn(;)g(:)g(:)g(:)r Fq(\))523 b(suc)-36 b(h)522 b(that)g(for)i(ev)-36 b(ery)523 b Fn(n)h Fq(there)e(exists)i Fn(i)45063 32636 y Fm(0)46111 32437 y Fq(suc)-36 b(h)522 b(that)g(if)800 34043 y Fn(i)369 b(>)f(i)3437 34242 y Fm(0)3963 34043 y Fn(;)434 b Fq(then)14303 35648 y(\()p Fn(a)15492 35847 y Fm(1)16017 35648 y Fn(;)221 b(a)17282 35847 y Fm(2)17809 35648 y Fn(;)g(a)19074 35847 y Fm(3)19600 35648 y Fn(;)g(:)g(:)g(:)j(;)d(a)23196 35847 y Fl(n)23822 35648 y Fq(\))369 b(=)g(\()p Fn(a)27267 35847 y Fl(i;)p Fm(1)28374 35648 y Fn(;)221 b(a)29639 35847 y Fl(i;)p Fm(2)30747 35648 y Fn(;)g(a)32012 35847 y Fl(i;)p Fm(3)33120 35648 y Fn(;)g(:)g(:)g(:)j(;)d(a)36716 35847 y Fl(i;n)37924 35648 y Fq(\))p Fn(:)p Fq(\))800 37972 y(The)549 b(study)f(of)h(the)f (group)g(\()p Fp(G)79 b Fn(;)221 b(?)p Fq(\),)578 b(w)-36 b(e)549 b(shall)g(so)36 b(on)549 b(see,)578 b(is)549 b(essen)-36 b(tially)549 b(that)f(of)i(a)f(certain)f(group)g(of)800 39577 y(matrices.)1012 b(Ho)-36 b(w)g(ev)g(er,)435 b(w)-36 b(e)434 b(shall)g(consider)f(\257rst)g(a)h(more)g(general)g(group)f(of) h(matrices.)2751 41182 y(F)-108 b(or)489 b(an)-36 b(y)490 b(p)36 b(ositiv)-36 b(e)491 b(in)-36 b(teger)490 b Fn(n)p Fq(,)504 b(let)490 b Fo(G)21484 41381 y Fl(n)22600 41182 y Fq(b)36 b(e)490 b(the)f(set)h(of)g(lo)-36 b(w)g(er)491 b(triangular)f Fn(n)333 b Fp(\243)h Fn(n)490 b Fq(in)-36 b(teger)490 b(matrices)800 42787 y(with)497 b(all)g(diagonal)h(en)-36 b(tries)496 b(1)p Fn(;)h Fq(and)f(let)h Fp(\242)f Fq(denote)g(matrix)i (m)-36 b(ultiplication.)1264 b(Then)496 b(\()p Fo(G)45173 42986 y Fl(n)45799 42787 y Fn(;)221 b Fp(\242)p Fq(\))497 b(is)g(a)g(non-)800 44393 y(comm)-36 b(utativ)g(e)459 b(group.)1114 b(No)-36 b(w)459 b(let)h Fo(G)f Fq(denote)f(the)h(set)g (of)h(lo)-36 b(w)g(er)459 b(triangular)h(in\257nite)e(in)-36 b(teger)459 b(matrices)800 45998 y(with)470 b(all)h(diagonal)g(en)-36 b(tries)470 b(1)p Fn(:)941 b Fq(In)470 b(suc)-36 b(h)469 b(a)h(matrix,)480 b(ev)-36 b(ery)471 b(column,)480 b(excluding)470 b(the)f(zeros)i(ab)36 b(o)-36 b(v)g(e)471 b(the)800 47603 y(diagonal,)435 b(is)f(an)f(elemen)-36 b(t)433 b(of)i Fp(G)79 b Fn(;)433 b Fq(and)h(\()p Fo(G)p Fn(;)221 b Fp(\242)p Fq(\))433 b(is)h(a)g(noncomm)-36 b(utativ)g(e)433 b(group.)1012 b(Prop)36 b(erties)433 b(of)i(matrices)800 49208 y(in)472 b Fo(G)g Fq(arise)h(via)g(limits)g(of)g(those)f(of)h (matrices)g(in)f Fo(G)27091 49407 y Fl(n)27717 49208 y Fn(:)945 b Fq(F)-108 b(or)472 b(example,)482 b(if)473 b Fn(M)574 b Fq(=)434 b(\()p Fn(m)43048 49407 y Fl(ij)43855 49208 y Fq(\))h Fp(2)f Fo(G)p Fq(,)482 b(then)472 b(the)800 50813 y(matrix)434 b Fn(M)6285 51012 y Fl(n)7281 50813 y Fq(:=)369 b(\()p Fn(m)10667 51012 y Fl(ij)11473 50813 y Fq(\),)434 b(where)g(1)369 b Fp(\267)g Fn(i)g Fp(\267)g Fn(n)434 b Fq(and)f(1)369 b Fp(\267)g Fn(j)444 b Fp(\267)369 b Fn(n;)435 b Fq(is)e(an)h(elemen)-36 b(t)433 b(of)h Fo(G)41717 51012 y Fl(n)42344 50813 y Fn(;)g Fq(and)21753 53746 y Fn(M)23150 53198 y Fi(\241)p Fm(1)24777 53746 y Fq(=)691 b(lim)26157 54543 y Fl(n)p Fi(!1)28831 53746 y Fn(M)30228 53198 y Fi(\241)p Fm(1)30089 54075 y Fl(n)31486 53746 y Fn(:)800 57038 y Fq(It)525 b(is)g(easy)h(to)e(c)-36 b(hec)g(k)525 b(that)f(if)i Fn(A)e Fp(2)g(G)604 b Fq(and)524 b Fn(M)663 b Fp(2)524 b Fo(G)p Fn(;)h Fq(then)f Fn(M)496 b Fp(\242)358 b Fn(A)524 b Fp(2)f(G)79 b Fq(;)525 b(here)g Fn(A)g Fq(is)g(regarded)f(as)h(an)800 58643 y(in\257nite)433 b(column)g(v)-36 b(ector.)2751 60248 y(Among)567 b(subgroups)e(of)i Fo(G)g Fq(is)g(the)f(Riordan)g(group)h(\(in)f(the)g(case)h(that)f(the)g (co)36 b(e\261cien)-36 b(ts)566 b(are)h(all)800 61853 y(in)-36 b(tegers\))533 b(in)-36 b(tro)36 b(duced)531 b(in)i([)p 0 1 0 0 TeXcolorcmyk(3)p (#cite.ref3) [[205 160 211 172] [1 1 1 [3 3]] [0 0 1]] pdfm Black 1 w(].)1409 b(Although)533 b(the)f(Riordan)h(group)g(will)h(not)e (b)36 b(e)533 b(further)f(discussed)g(in)800 63458 y(this)543 b(pap)36 b(er,)571 b(the)542 b(reader)h(ma)-36 b(y)544 b(wish)g(to)f(consult)g(the)g(references)g(listed)h(at)f(A053121)i (\(the)e(Catalan)800 65063 y(triangle\))434 b(in)f([)p 0 1 0 0 TeXcolorcmyk(4)p (#cite.ref4) [[144 131 149 143] [1 1 1 [3 3]] [0 0 1]] pdfm Black 1 w(].)2751 66668 y(Supp)36 b(ose)433 b Fn(T)550 b Fq(=)368 b(\()p Fn(t)11521 66867 y Fm(1)12046 66668 y Fn(;)221 b(t)13098 66867 y Fm(2)13625 66668 y Fn(;)g(t)14677 66867 y Fm(3)15203 66668 y Fn(;)g(:)g(:)g(:)r Fq(\))369 b Fp(2)f(G)79 b Fn(:)868 b Fq(Let)433 b Fo(T)g Fq(b)36 b(e)433 b(the)g(matrix)i(in)e Fo(G)h Fq(whose)g Fn(i)p Fq(th)e(ro)-36 b(w)434 b(is)20709 69602 y Fn(t)21179 69801 y Fl(i)21555 69602 y Fn(;)221 b(t)22607 69801 y Fl(i)p Fi(\241)p Fm(1)24185 69602 y Fn(;)g(:)g(:)g(:)j(;)d(t)27568 69801 y Fm(1)28094 69602 y Fn(;)g Fq(0)p Fn(;)g Fq(0)g Fn(:)g(:)g(:)k(;)p Black 26475 74617 a Fq(2)p Black eop %%Page: 3 3 3 2 bop Black 0 TeXcolorgray Black Black 800 1424 a Fq(so)384 b(that)f(the)g(\257rst)g(column)g(of)i Fo(T)e Fq(is)h Fn(T)181 b Fq(,)393 b(and)384 b(eac)-36 b(h)383 b(subsequen)-36 b(t)382 b(column)i(con)-36 b(tains)383 b Fn(T)565 b Fq(as)384 b(a)g(subsequence.)800 3029 y(Let)456 b Fo(G)4186 2547 y Fm(\(1\))5900 3029 y Fq(b)36 b(e)456 b(the)f(set)h(of)h(all)g(suc)-36 b(h)456 b(matrices)g Fo(T)p Fq(.)1102 b(If)457 b Fo(T)e Fq(and)h Fo(U)h Fq(in)f Fo(G)35084 2547 y Fm(\(1\))36798 3029 y Fq(ha)-36 b(v)g(e)456 b(\257rst)f(columns)h Fn(T)637 b Fq(and)456 b Fn(U)-6 b(;)800 4634 y Fq(resp)36 b(ectiv)-36 b(ely)-108 b(,)430 b(then)d(the)g(\257rst)g(column)h(of)g Fo(T)295 b Fp(\242)g Fo(U)428 b Fq(is)h(the)e(sequence)h Fn(T)464 b(?)284 b(U)-6 b(;)429 b Fq(and)e Fo(T)295 b Fp(\242)g Fo(U)369 b Fp(2)g Fo(G)45990 4070 y Fm(\(1\))47248 4634 y Fn(:)855 b Fq(Clearly)-108 b(,)800 6239 y(\()p Fo(G)2339 5757 y Fm(\(1\))3597 6239 y Fn(;)221 b Fp(\242)p Fq(\))434 b(is)g(isomorphic)f(to)h(\()p Fp(G)79 b Fn(;)221 b(?)p Fq(\))p Fn(:)868 b Fq(Matrices)434 b(in)f Fo(G)27178 5757 y Fm(\(1\))28870 6239 y Fq(will)i(b)36 b(e)433 b(called)h Ff(se)-66 b(quential)464 b(matric)-66 b(es.)2751 7844 y Fq(One)601 b(more)h(prop)36 b(ert)-36 b(y)601 b(of)h(the)g(group)f Fo(G)p Fn(;)h Fq(with)g(easy)g(and)g(omitted)f(pro)36 b(of,)645 b(will)603 b(b)36 b(e)601 b(useful:)1516 b(if)800 9450 y Fn(M)508 b Fq(=)369 b(\()p Fn(m)5591 9649 y Fl(ij)6397 9450 y Fq(\))g Fp(2)g Fo(G)434 b Fq(and)f Fn(f)142 b Fq(\()p Fn(M)d Fq(\))368 b(:=)h(\(\()p Fp(\241)p Fq(1\))21026 8968 y Fl(i)p Fm(+)p Fl(j)22565 9450 y Fn(m)23703 9649 y Fl(ij)24510 9450 y Fq(\))p Fn(;)434 b Fq(then)20790 12267 y(\()p Fn(f)142 b Fq(\()p Fn(M)d Fq(\)\))24994 11719 y Fi(\241)p Fm(1)26619 12267 y Fq(=)369 b Fn(f)142 b Fq(\()p Fn(M)30686 11719 y Fi(\241)p Fm(1)31943 12267 y Fq(\))p Fn(:)18328 b Fq(\(2\))800 16687 y Fk(2)2152 b(The)716 b(App)60 b(ell)716 b(group)g Fe(\()p Fd(G)113 b Fc(;)319 b(?)p Fe(\))800 19608 y Fq(The)607 b(\257rst)f(theorem)g(in) g(this)h(section)f(concerns)h(the)f(con)-36 b(v)g(olutory)607 b(in)-36 b(v)g(erse)607 b(of)g(a)g(linear)g(recurrence)800 21213 y(sequence)434 b(of)g(order)f Fn(m)369 b Fp(\270)g Fq(2.)800 24080 y Fr(Theorem)608 b(1.)1389 b Ff(Supp)-66 b(ose)651 b Fn(m)529 b Fp(\270)h Fq(2)p Fn(;)552 b Ff(and)690 b Fn(a)23153 24279 y Fm(1)24208 24080 y Fq(=)529 b(1)p Fn(;)221 b(a)27664 24279 y Fm(2)28191 24080 y Fn(;)g(:)g(:)g(:)i(;)e(a) 31786 24279 y Fl(m)33226 24080 y Ff(ar)-66 b(e)551 b(initial)f(values)i (of)f(an)651 b Fn(m)p Ff(th)551 b(or)-66 b(der)800 25685 y(r)g(e)g(curr)g(enc)g(e)462 b(se)-66 b(quenc)g(e)463 b(given)h(by)13876 28503 y Fn(a)14559 28702 y Fl(n)15554 28503 y Fq(=)368 b Fn(u)17674 28702 y Fm(1)18200 28503 y Fn(a)18883 28702 y Fl(n)p Fi(\241)p Fm(1)21007 28503 y Fq(+)295 b Fn(u)23054 28702 y Fm(2)23580 28503 y Fn(a)24263 28702 y Fl(n)p Fi(\241)p Fm(2)26386 28503 y Fq(+)g Fp(\242)221 b(\242)g(\242)296 b Fq(+)f Fn(u)31585 28702 y Fl(m)32473 28503 y Fn(a)33156 28702 y Fl(n)p Fi(\241)p Fl(m)35641 28503 y Fq(+)g Fn(r)37534 28702 y Fl(n)p Fi(\241)p Fl(m)51138 28503 y Fq(\(3\))800 31321 y Ff(for)656 b Fn(n)460 b Fp(\270)g Fn(m)331 b Fq(+)g(1)p Fn(;)514 b Ff(wher)-66 b(e)613 b Fn(u)14691 31520 y Fm(1)15217 31321 y Fn(;)221 b(u)16539 31520 y Fm(2)17066 31321 y Fn(;)g(:)g(:)g(:)j(;)d(u)20719 31520 y Fl(m)22121 31321 y Ff(and)652 b Fn(r)25418 31520 y Fm(1)25944 31321 y Fn(;)221 b(r)27112 31520 y Fm(2)27638 31321 y Fn(;)g(r)28806 31520 y Fm(3)29333 31321 y Fn(;)g(:)g(:)g(:)516 b Ff(ar)-66 b(e)513 b(inte)-66 b(gers)512 b(and)652 b Fn(u)42545 31520 y Fl(m)43892 31321 y Fp(6)p Fq(=)459 b(0)p Ff(.)1258 b(Then)513 b(the)800 32926 y(c)-66 b(onvolutory)464 b(inverse,)f Fn(B)67 b Ff(,)465 b(of)745 b Fn(A;)465 b Ff(is)g(a)g(se)-66 b(quenc)g(e)18681 35744 y Fq(\(1)p Fn(;)221 b(b)20972 35943 y Fm(2)21499 35744 y Fn(;)g(:)g(:)g(:)i(;)e(b) 24964 35943 y Fl(m)25853 35744 y Fn(;)g(b)26988 35943 y Fl(m)p Fm(+1)29078 35744 y Fn(;)g(b)30213 35943 y Fl(m)p Fm(+2)32304 35744 y Fn(;)g(:)g(:)g(:)r Fq(\))800 38561 y Ff(for)465 b(which)g(the)f(subse)-66 b(quenc)g(e)563 b Fq(\()p Fn(b)16952 38760 y Fl(m)p Fm(+2)19042 38561 y Fn(;)221 b(b)20177 38760 y Fl(m)p Fm(+3)22268 38561 y Fn(;)g(:)g(:)g(:)r Fq(\))465 b Ff(satis\257es)17447 42581 y Fn(b)18000 42780 y Fl(n)18996 42581 y Fq(=)20376 40920 y Fl(m)p Fi(\241)p Fm(1)20434 41319 y Fj(X)20536 44148 y Fl(k)24 b Fm(=1)22632 42581 y Fn(b)23185 42780 y Fl(n)p Fi(\241)p Fl(k)25057 42581 y Fn(c)25617 42780 y Fl(k)26481 42581 y Fp(\241)295 b Fn(B)28797 42780 y Fl(n)p Fi(\241)p Fl(m)31283 42581 y Fh(~)g Fn(R)33601 42780 y Fl(n)p Fi(\241)p Fl(m)35791 42581 y Fn(;)800 46526 y Ff(wher)-66 b(e)19324 49045 y Fn(c)19884 49244 y Fl(k)20822 49045 y Fq(=)368 b Fp(\241)p Fn(a)23918 49244 y Fl(k)24 b Fm(+1)25985 49045 y Fq(+)27994 47385 y Fl(k)27291 47783 y Fj(X)27434 50583 y Fl(j)51 b Fm(=1)29432 49045 y Fn(u)30172 49244 y Fl(j)30659 49045 y Fn(a)31342 49244 y Fl(k)24 b Fm(+1)p Fi(\241)p Fl(j)800 52591 y Ff(for)608 b Fn(n)369 b Fp(\270)g Fn(m)295 b Fq(+)g(2)p Fn(:)800 54827 y Ff(Pr)-66 b(o)g(of:)1085 b Fq(By)434 b(\(1\),)g Fn(b)10359 55026 y Fm(1)11254 54827 y Fq(=)368 b Fn(a)13317 55026 y Fm(1)14212 54827 y Fq(=)h(1)p Fn(:)867 b Fq(Also,)435 b Fn(b)21319 55026 y Fm(2)22214 54827 y Fq(=)368 b Fp(\241)p Fn(a)25310 55026 y Fm(2)25836 54827 y Fn(;)434 b Fq(and)16825 57645 y Fn(b)17378 57844 y Fl(n)18373 57645 y Fq(=)369 b Fp(\241)p Fn(a)21470 57844 y Fl(n)22096 57645 y Fn(b)22649 57844 y Fm(1)23470 57645 y Fp(\241)295 b Fn(a)25481 57844 y Fl(n)p Fi(\241)p Fm(1)27310 57645 y Fn(b)27863 57844 y Fm(2)28684 57645 y Fp(\241)g(\242)221 b(\242)g(\242)296 b(\241)f Fn(a)33868 57844 y Fm(2)34394 57645 y Fn(b)34947 57844 y Fl(n)p Fi(\241)p Fm(1)800 60463 y Fq(for)434 b Fn(n)370 b Fp(\270)f Fq(3)p Fn(:)867 b Fq(F)-108 b(or)434 b(the)f(rest)g(of)h(this)g(pro)36 b(of,)434 b(assume)f(that)h Fn(n)369 b Fp(\270)g Fn(m)295 b Fq(+)g(2)p Fn(;)434 b Fq(and)f(for)h(later)g(con)-36 b(v)g(enience,)434 b(let)15050 63280 y Fn(s)15663 63479 y Fl(n)16658 63280 y Fq(=)369 b Fp(\241)p Fn(a)19755 63479 y Fl(n)20381 63280 y Fn(b)20934 63479 y Fm(1)21755 63280 y Fp(\241)295 b Fn(a)23766 63479 y Fl(n)p Fi(\241)p Fm(1)25595 63280 y Fn(b)26148 63479 y Fm(2)26969 63280 y Fp(\241)g(\242)221 b(\242)g(\242)296 b(\241)f Fn(a)32153 63479 y Fl(m)p Fm(+2)34243 63280 y Fn(b)34796 63479 y Fl(n)p Fi(\241)p Fl(m)p Fi(\241)p Fm(1)38189 63280 y Fn(:)800 66098 y Fq(F)-108 b(or)433 b Fn(n)370 b Fp(\270)f Fn(m)295 b Fq(+)f(2)434 b(\(but)f(not)g(generally)i(for)f Fn(n)369 b Fq(=)g Fn(m)295 b Fq(+)g(1\))p Fn(;)434 b Fq(the)f(recurrence)f(\(1\))i(giv)-36 b(es)14878 68457 y Fl(m)14335 68855 y Fj(X)14437 71684 y Fl(k)24 b Fm(=1)16475 70117 y Fn(u)17215 70316 y Fl(k)17784 70117 y Fn(b)18337 70316 y Fl(n)p Fi(\241)p Fl(k)20578 70117 y Fq(=)369 b Fp(\241)23213 68457 y Fl(n)p Fi(\241)p Fl(m)p Fi(\241)p Fm(1)23922 68855 y Fj(X)24065 71655 y Fl(j)51 b Fm(=1)26772 70117 y Fn(b)27325 70316 y Fl(j)28576 68457 y(m)28033 68855 y Fj(X)28135 71684 y Fl(k)24 b Fm(=1)30173 70117 y Fn(u)30913 70316 y Fl(k)31482 70117 y Fn(a)32165 70316 y Fl(n)p Fi(\241)p Fl(k)g Fi(\241)p Fl(j)51 b Fm(+1)36698 70117 y Fp(\241)295 b Fn(U)-6 b(;)p Black 26475 74617 a Fq(3)p Black eop %%Page: 4 4 4 3 bop Black 0 TeXcolorgray Black Black 800 1424 a Fq(where)18610 3943 y Fn(U)508 b Fq(=)21381 2283 y Fl(m)p Fi(\241)p Fm(1)21439 2681 y Fj(X)21541 5510 y Fl(k)24 b Fm(=1)23637 3943 y Fn(u)24377 4142 y Fl(k)25168 2283 y(m)p Fi(\241)p Fl(k)g Fm(+1)25848 2681 y Fj(X)25991 5480 y Fl(j)51 b Fm(=2)28669 3943 y Fn(a)29352 4142 y Fl(j)29839 3943 y Fn(b)30392 4142 y Fl(n)p Fi(\241)p Fl(k)24 b Fi(\241)p Fl(j)51 b Fm(+1)34629 3943 y Fn(:)800 7538 y Fq(Then)10815 9681 y Fl(m)10272 10079 y Fj(X)10373 12908 y Fl(k)24 b Fm(=1)12412 11341 y Fn(u)13152 11540 y Fl(k)13721 11341 y Fn(b)14274 11540 y Fl(n)p Fi(\241)p Fl(k)17253 11341 y Fq(=)1106 b Fp(\241)20625 9681 y Fl(n)p Fi(\241)p Fl(m)p Fi(\241)p Fm(1)21335 10079 y Fj(X)21477 12879 y Fl(j)51 b Fm(=1)24184 11341 y Fn(b)24737 11540 y Fl(j)25224 11341 y Fq(\()p Fn(a)26413 11540 y Fl(n)p Fm(+1)p Fi(\241)p Fl(j)29700 11341 y Fp(\241)295 b Fn(r)31614 11540 y Fl(n)p Fm(+1)p Fi(\241)p Fl(j)51 b Fi(\241)p Fl(m)36171 11341 y Fq(\))295 b Fp(\241)g Fn(U)17253 15990 y Fq(=)1106 b Fn(s)19984 16189 y Fl(n)20905 15990 y Fq(+)22212 14330 y Fl(n)p Fi(\241)p Fl(m)p Fi(\241)p Fm(1)22921 14729 y Fj(X)23064 17528 y Fl(j)51 b Fm(=1)25771 15990 y Fn(b)26324 16189 y Fl(j)26811 15990 y Fn(r)27397 16189 y Fl(n)p Fm(+1)p Fi(\241)p Fl(j)g Fi(\241)p Fl(m)32248 15990 y Fp(\241)295 b Fn(U)17253 20640 y Fq(=)1106 b Fn(b)19924 20839 y Fl(n)20846 20640 y Fq(+)22152 18979 y Fl(m)p Fm(+1)22210 19378 y Fj(X)22353 22177 y Fl(j)51 b Fm(=2)24408 20640 y Fn(a)25091 20839 y Fl(j)25578 20640 y Fn(b)26131 20839 y Fl(n)p Fm(+1)p Fi(\241)p Fl(j)29418 20640 y Fq(+)30725 18979 y Fl(n)p Fi(\241)p Fl(m)p Fi(\241)p Fm(1)31434 19378 y Fj(X)31577 22177 y Fl(j)g Fm(=1)34284 20640 y Fn(b)34837 20839 y Fl(j)35324 20640 y Fn(r)35910 20839 y Fl(n)p Fm(+1)p Fi(\241)p Fl(j)g Fi(\241)p Fl(m)40761 20640 y Fp(\241)295 b Fn(U)-6 b(;)800 24844 y Fq(so)434 b(that)10999 27318 y Fn(b)11552 27517 y Fl(n)12547 27318 y Fq(=)14471 25658 y Fl(m)13928 26056 y Fj(X)14029 28885 y Fl(k)24 b Fm(=1)16068 27318 y Fn(u)16808 27517 y Fl(k)17377 27318 y Fn(b)17930 27517 y Fl(n)p Fi(\241)p Fl(k)20097 27318 y Fp(\241)21425 25658 y Fl(m)p Fm(+1)21483 26056 y Fj(X)21626 28856 y Fl(j)51 b Fm(=2)23681 27318 y Fn(a)24364 27517 y Fl(j)24851 27318 y Fn(b)25404 27517 y Fl(n)p Fm(+1)p Fi(\241)p Fl(j)28691 27318 y Fp(\241)30019 25658 y Fl(n)p Fi(\241)p Fl(m)p Fi(\241)p Fm(1)30729 26056 y Fj(X)30871 28856 y Fl(j)g Fm(=1)33578 27318 y Fn(b)34131 27517 y Fl(j)34618 27318 y Fn(r)35204 27517 y Fl(n)p Fm(+1)p Fi(\241)p Fl(j)g Fi(\241)p Fl(m)40055 27318 y Fq(+)295 b Fn(U)-6 b(:)8538 b Fq(\(4\))800 30987 y(No)-36 b(w)386 b(put)f Fn(n)369 b Fq(=)g Fn(m)197 b Fq(+)g(1)385 b(in)-36 b(to)385 b(\(3\))g(and)g(substitute)f(in)i(\(4\))f(for)h Fn(a)31448 31186 y Fl(m)p Fm(+1)33538 30987 y Fn(:)771 b Fq(The)385 b(resulting)h(co)36 b(e\261cien)-36 b(t)385 b(of)i Fn(b)50610 31186 y Fl(n)p Fi(\241)p Fl(m)800 32592 y Fq(is)434 b Fp(\241)p Fn(r)3727 32791 y Fm(1)4253 32592 y Fn(;)g Fq(and)f(\(4\))g(simpli\257es)h(to)5459 36772 y Fn(b)6012 36971 y Fl(n)7745 36772 y Fq(=)9864 35111 y Fl(m)p Fi(\241)p Fm(1)9922 35510 y Fj(X)10023 38339 y Fl(k)24 b Fm(=1)12120 36772 y Fn(u)12860 36971 y Fl(k)13429 36772 y Fn(b)13982 36971 y Fl(n)p Fi(\241)p Fl(k)16149 36772 y Fp(\241)18020 35111 y Fl(m)17477 35510 y Fj(X)17619 38309 y Fl(j)51 b Fm(=2)19617 36772 y Fn(a)20300 36971 y Fl(j)20787 36772 y Fn(b)21340 36971 y Fl(n)p Fm(+1)p Fi(\241)p Fl(j)24627 36772 y Fq(+)25934 35111 y Fl(m)p Fi(\241)p Fm(2)25992 35510 y Fj(X)26093 38339 y Fl(k)24 b Fm(=1)28190 36772 y Fn(u)28930 36971 y Fl(k)29720 35111 y(m)p Fi(\241)p Fl(k)29800 35510 y Fj(X)29942 38309 y Fl(j)51 b Fm(=2)32019 36772 y Fn(a)32702 36971 y Fl(j)33189 36772 y Fn(b)33742 36971 y Fl(n)p Fi(\241)p Fl(k)24 b Fi(\241)p Fl(j)51 b Fm(+1)38274 36772 y Fp(\241)39603 35111 y Fl(n)p Fi(\241)p Fl(m)39711 35510 y Fj(X)39853 38309 y Fl(j)g Fm(=1)41959 36772 y Fn(b)42512 36971 y Fl(j)42999 36772 y Fn(r)43585 36971 y Fl(n)p Fm(+1)p Fi(\241)p Fl(j)g Fi(\241)p Fl(m)7745 41465 y Fq(=)9864 39805 y Fl(m)p Fi(\241)p Fm(1)9922 40203 y Fj(X)10023 43032 y Fl(k)24 b Fm(=1)12120 41465 y Fn(b)12673 41664 y Fl(n)p Fi(\241)p Fl(k)14544 41465 y Fq(\()p Fp(\241)p Fn(a)16766 41664 y Fl(k)g Fm(+1)18832 41465 y Fq(+)20842 39805 y Fl(k)20139 40203 y Fj(X)20282 43003 y Fl(j)51 b Fm(=1)22279 41465 y Fn(u)23019 41664 y Fl(j)23506 41465 y Fn(a)24189 41664 y Fl(k)24 b Fm(+1)p Fi(\241)p Fl(j)27124 41465 y Fq(\))295 b Fp(\241)29253 39805 y Fl(n)p Fi(\241)p Fl(m)29361 40203 y Fj(X)29504 43003 y Fl(j)51 b Fm(=1)31610 41465 y Fn(b)32163 41664 y Fl(j)32649 41465 y Fn(r)33235 41664 y Fl(n)p Fm(+1)p Fi(\241)p Fl(j)g Fi(\241)p Fl(m:)42389 41465 y Fh(\245)800 47680 y Fr(Corollary)663 b(1.)1578 b Fq(If)576 b(the)f(recurrence)f(for)i Fn(A)f Fq(in)g(\(3\))g(is)h (homogeneous)f(of)h(order)f Fn(m)610 b Fp(\270)g Fq(2,)h(then)575 b(the)800 49285 y(recurrence)423 b(for)i(the)f(sequence)g(\()p Fn(b)17726 49484 y Fm(4)18252 49285 y Fn(;)221 b(b)19387 49484 y Fm(5)19913 49285 y Fn(;)g(b)21048 49484 y Fm(6)21575 49285 y Fn(;)g(:)g(:)g(:)r Fq(\))424 b(is)g(of)h(order)f Fn(m)276 b Fp(\241)g Fq(1)p Fn(:)849 b Fq(If)425 b Fn(m)369 b Fq(=)f(2)p Fn(;)425 b Fq(then)f(the)f(con)-36 b(v)g(olutory)800 50890 y(in)g(v)g(erse)434 b(of)g Fn(A)g Fq(is)f(the)h(sequence)6529 53824 y(\()p Fn(b)7588 54023 y Fm(1)8114 53824 y Fn(;)221 b(b)9249 54023 y Fm(2)9775 53824 y Fn(;)g(b)10910 54023 y Fm(3)11437 53824 y Fn(;)g(:)g(:)g(:)r Fq(\))369 b(=)f(\(1)p Fn(;)951 b Fp(\241)295 b Fn(a)20280 54023 y Fm(2)20806 53824 y Fn(;)655 b(f)70 b(;)655 b Fq(\()p Fn(u)24795 54023 y Fm(1)25616 53824 y Fp(\241)295 b Fn(a)27627 54023 y Fm(2)28153 53824 y Fq(\))p Fn(f)70 b(;)655 b Fq(\()p Fn(u)31632 54023 y Fm(1)32453 53824 y Fp(\241)295 b Fn(a)34464 54023 y Fm(2)34990 53824 y Fq(\))35496 53275 y Fm(2)36021 53824 y Fn(f)70 b(;)655 b Fq(\()p Fn(u)38994 54023 y Fm(1)39815 53824 y Fp(\241)296 b Fn(a)41827 54023 y Fm(2)42352 53824 y Fq(\))42858 53275 y Fm(3)43384 53824 y Fn(f)70 b(;)221 b(:)g(:)g(:)r Fq(\))p Fn(;)800 56757 y Fq(where)434 b Fn(f)510 b Fq(=)369 b Fn(a)7773 56275 y Fm(2)7773 57086 y(2)8594 56757 y Fp(\241)295 b Fn(a)10605 56956 y Fm(3)11131 56757 y Fn(:)800 59691 y Ff(Pr)-66 b(o)g(of:)1535 b Fq(Homogeneit)-36 b(y)585 b(of)f Fn(a)f Fq(means)h(that)f Fn(r)24331 59890 y Fl(n)25582 59691 y Fq(=)623 b(0)584 b(for)g Fn(n)625 b Fp(\270)g Fq(1)p Fn(;)584 b Fq(so)g(that)f Fn(b)40510 59890 y Fl(n)41760 59691 y Fq(=)43396 58694 y Fj(P)44798 59045 y Fl(m)p Fi(\241)p Fm(1)44798 60078 y Fl(k)24 b Fm(=1)47110 59691 y Fn(c)47670 59890 y Fl(k)48238 59691 y Fn(b)48791 59890 y Fl(n)p Fi(\241)p Fl(k)51246 59691 y Fq(for)800 61296 y Fn(n)369 b Fp(\270)h Fn(m)294 b Fq(+)h(2)p Fn(:)4336 b Fh(\245)800 64229 y Fr(Example)333 b(1.)819 b Fq(The)289 b(Fib)36 b(onacci)290 b(sequence,)318 b Fn(A)369 b Fq(=)f(\(1)p Fn(;)221 b Fq(1)p Fn(;)g Fq(2)p Fn(;)g Fq(3)p Fn(;)g Fq(5)p Fn(;)g Fq(8)p Fn(;)g(:)g(:)g(:)8 b Fq(\))p Fn(;)289 b Fq(has)g(in)-36 b(v)g(erse)289 b(\(1)p Fn(;)221 b Fp(\241)p Fq(1)p Fn(;)g Fp(\241)p Fq(1)p Fn(;)g Fq(0)p Fn(;)g Fq(0)p Fn(;)g Fq(0)p Fn(;)g Fq(0)p Fn(;)g Fq(0)p Fn(;)g(:)g(:)g(:)10 b Fq(\).)800 67163 y Fr(Example)333 b(2.)819 b Fq(The)289 b(Lucas)g(sequence,)318 b Fn(A)369 b Fq(=)g(\(1)p Fn(;)221 b Fq(3)p Fn(;)g Fq(4)p Fn(;)g Fq(7)p Fn(;)g Fq(11)p Fn(;)g Fq(18)p Fn(;)g(:)g(:)g(:)8 b Fq(\))p Fn(;)289 b Fq(has)g(in)-36 b(v)g(erse,)318 b(\(1)p Fn(;)221 b Fp(\241)p Fq(3)p Fn(;)g Fq(5)p Fn(;)g Fp(\241)p Fq(10)p Fn(;)g Fq(20)p Fn(;)g Fp(\241)p Fq(40)p Fn(;)g Fq(80)p Fn(;)g(:)g(:)g(:)11 b Fq(\))p Fn(;)800 68768 y Fq(recurren)-36 b(t)432 b(with)i(order)f(1)h(b)36 b(eginning)433 b(at)h(the)f(third)g(term.)p Black 26475 74617 a(4)p Black eop %%Page: 5 5 5 4 bop Black 0 TeXcolorgray Black Black 800 1424 a Fr(Example)632 b(3.)1476 b Fq(Let)549 b Fn(A)g Fq(b)36 b(e)549 b(the)g(2nd-order)g (nonhomogeneous)g(sequence)g(giv)-36 b(en)550 b(b)-36 b(y)550 b Fn(a)45783 1623 y Fm(1)46875 1424 y Fq(=)565 b(1)p Fn(;)551 b(a)50697 1623 y Fm(2)51788 1424 y Fq(=)800 3029 y(1)p Fn(;)653 b Fq(and)f Fn(a)5895 3228 y Fl(n)7262 3029 y Fq(=)741 b Fn(a)9698 3228 y Fl(n)p Fi(\241)p Fm(1)11971 3029 y Fq(+)443 b Fn(a)14109 3228 y Fl(n)p Fi(\241)p Fm(2)16382 3029 y Fq(+)g Fn(n)i Fp(\241)f Fq(2)653 b(for)g Fn(n)741 b Fp(\270)h Fq(3)p Fn(:)1305 b Fq(The)653 b(in)-36 b(v)g(erse)652 b(of)h Fn(A)f Fq(is)h(the)f(sequence)g Fn(B)808 b Fq(=)800 4634 y(\(1)p Fn(;)221 b Fp(\241)p Fq(1)p Fn(;)g Fp(\241)p Fq(2)p Fn(;)g Fp(\241)p Fq(1)p Fn(;)g Fq(1)p Fn(;)g Fq(4)p Fn(;)g Fq(6)p Fn(;)g Fq(4)p Fn(;)g Fp(\241)p Fq(4)p Fn(;)g Fp(\241)p Fq(11)p Fn(;)g(:)g(:)g(:)13 b Fq(\))433 b(giv)-36 b(en)434 b(for)h Fn(n)369 b Fp(\270)g Fq(4)434 b(b)-36 b(y)9306 7568 y Fn(b)9859 7767 y Fl(n)10854 7568 y Fq(=)369 b Fp(\241)p Fn(B)14256 7767 y Fl(n)p Fi(\241)p Fm(2)16380 7568 y Fh(~)295 b Fn(R)18698 7767 y Fl(n)p Fi(\241)p Fm(2)20896 7568 y Fq(=)368 b Fp(\241)p Fq(\()p Fn(b)24368 7767 y Fm(1)24894 7568 y Fn(;)221 b(b)26029 7767 y Fm(2)26555 7568 y Fn(;)g Fp(\242)g(\242)g(\242)445 b Fn(;)221 b(b)30266 7767 y Fl(n)p Fi(\241)p Fm(2)32095 7568 y Fq(\))295 b Fn(?)g Fq(\(1)p Fn(;)221 b Fq(2)p Fn(;)g Fq(3)p Fn(;)g(:)g(:)g(:)226 b(;)221 b(n)297 b Fp(\241)e Fq(2\))p Fn(:)800 10501 y Fr(Example)472 b(4.)981 b Fq(Supp)36 b(ose)409 b(that)g Fn(A)i Fq(and)e Fn(C)505 b Fq(are)411 b(sequences)f(in)g Fp(G)79 b Fn(:)821 b Fq(Since)410 b Fp(G)489 b Fq(is)410 b(a)h(group,)j(there)c(exists)h Fn(B)800 12106 y Fq(in)423 b Fp(G)503 b Fq(suc)-36 b(h)423 b(that)g Fn(A)369 b Fq(=)f Fn(B)342 b(?)275 b(C)23 b(:)847 b Fq(F)-108 b(or)423 b(example,)k(if)d Fn(A)g Fq(and)f Fn(C)518 b Fq(are)424 b(the)f(Fib)36 b(onacci)424 b(and)f(Lucas)g (sequences)800 13711 y(of)434 b(Examples)h(1)e(and)g(2,)i(then)16383 16645 y Fn(B)h Fq(=)368 b Fn(A)296 b(?)f(C)22429 16096 y Fi(\241)p Fm(1)24056 16645 y Fq(=)368 b(\(1)p Fn(;)221 b Fp(\241)p Fq(2)p Fn(;)g Fq(4)p Fn(;)g Fp(\241)p Fq(8)p Fn(;)g Fq(16)p Fn(;)g(:)g(:)g(:)7 b Fq(\))p Fn(;)800 19578 y Fq(a)434 b(1st-order)f(sequence.)800 22512 y Fr(Theorem)548 b(2.)1179 b Ff(L)-66 b(et)629 b Fn(B)508 b Fq(=)440 b(\(1)p Fn(;)221 b(b)17171 22711 y Fm(2)17697 22512 y Fn(;)g(b)18832 22711 y Fm(3)19359 22512 y Fn(;)g(:)g(:)g(:)r Fq(\))504 b Ff(b)-66 b(e)502 b(the)h(c)-66 b(onvolutory)503 b(inverse)f(of)784 b Fn(A)440 b Fq(=)g(\(1)p Fn(;)221 b(a)44943 22711 y Fm(2)45470 22512 y Fn(;)g(a)46735 22711 y Fm(3)47261 22512 y Fn(;)g(:)g(:)g(:)r Fq(\))p Fn(;)504 b Ff(and)800 24250 y(let)3162 23914 y Fj(b)2863 24250 y Fn(A)573 b Fq(=)f(\(1)p Fn(;)221 b Fp(\241)p Fn(a)9449 24449 y Fm(2)9976 24250 y Fn(;)g(a)11241 24449 y Fm(3)11767 24250 y Fn(;)g Fp(\241)p Fn(a)14065 24449 y Fm(4)14591 24250 y Fn(;)g(a)15856 24449 y Fm(5)16383 24250 y Fn(;)g Fp(\241)p Fn(a)18681 24449 y Fm(6)19207 24250 y Fn(;)g(:)g(:)g(:)r Fq(\))p Fn(:)1150 b Ff(Then)575 b(the)f(c)-66 b(onvolutory)575 b(inverse)e(of)42961 23914 y Fj(b)42661 24250 y Fn(A)i Ff(is)g(the)g(se)-66 b(quenc)g(e)1067 25652 y Fj(b)800 25988 y Fn(B)436 b Fq(=)369 b(\(1)p Fn(;)221 b Fp(\241)p Fn(b)6929 26187 y Fm(2)7456 25988 y Fn(;)g(b)8591 26187 y Fm(3)9117 25988 y Fn(;)g Fp(\241)p Fn(b)11285 26187 y Fm(4)11812 25988 y Fn(;)g(b)12947 26187 y Fm(5)13473 25988 y Fn(;)g Fp(\241)p Fn(b)15641 26187 y Fm(6)16168 25988 y Fn(;)g(:)g(:)g(:)r Fq(\))p Fn(:)800 28921 y Ff(Pr)-66 b(o)g(of:)1085 b Fq(Apply)434 b(\(2\))f(to)h(the)f(subgroup)f Fo(G)21811 28439 y Fm(\(1\))23503 28921 y Fq(of)i(sequen)-36 b(tial)434 b(matrices.)4481 b Fh(\245)800 31854 y Fr(Example)499 b(5.)1012 b Fq(Let)433 b Fn(A)g Fq(b)36 b(e)434 b(the)f(sequence)g(giv) -36 b(en)434 b(b)-36 b(y)434 b Fn(a)28166 32053 y Fl(n)29161 31854 y Fq(=)369 b Fp(b)p Fn(n\277)148 b Fp(c)p Fn(;)435 b Fq(where)e Fn(\277)517 b Fq(=)369 b(\(1)295 b(+)42985 30756 y Fp(p)p 44092 30756 651 54 v 1098 x Fq(5)q(\))p Fn(=)p Fq(2)p Fn(:)867 b Fq(Then)4498 34788 y Fn(A)369 b Fq(=)f(\(1)p Fn(;)221 b Fq(3)p Fn(;)g Fq(4)p Fn(;)g Fq(6)p Fn(;)g Fq(8)p Fn(;)g Fq(9)p Fn(;)g Fq(11)p Fn(;)g Fq(12)p Fn(;)g(:)g(:)g(:)11 b Fq(\))1300 b(and)g Fn(A)26597 34239 y Fi(\241)p Fm(1)28224 34788 y Fq(=)369 b(\(1)p Fn(;)221 b Fp(\241)p Fq(3)p Fn(;)g Fq(5)p Fn(;)g Fp(\241)p Fq(9)p Fn(;)g Fq(17)p Fn(;)g Fp(\241)p Fq(30)p Fn(;)g Fq(52)p Fn(;)g Fp(\241)p Fq(90)p Fn(;)g(:)g(:)g(:)11 b Fq(\))p Fn(:)2751 37721 y Fq(Let)433 b Fn(A)h Fq(b)36 b(e)433 b(the)g(sequence)h(giv)-36 b(en)434 b(b)-36 b(y)433 b Fn(a)21776 37920 y Fl(n)22771 37721 y Fq(=)369 b(\()p Fp(\241)p Fq(1\))26847 37239 y Fl(n)p Fi(\241)p Fm(1)28676 37721 y Fp(b)p Fn(n\277)148 b Fp(c)p Fn(:)868 b Fq(Then)4498 40655 y Fn(A)369 b Fq(=)f(\(1)p Fn(;)221 b Fp(\241)p Fq(3)p Fn(;)g Fq(4)p Fn(;)g Fp(\241)p Fq(6)p Fn(;)g Fq(8)p Fn(;)g Fp(\241)p Fq(9)p Fn(;)g Fq(11)p Fn(;)g Fp(\241)p Fq(12)p Fn(;)g(:)g(:)g(:)11 b Fq(\))1301 b(and)f Fn(A)30730 40106 y Fi(\241)p Fm(1)32357 40655 y Fq(=)368 b(\(1)p Fn(;)221 b Fq(3)p Fn(;)g Fq(5)p Fn(;)g Fq(9)p Fn(;)g Fq(17)p Fn(;)g Fq(30)p Fn(;)g Fq(52)p Fn(;)g Fq(90)p Fn(;)g(:)g(:)g(:)11 b Fq(\))p Fn(:)800 44363 y Fr(Example)499 b(6.)1012 b Fq(Let)433 b Fn(A)g Fq(b)36 b(e)434 b(the)f(Catalan)h (sequence,)g(giv)-36 b(en)434 b(b)-36 b(y)434 b Fn(a)33441 44562 y Fl(n)34436 44363 y Fq(=)36000 43840 y Fm(1)p 35949 44058 571 54 v 35949 44821 a Fl(n)36874 42490 y Fj(\265)38406 43549 y Fq(2)p Fn(n)296 b Fp(\241)f Fq(2)38731 45155 y Fn(n)h Fp(\241)f Fq(1)42660 42490 y Fj(\266)43859 44363 y Fn(:)867 b Fq(Then)14030 48071 y Fn(A)1107 b Fq(=)g(\(1)p Fn(;)221 b Fq(1)p Fn(;)g Fq(2)p Fn(;)g Fq(5)p Fn(;)g Fq(14)p Fn(;)g Fq(42)p Fn(;)g Fq(132)p Fn(;)g Fq(429)p Fn(;)g Fq(1430)p Fn(;)g(:)g(:)g(:)13 b Fq(\))12772 50009 y Fn(A)13747 49460 y Fi(\241)p Fm(1)16112 50009 y Fq(=)1107 b(\(1)p Fn(;)221 b Fp(\241)p Fq(1)p Fn(;)g Fp(\241)p Fq(1)p Fn(;)g Fp(\241)p Fq(2)p Fn(;)g Fp(\241)p Fq(5)p Fn(;)g Fp(\241)p Fq(14)p Fn(;)g Fp(\241)p Fq(42)p Fn(;)g Fp(\241)p Fq(132)p Fn(;)g(:)g(:)g(:)12 b Fq(\))p Fn(:)800 52942 y Fr(Example)788 b(7.)2018 b Fq(Let)685 b Fn(A)h Fq(b)36 b(e)685 b(the)f(sequence)h(of)h(cen)-36 b(tral)686 b(binomial)f(co)36 b(e\261cien)-36 b(ts,)749 b(giv)-36 b(en)686 b(b)-36 b(y)685 b Fn(a)50365 53141 y Fl(n)51788 52942 y Fq(=)800 53375 y Fj(\265)2331 54435 y Fq(2)p Fn(n)296 b Fp(\241)g Fq(2)2657 56040 y Fn(n)f Fp(\241)g Fq(1)6585 53375 y Fj(\266)7785 55248 y Fn(;)433 b Fq(Then)1939 59079 y Fn(A)369 b Fq(=)f(\(1)p Fn(;)221 b Fq(2)p Fn(;)g Fq(6)p Fn(;)g Fq(20)p Fn(;)g Fq(70)p Fn(;)g Fq(252)p Fn(;)g Fq(924)p Fn(;)g(:)g(:)g(:)11 b Fq(\))1300 b(and)h Fn(A)25407 58531 y Fi(\241)p Fm(1)27033 59079 y Fq(=)369 b(\(1)p Fn(;)221 b Fp(\241)p Fq(2)p Fn(;)g Fp(\241)p Fq(2)p Fn(;)g Fp(\241)p Fq(4)p Fn(;)g Fp(\241)p Fq(10)p Fn(;)g Fp(\241)p Fq(28)p Fn(;)g Fp(\241)p Fq(84)p Fn(;)g Fp(\241)p Fq(264)p Fn(;)g(:)g(:)g(:)12 b Fq(\))p Fn(;)800 62013 y Fq(with)434 b(ob)-36 b(vious)434 b(connections)f(to)h(the)f(Catalan)h(sequence.)2751 64946 y(Certain)425 b(op)36 b(erations)426 b(on)e(sequences)h(in)g Fp(G)504 b Fq(are)425 b(easily)i(expressed)d(in)h(terms)g(of)g(con)-36 b(v)g(olution.)1001 b(Tw)-36 b(o)800 66551 y(of)460 b(these)e(op)36 b(erations)459 b(are)g(giv)-36 b(en)460 b(as)f(follo)-36 b(ws.)1115 b(Supp)36 b(ose)458 b Fn(x)h Fq(is)g(an)g(in)-36 b(teger,)465 b(and)458 b Fn(A)412 b Fq(=)g(\(1)p Fn(;)221 b(a)46534 66750 y Fm(2)47060 66551 y Fn(;)g(a)48325 66750 y Fm(3)48852 66551 y Fn(;)g(:)g(:)g(:)r Fq(\))459 b(is)800 68156 y(a)434 b(sequence)f(in)h Fp(G)79 b Fn(;)434 b Fq(with)f(in)-36 b(v)g(erse)434 b Fn(B)i Fq(=)369 b(\(1)p Fn(;)221 b(b)22821 68355 y Fm(2)23347 68156 y Fn(;)g(b)24482 68355 y Fm(3)25009 68156 y Fn(;)g(:)g(:)g(:)r Fq(\))p Fn(:)867 b Fq(Then)7471 71090 y(\(1)p Fn(;)655 b(xa)11065 71289 y Fm(2)11591 71090 y Fn(;)g(xa)14029 71289 y Fm(3)14555 71090 y Fn(;)g(xa)16993 71289 y Fm(4)p Fl(;)18001 71090 y Fn(:)221 b(:)g(:)r Fq(\))369 b(=)f(\(1)p Fn(;)656 b Fq(\(1)295 b Fp(\241)g Fn(x)p Fq(\))p Fn(b)28533 71289 y Fm(2)29059 71090 y Fn(;)655 b Fq(\(1)296 b Fp(\241)f Fn(x)p Fq(\))p Fn(b)34653 71289 y Fm(3)35179 71090 y Fn(;)655 b Fq(\(1)295 b Fp(\241)h Fn(x)p Fq(\))p Fn(b)40773 71289 y Fm(4)41299 71090 y Fn(;)221 b(:)g(:)g(:)r Fq(\))295 b Fn(?)g(A)p Black 26475 74617 a Fq(5)p Black eop %%Page: 6 6 6 5 bop Black 0 TeXcolorgray Black Black 800 1424 a Fq(and)6744 3029 y(\(1)p Fn(;)656 b(x;)f(a)11355 3228 y Fm(2)11881 3029 y Fn(;)g(a)13580 3228 y Fm(3)14105 3029 y Fn(;)221 b(:)g(:)g(:)s Fq(\))369 b(=)f(\(1)p Fn(;)656 b(x)295 b Fq(+)g Fn(b)23537 3228 y Fm(2)24063 3029 y Fn(;)655 b Fq(\()p Fn(x)295 b Fp(\241)g Fq(1\))p Fn(b)29656 3228 y Fm(2)30477 3029 y Fq(+)g Fn(b)32337 3228 y Fm(3)32863 3029 y Fn(;)655 b Fq(\()p Fn(x)295 b Fp(\241)h Fq(1\))p Fn(b)38457 3228 y Fm(3)39278 3029 y Fq(+)f Fn(b)41138 3228 y Fm(4)41664 3029 y Fn(;)221 b(:)g(:)g(:)r Fq(\))295 b Fn(?)g(A:)800 5223 y Fq(Stated)433 b(in)g(terms)g(of)i(p)36 b(o)-36 b(w)g(er)433 b(series)7158 7852 y Fn(a)p Fq(\()p Fn(t)p Fq(\))368 b(=)h(1)295 b(+)g Fn(a)14007 8051 y Fm(2)14532 7852 y Fn(t)g Fq(+)g Fn(a)17287 8051 y Fm(3)17813 7852 y Fn(t)18283 7304 y Fm(2)19103 7852 y Fq(+)g Fp(\242)221 b(\242)g(\242)1089 b Fq(and)867 b(1)p Fn(=a)p Fq(\()p Fn(t)p Fq(\))369 b(=)f Fn(b)p Fq(\()p Fn(t)p Fq(\))h(=)f(1)296 b(+)f Fn(b)37815 8051 y Fm(2)38340 7852 y Fn(t)g Fq(+)g Fn(b)40965 8051 y Fm(3)41491 7852 y Fn(t)41961 7304 y Fm(2)42782 7852 y Fq(+)f Fp(\242)221 b(\242)g(\242)444 b Fn(;)800 10481 y Fq(the)433 b(t)-36 b(w)g(o)434 b(op)36 b(erations)434 b(corresp)36 b(ond)433 b(to)g(the)g(iden)-36 b(tities)14663 13110 y Fn(xa)p Fq(\()p Fn(t)p Fq(\))295 b(+)g(1)g Fp(\241)h Fn(x)1107 b Fq(=)f([\(1)296 b Fp(\241)f Fn(x)p Fq(\))p Fn(b)p Fq(\()p Fn(t)p Fq(\))g(+)f Fn(x)p Fq(])p Fn(a)p Fq(\()p Fn(t)p Fq(\);)11199 15047 y Fn(ta)p Fq(\()p Fn(t)p Fq(\))g(+)h(1)h(+)e(\()p Fn(x)h Fp(\241)h Fq(1\))p Fn(t)1107 b Fq(=)f Fp(f)p Fn(b)p Fq(\()p Fn(t)p Fq(\))295 b(+)g([\()p Fn(x)g Fp(\241)g Fq(1\))p Fn(b)p Fq(\()p Fn(t)p Fq(\))g(+)g(1])p Fn(t)p Fp(g)p Fn(a)p Fq(\()p Fn(t)p Fq(\))p Fn(:)800 19440 y Fk(3)2152 b(The)716 b(group)g Fe(\()p Fb(G)16723 18745 y Fq(\()p Fn(m)p Fq(\))18928 19440 y Fc(;)319 b Fd(\242)p Fe(\))800 22360 y Fq(Recall)308 b(that)e(the)f(set)i Fo(G)f Fq(consists)h(of)g(the)e(lo)-36 b(w)g(er)307 b(triangular)g(in\257nite)e(in)-36 b(teger)307 b(matrices)f(with)h(all)g(diagonal)800 23965 y(en)-36 b(tries)421 b(1.)995 b(De\257ne)10971 23483 y Fi(0)11703 23965 y Fq(on)421 b Fo(G)g Fq(as)g(follo)-36 b(ws:)995 b(if)422 b Fn(A)369 b Fp(2)f Fo(G)p Fq(,)424 b(then)c Fn(A)31247 23483 y Fi(0)31979 23965 y Fq(is)h(the)f(matrix)i(that)e (remains)h(when)g(ro)-36 b(w)800 25570 y(1)434 b(and)f(column)g(1)h(of) h Fn(A)e Fq(are)h(remo)-36 b(v)g(ed.)1012 b(Clearly)435 b Fn(A)26704 25088 y Fi(0)27384 25570 y Fp(2)368 b Fo(G)p Fq(.)1012 b(De\257ne)17175 28199 y Fn(A)18150 27651 y Fm(\(0\))19777 28199 y Fq(=)369 b Fn(A;)4990 b(A)28459 27651 y Fm(\()p Fl(n)p Fm(\))30187 28199 y Fq(=)368 b(\()p Fn(A)33048 27651 y Fm(\()p Fl(n)p Fi(\241)p Fm(1\))35608 28199 y Fq(\))36114 27651 y Fi(0)800 30828 y Fq(for)434 b Fn(n)370 b Fp(\270)f Fq(1)p Fn(:)867 b Fq(Let)18910 32433 y Fo(G)19943 31885 y Fm(\()p Fl(m)p Fm(\))21931 32433 y Fq(=)369 b Fp(f)p Fn(A)g Fp(2)g Fo(G)g Fq(:)g Fn(A)29682 31885 y Fm(\()p Fl(m)p Fm(\))31671 32433 y Fq(=)f Fn(A)p Fp(g)800 34627 y Fq(for)488 b Fn(m)460 b Fp(\270)h Fq(0)p Fn(:)975 b Fq(Note)488 b(that)f(\()p Fo(G)15527 34145 y Fm(\(1\))16785 34627 y Fn(;)221 b Fp(\242)p Fq(\))488 b(is)f(the)g(group)g(of)h(sequen)-36 b(tial)488 b(matrices)g(in)-36 b(tro)36 b(duced)486 b(in)h(Section)g (1,)800 36232 y(and)433 b Fo(G)4362 35750 y Fm(\()p Fl(m)p Fm(\))6351 36232 y Fp(\275)369 b Fo(G)8786 35750 y Fm(\()p Fl(d)p Fm(\))10491 36232 y Fq(if)434 b(and)f(only)i(if)f Fn(d)p Fp(j)p Fn(m:)800 38992 y Fr(Theorem)499 b(3.)1012 b Fq(\()p Fn(G)10840 38510 y Fm(\()p Fl(m)p Fm(\))12459 38992 y Fn(;)221 b Fp(\242)p Fq(\))466 b Ff(is)f(a)g(gr)-66 b(oup)465 b(for)607 b Fn(m)369 b Fp(\270)g Fq(0)p Fn(:)800 41751 y Ff(Pr)-66 b(o)g(of:)1530 b Fq(\()p Fo(G)7292 41269 y Fm(\(0\))8550 41751 y Fn(;)221 b Fp(\242)p Fq(\))582 b(is)g(the)f(group)h(\()p Fo(G)p Fn(;)221 b Fp(\242)p Fq(\))p Fn(:)1164 b Fq(F)-108 b(or)582 b Fn(m)621 b Fp(\270)g Fq(1)p Fn(;)583 b Fq(\257rst)e(note)g(that)h(\()p Fn(AB)67 b Fq(\))42150 41269 y Fi(0)43082 41751 y Fq(=)621 b Fn(A)45690 41269 y Fi(0)46000 41751 y Fn(B)47055 41269 y Fi(0)47366 41751 y Fn(;)582 b Fq(so)g(that,)800 43356 y(inductiv)-36 b(ely)-108 b(,)434 b(\()p Fn(AB)67 b Fq(\))10779 42874 y Fm(\()p Fl(q)32 b Fm(\))12387 43356 y Fq(=)368 b Fn(A)14742 42874 y Fm(\()p Fl(q)32 b Fm(\))15981 43356 y Fn(B)17036 42874 y Fm(\()p Fl(q)g Fm(\))18709 43356 y Fq(for)434 b(all)h Fn(q)416 b Fp(\270)369 b Fq(1)p Fn(:)868 b Fq(In)433 b(particular,)h(if)g Fn(A)g Fq(and)f Fn(B)501 b Fq(are)434 b(in)f Fo(G)46098 42874 y Fm(\()p Fl(m)p Fm(\))47718 43356 y Fn(;)h Fq(then)18890 45985 y(\()p Fn(AB)67 b Fq(\))21932 45437 y Fm(\()p Fl(m)p Fm(\))23920 45985 y Fq(=)368 b Fn(A)26275 45437 y Fm(\()p Fl(m)p Fm(\))27895 45985 y Fn(B)28950 45437 y Fm(\()p Fl(m)p Fm(\))30938 45985 y Fq(=)h Fn(AB)67 b(;)800 48614 y Fq(so)434 b(that)f Fn(AB)j Fp(2)369 b Fo(G)9902 48132 y Fm(\()p Fl(m)p Fm(\))11521 48614 y Fn(:)868 b Fq(Moreo)-36 b(v)g(er,)18890 51243 y(\()p Fn(A)20371 50695 y Fi(\241)p Fm(1)21628 51243 y Fq(\))22134 50695 y Fm(\()p Fl(m)p Fm(\))24122 51243 y Fq(=)369 b(\()p Fn(A)26984 50695 y Fm(\()p Fl(m)p Fm(\))28603 51243 y Fq(\))29109 50695 y Fi(\241)p Fm(1)30736 51243 y Fq(=)f Fn(A)33091 50695 y Fi(\241)p Fm(1)34349 51243 y Fn(;)800 53872 y Fq(so)434 b(that)f Fn(A)6190 53390 y Fi(\241)p Fm(1)7817 53872 y Fp(2)368 b Fo(G)10104 53390 y Fm(\()p Fl(m)p Fm(\))11724 53872 y Fn(:)4336 b Fh(\245)800 59419 y Fk(4)2152 b(The)716 b(group)g Fe(\()p Fb(G)16723 58725 y Fq(\(2\))18441 59419 y Fc(;)319 b Fd(\242)p Fe(\))800 62468 y Fq(Supp)36 b(ose)352 b(that)h Fn(A;)221 b(B)67 b(;)221 b(C)23 b(;)221 b(D)392 b Fq(are)354 b(sequences)f(in)h Fp(G)79 b Fn(:)707 b Fq(Let)353 b Fp(h)o Fn(A)p Fq(;)221 b Fn(B)67 b Fp(i)354 b Fq(denote)f(the)g(matrix)h(in)g Fo(G)45185 61986 y Fm(\(2\))46796 62468 y Fq(whose)g(\257rst)800 64073 y(column)377 b(is)g Fn(A)369 b Fq(=)f(\()p Fn(a)10460 64272 y Fm(1)10986 64073 y Fn(;)221 b(a)12251 64272 y Fm(2)12777 64073 y Fn(;)g(:)g(:)g(:)r Fq(\))377 b(and)f(whose)h(second) g(column)f(is)h(\(0)p Fn(;)221 b(b)34200 64272 y Fm(1)34727 64073 y Fn(;)g(b)35862 64272 y Fm(2)36388 64073 y Fn(;)g(:)g(:)g(:)s Fq(\))p Fn(;)377 b Fq(where)f Fn(a)44125 64272 y Fm(1)45020 64073 y Fq(=)368 b Fn(b)46953 64272 y Fm(1)47848 64073 y Fq(=)h(1)p Fn(:)754 b Fq(W)-108 b(e)800 65678 y(shall)465 b(see)g(that)f(the)g(pro)36 b(duct)463 b Fp(h)p Fn(A)p Fq(;)221 b Fn(B)67 b Fp(i)316 b(\242)h(h)o Fn(C)95 b Fq(;)221 b Fn(D)36 b Fp(i)465 b Fq(is)g(giv)-36 b(en)465 b(b)-36 b(y)464 b(certain)h(\\mixed)g(con)-36 b(v)g(olutions.")1136 b(W)-108 b(rite)800 67283 y Fp(h)p Fn(A)p Fq(;)221 b Fn(B)67 b Fp(i)295 b(\242)g(h)p Fn(C)95 b Fq(;)221 b Fn(D)36 b Fp(i)434 b Fq(as)g Fp(h)o Fn(U)139 b Fq(;)221 b Fn(V)290 b Fp(i)221 b Fn(:)868 b Fq(Then)8886 70687 y Fn(u)9626 70886 y Fl(n)10621 70687 y Fq(=)12002 68814 y Fj(\275)13662 69873 y Fq(\()p Fn(a)14851 70072 y Fm(1)15376 69873 y Fn(;)221 b(b)16511 70072 y Fm(2)17038 69873 y Fn(;)g(a)18303 70072 y Fm(3)18829 69873 y Fn(;)g(:)g(:)g(:)j(;)d(b) 22295 70072 y Fl(n)p Fi(\241)p Fm(1)24124 69873 y Fn(;)g(a)25389 70072 y Fl(n)26016 69873 y Fq(\))295 b Fn(?)g Fq(\()p Fn(c)28828 70072 y Fm(1)29354 69873 y Fn(;)221 b(c)30496 70072 y Fm(2)31022 69873 y Fn(;)g(:)g(:)g(:)j(;)d(c)34495 70072 y Fl(n)35122 69873 y Fq(\),)1328 b(if)434 b Fn(n)g Fq(is)g(o)36 b(dd;)13662 71478 y(\()p Fn(b)14721 71677 y Fm(1)15247 71478 y Fn(;)221 b(a)16512 71677 y Fm(2)17038 71478 y Fn(;)g(b)18173 71677 y Fm(3)18699 71478 y Fn(;)g(:)g(:)g(:)j(;) d(b)22165 71677 y Fl(n)p Fi(\241)p Fm(1)23994 71478 y Fn(;)g(a)25259 71677 y Fl(n)25886 71478 y Fq(\))295 b Fn(?)h Fq(\()p Fn(c)28699 71677 y Fm(1)29224 71478 y Fn(;)221 b(c)30366 71677 y Fm(2)30892 71478 y Fn(;)g(:)g(:)g(:)j(;)d(c) 34365 71677 y Fl(n)34992 71478 y Fq(\),)1458 b(if)434 b Fn(n)g Fq(is)g(ev)-36 b(en;)p Black 26475 74617 a(6)p Black eop %%Page: 7 7 7 6 bop Black 0 TeXcolorgray Black Black 8767 2033 a Fn(v)9396 2232 y Fl(n)10391 2033 y Fq(=)11772 160 y Fj(\275)13432 1219 y Fq(\()p Fn(b)14491 1418 y Fm(1)15017 1219 y Fn(;)221 b(a)16282 1418 y Fm(2)16808 1219 y Fn(;)g(b)17943 1418 y Fm(3)18470 1219 y Fn(;)g(:)g(:)g(:)i(;)e(a)22065 1418 y Fl(n)p Fi(\241)p Fm(1)23894 1219 y Fn(;)g(b)25029 1418 y Fl(n)25656 1219 y Fq(\))295 b Fn(?)h Fq(\()p Fn(d)28585 1418 y Fm(1)29110 1219 y Fn(;)221 b(d)30368 1418 y Fm(2)30895 1219 y Fn(;)g(:)g(:)g(:)i(;)e(d)34483 1418 y Fl(n)35110 1219 y Fq(\))p Fn(;)1458 b Fq(if)435 b Fn(n)f Fq(is)g(o)36 b(dd;)13432 2824 y(\()p Fn(a)14621 3023 y Fm(1)15147 2824 y Fn(;)221 b(b)16282 3023 y Fm(2)16808 2824 y Fn(;)g(a)18073 3023 y Fm(3)18599 2824 y Fn(;)g(:)g(:)g(:)j(;)d(a)22195 3023 y Fl(n)p Fi(\241)p Fm(1)24024 2824 y Fn(;)g(b)25159 3023 y Fl(n)25786 2824 y Fq(\))295 b Fn(?)h Fq(\()p Fn(d)28715 3023 y Fm(1)29240 2824 y Fn(;)221 b(d)30498 3023 y Fm(2)31024 2824 y Fn(;)g(:)g(:)g(:)j(;)d(d)34613 3023 y Fl(n)35240 2824 y Fq(\))p Fn(;)1328 b Fq(if)435 b Fn(n)f Fq(is)g(ev)-36 b(en.)800 5125 y(In)433 b(particular)h Fp(h)p Fn(A)p Fq(;)221 b Fn(B)67 b Fp(i)295 b(\242)g(h)p Fn(B)67 b Fq(;)221 b Fn(A)p Fp(i)434 b Fq(is)g(the)f(sequen)-36 b(tial)434 b(matrix)g(of)g(the)f(sequence)h Fn(A)295 b(?)h(B)67 b(:)2751 6730 y Fq(Recursiv)-36 b(e)377 b(form)-36 b(ulas)378 b(for)f(columns)g(of)h Fp(h)o Fn(A)p Fq(;)221 b Fn(B)67 b Fp(i)25808 6084 y Fi(\241)p Fm(1)27442 6730 y Fq(can)377 b(also)h(b)36 b(e)376 b(giv)-36 b(en:)928 b(write)377 b Fp(h)p Fn(A)p Fq(;)221 b Fn(B)67 b Fp(i)45199 6084 y Fi(\241)p Fm(1)46834 6730 y Fq(as)377 b Fp(h)p Fn(X)104 b Fq(;)221 b Fn(Y)290 b Fp(i)221 b Fn(;)800 8335 y Fq(so)426 b(that)f Fp(h)p Fn(A)p Fq(;)221 b Fn(B)67 b Fp(i)222 b(\242)426 b(h)o Fn(X)104 b Fq(;)221 b Fn(Y)290 b Fp(i)426 b Fq(is)g(the)f(iden)-36 b(tit)g(y)425 b(matrix.)1003 b(Eac)-36 b(h)425 b(nondiagonal)i(en)-36 b(try)425 b(of)h Fp(h)p Fn(A)p Fq(;)221 b Fn(B)67 b Fp(i)222 b(\242)426 b(h)o Fn(X)104 b Fq(;)221 b Fn(Y)290 b Fp(i)426 b Fq(is)800 9940 y(zero,)434 b(so)g(that,)g(solving)g(inductiv)-36 b(ely)434 b(for)h Fn(x)22473 10139 y Fm(1)22998 9940 y Fn(;)221 b(x)24319 10139 y Fm(2)24846 9940 y Fn(;)g(x)26167 10139 y Fm(3)26694 9940 y Fn(;)g(:)g(:)g(:)436 b Fq(and)d Fn(y)32400 10139 y Fm(1)32926 9940 y Fn(;)221 b(y)34142 10139 y Fm(2)34668 9940 y Fn(;)g(y)35884 10139 y Fm(3)36411 9940 y Fn(;)g(:)g(:)g(:)436 b Fq(giv)-36 b(es)9076 13556 y Fn(x)9815 13755 y Fl(n)10811 13556 y Fq(=)12191 11683 y Fj(\275)13852 12743 y Fp(\241)p Fn(a)15568 12942 y Fl(n)16489 12743 y Fp(\241)295 b Fn(b)18370 12942 y Fl(n)p Fi(\241)p Fm(1)20199 12743 y Fn(x)20938 12942 y Fm(2)21759 12743 y Fp(\241)g Fn(a)23770 12942 y Fl(n)p Fi(\241)p Fm(2)25599 12743 y Fn(x)26338 12942 y Fm(3)27159 12743 y Fp(\241)g(\242)221 b(\242)g(\242)296 b(\241)f Fn(b)32213 12942 y Fm(2)32739 12743 y Fn(x)33478 12942 y Fl(n)p Fi(\241)p Fm(1)35307 12743 y Fq(,)1458 b(if)435 b Fn(n)f Fq(is)g(o)36 b(dd;)13852 14348 y Fp(\241)p Fn(a)15568 14547 y Fl(n)16489 14348 y Fp(\241)295 b Fn(b)18370 14547 y Fl(n)p Fi(\241)p Fm(1)20199 14348 y Fn(x)20938 14547 y Fm(2)21759 14348 y Fp(\241)g Fn(a)23770 14547 y Fl(n)p Fi(\241)p Fm(2)25599 14348 y Fn(x)26338 14547 y Fm(3)27159 14348 y Fp(\241)g(\242)221 b(\242)g(\242)296 b(\241)f Fn(a)32343 14547 y Fm(2)32869 14348 y Fn(x)33608 14547 y Fl(n)p Fi(\241)p Fm(1)35437 14348 y Fq(,)1328 b(if)435 b Fn(n)f Fq(is)g(ev)-36 b(en;)51138 13556 y(\(5\))9351 18520 y Fn(y)9985 18719 y Fl(n)10980 18520 y Fq(=)12361 16647 y Fj(\275)14021 17706 y Fp(\241)p Fn(b)15607 17905 y Fl(n)16529 17706 y Fp(\241)295 b Fn(a)18540 17905 y Fl(n)p Fi(\241)p Fm(1)20369 17706 y Fn(y)21003 17905 y Fm(2)21824 17706 y Fp(\241)g Fn(b)23705 17905 y Fl(n)p Fi(\241)p Fm(2)25534 17706 y Fn(y)26168 17905 y Fm(3)26989 17706 y Fp(\241)g(\242)221 b(\242)g(\242)296 b(\241)g Fn(a)32174 17905 y Fm(2)32699 17706 y Fn(y)33333 17905 y Fl(n)p Fi(\241)p Fm(1)35162 17706 y Fq(,)1329 b(if)434 b Fn(n)g Fq(is)g(o)36 b(dd;)14021 19311 y Fp(\241)p Fn(b)15607 19510 y Fl(n)16529 19311 y Fp(\241)295 b Fn(a)18540 19510 y Fl(n)p Fi(\241)p Fm(1)20369 19311 y Fn(y)21003 19510 y Fm(2)21824 19311 y Fp(\241)g Fn(b)23705 19510 y Fl(n)p Fi(\241)p Fm(2)25534 19311 y Fn(y)26168 19510 y Fm(3)26989 19311 y Fp(\241)g(\242)221 b(\242)g(\242)296 b(\241)g Fn(b)32044 19510 y Fm(2)32569 19311 y Fn(y)33203 19510 y Fl(n)p Fi(\241)p Fm(1)35032 19311 y Fq(,)1459 b(if)434 b Fn(n)g Fq(is)g(ev)-36 b(en.)51138 18520 y(\(6\))800 21538 y Fr(Example)499 b(8.)1012 b Fq(Example)434 b(6)g(sho)-36 b(ws)433 b(that)h(the)f(Catalan)h(sequence)g(satis\257es)g(the)f (equation)15596 24453 y(\(1)p Fn(;)221 b(a)18017 24652 y Fm(2)18543 24453 y Fn(;)g(a)19808 24652 y Fm(3)20334 24453 y Fn(;)g(:)g(:)g(:)s Fq(\))22950 23905 y Fi(\241)p Fm(1)24576 24453 y Fq(=)369 b(\(1)p Fn(;)221 b Fp(\241)p Fq(1)p Fn(;)g Fp(\241)p Fn(a)31676 24652 y Fm(2)32204 24453 y Fn(;)g Fp(\241)p Fn(a)34502 24652 y Fm(3)35028 24453 y Fn(;)g(:)g(:)g(:)r Fq(\))p Fn(;)800 27369 y Fq(whic)-36 b(h)456 b(w)-36 b(e)456 b(abbreviate)g(as)g Fn(A)15492 26887 y Fi(\241)p Fm(1)17157 27369 y Fq(=)406 b(\(1)p Fn(;)221 b Fp(\241)p Fn(A)p Fq(\))p Fn(:)913 b Fq(It)456 b(is)g(natural)g(to)g(ask)h(whether)e(there)g(are)h(sequences)g Fn(A)800 28974 y Fq(and)433 b Fn(B)501 b Fq(for)434 b(whic)-36 b(h)20226 30579 y Fp(h)p Fn(A)p Fq(;)221 b Fn(B)67 b Fp(i)23872 29933 y Fi(\241)p Fm(1)25499 30579 y Fq(=)368 b Fp(h)p Fq(1)p Fn(;)221 b Fp(\241)p Fn(A)p Fq(;)g Fn(B)67 b Fp(i)223 b Fn(:)17764 b Fq(\(7\))800 32896 y(This)589 b(problem)f(is)g(solv)-36 b(ed)589 b(as)g(follo)-36 b(ws.)1633 b(W)-108 b(rite)588 b(the)g(\257rst)g(and)g(second)g(columns)g(of)h Fp(h)p Fq(1)p Fn(;)221 b Fp(\241)p Fn(A)p Fq(;)g Fn(B)67 b Fp(i)590 b Fq(as)800 34501 y(\(1)p Fn(;)221 b(x)3277 34700 y Fm(2)3804 34501 y Fn(;)g(x)5125 34700 y Fm(3)5651 34501 y Fn(;)g(:)g(:)g(:)s Fq(\))645 b(and)g(\(0)p Fn(;)221 b Fq(1)p Fn(;)g(y)15257 34700 y Fm(2)15785 34501 y Fn(;)g(y)17001 34700 y Fm(3)17527 34501 y Fn(;)g(:)g(:)g(:)s Fq(\))p Fn(;)645 b Fq(resp)36 b(ectiv)-36 b(ely)-108 b(.)1859 b(Equation)646 b(\(7\))f(implies)h Fn(x)43418 34700 y Fl(n)44774 34501 y Fq(=)729 b Fp(\241)p Fn(a)48231 34700 y Fl(n)p Fi(\241)p Fm(1)50705 34501 y Fq(and)800 36106 y Fn(y)1434 36305 y Fl(n)2488 36106 y Fq(=)428 b Fn(b)4481 36305 y Fl(n)5575 36106 y Fq(for)469 b Fn(n)428 b Fp(\270)g Fq(2.)1151 b(Th)-36 b(us,)477 b Fn(b)16677 36305 y Fm(2)17630 36106 y Fq(=)428 b Fn(y)19704 36305 y Fm(2)20230 36106 y Fq(,)477 b(but)467 b(also,)478 b(b)-36 b(y)468 b(\(6\),)477 b Fn(y)31475 36305 y Fm(2)32429 36106 y Fq(=)428 b Fp(\241)p Fn(b)35455 36305 y Fm(2)35981 36106 y Fn(;)468 b Fq(so)h(that)f Fn(b)41848 36305 y Fm(2)42801 36106 y Fq(=)428 b(0)p Fn(:)937 b Fq(Inductiv)-36 b(ely)-108 b(,)800 37711 y(\(6\))579 b(and)g(\(7\))g(imply)h Fn(b)12305 37910 y Fl(n)13548 37711 y Fq(=)616 b(0)580 b(for)f(all)h Fn(n)618 b Fp(\270)f Fq(3)p Fn(;)579 b Fq(so)h(that)f Fn(B)646 b Fq(is)579 b(the)g(con)-36 b(v)g(olutory)580 b(iden)-36 b(tit)g(y)579 b(sequence:)800 39316 y Fn(B)436 b Fq(=)369 b(\(1)p Fn(;)221 b Fq(0)p Fn(;)g Fq(0)p Fn(;)g Fq(0)p Fn(;)g(:)g(:)g(:)5 b Fq(\))p Fn(:)868 b Fq(Using)433 b(this)h(fact)g(together)f(with)h (\(5\))f(giv)-36 b(es)9011 43006 y Fn(x)9750 43205 y Fl(n)10746 43006 y Fq(=)12126 41133 y Fj(\275)13787 42193 y Fp(\241)p Fn(a)15503 42392 y Fl(n)16424 42193 y Fp(\241)295 b Fn(a)18435 42392 y Fl(n)p Fi(\241)p Fm(2)20264 42193 y Fn(x)21003 42392 y Fm(3)21824 42193 y Fp(\241)g Fn(a)23835 42392 y Fl(n)p Fi(\241)p Fm(4)25664 42193 y Fn(x)26403 42392 y Fm(5)27224 42193 y Fp(\241)g(\242)221 b(\242)g(\242)296 b(\241)f Fn(a)32408 42392 y Fm(2)32934 42193 y Fn(x)33673 42392 y Fl(n)p Fi(\241)p Fm(1)35502 42193 y Fq(,)1328 b(if)435 b Fn(n)e Fq(is)h(ev)-36 b(en;)13787 43798 y Fp(\241)p Fn(a)15503 43997 y Fl(n)16424 43798 y Fp(\241)295 b Fn(a)18435 43997 y Fl(n)p Fi(\241)p Fm(2)20264 43798 y Fn(x)21003 43997 y Fm(3)21824 43798 y Fp(\241)g Fn(a)23835 43997 y Fl(n)p Fi(\241)p Fm(4)25664 43798 y Fn(x)26403 43997 y Fm(5)27224 43798 y Fp(\241)g(\242)221 b(\242)g(\242)296 b(\241)f Fn(a)32408 43997 y Fm(3)32934 43798 y Fn(x)33673 43997 y Fl(n)p Fi(\241)p Fm(2)35502 43798 y Fq(,)1328 b(if)435 b Fn(n)e Fq(is)h(o)36 b(dd;)800 46623 y(so)434 b(that,)f(substituting)g Fn(x)13556 46822 y Fl(k)14494 46623 y Fq(=)368 b Fp(\241)p Fn(a)17590 46822 y Fl(k)24 b Fi(\241)p Fm(1)19361 46623 y Fn(;)434 b Fq(w)-36 b(e)434 b(ha)-36 b(v)g(e)434 b(a)g(recurrence)e(for)i Fn(A)p Fq(:)9263 50272 y Fn(a)9946 50471 y Fl(n)10941 50272 y Fq(=)12322 48400 y Fj(\275)13982 49459 y Fn(a)14665 49658 y Fl(n)p Fi(\241)p Fm(1)16789 49459 y Fq(+)295 b Fn(a)18779 49658 y Fl(n)p Fi(\241)p Fm(2)20607 49459 y Fn(a)21290 49658 y Fm(2)22111 49459 y Fq(+)f Fn(a)24100 49658 y Fl(n)p Fi(\241)p Fm(4)25929 49459 y Fn(a)26612 49658 y Fm(4)27433 49459 y Fq(+)g Fp(\242)221 b(\242)g(\242)296 b Fq(+)f Fn(a)32574 49658 y Fm(2)33100 49459 y Fn(a)33783 49658 y Fl(n)p Fi(\241)p Fm(2)36939 49459 y Fq(if)435 b Fn(n)f Fq(is)g(ev)-36 b(en;)13982 51064 y Fn(a)14665 51263 y Fl(n)p Fi(\241)p Fm(1)16789 51064 y Fq(+)295 b Fn(a)18779 51263 y Fl(n)p Fi(\241)p Fm(2)20607 51064 y Fn(a)21290 51263 y Fm(2)22111 51064 y Fq(+)f Fn(a)24100 51263 y Fl(n)p Fi(\241)p Fm(4)25929 51064 y Fn(a)26612 51263 y Fm(4)27433 51064 y Fq(+)g Fp(\242)221 b(\242)g(\242)296 b Fq(+)f Fn(a)32574 51263 y Fm(3)33100 51064 y Fn(a)33783 51263 y Fl(n)p Fi(\241)p Fm(3)36939 51064 y Fq(if)435 b Fn(n)f Fq(is)g(o)36 b(dd;)800 53963 y(with)434 b(in)-36 b(tial)434 b(v)-72 b(alues)434 b Fn(a)11679 54162 y Fm(1)12573 53963 y Fq(=)369 b(1)p Fn(;)434 b(a)16082 54162 y Fm(2)16977 53963 y Fq(=)368 b(1)p Fn(:)868 b Fq(This)434 b(sequence,)g(listed)f (as)h(A047749)i(in)d([4],)i(is)f(giv)-36 b(en)434 b(b)-36 b(y)13997 59258 y Fn(a)14680 59457 y Fl(n)15675 59258 y Fq(=)17056 55738 y Fj(8)17056 56934 y(>)17056 57332 y(>)17056 57731 y(<)17056 60122 y(>)17056 60520 y(>)17056 60919 y(:)20051 57130 y Fm(1)p 19034 57348 2506 54 v 19034 58111 a(2)p Fl(m)p Fm(+1)21893 55780 y Fj(\265)23424 56839 y Fq(3)p Fn(m)23750 58445 y(m)25766 55780 y Fj(\266)26744 57653 y Fq(,)3581 b(if)434 b Fn(n)369 b Fq(=)g(2)p Fn(m)p Fq(;)20051 60340 y Fm(1)p 19034 60558 V 19034 61321 a(2)p Fl(m)p Fm(+1)21893 58990 y Fj(\265)23424 60050 y Fq(3)p Fn(m)296 b Fq(+)e(1)23750 61655 y Fn(m)g Fq(+)h(1)28018 58990 y Fj(\266)28996 60863 y Fq(,)1329 b(if)434 b Fn(n)369 b Fq(=)g(2)p Fn(m)295 b Fq(+)g(1)p Fn(:)800 66480 y Fr(Example)514 b(9.)1064 b Fq(Let)446 b Fn(a)12234 66679 y Fl(n)13251 66480 y Fq(=)391 b(1)447 b(and)f Fn(b)18846 66679 y Fl(n)19863 66480 y Fq(=)391 b Fn(F)22108 66679 y Fl(n)23181 66480 y Fq(for)447 b Fn(n)392 b Fp(\270)f Fq(1)p Fn(;)447 b Fq(where)g Fn(F)33844 66679 y Fl(n)34917 66480 y Fq(denotes)f(the)g (Fib)36 b(onacci)447 b(sequence)800 68086 y(in)578 b(Example)g(1.)1589 b(Let)577 b Fn(C)673 b Fq(b)36 b(e)578 b(the)f(sequence)h(giv)-36 b(en)578 b(b)-36 b(y)578 b Fn(c)30570 68285 y Fm(1)31710 68086 y Fq(=)614 b(1)p Fn(;)578 b(c)35485 68285 y Fm(2)36625 68086 y Fq(=)614 b Fp(\241)p Fq(1)p Fn(;)579 b(c)41434 68285 y Fm(3)42574 68086 y Fq(=)614 b(0)p Fn(;)578 b(c)46349 68285 y Fm(4)47489 68086 y Fq(=)614 b(1)p Fn(;)579 b Fq(and)800 69691 y Fn(c)1360 69890 y Fl(n)2432 69691 y Fq(=)445 b(2)4539 69209 y Fi(b)p Fm(\()p Fl(n)p Fi(\241)p Fm(5\))p Fl(=)p Fm(2)p Fi(c)9355 69691 y Fq(for)479 b Fn(n)446 b Fp(\270)g Fq(5)p Fn(:)958 b Fq(Let)478 b Fn(D)514 b Fq(b)36 b(e)479 b(the)f(sequence)g(giv)-36 b(en)479 b(b)-36 b(y)479 b Fn(d)35531 69890 y Fm(1)36502 69691 y Fq(=)445 b(1)p Fn(;)479 b(d)40125 69890 y Fm(2)41096 69691 y Fq(=)446 b Fp(\241)p Fq(1)p Fn(;)479 b(d)45753 69890 y Fm(3)46724 69691 y Fq(=)445 b Fp(\241)p Fq(1)p Fn(;)480 b Fq(and)800 71296 y Fn(d)1476 71495 y Fl(n)2471 71296 y Fq(=)369 b Fp(\241)p Fn(c)5445 71495 y Fl(n)p Fm(+1)7707 71296 y Fq(for)434 b Fn(n)369 b Fp(\270)g Fn(d)12917 71495 y Fm(4)13443 71296 y Fn(:)868 b Fq(Then)433 b Fp(h)o Fn(A)p Fq(;)221 b Fn(B)67 b Fp(i)21714 70650 y Fi(\241)p Fm(1)23340 71296 y Fq(=)369 b Fp(h)p Fn(C)95 b Fq(;)221 b Fn(D)36 b Fp(i)221 b Fn(:)p Black 26475 74617 a Fq(7)p Black eop %%Page: 8 8 8 7 bop Black 0 TeXcolorgray Black Black 800 1424 a Fr(Theorem)652 b(4.)1543 b Ff(If)586 b(any)h(thr)-66 b(e)g(e)585 b(of)i(four)g(se)-66 b(quenc)g(es)695 b Fn(A;)221 b(B)67 b(;)221 b(C)23 b(;)221 b(D)625 b Ff(in)686 b Fn(G)586 b Ff(ar)-66 b(e)587 b(given,)615 b(then)586 b(the)h(fourth)800 3029 y(se)-66 b(quenc)g(e)435 b(is)i(uniquely)g(determine)-66 b(d)435 b(by)h(the)h(c)-66 b(ondition)435 b(that)563 b Fp(h)p Fn(A)p Fq(;)221 b Fn(B)67 b Fp(i)233 b(\242)h(h)o Fn(C)95 b Fq(;)221 b Fn(D)36 b Fp(i)438 b Ff(b)-66 b(e)436 b(a)h(se)-66 b(quential)436 b(matrix.)800 5963 y(Pr)-66 b(o)g(of:)1548 b Fq(The)588 b(requiremen)-36 b(t)587 b(that)h Fp(h)o Fn(A)p Fq(;)221 b Fn(B)67 b Fp(i)401 b(\242)f(h)p Fn(C)95 b Fq(;)221 b Fn(D)36 b Fp(i)588 b Fq(b)36 b(e)587 b(a)i(sequen)-36 b(tial)588 b(matrix)g(is)h(equiv)-72 b(alen)-36 b(t)588 b(to)g(an)800 7568 y(in\257nite)433 b(system)h(of)g(equations,)g(b)36 b(eginning)434 b(with)23921 10501 y Fn(d)24597 10700 y Fm(1)26230 10501 y Fq(=)1106 b(1)21240 12438 y Fn(b)21793 12637 y Fm(2)22614 12438 y Fq(+)295 b Fn(d)24597 12637 y Fm(2)26230 12438 y Fq(=)1106 b Fn(a)29031 12637 y Fm(2)29852 12438 y Fq(+)295 b Fn(c)31719 12637 y Fm(2)17228 14376 y Fn(b)17781 14575 y Fm(3)18602 14376 y Fq(+)g Fn(a)20592 14575 y Fm(2)21117 14376 y Fn(d)21793 14575 y Fm(2)22614 14376 y Fq(+)g Fn(d)24597 14575 y Fm(3)26230 14376 y Fq(=)1106 b Fn(a)29031 14575 y Fm(3)29852 14376 y Fq(+)295 b Fn(b)31712 14575 y Fm(2)32238 14376 y Fn(c)32798 14575 y Fm(2)33618 14376 y Fq(+)g Fn(c)35485 14575 y Fm(3)36011 14376 y Fn(:)800 17309 y Fq(F)-108 b(or)433 b Fn(n)370 b Fp(\270)f Fq(3)p Fn(;)434 b Fq(the)f(system)h(can)f(b)36 b(e)434 b(expressed)f(as)h(follo)-36 b(ws:)16841 20242 y Fn(b)17394 20441 y Fl(n)18316 20242 y Fq(+)295 b Fn(a)20306 20441 y Fl(n)p Fi(\241)p Fm(1)22134 20242 y Fn(d)22810 20441 y Fm(2)23631 20242 y Fq(+)g Fn(b)25491 20441 y Fl(n)p Fi(\241)p Fm(2)27319 20242 y Fn(d)27995 20441 y Fm(3)28816 20242 y Fq(+)g Fp(\242)221 b(\242)g(\242)296 b Fq(+)f Fn(h)34024 20441 y Fm(2)34549 20242 y Fn(d)35225 20441 y Fl(n)p Fi(\241)p Fm(1)37349 20242 y Fq(+)f Fn(d)39331 20441 y Fl(n)14723 22180 y Fq(=)1106 b Fn(a)17524 22379 y Fl(n)18446 22180 y Fq(+)294 b Fn(b)20305 22379 y Fl(n)p Fi(\241)p Fm(1)22134 22180 y Fn(c)22694 22379 y Fm(2)23515 22180 y Fq(+)g Fn(a)25504 22379 y Fl(n)p Fi(\241)p Fm(2)27333 22180 y Fn(c)27893 22379 y Fm(3)28714 22180 y Fq(+)g Fp(\242)221 b(\242)g(\242)296 b Fq(+)f Fn(h)33921 21631 y Fi(0)33921 22508 y Fm(2)34447 22180 y Fn(c)35007 22379 y Fl(n)p Fi(\241)p Fm(1)37130 22180 y Fq(+)g Fn(c)38997 22379 y Fl(n)39623 22180 y Fn(;)p Black 11154 w Fq(\(8\))p Black 800 25113 a(where)434 b Fn(h)5307 25312 y Fm(2)6201 25113 y Fq(=)369 b Fn(a)8265 25312 y Fm(2)9224 25113 y Fq(if)434 b Fn(n)g Fq(is)g(o)36 b(dd,)433 b Fn(h)16609 25312 y Fm(2)17504 25113 y Fq(=)369 b Fn(b)19438 25312 y Fm(2)20397 25113 y Fq(if)434 b Fn(n)g Fq(is)g(ev)-36 b(en;)434 b(and)f Fn(h)30709 24631 y Fi(0)30709 25441 y Fm(2)31604 25113 y Fq(=)368 b Fn(b)33537 25312 y Fm(2)34497 25113 y Fq(if)434 b Fn(n)g Fq(is)g(o)36 b(dd,)433 b Fn(h)41882 24631 y Fi(0)41882 25441 y Fm(2)42777 25113 y Fq(=)368 b Fn(a)44840 25312 y Fm(2)45799 25113 y Fq(if)435 b Fn(n)f Fq(is)g(ev)-36 b(en.)2751 26718 y(Equations)557 b(\(8\))g(sho)-36 b(w)557 b(that)g(eac)-36 b(h)556 b(of)i(the)e(four)h(sequences)g(is)g (determined)f(b)-36 b(y)557 b(the)f(other)g(three.)800 28323 y Fh(\245)800 31257 y Fr(Example)499 b(10.)1012 b Fq(By)434 b(\(8\),)g Fn(D)469 b Fq(is)434 b(determined)f(b)-36 b(y)433 b Fn(A;)221 b(B)67 b(;)221 b(C)530 b Fq(in)434 b(accord)f(with)h(the)f(recurrence)10611 34190 y Fn(d)11287 34389 y Fl(n)13020 34190 y Fq(=)1106 b Fn(a)15821 34389 y Fl(n)16743 34190 y Fq(+)294 b Fn(c)18609 34389 y Fm(2)19135 34190 y Fn(b)19688 34389 y Fl(n)p Fi(\241)p Fm(1)21812 34190 y Fq(+)h Fn(c)23679 34389 y Fm(3)24204 34190 y Fn(a)24887 34389 y Fl(n)p Fi(\241)p Fm(2)27011 34190 y Fq(+)g Fn(c)28878 34389 y Fm(4)29403 34190 y Fn(b)29956 34389 y Fl(n)p Fi(\241)p Fm(3)32080 34190 y Fq(+)g Fp(\242)221 b(\242)g(\242)296 b Fq(+)e Fn(c)37098 34389 y Fl(n)p Fi(\241)p Fm(1)38927 34190 y Fn(h)39676 33642 y Fi(0)39676 34519 y Fm(2)40496 34190 y Fq(+)h Fn(c)42363 34389 y Fl(n)15138 36127 y Fp(\241)p Fn(b)16724 36326 y Fl(n)17646 36127 y Fp(\241)g Fn(d)19650 36326 y Fm(2)20176 36127 y Fn(a)20859 36326 y Fl(n)p Fi(\241)p Fm(1)22983 36127 y Fp(\241)g Fn(d)24987 36326 y Fm(3)25513 36127 y Fn(b)26066 36326 y Fl(n)p Fi(\241)p Fm(2)28189 36127 y Fp(\241)h Fn(d)30194 36326 y Fm(4)30719 36127 y Fn(a)31402 36326 y Fl(n)p Fi(\241)p Fm(3)33452 36127 y Fp(\242)221 b(\242)g(\242)296 b(\241)f Fn(d)37301 36326 y Fl(n)p Fi(\241)p Fm(1)39130 36127 y Fn(h)39879 36326 y Fm(2)40404 36127 y Fn(:)p Black 10373 w Fq(\(9\))p Black 800 39061 a(Supp)36 b(ose)433 b Fn(a)6585 39260 y Fl(n)7580 39061 y Fq(=)368 b Fn(b)9513 39260 y Fl(n)10508 39061 y Fq(=)h Fn(c)12449 39260 y Fl(n)p Fi(\241)p Fm(2)14646 39061 y Fq(=)g(0)434 b(for)g Fn(n)369 b Fp(\270)g Fq(3)p Fn(:)868 b Fq(Then)433 b(b)-36 b(y)434 b(\(9\),)14924 42769 y Fn(d)15600 42968 y Fl(n)16595 42769 y Fq(=)17976 40896 y Fj(\275)19636 41955 y Fp(\241)p Fn(b)21222 42154 y Fm(2)21748 41955 y Fn(d)22424 42154 y Fl(n)p Fi(\241)p Fm(1)24548 41955 y Fp(\241)295 b Fn(a)26559 42154 y Fm(3)27085 41955 y Fn(d)27761 42154 y Fl(n)p Fi(\241)p Fm(2)29589 41955 y Fq(,)1329 b(if)434 b Fn(n)g Fq(is)g(ev)-36 b(en;)19636 43561 y Fp(\241)p Fn(a)21352 43760 y Fm(2)21878 43561 y Fn(d)22554 43760 y Fl(n)p Fi(\241)p Fm(1)24677 43561 y Fp(\241)296 b Fn(b)26559 43760 y Fm(3)27085 43561 y Fn(d)27761 43760 y Fl(n)p Fi(\241)p Fm(2)29589 43561 y Fq(,)1329 b(if)434 b Fn(n)g Fq(is)g(o)36 b(dd;)800 46477 y(for)438 b Fn(n)375 b Fp(\270)g Fq(4)p Fn(;)437 b Fq(with)g Fn(d)10440 46676 y Fm(1)11341 46477 y Fq(=)374 b(1)p Fn(;)438 b(d)14852 46676 y Fm(2)15752 46477 y Fq(=)374 b Fn(a)17821 46676 y Fm(2)18644 46477 y Fp(\241)298 b Fn(b)20528 46676 y Fm(2)21054 46477 y Fn(;)437 b(d)22528 46676 y Fm(3)23429 46477 y Fq(=)374 b Fn(a)25498 46676 y Fm(3)26321 46477 y Fp(\241)298 b Fn(a)28335 46676 y Fm(2)28860 46477 y Fn(d)29536 46676 y Fm(2)30359 46477 y Fp(\241)g Fn(b)32243 46676 y Fm(3)32769 46477 y Fn(d)33445 46676 y Fm(1)33971 46477 y Fn(:)874 b Fq(If)437 b(\()p Fn(a)37698 46676 y Fm(1)38224 46477 y Fn(;)221 b(a)39489 46676 y Fm(2)40015 46477 y Fn(;)g(a)41280 46676 y Fm(3)41806 46477 y Fq(\))375 b(=)f(\(1)p Fn(;)221 b Fp(\241)p Fq(1)p Fn(;)g Fp(\241)p Fq(1\))440 b(and)800 48082 y(\()p Fn(b)1859 48281 y Fm(1)2385 48082 y Fn(;)221 b(b)3520 48281 y Fm(2)4046 48082 y Fn(;)g(b)5181 48281 y Fm(3)5708 48082 y Fq(\))368 b(=)h(\(1)p Fn(;)221 b Fp(\241)p Fq(2)p Fn(;)g Fp(\241)p Fq(1\))436 b(and)d Fn(c)17680 48281 y Fm(1)18575 48082 y Fq(=)368 b(1)p Fn(;)434 b Fq(then)15801 51016 y Fn(D)405 b Fq(=)369 b(\(1)p Fn(;)221 b Fq(1)p Fn(;)g Fq(1)p Fn(;)g Fq(3)p Fn(;)g Fq(4)p Fn(;)g Fq(11)p Fn(;)g Fq(15)p Fn(;)g Fq(41)p Fn(;)g Fq(56)p Fn(;)g Fq(153)p Fn(;)g(:)g(:)g(:)14 b Fq(\))p Fn(;)800 53949 y Fq(whic)-36 b(h,)550 b(except)526 b(for)h(the)f(initial)h(1,)551 b(is)526 b(the)g(sequence)g(of)i (denominators)e(of)h(the)f(con)-36 b(v)g(ergen)g(ts)526 b(to)50681 52851 y Fp(p)p 51788 52851 651 54 v 1098 x Fq(3)q Fn(;)800 55554 y Fq(indexed)503 b(in)g([4])i(as)e(A002530.)1293 b(In)503 b(this)g(example,)522 b Fp(h)p Fn(A)p Fq(;)221 b Fn(B)67 b Fp(i)343 b(\242)g(h)o Fn(C)95 b Fq(;)221 b Fn(D)36 b Fp(i)504 b Fq(is)f(the)g(sequen)-36 b(tial)504 b(matrix)g(with)800 57160 y(\257rst)433 b(three)g(terms)g(1)p Fn(;)221 b Fp(\241)p Fq(1)p Fn(;)g Fp(\241)p Fq(1)436 b(and)d(all)i(others)e(zero.)800 60093 y Fr(Theorem)541 b(5.)1155 b Ff(If)778 b Fn(A;)221 b(B)67 b(;)221 b(C)594 b Ff(in)j Fn(G)498 b Ff(ar)-66 b(e)497 b(given)g(and)635 b Fp(j)p Fn(a)28549 60292 y Fm(2)29075 60093 y Fp(j)430 b Fq(=)g(1)p Fn(;)499 b Ff(then)e(ther)-66 b(e)497 b(exists)g(a)h (unique)g(se)-66 b(quenc)g(e)800 61698 y Fn(D)501 b Ff(in)563 b Fn(G)465 b Ff(such)h(that)591 b Fp(h)p Fn(A)p Fq(;)221 b Fn(B)67 b Fp(i)295 b(\242)g(h)p Fn(C)95 b Fq(;)221 b Fn(D)36 b Fp(i)369 b Fq(=)g Fp(h)o Fn(C)95 b Fq(;)221 b Fn(D)36 b Fp(i)296 b(\242)f(h)p Fn(A)p Fq(;)221 b Fn(B)67 b Fp(i)p Ff(.)800 64632 y(Pr)-66 b(o)g(of:)1043 b Fq(W)-108 b(rite)406 b Fp(h)p Fn(A)p Fq(;)221 b Fn(B)67 b Fp(i)238 b(\242)h(h)o Fn(C)95 b Fq(;)221 b Fn(D)36 b Fp(i)406 b Fq(as)h(\()p Fn(s)20195 64831 y Fl(ij)21001 64632 y Fq(\))f(and)f Fp(h)p Fn(C)95 b Fq(;)221 b Fn(D)36 b Fp(i)238 b(\242)h(h)o Fn(A)p Fq(;)221 b Fn(B)67 b Fp(i)406 b Fq(as)g(\()p Fn(t)35614 64831 y Fl(ij)36421 64632 y Fq(\))p Fn(:)812 b Fq(Equating)406 b Fn(s)44303 64831 y Fl(n)p Fm(+1)p Fl(;)p Fm(1)47269 64632 y Fq(and)f Fn(t)50240 64831 y Fl(n)p Fm(+1)p Fl(;)p Fm(1)800 66237 y Fq(and)433 b(solving)i(for)f Fn(d)10371 66436 y Fl(n)11431 66237 y Fq(giv)-36 b(e)21909 68360 y Fn(d)22585 68559 y Fl(n)23580 68360 y Fq(=)25372 67462 y(1)p 25093 68055 1209 54 v 25093 69271 a Fn(a)25776 69470 y Fm(2)26435 68360 y Fq(\()p Fn(u)27681 68559 y Fl(n)28602 68360 y Fp(\241)296 b Fn(v)30560 68559 y Fl(n)31186 68360 y Fq(\))18796 b(\(10\))p Black 26475 74617 a(8)p Black eop %%Page: 9 9 9 8 bop Black 0 TeXcolorgray Black Black 800 1424 a Fq(for)434 b Fn(n)370 b Fp(\270)f Fq(3)p Fn(;)434 b Fq(where)9179 5059 y Fn(u)9919 5258 y Fl(n)11652 5059 y Fq(=)13771 3186 y Fj(\275)15431 4245 y Fn(c)15991 4444 y Fm(2)16517 4245 y Fn(b)17070 4444 y Fl(n)17991 4245 y Fq(+)295 b Fn(c)19858 4444 y Fm(3)20384 4245 y Fn(a)21067 4444 y Fl(n)p Fi(\241)p Fm(1)23190 4245 y Fq(+)g Fn(c)25057 4444 y Fm(4)25583 4245 y Fn(b)26136 4444 y Fl(n)p Fi(\241)p Fm(2)28260 4245 y Fq(+)f Fp(\242)221 b(\242)g(\242)296 b Fq(+)f Fn(c)33278 4444 y Fl(n)33904 4245 y Fn(a)34587 4444 y Fm(2)35113 4245 y Fq(,)1328 b(if)435 b Fn(n)f Fq(is)f(o)36 b(dd;)15431 5850 y Fn(c)15991 6049 y Fm(2)16517 5850 y Fn(b)17070 6049 y Fl(n)17991 5850 y Fq(+)295 b Fn(c)19858 6049 y Fm(3)20384 5850 y Fn(a)21067 6049 y Fl(n)p Fi(\241)p Fm(1)23190 5850 y Fq(+)g Fn(c)25057 6049 y Fm(4)25583 5850 y Fn(b)26136 6049 y Fl(n)p Fi(\241)p Fm(2)28260 5850 y Fq(+)f Fp(\242)221 b(\242)g(\242)296 b Fq(+)f Fn(c)33278 6049 y Fl(n)33904 5850 y Fn(b)34457 6049 y Fm(2)34983 5850 y Fq(,)1458 b(if)435 b Fn(n)f Fq(is)f(ev)-36 b(en;)9290 8712 y Fn(v)9919 8911 y Fl(n)11652 8712 y Fq(=)13771 6839 y Fj(\275)15431 7898 y Fn(a)16114 8097 y Fm(3)16640 7898 y Fn(c)17200 8097 y Fl(n)p Fi(\241)p Fm(1)19324 7898 y Fq(+)294 b Fn(a)21313 8097 y Fm(4)21839 7898 y Fn(d)22515 8097 y Fl(n)p Fi(\241)p Fm(2)24638 7898 y Fq(+)h Fp(\242)221 b(\242)g(\242)296 b Fq(+)f Fn(a)29780 8097 y Fl(n)30406 7898 y Fn(c)30966 8097 y Fm(2)31492 7898 y Fq(,)1444 b(if)435 b Fn(n)f Fq(is)g(o)36 b(dd;)15431 9503 y Fn(a)16114 9702 y Fm(3)16640 9503 y Fn(c)17200 9702 y Fl(n)p Fi(\241)p Fm(1)19324 9503 y Fq(+)294 b Fn(a)21313 9702 y Fm(4)21839 9503 y Fn(d)22515 9702 y Fl(n)p Fi(\241)p Fm(2)24638 9503 y Fq(+)h Fp(\242)221 b(\242)g(\242)296 b Fq(+)f Fn(a)29780 9702 y Fl(n)30406 9503 y Fn(d)31082 9702 y Fm(2)31608 9503 y Fq(,)1328 b(if)435 b Fn(n)f Fq(is)g(ev)-36 b(en;)800 12420 y(with)477 b Fn(d)4482 12619 y Fm(1)5451 12420 y Fq(=)442 b(1)p Fn(;)478 b(d)9070 12619 y Fm(2)10039 12420 y Fq(=)442 b Fn(b)12046 12619 y Fm(2)12572 12420 y Fn(c)13132 12619 y Fm(2)13658 12420 y Fn(=a)14991 12619 y Fm(2)15517 12420 y Fn(:)954 b Fq(A)477 b(sequence)g Fn(D)513 b Fq(is)478 b(no)-36 b(w)477 b(determined)f(b)-36 b(y)477 b(\(10\);)499 b(w)-36 b(e)478 b(shall)f(refer)g(to)h(the)800 14025 y(foregoing)435 b(as)f(part)f(1.)2751 15630 y(It)h(is)g(necessary)g(to) f(c)-36 b(hec)g(k)434 b(that)f(the)g(equations)h Fn(s)27816 15829 y Fl(n)p Fm(+1)p Fl(;)p Fm(2)30745 15630 y Fq(=)369 b Fn(t)32596 15829 y Fl(n)p Fm(+1)p Fl(;)p Fm(2)35589 15630 y Fq(implied)434 b(b)-36 b(y)17562 18564 y Fp(h)p Fn(A)p Fq(;)221 b Fn(B)67 b Fp(i)295 b(\242)g(h)p Fn(C)95 b Fq(;)221 b Fn(D)36 b Fp(i)369 b Fq(=)g Fp(h)o Fn(C)95 b Fq(;)221 b Fn(D)36 b Fp(i)296 b(\242)f(h)p Fn(A)p Fq(;)221 b Fn(B)67 b Fp(i)800 21497 y Fq(do)403 b(not)g(imp)36 b(ose)403 b(requiremen)-36 b(ts)403 b(on)g(the)g(sequence)g Fn(D)439 b Fq(that)403 b(are)g(not)g(implied)g(b)-36 b(y)403 b(those)g(already)h(sho)-36 b(wn)800 23102 y(to)484 b(determine)e Fn(D)36 b Fq(.)1211 b(In)483 b(fact,)497 b(the)483 b(equations)h Fn(s)24688 23301 y Fl(n)p Fm(+1)p Fl(;)p Fm(2)27701 23102 y Fq(=)454 b Fn(t)29637 23301 y Fl(n)p Fm(+1)p Fl(;)p Fm(2)32680 23102 y Fq(with)483 b(initial)i(v)-72 b(alue)484 b Fn(d)43586 23301 y Fm(1)44565 23102 y Fq(=)453 b(1)484 b(determine)800 24707 y(exactly)358 b(the)f(same)g(sequence)g Fn(D)36 b Fq(.)909 b(T)-108 b(o)358 b(see)f(that)f(this)h(is)g(so,)373 b(consider)356 b(the)h(mapping)f Fp(h)p Fn(A)p Fq(;)221 b Fn(B)67 b Fp(i)46511 24061 y Fi(0)47191 24707 y Fq(=)368 b Fp(h)p Fn(B)67 b Fq(;)221 b Fn(A)p Fp(i)h Fn(:)800 26312 y Fq(It)434 b(is)g(easy)g(to)g(pro)-36 b(v)g(e)433 b(the)g(follo)-36 b(wing)436 b(lemma:)16610 29246 y(\()p Fp(h)o Fn(A)p Fq(;)221 b Fn(B)67 b Fp(i)296 b(\242)f(h)o Fn(C)95 b Fq(;)221 b Fn(D)36 b Fp(i)q Fq(\))25985 28697 y Fi(0)26664 29246 y Fq(=)369 b Fp(h)o Fn(B)67 b Fq(;)221 b Fn(A)p Fp(i)296 b(\242)f(h)p Fn(D)36 b Fq(;)221 b Fn(C)95 b Fp(i)221 b Fn(:)800 32179 y Fq(By)430 b(part)e(1)i(applied)f(to)g Fp(h)o Fn(B)67 b Fq(;)221 b Fn(A)p Fp(i)287 b(\242)f(h)p Fn(D)36 b Fq(;)221 b Fn(C)95 b Fp(i)429 b Fq(and)g Fp(h)o Fn(D)36 b Fq(;)221 b Fn(C)95 b Fp(i)287 b(\242)f(h)o Fn(B)67 b Fq(;)221 b Fn(A)p Fp(i)h Fn(;)429 b Fq(the)g(\257rst)f (column)h(of)h Fp(h)p Fn(B)67 b Fq(;)221 b Fn(A)p Fp(i)286 b(\242)g(h)p Fn(D)36 b Fq(;)221 b Fn(C)95 b Fp(i)800 33784 y Fq(equals)460 b(the)e(\257rst)g(column)g(of)i Fp(h)o Fn(D)36 b Fq(;)221 b Fn(C)95 b Fp(i)313 b(\242)f(h)p Fn(B)67 b Fq(;)221 b Fn(A)p Fp(i)h Fn(:)918 b Fq(Therefore,)465 b(b)-36 b(y)459 b(the)f(lemma,)466 b(the)458 b(second)h(column)f(of)800 35389 y Fp(h)p Fn(A)p Fq(;)221 b Fn(B)67 b Fp(i)111 b(\242)g(h)p Fn(C)95 b Fq(;)221 b Fn(D)36 b Fp(i)343 b Fq(equals)i(the)e(second)g (column)g(of)h Fp(h)p Fn(C)95 b Fq(;)221 b Fn(D)36 b Fp(i)111 b(\242)g(h)p Fn(A)p Fq(;)221 b Fn(B)67 b Fp(i)221 b Fn(;)344 b Fq(whic)-36 b(h)343 b(is)h(to)g(sa)-36 b(y)344 b(that)f(the)g(equations)800 36994 y Fn(s)1413 37193 y Fl(n)p Fm(+1)p Fl(;)p Fm(2)4342 36994 y Fq(=)369 b Fn(t)6193 37193 y Fl(n)p Fm(+1)p Fl(;)p Fm(2)9186 36994 y Fq(hold.)4481 b Fh(\245)800 39928 y Fr(Example)699 b(11.)1708 b Fq(Let)607 b Fn(a)13971 40127 y Fm(1)15161 39928 y Fq(=)665 b(1)p Fn(;)608 b(a)19140 40127 y Fm(2)20331 39928 y Fq(=)664 b(1)p Fn(;)609 b Fq(and)e Fn(a)27013 40127 y Fl(n)28304 39928 y Fq(=)664 b(0)608 b(for)g Fn(n)666 b Fp(\270)f Fq(3)p Fn(:)1216 b Fq(Let)607 b Fn(B)674 b Fq(b)36 b(e)608 b(the)f(Fib)36 b(onacci)800 41533 y(sequence.)1871 b(Let)648 b Fn(C)829 b Fq(=)735 b(\(1)p Fn(;)221 b Fq(1)p Fn(;)g Fq(0)p Fn(;)g Fq(1)p Fn(;)g Fq(0)p Fn(;)g Fq(0)p Fn(;)g(:)g(:)g(:)7 b Fq(\))p Fn(;)649 b Fq(with)f Fn(c)28724 41732 y Fl(n)30085 41533 y Fq(=)734 b(0)648 b(for)h Fn(n)735 b Fp(\270)g Fq(5)p Fn(:)1297 b Fq(Then)648 b Fn(D)685 b Fq(is)648 b(giv)-36 b(en)649 b(b)-36 b(y)800 43138 y Fn(d)1476 43337 y Fm(1)2552 43138 y Fq(=)549 b(1)p Fn(;)540 b(d)6340 43337 y Fm(2)7416 43138 y Fq(=)549 b(1)p Fn(;)541 b(d)11205 43337 y Fm(3)12280 43138 y Fq(=)550 b(2)p Fn(;)540 b Fq(and)f Fn(d)18704 43337 y Fl(n)19880 43138 y Fq(=)550 b Fn(L)22327 43337 y Fl(n)p Fi(\241)p Fm(1)24695 43138 y Fq(for)540 b Fn(n)550 b Fp(\270)g Fq(4)p Fn(;)541 b Fq(where)f(\()p Fn(L)36504 43337 y Fl(n)37130 43138 y Fq(\))f(is)h(the)g(Lucas)f(sequence,)567 b(as)800 44743 y(in)467 b(Example)h(1.)1147 b(W)-108 b(riting)467 b Fp(h)p Fn(A)p Fq(;)221 b Fn(B)67 b Fp(i)319 b(\242)f(h)o Fn(C)95 b Fq(;)221 b Fn(D)36 b Fp(i)468 b Fq(as)f Fp(h)p Fn(U)-6 b(;)221 b(V)291 b Fp(i)220 b Fn(;)468 b Fq(w)-36 b(e)468 b(ha)-36 b(v)g(e)467 b Fp(h)p Fn(U)-6 b(;)221 b(V)290 b Fp(i)426 b Fq(=)g Fp(h)p Fn(C)95 b Fq(;)221 b Fn(D)36 b Fp(i)318 b(\242)g(h)p Fn(A)p Fq(;)221 b Fn(B)67 b Fp(i)p Fq(,)476 b(where)800 46348 y Fn(U)508 b Fq(=)369 b(\(1)p Fn(;)221 b Fq(2)p Fn(;)g Fq(1)p Fn(;)g Fq(3)p Fn(;)g Fq(4)p Fn(;)g Fq(7)p Fn(;)g Fq(11)p Fn(;)g Fq(18)p Fn(;)g(:)g(:)g(:)10 b Fq(\))433 b(and)g Fn(V)659 b Fq(=)368 b(\(1)p Fn(;)221 b Fq(2)p Fn(;)g Fq(5)p Fn(;)g Fq(9)p Fn(;)g Fq(20)p Fn(;)g Fq(32)p Fn(;)g Fq(66)p Fn(;)g Fq(105)p Fn(;)g Fq(207)p Fn(;)g(:)g(:)g(:)13 b Fq(\))p Fn(:)800 52114 y Fk(5)2152 b(Generalization)716 b(of)h(Theorem)f(4)800 55034 y Fq(It)542 b(is)f(natural)h(to)f(ask)i(what)e(sort)h(of)g (generalization)h(Theorem)e(4)h(has)g(for)g Fn(m)552 b Fp(\270)h Fq(3)p Fn(:)1083 b Fq(The)542 b(notation)800 56639 y Fp(h)p Fn(A)p Fq(;)221 b Fn(B)67 b Fp(i)336 b Fq(used)f(for)i(matrices)f(in)f Fo(G)17108 56157 y Fm(\(2\))18702 56639 y Fq(is)h(no)-36 b(w)336 b(generalized)h(in)f(the)f(ob)-36 b(vious)336 b(manner)f(to)h Fp(h)p Fn(A)44898 56838 y Fm(1)45424 56639 y Fn(;)221 b(A)46981 56838 y Fm(2)47507 56639 y Fn(;)g(:)g(:)g(:)j(;)d(A)51395 56838 y Fl(m)52283 56639 y Fp(i)800 58244 y Fq(in)433 b Fo(G)3350 57762 y Fm(\()p Fl(m)p Fm(\))4970 58244 y Fn(;)h Fq(where)f Fn(A)10497 58443 y Fl(i)11307 58244 y Fq(is)h(a)g(sequence)f(\()p Fn(a)20278 58443 y Fl(i)p Fm(1)21124 58244 y Fn(;)221 b(a)22389 58443 y Fl(i)p Fm(2)23235 58244 y Fn(;)g(:)g(:)g(:)s Fq(\))433 b(ha)-36 b(ving)434 b Fn(a)31158 58443 y Fl(i)p Fm(1)32373 58244 y Fq(=)369 b(1)p Fn(;)434 b Fq(for)g Fn(i)369 b Fq(=)f(1)p Fn(;)221 b Fq(2)p Fn(;)g(:)g(:)g(:)k(;)c(m:)800 61178 y Fr(Theorem)504 b(4A.)876 b Ff(Supp)-66 b(ose)568 b Fn(A)16331 61377 y Fm(1)16857 61178 y Fn(;)221 b(A)18414 61377 y Fm(2)18940 61178 y Fn(;)g(:)g(:)g(:)j(;)d(A)22828 61377 y Fl(m)24185 61178 y Ff(and)606 b Fn(B)27838 61377 y Fl(i)28683 61178 y Ff(for)468 b(some)568 b Fn(i)468 b Ff(satisfying)584 b Fq(1)376 b Fp(\267)g Fn(i)g Fp(\267)g Fn(m)468 b Ff(ar)-66 b(e)468 b(given.)800 62783 y(Then)383 b(se)-66 b(quenc)g(es)492 b Fn(B)10934 62982 y Fl(j)11804 62783 y Ff(for)527 b Fn(j)443 b Fp(6)p Fq(=)369 b Fn(i)383 b Ff(ar)-66 b(e)383 b(uniquely)g(determine)-66 b(d)382 b(by)h(the)g(c)-66 b(ondition)381 b(that)510 b Fp(h)p Fn(A)44415 62982 y Fm(1)44941 62783 y Fn(;)221 b(A)46498 62982 y Fm(2)47024 62783 y Fn(;)g(:)g(:)g(:)j(;)d(A)50912 62982 y Fl(m)51800 62783 y Fp(i)114 b(\242)800 64388 y(h)p Fn(B)2305 64587 y Fm(1)2831 64388 y Fn(;)221 b(B)4401 64587 y Fm(2)4927 64388 y Fn(;)g(:)g(:)g(:)j(;)d(B)8828 64587 y Fl(m)9716 64388 y Fp(i)571 b Ff(b)-66 b(e)571 b(a)h(se)-66 b(quential)570 b(matrix.)1488 b(Conversely,)597 b(supp)-66 b(ose)672 b Fn(B)38516 64587 y Fm(1)39042 64388 y Fn(;)221 b(B)40612 64587 y Fm(2)41138 64388 y Fn(;)g(:)g(:)g(:)j(;)d(B)45039 64587 y Fl(m)46499 64388 y Ff(and)709 b Fn(A)50242 64587 y Fl(i)51189 64388 y Ff(for)800 65993 y(some)465 b Fn(i)366 b Ff(satisfying)480 b Fq(1)370 b Fp(\267)f Fn(i)f Fp(\267)i Fn(m)365 b Ff(ar)-66 b(e)365 b(given.)889 b(Then)365 b(se)-66 b(quenc)g(es)474 b Fn(A)33272 66192 y Fl(j)34125 65993 y Ff(for)508 b Fn(j)444 b Fp(6)p Fq(=)368 b Fn(i)e Ff(ar)-66 b(e)365 b(uniquely)g(determine)-66 b(d)800 67598 y(by)465 b(the)f(c)-66 b(ondition)463 b(that)591 b Fp(h)p Fn(A)14606 67797 y Fm(1)15132 67598 y Fn(;)221 b(A)16689 67797 y Fm(2)17215 67598 y Fn(;)g(:)g(:)g(:)j(;)d(A)21103 67797 y Fl(m)21991 67598 y Fp(i)295 b(\242)g(h)p Fn(B)24972 67797 y Fm(1)25498 67598 y Fn(;)221 b(B)27068 67797 y Fm(2)27594 67598 y Fn(;)g(:)g(:)g(:)j(;)d(B)31495 67797 y Fl(m)32383 67598 y Fp(i)465 b Ff(b)-66 b(e)464 b(a)h(se)-66 b(quential)464 b(matrix.)800 69535 y(Pr)-66 b(o)g(of:)999 b Fq(Let)376 b Fn(U)508 b Fq(=)369 b Fn(AB)67 b(:)753 b Fq(F)-108 b(or)376 b(giv)-36 b(en)376 b Fn(A;)h Fq(eac)-36 b(h)376 b(column)g(of)h Fn(B)444 b Fq(uniquely)376 b(determines)g(the)f (corresp)36 b(onding)800 71140 y(column)357 b(of)g Fn(U)139 b Fq(,)373 b(and)356 b(eac)-36 b(h)357 b(column)g(of)g Fn(U)496 b Fq(determines)356 b(the)h(corresp)36 b(onding)356 b(column)h(of)g Fn(B)67 b(:)714 b Fq(Th)-36 b(us,)372 b(under)p Black 26475 74617 a(9)p Black eop %%Page: 10 10 10 9 bop Black 0 TeXcolorgray Black Black 800 1424 a Fq(the)440 b(h)-36 b(yp)36 b(othesis)441 b(that)g(a)g(particular)g (column)g Fn(B)24934 1623 y Fl(i)25750 1424 y Fq(of)h Fn(B)508 b Fq(is)441 b(giv)-36 b(en,)444 b(the)c(equation)i Fn(U)521 b Fq(=)381 b Fn(AB)508 b Fq(determines)800 3029 y(the)399 b(corresp)36 b(onding)398 b(column)h(of)h Fn(U)139 b Fq(.)966 b(Consequen)-36 b(tly)-108 b(,)406 b(as)400 b Fn(U)538 b Fq(is)399 b(a)g(sequen)-36 b(tial)400 b(matrix,)407 b(ev)-36 b(ery)399 b(column)g(of)800 4634 y Fn(U)573 b Fq(is)434 b(determined,)e(and)h(this)h(implies)g(that)f(ev)-36 b(ery)434 b(column)f(of)i Fn(B)500 b Fq(is)434 b(determined.)2751 6239 y(F)-108 b(or)416 b(the)f(con)-36 b(v)g(erse,)420 b(supp)36 b(ose)415 b Fn(B)67 b(;)417 b Fq(together)e(with)h(just)g (one)g(column)g Fn(A)38003 6438 y Fl(i)38795 6239 y Fq(of)g Fn(A;)h Fq(are)f(giv)-36 b(en,)420 b(and)415 b(that)800 7844 y(the)433 b(pro)36 b(duct)433 b Fn(U)508 b Fq(=)368 b Fn(AB)501 b Fq(is)434 b(sequen)-36 b(tial.)1012 b(As)434 b(a)g(\257rst)f(induction)f(step,)15709 10778 y Fn(a)16392 10977 y Fm(21)17388 10778 y Fn(b)17941 10977 y Fm(11)19232 10778 y Fq(+)295 b Fn(a)21222 10977 y Fm(22)22218 10778 y Fn(b)22771 10977 y Fm(21)24136 10778 y Fq(=)369 b Fn(a)26200 10977 y Fm(32)27196 10778 y Fn(b)27749 10977 y Fm(22)29041 10778 y Fq(+)294 b Fn(a)31030 10977 y Fm(33)32026 10778 y Fn(b)32579 10977 y Fm(32)33945 10778 y Fq(=)368 b Fp(\242)221 b(\242)g(\242)656 b Fn(:)12597 b Fq(\(11\))800 13711 y(As)471 b Fn(a)3442 13910 y Fl(i)p Fm(+1)p Fl(;i)6073 13711 y Fq(is)h(giv)-36 b(en,)481 b(equations)472 b(\(11\))g(sho)-36 b(w)471 b(that)g Fn(a)26668 13910 y Fl(h)p Fm(+1)p Fl(;h)29742 13711 y Fq(is)h(determined)e(for)i(all)g Fn(h)433 b Fp(\270)g Fq(1)p Fn(:)944 b Fq(Assume)470 b(for)800 15316 y(arbitrary)443 b Fn(k)428 b Fp(\270)384 b Fq(1)443 b(that)f Fn(a)13461 15515 y Fl(h)p Fm(+)p Fl(j)o(;h)16415 15316 y Fq(is)g(determined)f(for) i(all)g Fn(j)517 b Fq(satisfying)444 b(1)384 b Fp(\267)g Fn(j)459 b Fp(\267)384 b Fn(k)45 b(;)442 b Fq(for)h(all)g Fn(h)384 b Fp(\270)g Fq(1)p Fn(:)885 b Fq(As)442 b Fn(U)800 16922 y Fq(is)434 b(sequen)-36 b(tial,)16756 19855 y Fn(a)17439 20054 y Fl(k)24 b Fm(+1)p Fl(;)p Fm(1)19942 19855 y Fn(b)20495 20054 y Fm(11)21787 19855 y Fq(+)294 b Fn(a)23776 20054 y Fl(k)24 b Fm(+1)p Fl(;)p Fm(2)26279 19855 y Fn(b)26832 20054 y Fm(21)28124 19855 y Fq(+)294 b Fp(\242)221 b(\242)g(\242)296 b Fq(+)f Fn(a)33265 20054 y Fl(k)24 b Fm(+1)p Fl(;k)g Fm(+1)37013 19855 y Fn(b)37566 20054 y Fl(k)g Fm(+1)p Fl(;)p Fm(1)14638 21792 y Fq(=)1106 b Fn(a)17439 21991 y Fl(k)24 b Fm(+2)p Fl(;)p Fm(2)19942 21792 y Fn(b)20495 21991 y Fm(22)21787 21792 y Fq(+)294 b Fn(a)23776 21991 y Fl(k)24 b Fm(+2)p Fl(;)p Fm(3)26279 21792 y Fn(b)26832 21991 y Fm(32)28124 21792 y Fq(+)294 b Fp(\242)221 b(\242)g(\242)296 b Fq(+)f Fn(a)33265 21991 y Fl(k)24 b Fm(+2)p Fl(;k)g Fm(+2)37013 21792 y Fn(b)37566 21991 y Fl(k)g Fm(+2)p Fl(;)p Fm(2)14638 23729 y Fq(=)1106 b Fp(\242)221 b(\242)g(\242)656 b Fq(.)p Black 31166 w(\(12\))p Black 800 26663 a(As)339 b Fn(a)3310 26862 y Fl(k)24 b Fm(+)p Fl(i;i)5852 26663 y Fq(is)339 b(giv)-36 b(en,)359 b(equations)339 b(\(12\))g(and)g(the)f(induction)g(h)-36 b(yp)36 b(othesis)339 b(sho)-36 b(w)339 b(that)g Fn(a)42243 26862 y Fl(k)24 b Fm(+)p Fl(h;h)45228 26663 y Fq(is)339 b(determined)800 28268 y(for)434 b(all)h Fn(h)368 b Fp(\270)i Fq(1)p Fn(:)867 b Fq(Th)-36 b(us,)434 b(b)-36 b(y)433 b(induction,)g Fn(A)h Fq(is)g(determined.)4479 b Fh(\245)2751 31201 y Fq(Theorem)456 b(4A)g(sho)-36 b(ws)456 b(that)g(Theorem)g(4)g (extends)f(to)h Fo(G)30972 30719 y Fm(\()p Fl(m)p Fm(\))32592 31201 y Fn(:)912 b Fq(The)456 b(metho)36 b(d)455 b(of)i(pro)36 b(of)456 b(of)h(Theorem)800 32806 y(4A)434 b(clearly)h(applies)f(to)f Fo(G)p Fn(;)h Fq(so)g(that)f(Theorem)h(4A)g(extends)f(to)h Fo(G)p Fq(.)800 37243 y Fk(6)2152 b(T)-179 b(ransformations)715 b(in)-60 b(v)g(olving)715 b(divisors)800 40164 y Fq(W)-108 b(e)439 b(return)f(to)h(the)g(general)g(group)g(\()p Fo(G)p Fn(;)221 b Fp(\242)p Fq(\))440 b(for)f(a)h(discussion)f(of)g (sev)-36 b(eral)440 b(sp)36 b(eci\257c)439 b(matrix)h(transforma-)800 41769 y(tions)434 b(in)-36 b(v)g(olving)435 b(divisors)f(of)g(in)-36 b(tegers.)1012 b(The)434 b(\257rst)f(is)g(giv)-36 b(en)435 b(b)-36 b(y)433 b(the)g(left)h(summatory)g(matrix,)18651 45404 y Fn(T)181 b Fq(\()p Fn(n;)221 b(k)45 b Fq(\))370 b(=)24436 43531 y Fj(\275)26096 44590 y Fq(1,)1329 b(if)434 b Fn(k)45 b Fp(j)p Fn(n)p Fq(;)26096 46195 y(0,)1329 b(otherwise.)800 49168 y(The)520 b(in)-36 b(v)g(erse)521 b(of)g Fn(T)701 b Fq(is)520 b(the)g(left)h(M\304)-650 b(obius)520 b(transformation)g(matrix.)1359 b(The)521 b(matrices)f Fn(T)701 b Fq(and)520 b Fn(T)49288 48686 y Fi(\241)p Fm(1)51066 49168 y Fq(are)800 50774 y(indexed)531 b(as)g(A077049)i(and)e(A077050)i(in)e([)p 0 1 0 0 TeXcolorcmyk(4)p (#cite.ref4) [[277 260 283 272] [1 1 1 [3 3]] [0 0 1]] pdfm Black 1 w(],)556 b(where)531 b(transformations)h(b)-36 b(y)531 b Fn(T)712 b Fq(and)530 b Fn(T)45017 50291 y Fi(\241)p Fm(1)46806 50774 y Fq(of)i(selected)800 52379 y(sequences)468 b(in)g Fp(G)546 b Fq(are)468 b(referenced.)1149 b(In)467 b(general,)477 b(if)469 b Fn(A)f Fq(is)g(a)g(sequence)g (written)f(as)i(an)e(in\257nite)g(column)800 53984 y(v)-36 b(ector,)434 b(then)11303 55747 y Fn(T)476 b Fp(\242)296 b Fn(A)369 b Fq(=)f Fp(f)16594 54486 y Fj(X)16881 57364 y Fl(k)24 b Fi(j)p Fl(n)18735 55747 y Fn(a)19418 55946 y Fl(k)19986 55747 y Fp(g)3035 b Fq(and)g Fn(T)29759 55199 y Fi(\241)p Fm(1)31311 55747 y Fp(\242)296 b Fn(A)369 b Fq(=)f Fp(f)35364 54486 y Fj(X)35651 57364 y Fl(k)24 b Fi(j)p Fl(n)37505 55747 y Fn(\271)p Fq(\()p Fn(k)45 b Fq(\))p Fn(a)40704 55946 y Fl(k)41271 55747 y Fp(g)p Fn(;)800 59471 y Fq(that)433 b(is,)h(the)f(summatory)h(sequence)g(of)g Fn(A)g Fq(and)f(the)g(M\304)-650 b(obius)433 b(transform)g(of)i Fn(A;)f Fq(resp)36 b(ectiv)-36 b(ely)-108 b(.)2751 61076 y(Next,)659 b(de\257ne)613 b(the)g Ff(left)630 b(summing)f(matrix)789 b Fn(S)753 b Fq(=)675 b Fp(f)p Fn(s)p Fq(\()p Fn(n;)221 b(k)45 b Fq(\))p Fp(g)614 b Fq(and)f(the)g Ff(left)630 b(di\256er)-66 b(encing)627 b(matrix)800 62681 y Fn(D)405 b Fq(=)369 b Fp(f)p Fn(d)p Fq(\()p Fn(n;)221 b(k)45 b Fq(\))p Fp(g)434 b Fq(b)-36 b(y)12837 66389 y Fn(s)p Fq(\()p Fn(n;)221 b(k)45 b Fq(\))1108 b(=)19767 64516 y Fj(\275)21428 65575 y Fq(1,)1329 b(if)434 b Fn(k)414 b Fp(\267)369 b Fn(n)p Fq(;)21428 67181 y(0,)1329 b(otherwise.)12774 70042 y Fn(d)p Fq(\()p Fn(n;)221 b(k)45 b Fq(\))1108 b(=)19767 68169 y Fj(\275)21428 69228 y Fq(\()p Fp(\241)p Fq(1\))24123 68746 y Fl(n)p Fm(+)p Fl(k)25994 69228 y Fq(,)1329 b(if)434 b Fn(k)414 b Fq(=)369 b Fn(n)434 b Fq(or)g Fn(k)414 b Fq(=)368 b Fn(n)296 b Fp(\241)f Fq(1;)21428 70833 y(0,)5245 b(otherwise.)p Black 26150 74617 a(10)p Black eop %%Page: 11 11 11 10 bop Black 0 TeXcolorgray Black Black 800 1424 a Fq(Note)434 b(that)f Fn(D)405 b Fq(=)369 b Fn(S)10504 942 y Fi(\241)p Fm(1)11762 1424 y Fn(:)800 4358 y Fr(Example)428 b(12.)931 b Fq(Supp)36 b(ose)371 b(that)h(a)g(sequence)h Fn(C)463 b Fq(=)369 b(\(1)p Fn(;)221 b(c)28958 4557 y Fm(2)29484 4358 y Fn(;)g(c)30626 4557 y Fm(3)31153 4358 y Fn(;)g(:)g(:)g(:)r Fq(\))372 b(in)g Fp(G)452 b Fq(is)372 b(transformed)g(to)g(a)h(sequence)800 5963 y Fn(A)c Fq(=)g(\(1)p Fn(;)221 b(a)5946 6162 y Fm(2)6472 5963 y Fn(;)g(a)7737 6162 y Fm(3)8263 5963 y Fn(;)g(:)g(:)g(:)s Fq(\))291 b(b)-36 b(y)292 b(the)f(sums)g Fn(a)18740 6162 y Fl(n)19735 5963 y Fq(=)21116 4966 y Fj(P)22518 5317 y Fl(n)22518 6350 y(k)24 b Fm(=1)24510 5963 y Fn(c)25070 6162 y Fl(k)25639 5963 y Fp(b)p Fn(n=k)45 b Fp(c)p Fn(:)585 b Fq(In)292 b(order)f(to)h(solv)-36 b(e)292 b(this)g(system)g(of)g(equations,)800 7568 y(let)418 b Fn(U)139 b Fq(\()p Fn(n;)221 b(k)45 b Fq(\))370 b(=)f Fp(b)p Fn(n=k)45 b Fp(c)420 b Fq(for)e Fn(k)c Fp(\270)370 b Fq(1)p Fn(;)418 b(n)370 b Fp(\270)f Fq(1)p Fn(:)837 b Fq(Then)418 b Fn(U)508 b Fq(=)369 b Fn(S)341 b Fp(\242)263 b Fn(T)108 b(;)420 b Fq(so)e(that)g Fn(U)37546 7086 y Fi(\241)p Fm(1)39173 7568 y Fq(=)368 b Fn(T)41496 7086 y Fi(\241)p Fm(1)43018 7568 y Fp(\242)264 b Fn(D)36 b(;)418 b Fq(whic)-36 b(h)418 b(means)800 9173 y(that)18664 10778 y Fn(c)19224 10977 y Fl(n)20219 10778 y Fq(=)21600 9516 y Fj(X)21901 12394 y Fl(d)p Fi(j)p Fl(n)23740 10778 y Fn(\271)p Fq(\()p Fn(d)p Fq(\)\()p Fn(a)27400 10985 y Fl(n=d)29275 10778 y Fp(\241)295 b Fn(a)31286 10985 y Fl(n=d)p Fi(\241)p Fm(1)34069 10778 y Fq(\))p Fn(;)800 14575 y Fq(where)310 b Fn(a)5117 14774 y Fm(0)6011 14575 y Fq(:=)369 b(0)p Fn(:)620 b Fq(If)311 b Fn(a)11244 14774 y Fl(n)12239 14575 y Fq(=)368 b(1)310 b(for)h(ev)-36 b(ery)310 b Fn(n)369 b Fp(\270)h Fq(1,)335 b(then)308 b Fn(c)27043 14774 y Fl(n)28038 14575 y Fq(=)369 b Fn(\271)p Fq(\()p Fn(n)p Fq(\))p Fn(:)619 b Fq(If)311 b Fn(a)34830 14774 y Fl(n)35825 14575 y Fq(=)368 b Fn(n)p Fq(,)336 b(then)308 b Fn(C)405 b Fq(is)310 b(the)f(con)-36 b(v)g(olutory)800 16955 y(iden)g(tit)g(y)-108 b(,)438 b(\(1)p Fn(;)221 b Fq(0)p Fn(;)g Fq(0)p Fn(;)g Fq(0)p Fn(;)g(:)g(:)g(:)6 b Fq(\))p Fn(:)876 b Fq(If)438 b Fn(a)16558 17154 y Fl(n)17560 16955 y Fq(=)18948 15082 y Fj(\265)20479 16141 y Fn(n)296 b Fq(+)f(1)21668 17746 y(2)24061 15082 y Fj(\266)25261 16955 y Fn(;)438 b Fq(then)e Fn(c)29586 17154 y Fl(n)30589 16955 y Fq(=)375 b Fn(')p Fq(\()p Fn(n)p Fq(\).)1029 b(If)439 b Fn(a)37994 17154 y Fl(n)38996 16955 y Fq(=)40383 15082 y Fj(\265)41915 16141 y Fn(n)295 b Fq(+)g(2)43104 17746 y(3)45497 15082 y Fj(\266)46696 16955 y Fn(;)438 b Fq(then)f Fn(C)533 b Fq(is)800 19335 y(the)397 b(sequence)g(indexed)g(as)g(A000741)i(in)e([)p 0 1 0 0 TeXcolorcmyk(4)p (#cite.ref4) [[268 543 274 555] [1 1 1 [3 3]] [0 0 1]] pdfm Black 1 w(])g(and)g(discussed)f(in)h([)p 0 1 0 0 TeXcolorcmyk(1)p (#cite.ref1) [[371 543 376 555] [1 1 1 [3 3]] [0 0 1]] pdfm Black 1 w(])g(in)g(connection)g(with)g(comp)36 b(ositions)800 20940 y(of)434 b(in)-36 b(tegers)434 b(with)f(relativ)-36 b(ely)436 b(prime)d(summands.)800 29362 y Fk(References)p Black 800 32282 a Fq([1])p Black 651 w(H.)292 b(W.)f(Gould,)319 b(Binomial)292 b(co)36 b(e\261cien)-36 b(ts,)320 b(the)291 b(brac)-36 b(k)g(et)291 b(function,)319 b(and)291 b(comp)36 b(ositions)291 b(with)g(relativ)-36 b(ely)2823 33888 y(prime)434 b(summands,)e Ff(Fib)-66 b(onac)g(ci)463 b(Quart.)433 b Fr(2)h Fq(\(1964\))h(241{260.)p Black 800 36600 a([2])p Black 651 w(Stev)-36 b(en)433 b(Roman,)i Ff(The)464 b(Umbr)-66 b(al)464 b(Calculus,)i Fq(Academic)433 b(Press,)h Ff(New)465 b(Y)-100 b(ork,)464 b(1984.)p Black 800 39312 a Fq([3])p Black 651 w(Louis)500 b(W.)g(Shapiro,)515 b(Sey)-36 b(oum)500 b(Getu,)515 b(W)-108 b(en-Jin)498 b(W)-108 b(oan,)517 b(and)499 b(Leon)g(C.)h(W)-108 b(o)36 b(o)g(dson,)516 b(The)500 b(Riordan)2823 40917 y(group,)434 b Ff(Disc.)464 b(Appl.)g(Math.)433 b Fr(34)h Fq(\(1991\))h(229{239.)p Black 800 43629 a([4])p Black 651 w(N.)1994 b(J.)g(A.)f(Sloane)h Ff(The)1898 b(On-Line)f(Encyclop)-66 b(e)g(dia)1897 b(of)i(Inte)-66 b(ger)1896 b(Se)-66 b(quenc)g(es)p Fq(,)p 0 1 0 0 TeXcolorcmyk 2823 45234 a Fa(http://www.research.att.com/~njas/sequences)p [[97 310 362 322] [1 1 1 [3 3]] [0 0 1]] (http://www.research.att.com/~njas/sequences) pdfm Black Fq(.)p 800 48341 52000 45 v 800 50592 a(2000)435 b Ff(Mathematics)464 b(Subje)-66 b(ct)463 b(Classi\257c)-66 b(ation)p Fq(:)577 b(Primary)434 b(11A25.)800 52197 y Ff(Keywor)-66 b(ds:)1040 b(App)-66 b(el)66 b(l)686 b(se)-66 b(quenc)g(e,)739 b(c)-66 b(onvolution,)740 b(Fib)-66 b(onac)g(ci)683 b(se)-66 b(quenc)g(e,)740 b(line)-66 b(ar)684 b(r)-66 b(e)g(curr)g(enc)g(e,)738 b(R)-33 b(ior)-66 b(dan)800 53802 y(gr)g(oup,)465 b(se)-66 b(quential)463 b(matrix.)p 800 55433 V 800 57757 a Fq(\(Concerned)330 b(with)h(sequences)p 0 1 0 0 TeXcolorcmyk 331 w(A000045)p 16295 57970 4878 54 v [[219 197 263 209] [1 1 1 [3 3]] [0 0 1]] (http://www.research.att.com/cgi-bin/access.cgi/as/~njas/sequences/eisA.cgi?Anum=A000045) pdfm Black 2 w(,)p 0 1 0 0 TeXcolorcmyk 351 w(A000108)p 21884 57970 V [[269 197 313 209] [1 1 1 [3 3]] [0 0 1]] (http://www.research.att.com/cgi-bin/access.cgi/as/~njas/sequences/eisA.cgi?Anum=A000108) pdfm Black 0 1 0 0 TeXcolorcmyk 333 w(A000142)p 27092 57970 V [[316 197 360 209] [1 1 1 [3 3]] [0 0 1]] (http://www.research.att.com/cgi-bin/access.cgi/as/~njas/sequences/eisA.cgi?Anum=A000142) pdfm Black 0 1 0 0 TeXcolorcmyk 333 w(A000201)p 32300 57970 V [[363 197 407 209] [1 1 1 [3 3]] [0 0 1]] (http://www.research.att.com/cgi-bin/access.cgi/as/~njas/sequences/eisA.cgi?Anum=A000201) pdfm Black 0 1 0 0 TeXcolorcmyk 333 w(A000204)p 37508 57970 V [[410 197 453 209] [1 1 1 [3 3]] [0 0 1]] (http://www.research.att.com/cgi-bin/access.cgi/as/~njas/sequences/eisA.cgi?Anum=A000204) pdfm Black 0 1 0 0 TeXcolorcmyk 332 w(A000741)p 42715 57970 V [[456 197 500 209] [1 1 1 [3 3]] [0 0 1]] (http://www.research.att.com/cgi-bin/access.cgi/as/~njas/sequences/eisA.cgi?Anum=A000741) pdfm Black 0 1 0 0 TeXcolorcmyk 333 w(A000984)p 47923 57970 V [[503 197 547 209] [1 1 1 [3 3]] [0 0 1]] (http://www.research.att.com/cgi-bin/access.cgi/as/~njas/sequences/eisA.cgi?Anum=A000984) pdfm Black 0 1 0 0 TeXcolorcmyk 800 59362 a(A002530)p 800 59575 V [[79 183 123 195] [1 1 1 [3 3]] [0 0 1]] (http://www.research.att.com/cgi-bin/access.cgi/as/~njas/sequences/eisA.cgi?Anum=A002530) pdfm Black 0 1 0 0 TeXcolorcmyk 436 w(A047749)p 6111 59575 V [[127 183 171 195] [1 1 1 [3 3]] [0 0 1]] (http://www.research.att.com/cgi-bin/access.cgi/as/~njas/sequences/eisA.cgi?Anum=A047749) pdfm Black 0 1 0 0 TeXcolorcmyk 435 w(A077049)p 11421 59575 V [[175 183 219 195] [1 1 1 [3 3]] [0 0 1]] (http://www.research.att.com/cgi-bin/access.cgi/as/~njas/sequences/eisA.cgi?Anum=A077049) pdfm Black 0 1 0 0 TeXcolorcmyk 436 w(A077050)p 16732 59575 V [[223 183 266 195] [1 1 1 [3 3]] [0 0 1]] (http://www.research.att.com/cgi-bin/access.cgi/as/~njas/sequences/eisA.cgi?Anum=A077050) pdfm Black 0 1 0 0 TeXcolorcmyk 435 w(A077605)p 22042 59575 V [[270 183 314 195] [1 1 1 [3 3]] [0 0 1]] (http://www.research.att.com/cgi-bin/access.cgi/as/~njas/sequences/eisA.cgi?Anum=A077605) pdfm Black 0 1 0 0 TeXcolorcmyk 436 w(A077606)p 27353 59575 V [[318 183 362 195] [1 1 1 [3 3]] [0 0 1]] (http://www.research.att.com/cgi-bin/access.cgi/as/~njas/sequences/eisA.cgi?Anum=A077606) pdfm Black 2 w(.\))p 800 61067 52000 45 v 800 64118 a(Receiv)-36 b(ed)369 b(No)-36 b(v)g(em)g(b)36 b(er)369 b(13,)382 b(2002;)392 b(revised)369 b(v)-36 b(ersions)369 b(receiv)-36 b(ed)369 b(Jan)-36 b(uary)369 b(28,)382 b(2003;)392 b(Septem)-36 b(b)36 b(er)367 b(2,)382 b(2003.)800 65723 y(Published)433 b(in)g Ff(Journal)465 b(of)g(Inte)-66 b(ger)463 b(Se)-66 b(quenc)g(es)p Fq(,)431 b(Septem)-36 b(b)36 b(er)433 b(8,)h(2003.)p 800 67354 V 800 69605 a(Return)f(to)p 0 1 0 0 TeXcolorcmyk 433 w(Journal)h(of)g(In)-36 b(teger)434 b(Sequences)f(home)g(page)p [[133 91 338 103] [1 1 1 [3 3]] [0 0 1]] (http://www.math.uwaterloo.ca/JIS/) pdfm Black(.)p Black 26150 74617 a(11)p Black eop %%Trailer end end