@gunron-tan.bsky.socialOct 5, 2026, 8:09 PM #群論の知識#作用 を持つ #群(group with operators)https://ja.wikipedia.org/wiki/...名称:・集合Ωの作用を持つ群・Ω-群・ #作用域 Ωを持つ群Ω:作用域(operator domain)作用域Ωの元:G上の #作用素(operator),Gの #相似変換(homotheties)※「群作用を持つ集合」とは別物なので注意.