Abstract
We model groups as relational systems and develop relation-algebraic specifications for direct products of groups, quotient groups, and the enumeration of all subgroups and normal subgroups. The latter two specifications immediately lead to specifications of the lattices of subgroups and normal subgroups, respectively. All specifications are algorithmic and can directly be translated into the language of the computer system RelView. Hence, the system can be used for constructing groups and for computing and visualizing their lattices of subgroups and normal subgroups. This is demonstrated by some examples.
This is a preview of subscription content, log in via an institution to check access.
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
Behnke, R., et al.: RelView – A system for calculation with relations and relational programming. In: Astesiano, E. (ed.) ETAPS 1998 and FASE 1998. LNCS, vol. 1382, pp. 318–321. Springer, Heidelberg (1998)
Berghammer, R., Hoffmann, T.: Modelling sequences within the RelView system. J. Universal Comput. Sci. 7, 107–113 (2001)
Berghammer, R., Neumann, F.: RelView– An OBDD-based Computer Algebra system for relations. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2005. LNCS, vol. 3718, pp. 40–51. Springer, Heidelberg (2005)
Berghammer, R.: Computation of cut completions and concept lattices using relational algebra and RelView. J. Rel. Meth. in Comput. Sci. 1, 50–72 (2004)
Berghammer, R., Leoniuk, B., Milanese, U.: Implementation of relation algebra using binary decision diagrams. In: de Swart, H. (ed.) RelMiCS 2001. LNCS, vol. 2561, pp. 241–257. Springer, Heidelberg (2002)
Davey, B.A., Priestley, H.A.: Introduction to lattices and order. Cambridge University Press, Cambridge (1990)
Freese, R., Jezek, J., Nation, J.B.: Free lattices. In: Mathematical Surveys and Monographs. American Math. Society, vol. 42 (1995)
Ganter, B., Wille, R.: Formal concept analysis. Springer, Heidelberg (1999)
Hermes, H.: Introduction to lattice theory (in German), 2nd edn. Springer, Heidelberg (1967)
Hulpke, A.: Computing normal subgroups. In: Proc. Int. Symposium on Symbolic and Algebraic Computation, pp. 194–198. ACM Press, New York (1998)
Lang, S.: Algebra, 3rd edn. Springer, Heidelberg (2002)
Leoniuk, B.: ROBDD-based implementation of relational algebra with applications (in German). Ph.D. thesis, Inst. für Informatik und Prak. Math., Univ. Kiel (2001)
Milanese, U.: On the implementation of a ROBDD-based tool for the manipulation and visualization of relations (in German). Ph.D. thesis, Inst. für Informatik und Prak. Math., Univ. Kiel (2003)
Schmidt, G., Ströhlein, T.: Relations and graphs. Springer, Heidelberg (1993)
Schmidt, R.: Subgroup lattices of groups, de Gruyter (1994)
Tarski, A.: On the calculus of relations. J. Symb. Logic 6, 73–89 (1941)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Berghammer, R. (2006). Computing and Visualizing Lattices of Subgroups Using Relation Algebra and RelView . In: Schmidt, R.A. (eds) Relations and Kleene Algebra in Computer Science. RelMiCS 2006. Lecture Notes in Computer Science, vol 4136. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11828563_6
Download citation
DOI: https://doi.org/10.1007/11828563_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-37873-0
Online ISBN: 978-3-540-37874-7
eBook Packages: Computer ScienceComputer Science (R0)