We describe the T -space of central polynomials for both the unitary and the nonunitary infinite dimensional Grassmann algebra over a field of characteristic p = 2 (infinite field in the case of the unitary algebra).
In 1988 (see [7]), S. V. Okhitin proved that for any field k of characteristic zero, the T -space CP (M 2 (k)) is finitely based, and he raised the question as to whether CP (A) is finitely based for every (unitary) associative algebra A for which 0 = T (A) CP (A). V. V. Shchigolev (see [9], 2001) showed that for any field of characteristic zero, every T -space of k 0 X is finitely based, and it follows from this that every T -space of k 1 X is also finitely based. This more than answers Okhitin's question (in the affirmative) for fields of characteristic zero.For a field of characteristic 2, the infinite-dimensional Grassmann algebras, unitary and nonunitary, are commutative and thus the T -space of central polynomials of each is finitely based.We shall show in the following that if p > 2 and k is an arbitrary field of characteristic p, then neither CP (G 0 ) nor CP (G) is finitely based, thus providing a negative answer to Okhitin's question.
The enumeration of prime knots has a long and storied history, beginning with the work of T. P. Kirkman [9,10], C. N. Little [14], and P. G. Tait [19] in the late 1800's, and continuing through to the present day, with significant progress and related results provided along the way by J. H. Conway [3], K. A. Perko [17, 18], M. B. Thistlethwaite [6, 8, 15, 16, 20], C. H. Dowker [6], J. Hoste [1, 8], J. Calvo [2], W. Menasco [15, 16], W. B. R. Lickorish [12, 13], J. Weeks [8] and many others. Additionally, there have been many efforts to establish bounds on the number of prime knots and links, as described in the works of O. Dasbach and S. Hougardy [4], D. J. A. Welsh [22], C. Ernst and D. W. Sumners [7], and C. Sundberg and M. Thistlethwaite [21] and others. In this paper, we provide a solution to part of the enumeration problem, in that we describe an efficient inductive scheme which uses a total of four operators to generate all prime alternating knots of a given minimal crossing size, and we prove that the procedure does in fact produce them all. The process proceeds in two steps, where in the first step, two of the four operators are applied to the prime alternating knots of minimal crossing size n to produce approximately 98% of the prime alternating knots of minimal crossing size n+1, while in the second step, the remaining two operators are applied to these newly constructed knots, thereby producing the remaining prime alternating knots of crossing size n+1. The process begins with the prime alternating knot of four crossings, the figure eight knot. In the sequel, we provide an actual implementation of our procedure, wherein we spend considerable effort to make the procedure efficient. One very important aspect of the implementation is a new way of encoding a knot. We are able to assign an integer array (called the master array) to a prime alternating knot in such a way that each regular projection, or plane configuration, of the knot can be constructed from the data in the array, and moreover, two knots are equivalent if and only if their master arrays are identical. A fringe benefit of this scheme is a candidate for the so-called ideal configuration of a prime alternating knot. We have used this generation scheme to enumerate the prime alternating knots up to and including those of 19 crossings. The knots up to and including 17 crossings produced by our generation scheme concurred with those found by M. Thistlethwaite, J. Hoste and J. Weeks (see [8]). The current implementation of the algorithms involved in the generation scheme allowed us to produce the 1,769,979 prime alternating knots of 17 crossings on a five node beowulf cluster in approximately 2.3 hours, while the time to produce the prime alternating knots up to and including those of 16 crossings totalled approximately 45 minutes. The prime alternating knots at 18 and 19 crossings were enumerated using the 48 node Compaq ES-40 beowulf cluster at the University of Western Ontario (we also received generous support from Compaq at the SC 99 conference). The cluster was shared with other users and so an accurate estimate of the running time is not available, but the generation of the 8,400,285 knots at 18 crossings was completed in 17 hours, and the generation of the 40,619,385 prime alternating knots at 19 crossings took approximately 72 hours. With the improvements that are described in the sequel, we anticipate that the knots at 19 crossings will be generated in not more than 10 hours on a current Pentium III personal computer equipped with 256 megabytes of main memory.
In [1], we described an efficient inductive scheme which uses a total of four operators to generate all prime alternating knots of a given minimal crossing size. The process is carried out in two steps, where in the first step, two of the four operators are applied to the prime alternating knots of minimal crossing size n to produce approximately 98% of the prime alternating knots of minimal crossing size n+1, while in the second step, the remaining two operators are applied to these newly constructed knots, thereby producing the remaining prime alternating knots of crossing size n+1. The process begins with the prime alternating knot of four crossings, the figure eight knot. In this paper, we provide an actual implementation of our procedure, wherein we spend considerable effort to make the procedure efficient. One very important aspect of the implementation is a new way of encoding a knot. We are able to assign an integer array (which we call the master array) to a prime alternating knot in such a way that each regular diagram of the knot can be constructed from the data in the array. Moreover, two knots are equivalent if and only if their master arrays are identical. We have used this generation scheme to enumerate the prime alternating knots up to and including those of 19 crossings. The knots up to and including 17 crossings produced by our generation scheme concurred with those found by M. Thistlethwaite, J. Hoste and J. Weeks (see [3]). The current implementation of the algorithms involved in the generation scheme allowed us to produce the 1,769,979 prime alternating knots of 17 crossings on a five node beowulf cluster in approximately 2.3 hours, while the time to produce the prime alternating knots up to and including those of 16 crossings totalled approximately 45 minutes. The prime alternating knots at 18 and 19 crossings were enumerated using the 48 node Compaq ES-40 beowulf cluster at the University of Western Ontario (we also received generous support from Compaq at the SC 99 conference). The cluster was shared with other users and so an accurate estimate of the running time is not available, but the generation of the 8,400,285 knots at 18 crossings was completed in 17 hours, and the generation of the 40,619,385 prime alternating knots at 19 crossings took approximately 72 hours. With the improvements that are described in the sequel, we anticipate that the knots at 19 crossings will be generated in not more than 10 hours on a current Pentium III personal computer equipped with 256 megabytes of main memory.
Abstract. A kernel-trace description of right congruences on an inverse semigroup is developed. It is shown that the trace mapping is a complete nhomomorphism but not a V-homomorphism. However, the trace classes are intervals in the complete lattice of right congruences. In contrast, each kernel class has a maximum element, namely the principal right congruence on the kernel, but in general there is no minimum element in a kernel class. The kernel mapping preserves neither intersections nor joins.The set of axioms presented in [7] for right kernel systems is reviewed. A new set of axioms is obtained as a consequence of the fact that a right congruence is the intersection of the principal right congruences on the idempotent classes.Finally, it is shown that even though a congruence on a regular semigroup is the intersection of the principal congruences on the idempotent classes, the situation is not the same for right congruences on a regular semigroup. Right congruences on a regular, even orthodox, semigroup are not, in general, determined by their idempotent classes.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.