• Honam Mathematical Journal
• /
• v.26 no.4
• /
• pp.471-481
• /
• 2004

In this paper we introduce the notion of a (pre-)Coxeter algebra and show that a Coxeter algebra is equivalent to an abelian group all of whose elements have order 2, i.e., a Boolean group. Moreover, we prove that the class of Coxeter algebras and the class of B-algebras of odd order are Smarandache disjoint. Finally, we show that the class of pre-Coxeter algebras and the class of BCK-algebras are Smarandache disjoint.

• Bulletin of the Korean Mathematical Society
• /
• v.49 no.5
• /
• pp.1057-1065
• /
• 2012

We prove that if $\widehat{\Gamma}$ is a co-contraction of ${\Gamma}$, then the right-angled Coxeter group $C(\widehat{\Gamma})$ embeds into $C({\Gamma})$. Further, we provide a graph ${\Gamma}$ without an induced long cycle while $C({\Gamma})$ does not contain a hyperbolic surface group.

• Journal of the Korean Mathematical Society
• /
• v.38 no.6
• /
• pp.1167-1177
• /
• 2001

The groups generated by reflections in faces of Coxeter polyhedra in three-dimensional Thurstons spaces are considered. We develop a method for finding of finite index subgroups of Coxeter groups which uniformize three-dimensional manifolds obtained as two-fold branched coverings of manifolds of Heegaard genus one, that are lens spaces L(p, q) and the space S$^2$$\times$S$^1$.

• Kyungpook Mathematical Journal
• /
• v.50 no.4
• /
• pp.509-536
• /
• 2010

In this paper, we investigate curvature-adapted and proper complex equifocal submanifolds in a symmetric space of non-compact type. The class of these submanifolds contains principal orbits of Hermann type actions as homogeneous examples and is included by that of curvature-adapted and isoparametric submanifolds with flat section. First we introduce the notion of a focal point of non-Euclidean type on the ideal boundary for a submanifold in a Hadamard manifold and give the equivalent condition for a curvature-adapted and complex equifocal submanifold to be proper complex equifocal in terms of this notion. Next we show that the complex Coxeter group associated with a curvature-adapted and proper complex equifocal submanifold is the same type group as one associated with a principal orbit of a Hermann type action and evaluate from above the number of distinct principal curvatures of the submanifold.

• Journal of the Korean Mathematical Society
• /
• v.57 no.5
• /
• pp.1187-1237
• /
• 2020

Simply reducible groups are important in physics and chemistry, which contain some of the important groups in condensed matter physics and crystal symmetry. By studying the group structures and irreducible representations, we find some new examples of simply reducible groups, namely, dihedral groups, some point groups, some dicyclic groups, generalized quaternion groups, Heisenberg groups over prime field of characteristic 2, some Clifford groups, and some Coxeter groups. We give the precise decompositions of product of irreducible characters of dihedral groups, Heisenberg groups, and some Coxeter groups, giving the Clebsch-Gordan coefficients for these groups. To verify some of our results, we use the computer algebra systems GAP and SAGE to construct and get the character tables of some examples.

• Journal of the Korean Mathematical Society
• /
• v.50 no.2
• /
• pp.425-444
• /
• 2013

We construct some hyperbolic hyperelliptic space forms whose fundamental groups are generated by only two or three isometries. Each occurring group is obtained from a supergroup, which is an extended Coxeter group generated by plane re ections and half-turns. Then we describe covering properties and determine the isometry groups of the constructed manifolds. Furthermore, we give an explicit construction of space form of the second smallest volume nonorientable hyperbolic 3-manifold with one cusp.

• Bulletin of the Korean Mathematical Society
• /
• v.55 no.4
• /
• pp.1037-1049
• /
• 2018

In this paper, we have first presented the construction of the linear characters of a finite Coxeter group $G_n$ of type $B_n$ by lifting all linear characters of the quotient group $G_n/[G_n,G_n]$ of the commutator subgroup $[G_n,G_n]$. Also we show that the sets of distinguished coset representatives $D_A$ and $D_{A^{\prime}}$ for any two signed compositions A, A' of n which are $G_n$-conjugate to each other and for each conjugate class ${\mathcal{C}}_{\lambda}$ of $G_n$, where ${\lambda}{\in}\mathcal{BP}(n)$, the equality ${\mid}{\mathcal{C}}_{\lambda}{\cap}D_A{\mid}={\mid}{\mathcal{C}}_{\lambda}{\cap}D_{A^{\prime}}{\mid}$ holds. Finally, we have given the general structure of units of Mantaci-Reutenauer algebra.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.6
• /
• pp.1981-1990
• /
• 2017

Let R be a root system in $\mathbb{R}^d$ with Coxeter-Weyl group W and let k be a nonnegative multiplicity function on R. The generalized volume mean of a function $f{\in}L^1_{loc}(\mathbb{R}^d,m_k)$, with $m_k$ the measure given by $dmk(x):={\omega}_k(x)dx:=\prod_{{\alpha}{\in}R}{\mid}{\langle}{\alpha},x{\rangle}{\mid}^{k({\alpha})}dx$, is defined by: ${\forall}x{\in}\mathbb{R}^d$, ${\forall}r$ > 0, $M^r_B(f)(x):=\frac{1}{m_k[B(0,r)]}\int_{\mathbb{R}^d}f(y)h_k(r,x,y){\omega}_k(y)dy$, where $h_k(r,x,{\cdot})$ is a compactly supported nonnegative explicit measurable function depending on R and k. In this paper, we prove that for almost every $x{\in}\mathbb{R}^d$, $lim_{r{\rightarrow}0}M^r_B(f)(x)= f(x)$.

• Journal of the Korean Mathematical Society
• /
• v.38 no.5
• /
• pp.1069-1105
• /
• 2001

Regular maps and hypermaps are cellular decompositions of closed surfaces exhibiting the highest possible number of symmetries. The five Platonic solids present the most familar examples of regular maps. The gret dodecahedron, a 5-valent pentagonal regular map on the surface of genus 5 discovered by Kepler, is probably the first known non-spherical regular map. Modern history of regular maps goes back at least to Klein (1878) who described in [59] a regular map of type (3, 7) on the orientable surface of genus 3. In its early times, the study of regular maps was closely connected with group theory as one can see in Burnside’s famous monograph [19], and more recently in Coxeter’s and Moser’s book [25] (Chapter 8). The present-time interest in regular maps extends to their connection to Dyck\`s triangle groups, Riemann surfaces, algebraic curves, Galois groups and other areas, Many of these links are nicely surveyed in the recent papers of Jones [55] and Jones and Singerman [54]. The presented survey paper is based on the talk given by the author at the conference “Mathematics in the New Millenium”held in Seoul, October 2000. The idea was, on one hand side, to show the relationship of (regular) maps and hypermaps to the above mentioned fields of mathematics. On the other hand, we wanted to stress some ideas and results that are important for understanding of the nature of these interesting mathematical objects.

• Communications of the Korean Mathematical Society
• /
• v.16 no.4
• /
• pp.679-690
• /
• 2001

Doubly stochastic matrices are n$\times$n nonnegative ma-trices whose row and column sums are all 1. Convex polytope $\Omega$$_{n}$ of doubly stochastic matrices and more generally (R,S), so called transportation polytopes, are important since they form the domains for the transportation problems. A theorem by Birkhoff classifies the extremal matrices of , $\Omega$$_{n}$ and extremal matrices of transporta-tion polytopes (R,S) were all classified combinatorially. In this article, we consider signed version of $\Omega$$_{n}$ and (R.S), obtain signed Birkhoff theorem; we define a new class of convex polytopes (R,S), calculate their dimensions, and classify their extremal matrices, Moreover, we suggest an algorithm to express a matrix in (R,S) as a convex combination of txtremal matrices. We also give an example that a polytope of signed matrices is used as a domain for a decision problem. In this context of finite reflection(Coxeter) group theory, our generalization may also be considered as a generalization from type $A_{*}$ n/ to type B$_{n}$ D$_{n}$. n/.