最近の研究で、数学者たちは

『最小k‑均等共拡張ハイパーグラフ』（記号 ┝

k(R)）と呼ばれる新しい組合せ対象を定義した。この構造は、環 R の 非単位元の中から取った、互いに共拡張的（comaximal）な k 個の元からなる irredundant（冗長でない）族を頂点とし、k 個の元を一つの辺とする。

主な結果は、R が n 個（n≥2）の最大イデアルを持ち、k が 2≦k≦n を満たすとき、

┝

k(R)┛ は、最大イデアルの集合 {1,…,n} の k‑覆いの無余集合からなる簡単な ハイパーグラフの「膨張（blow‑up）」であることを示している。膨張とは、単純ハイパーグラフ

┴

その各辺を、同じ最大イデアルに属する環元の選び方ごとに複数の辺へ置き換える

┝

操作である。

この構造を縮約（reductions）すると、最大イデアルの構成が唯一に決定される。したがって、

┝

k(R)の縮約形から、最大イデアルのリストを順序を変えても同一に再び求められる。

次に、k(R) の対称性（自己同型群）を調べた。k≦n のときは、最大イデアルを カバーする集合の置換、同じカバーを共有する頂点群の置換、さらに

┝

共役（conjugation）により作用する追加群が掛け合わされた構造になる。

k>n の場合、k‑均等共拡張ハイパーグラフには辺が存在せず、すべての頂点が単独に 存在するだけになる。したがって、自己同型群は全頂点の対称群になる。

比較すると、従来研究された k=2 の共拡張グラフ（comaximal graph）よりも、k(R) の自己同型群は常に大きくなる。

k=3 以上では包含関係が厳密であるが、k=2 の時のみ二者の自己同型群は等しくなる。

ただし、k>n だと辺が無い空のハイパーグラフになるため、構造的に意味のある

┝

情報は k≦n のときに限られる。

これらの発見は、環のイデアル構造をハイパーグラフという形で把握できる新たな視点を

┛