X を x を基点とする連結で局所連結な位相空間とし、 をファイバー(fiber)  を持つ被覆写像とする。x を基点とするループ γ: [0, 1] → X に対し、被覆写像（出発点を  とする）のしたでのリフト(lift)を  で表す。さらに、 により終点を表し、そこでは一般に  は異なっている。この構成が F の基本群 π₁(X, x) をうまく定義することができ、 の安定化部分群は、ちょうど  に一致する。すなわち、元 [γ] は F の点を固定することと、 を起点とする  の中のループの像により表現されることと同値である。この作用は、モノドロミー作用 (monodromy action) と呼ばれ、対応する F の自己同型群への準同型 π₁(X, x) → Aut(F) はモノドロミーである。この準同型の像がモノドロミー群 (monodromy group) である。
小学館の学年誌『小学五年生』に1994年11月号から1995年2月号まで全4話連載（1994年度版）。翌月より対象読者を1学年下にし、『小学四年生』1995年3月号から再度、新連載漫画として全11話が連載された（1995年度版）。キャラクターや設定は共通するものの、1995年度版は第1話も含めすべて新規に描き下ろされたエピソードであり、前年度の掲載作を再録・改変したものではない。基本的に1話完結の推理物だが、キャッチコピーにあるとおりラブコメディの要素もあり、1994年度版と1995年度版では結末が異なっている。単行本はてんとう虫コミックスより全1巻で刊行された（1995年12月発行）。全15話のうち10話分を収録。1994年度版の最終話が最終エピソードとして収録されているため、ラブコメディとしての結末は1994年度版と同じである。1995年度版の最終話を含む計5話分は単行本未収録となっている。単行本の「作者のことば」には、小さい頃からホームズ、ポワロ、金田一耕助などの名探偵物が大好きだったと書かれている。
「はぶし」は、昭和32年度計画掃海艇308号艇として、日立造船神奈川工場で1958年8月25日に起工され、1959年6月19日に進水、1959年9月22日に就役し、横須賀地方隊に編入された。1960年3月1日、第1掃海隊群隷下に第33掃海隊が新編され「さきと」、「こうづ」とともに編入。1961年9月1日、第33掃海隊が、同日付で新編された第2掃海隊群に編入。1972年3月31日、第33掃海隊が呉地方隊阪神基地隊に編入。1974年8月28日、海洋観測艇に種別変更され、艇名が海洋観測艇2号（AGS-5112）に改称、佐世保地方隊に編入。1982年9月4日、除籍。
毎年7月と8月、ワイオミングズ・ビッグショーと呼ぶ郡の祭を開催している。この行事では遊園地の乗り物、屋台、レストランおよびライブの興行が行われる。ロデオが祭の呼び物であり、有名な芸人が加わることもある。ロックスプリングスでは一年間を通じて幾つかの祭がある。これには国際フェスティバル（市の愛称に因む）、ブルースとブルーズ（ビール）のフェスティバル、ワイオミング・チョコレート・フェスティバル、およびロッドとレールのフェスティバルがある。
ロックスプリングスの公共教育はスウィートウォーター郡第1教育学区が管轄している。この学区には小学校8校、中学校1校および高校が1校ある。オルタナティブ・スクールのインデペンデンス高校もある。
屋外に設置される送配電線(電力線)や電話線、空中線などは雷の影響を受けやすい。しかし電位差を無くす、あるいは小さくして回路にサージ電圧がかからないようにすれば、サージ電流は流れず、回路の損傷はなくなる。そこで回路中に意図的に絶縁の弱い部分を作り、ここをサージ電圧によって破壊、サージ電流をバイパスさせることにより、サージ電圧を抑制、重要な回路部分を保護する手段をとる。しかし、ただ破壊するだけでは破壊した部分を修復するまで機器が使用できないなどの問題が生じることから、サージ終息後、直ちに元の絶縁を回復する機能を持たせたものが避雷器である。最も強力な雷由来のサージも処理することから、避雷器の名があるが、実際のサージは雷由来のサージよりも、スイッチやモーター、各種電源装置、各種通信装置などに由来するもののほうが多く、避雷器はこれらからのサージも適正に処理する必要がある。このことからその正式名称はIECにより、サージ防護デバイス (SPD : Surge Protective Device) に統一され、広範なEMI（電磁気妨害）対策用部品としての位置付けがされた。他にも従来の英語から「アレスタ」など、さまざまな呼称がある。避雷器の歴史は古く、例えば送配電用としては、1900年代初頭に酸化アルミニウム避雷器が実用化されており、1930年代には炭化ケイ素 (SiC) を用いた弁抵抗避雷器が登場、1980年代からより特性の優れた酸化亜鉛 (ZnO) 避雷器に代ってきている。日本では、高圧送配電系統についてはIECによる規格統一以前より避雷器の設置が義務付けられており、電気規格調査会 JEC 203、JEC 217 さらに JIS C4608 などの規格があったが、これ以外の低圧回路などに用いる避雷器については特に規定されていなかった。しかしIECによる規格統一に日本のJISも追従、IECの統一規格に従い、低圧電源用避雷器などについてもJISに規定された。落雷について、避雷器はそれ単体で全てのサージを処理させるものではなく、避雷設備の中で一部のサージを処理する部品であり、万一の場合には自身が焼損・破壊して他の部分を保護する目的の部品であることから、特に防火性能が求められる。このため特に数多く広範に用いられる低圧電源用避雷器などについて、アメリカ保険業者安全試験所(UL)で5つのタイプに分類、それぞれ性能に係る詳細が定められ「避雷システム」における使用の詳細（適用）も定められた。