Home Automorphism groups with some finiteness conditions
Article
Licensed
Unlicensed Requires Authentication

Automorphism groups with some finiteness conditions

  • Konrad Pióro EMAIL logo
Published/Copyright: July 14, 2017
Become an author with De Gruyter Brill

Abstract

All considered groups are torsion or do not contain infinitely generated subgroups. If such a group G acts transitively on a connected algebra A, then all elements of A have the same stabilizer, so this stabilizer is a normal subgroup (it is also shown that these facts are not true for arbitrary groups). Hence the automorphism group Aut(A) is a homomorphic image of G. In particular, if the action of G is, in addition, faithful, then G is isomorphic to Aut(A). By these results we first obtain that for each (not necessarily connected) algebra A, if all of its Aut(A)-orbits are connected, then Aut(A) is a subdirect product of automorphism groups of these orbits. Secondly, connected components of Aut(A)-orbits have automorphism extension property.

Next, we show that if A is a connected algebra such that Aut(A) acts transitively on it, then the group structure of Aut(A) may be transported on A such that the left multiplications are all automorphisms of A and the right multiplications are all unary term operations of A. Hence all the unary term operations of A are bijective, so they generate a subgroup of the group of all bijections of the carrier of A. It is shown that this group is anti-isomorphic to Aut(A). Thus the Birkhoff’s construction of an algebra with a given group of automorphisms is unique in some sense when restricted to groups we consider here.

The Birkhoff’s construction can be slightly modified so as to obtain a smaller set of operations. In fact, it is enough to take the right multiplications by generators. Moreover, we show that this is the best possible lower bound for the number of unary operations in the case of groups considered here. If we admit non-unary operations, then for finite and countable groups we can reduce the number of operations to one binary operation. On the other hand, if A is a connected algebra such that Aut(A) is torsion and acts on A transitively, then each element generates A. Hence if A is such an algebra with an uncountable group Aut(A), then the cardinality of the set of operations of A is greater or equal than the cardinality of Aut(A).


(Communicated by Miroslav Ploščica)


Acknowledgement

I would like to thank the anonymous referee for useful comments that helped to improve the final version of the paper.

References

[1] Bartol, W.—Rosselló, F.—Rudak, L.: Lectures on Algebras, Equations and Partiality. Technical report B–006, Univ. Illes Balears, Dept. Ciencies Mat. Inf., ed. RossellóF., 1992.Search in Google Scholar

[2] Birkhoff, G.: On groups of automorphisms, Rev. Un. Mat. Argentina 11 (1946), 155–157.Search in Google Scholar

[3] Burmeister, P.: A Model Theoretic Oriented Approach To Partial Algebras. Math. Research Band 32, Akademie Verlag, Berlin, 1986.10.1515/9783112720875Search in Google Scholar

[4] Burris, S.—Sankapanavar, H. P.: A Course in Universal Algebra. Grad. Texts in Math. 78, Springer-Verlag, New York-Berlin, 1981.10.1007/978-1-4613-8130-3Search in Google Scholar

[5] Frucht, R.: On the construction of partially ordered systems with a given group of automorphisms, Amer. Math. J. 72 (1950), 195–199.10.2307/2372146Search in Google Scholar

[6] Grátzer, G.: Universal Algebra, Springer-Verlag, New York, 1979.Search in Google Scholar

[7] Jónsson, B.: Topics in Universal Algebra. Lecture Notes in Math. 250, Springer-Verlag, 1972.10.1007/BFb0058648Search in Google Scholar

[8] Pióro, K.: On some non-obvious connections between graphs and unary partial algebras, Czechoslovak Math. J. 50(125) (2000), 295–320.10.1023/A:1022418818272Search in Google Scholar

[9] Robinson, D. J. S.: A Course in the Theory of Groups. Grad. Texts in Math. 80, Springer-Verlag, New York, 1996.Search in Google Scholar

[10] Rotman, J. J.: An Introduction to the Theory of Groups. Grad. Texts in Math. 148, Springer-Verlag, New York, 1995.10.1007/978-1-4612-4176-8Search in Google Scholar

Received: 2014-11-24
Accepted: 2015-10-8
Published Online: 2017-7-14
Published in Print: 2017-8-28

© 2017 Mathematical Institute Slovak Academy of Sciences

Downloaded on 14.9.2025 from https://www.degruyterbrill.com/document/doi/10.1515/ms-2017-0014/html
Scroll to top button