• Kyungpook Mathematical Journal
• /
• 제58권2호
• /
• pp.399-426
• /
• 2018

Cofinite graphs and cofinite groupoids are defined in a unified way extending the notion of cofinite group introduced by Hartley. These objects have in common an underlying structure of a directed graph endowed with a certain type of uniform structure, called a cofinite uniformity. Much of the theory of cofinite directed graphs turns out to be completely analogous to that of cofinite groups. For instance, the completion of a directed graph Γ with respect to a cofinite uniformity is a profinite directed graph and the cofinite structures on Γ determine and distinguish all the profinite directed graphs that contain Γ as a dense sub-directed graph. The completion of the underlying directed graph of a cofinite graph or cofinite groupoid is observed to often admit a natural structure of a profinite graph or profinite groupoid, respectively.

• East Asian mathematical journal
• /
• 제39권5호
• /
• pp.515-522
• /
• 2023

In the case that the set of sorts is countable, we will prove that any sorted profinite group has the unique SEP-cover using the notion of prime model in model theory.

• 대한수학회보
• /
• 제32권2호
• /
• pp.139-144
• /
• 1995

Two subgroups U and V of a finite group G are called to be p-conjugate for a prime p if a Sylow p-subgroup of U is conjugate to a Sylow p-subgroup of V. This concept of p-conjugacy also makes sense for some infinite groups with a reasonable Sylow theory.

• 대한수학회보
• /
• 제53권3호
• /
• pp.751-763
• /
• 2016

The properties of the nonabelian tensor products are interesting in different contexts of algebraic topology and group theory. We prove two theorems, dealing with the nonabelian tensor products of projective limits of finite groups. The first describes their topology. Then we show a result of embedding in the second homology group of a pro-p-group, via the notion of complete exterior centralizer. We end with some open questions, originating from these two results.