Computing and Visualizing Lattices of Subgroups Using Relation Algebra and RelView

2006 ◽  
pp. 91-105
Author(s):  
Rudolf Berghammer
Keyword(s):  
Relation Algebra ◽  
Lattices Of Subgroups

Comparing the expressiveness of downward fragments of the relation algebra with transitive closure on trees

2020 ◽  
Vol 89 ◽  
pp. 101467 ◽  
Author(s):  
Jelle Hellings ◽  
Marc Gyssens ◽  
Yuqing Wu ◽  
Dirk Van Gucht ◽  
Jan Van den Bussche ◽  
...  
Keyword(s):  
Transitive Closure ◽  
Relation Algebra

LATTICE-ISOMORPHIC GROUPS, AND INFINITE ABELIAN G-COGALOIS FIELD EXTENSIONS

2002 ◽  
Vol 01 (03) ◽  
pp. 243-253 ◽  
Author(s):  
TOMA ALBU ◽  
ŞERBAN BASARAB
Keyword(s):  
Galois Group ◽  
Classical Result ◽  
Infinite Field ◽  
Field Extensions ◽  
Lattices Of Subgroups

The aim of this paper is to provide a proof of the following result claimed by Albu (Infinite field extensions with Galois–Cogalois correspondence (II), Revue Roumaine Math. Pures Appl. 47 (2002), to appear): The Kneser group Kne (E/F) of an Abelian G-Cogalois extension E/F and the group of continuous characters Ch(Gal (E/F)) of its Galois group Gal (E/F) are isomorphic (in a noncanonical way). The proof we give in this paper explains why such an isomorphism is expected, being based on a classical result of Baer (Amer. J. Math.61 (1939), 1–44) devoted to the existence of group isomorphisms arising from lattice isomorphisms of their lattices of subgroups.

A relation algebra which is not a cylindric reduct

1990 ◽  
Vol 27 (2) ◽  
pp. 279-288 ◽  
Author(s):  
Roger D. Maddux
Keyword(s):  
Relation Algebra

scholarly journals The Power of Tarski’s Relation Algebra on Trees

2018 ◽  
pp. 244-264 ◽  
Author(s):  
Jelle Hellings ◽  
Yuqing Wu ◽  
Marc Gyssens ◽  
Dirk Van Gucht
Keyword(s):  
Relation Algebra
Sign in / Sign up

Export Citation Format

Share Document