Abstract
The notion of a polynomial over a commutative ring with unity is well-known. At first sight, however, it is not so clear how to define polynomials over non-commutative rings (do the “variables” have to commute with the coefficients?) and over general algebras. To every polynomial, there is a corresponding polynomial function. When is this correspondence one-to-one? Since the “variables” and the constants preserve all congruences, all polynomial functions do the same: they are “congruence compatible” functions. But when is every congruence compatible function a polynomial function?
In section 1, we explain how to define polynomials and polynomial equations over general algebras, and we state several results on the solvability of such equations. In section 2, we study polynomial functions, and in section 3, we state the answers to some questions concerning polynomial and affine completeness. We focus on those results that are applicable to polynomial functions on groups, rings, vector-spaces, modules, or, more generally, on Ω-groups.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J. Aczél, Ober die Gleichheit der Polynomfunktionen auf Ringen, Acta Sci. Math. Szeged 21 (1960), 105–107.
E. Aichinger, Local interpolation near-rings as a frame-work for the density theorems, Contributions to General Algebra, vol. 9, Verlag Hölder-Pichler-Tempsky, Wien–Verlag B.G. Teubner, Stuttgart, 1995, pp. 27–36.
E. Aichinger, Local polynomial functions on the integers, Riv. Mat. Univ. Parma (5) 6 (1997), 169–177.
E. Aichinger, The structure of composition algebras,Ph.D. thesis, Johannes Kepler Universität Linz, 1998, available at http://www.algebra.uni-linz.ac.at/~erhard-linz.ac.at/~erhard.
E. Aichinger, On Hagemann’s and Herrmann’s characterization of strictly affine complete algebras, Algebra Universalis 44 (2000), 105–121.
E. Aichinger, On near-ring idempotents and polynomials on direct products of Q-groups, Proc. Edinburgh Math. Soc. (2) 44 (2001), 379–388.
E. Aichinger, 2-affine complete algebras need not be affine complete, to appear in Algebra Universalis, 2002.
E. Aichinger, The polynomial functions on certain semidirect products of groups, Acta Sci. Math. (Szeged) 68 (2002), 63–81.
E. Aichinger and P. M. Idziak, Polynomial interpolation in expanded groups, submitted, 2001.
G. Baumslag (ed.), Reviews on infinite groups. Parts 1, 2,American Mathematical Society, Providence, R.I., 1974, Reviews reprinted from Mathematical Reviews,Vols. 1–40 (Published during 1940–1970), with a few related reviews from Vols. 41–45.
J. Berman and W. J. Blok, Free spectra of nilpotent varieties, Algebra Universalis 24 (1987), no. 3, 279–282.
G. Betsch, Some structure theorems on 2-primitive near-rings, Colloq. Math. Soc. Jänos Bolyai, Vol. 6 (1973), 73–102.
G. Birkhoff, On the structure of abstract algebras, Proc.Cambridge Phil.Soc. 31 (1935), 433–454.
L. A. Bokut, Theorems of imbedding in the theory of algebras, Colloq. Math. 14 (1966), 349–353.
L. A. Bokut, Groebner bases: Non-commutative case, The concise handbook of algebra (A. V. Mikhalev and G. F. Pilz, eds.), Kluwer Academic Publisher, Dordrecht, 2002, pp. 268–272.
S. D. Brodskiï, Equations over groups, and groups with one defining relation, Sibirsk. Mat. Zh. 25 (1984), no. 2, 84–103.
B. Buchberger, Ein algorithmisches Kriterium fur die Lösbarkeit eines algebraischen Gleichungssystems, Aequationes Math. 4 (1970), 374–383.
B. Buchberger, An algorithmic criterion for the solvability of a system of algebraic equations [MR 42 #3077],Gröbner bases and applications (Linz, 1998), Cambridge Univ. Press, Cambridge, 1998, Translated from the German by Michael Abramson and Robert Lumbert, pp. 535–545.
B. Buchberger and R. Loos, Algebraic simplification, Computer algebra, Springer, Vienna, 1983, pp. 11–43.
P. Cahen and J. Chabert, Coefficients et valeurs d’un polynôme, Bull. Sci. Math. (2) 95 (1971), 295–304.
A. Dorda, Über Vollständigkeit bei endlichen Gruppen, Ph.D. thesis, Technische Universität Wien, 1977.
J. Ecker, On the number of polynomial functions on nilpotent groups of class 2, Contributions to General Algebra, vol. 10, Verlag Johannes Heyn, Klagenfurt, 1998.
J. Ecker, Functions on groups. Compatibility vs. Polynomiality,Ph.D. thesis, Johannes Kepler University Linz, 2001, available at http://www.algebra.uni-linz.ac.at/~juergen-linz.ac.at/~juergen.
M. Edjvet and J. Howie, The solution of length four equations over groups, Trans. Amer. Math. Soc. 326 (1991), no. 1, 345–369.
D. Eisenbud, Commutative algebra, Springer-Verlag, New York, 1995.
Y. Fong and K. Kaarli, Unary polynomials on a class of groups, Acta Sci. Math. (Szeged) 61 (1995), no. 1–4, 139–154.
Y. Fong and J. D. P. Meldrum, The endomorphism near-rings of the symmetric groups of degree at least five, J. Austral. Math. Soc. Ser. A 30 (1980/81), no. 1, 37–49.
Y. Fong and J. D. P. Meldrum, The endomorphism near-ring of the symmetric group of degree four, Tamkang J. Math. 12 (1981), no. 2, 193–203.
R. Freese and R. N. McKenzie, Commutator theory for congruence modular varieties, London Math. Soc. Lecture Note Ser., vol. 125, Cambridge University Press, 1987.
A. Fröhlich, The near-ring generated by the inner automorphisms of a finite simple group, J. London Math. Soc. 33 (1958), 95–107.
L. Fuchs, Abelian groups, Pergamon Press, New York, 1960.
P. R. Fuchs, C. J. Maxson, and G. F. Pilz, Rings with FZP, Trans. Amer. Math. Soc. 349 (1997), no. 3, 1269–1283.
H. P. Gumm, Über die Lösungsmengen von Gleichungssystemen über allgemeinen Algebren, Math. Z. 162 (1978), no. 1, 51–62.
H. P. Gumm, Algebras in permutable varieties: geometrical properties of affine algebras, Algebra Universalis 9 (1979), no. 1, 8–34.
J. Hagemann and C. Herrmann, A concrete ideal multiplication for algebraic systems and its relations to congruence distributivity, Arch. Math. (Basel) 32 (1979), 234–245.
J. Hagemann and C. Herrmann, Arithmetical locally equational classes and representation of partial functions,Uni- versal Algebra, Esztergom (Hungary), vol. 29, Colloq. Math. Soc. Janos Bolyai, 1982, pp. 345360.
D. Hobby and R. McKenzie, The structure of finite algebras, Contemporary mathematics, vol. 76, American Mathematical Society, 1988.
J. Howie, The solution of length three equations over groups, Proc. Edinburgh Math. Soc. (2) 26 (1983), no. 1, 89–96.
H. Hule, Polynome über universalen Algebren, Monatshefte für Mathematik 73 (1969), 329–340, German.
H. Hule and W. B. Müller, On the compatibility of algebraic equations with extensions, J. Austral. Math. Soc. Ser. A 21 (1976), no. 3, 381–383.
H. Hule and G. Pilz, Equations over abelian groups, Contributions to general algebra, 5 (Salzburg, 1986), Hölder-Pichler-Tempsky, Vienna, 1987, pp. 197–211.
H. Hule and J. Schicho, On two conjectures about systems of algebraic equations, Riv. Mat. Univ. Parma (5) 5 (1996), 201–204 (1997).
P. M. Idziak and K. Slomczynska, Polynomially rich algebras, J. Pure Appl. Algebra 156 (2001), no. 1, 33–68.
K. Kaarli, Compatible function extension property, Algebra Universalis 17 (1983), 200–207.
K. Kaarli and A. F. Pixley, Polynomial completeness in algebraic systems, Chapman & Hall/CRC, Boca Raton, Florida, 2001.
H. K. Kaiser, Ober kompatible Funktionen in universalen Algebren, Acta Math. Acad. Sci. Hungar. 30 (1977), no. 1–2, 105–111.
K. A. Kearnes, Congruence modular varieties with small free spectra, Algebra Universalis 42 (1999), no. 3, 165–181.
G. Keller and F. R. Olson, Counting polynomial functions (mod pa), Duke Math. J. 35 (1968), 835–838.
D. E. Knuth and P. B. Bendix, Simple word problems in universal algebras, Computational Problems in Abstract Algebra (Proc. Conf., Oxford, 1967), Pergamon, Oxford, 1970, pp. 263–297.
G. Kowol, Near-rings of endomorphisms of finite groups, Comm. Algebra 25 (1997), no. 7, 2333–2342.
A. G. Kurosh, Lectures on general algebra, Chelsea, New York, 1965.
H. Lausch and W. Nöbauer, Algebra of polynomials, North-Holland, Amsterdam, London; American Elsevier Publishing Company, New York, 1973.
H. Lausch and W. Nöbauer, Funktionen auf endlichen Gruppen, Publ. Math. Debrecen 23 (1976), no. 1–2, 53–61.
H. Lausch and W. Nöbauer, Local polynomial functions on factor rings of the integers, Journal of the Australian Mathematical Society (Series A) 27 (1979), 232–238.
F. Levin, Solutions of equations over groups, Bull. Amer. Math. Soc. 68 (1962), 603–604.
R. C. Lyndon, Equations in groups, Bol. Soc. Brasil. Mat. 11 (1980), no. 1, 79–102.
C. G. Lyons and J. J. Malone, Finite dihedral groups and d.g. near rings. I, Compositio Math. 24 (1972), 305–312.
C. G. Lyons and J. J. Malone, Finite dihedral groups and d.g. near rings. II, Compositio Math. 26 (1973), 249–259.
C. G. Lyons and G. Mason, Endomorphism near-rings of dicyclic and generalised dihedral groups, Proc. Roy. Irish Acad. Sect. A 91 (1991), no. 1, 99–111.
J. J. Malone, Generalised quaternion groups and distributively generated near-rings, Proc. Edinburgh Math. Soc. (2) 18 (1973), 235–238.
R. N. McKenzie, G. F. McNulty, and W. F. Taylor, Algebras, lattices, varieties, volume I, Wadsworth & Brooks/Cole Advanced Books & Software, Monterey, California, 1987.
J. D. P. Meldrum, Near-rings and their links with groups, Pitman ( Advanced Publishing Program ), Boston, Mass., 1985.
G. Mullen and H. Stevens, Polynomial functions (modm), Acta Math. Hungar. 44 (1984), no. 3–4, 237–241.
H. Neumann, Varieties of groups, Springer-Verlag New York, Inc., New York, 1967.
G. F. Pilz, Near-rings, 2nd ed., North-Holland Publishing Company — Amsterdam, New York, Oxford, 1983.
J. J. Rotman, Galois theory, second ed., Springer-Verlag, New York, 1998.
S. D. Scott, The arithmetic of polynomial maps over a group and the structure of certain permutational polynomial groups. I, Monatsh. Math. 73 (1969), 250–267.
S. D. Scott, Tame near-rings and N-groups, Proc. Edinburgh Math. Soc. (2) 23 (1980), no. 3, 275–296.
S. D. Scott, The structure of D-groups, Nearrings, nearfields and K-loops (Hamburg, 1995), Kluwer Acad. Publ., Dordrecht, 1997, pp. 47–137.
W. R. Scott, Algebraically closed groups, Proc. Amer. Math. Soc. 2 (1951), 118–121.
A. I. Sirsov, Some algorithm problems for Lie algebras, Sibirsk. Mat. Z. 3 (1962), 292–296.
J. D. H. Smith, Mal’cev varieties, Lecture Notes in Math., vol. 554, Springer Verlag Berlin, 1976.
H. Werner, Produkte von Kongruenzklassengeometrien universeller Algebren, Math. Z. 121 (1971), 111–140.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer Science+Business Media Dordrecht
About this paper
Cite this paper
Aichinger, E., Pilz, G.F. (2003). A Survey on Polynomials and Polynomial and Compatible Functions. In: Proceedings of the Third International Algebra Conference. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-0337-6_1
Download citation
DOI: https://doi.org/10.1007/978-94-017-0337-6_1
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-6351-9
Online ISBN: 978-94-017-0337-6
eBook Packages: Springer Book Archive