魚ノイド

塩水うに @susisu2413

魚群、単位魚と逆魚が思いつかないから諦めた

ホテルバルティック（クローン）@築29年 @noan6251

そもそも魚群は結合法則を満たすのか（？）

塩水うに @susisu2413

そもそも演算がなんなんだ

ホテルバルティック（クローン）@築29年 @noan6251

結合法則満たせば半群だしセーフセーフ

杜若シズ @shizukaki

面白い事言います

杜若シズ @shizukaki

いきます

杜若シズ @shizukaki

演算なんて適当でええんじゃん

杜若シズ @shizukaki

以上だ

塩水うに @susisu2413

群れだし, 魚集合同士の和でいいんじゃないか

塩水うに @susisu2413

逆元なさそう

塩水うに @susisu2413

魚ノイド

ホテルバルティック（クローン）@築29年 @noan6251

魚群Gの元aの単位魚，うーむ，うーむ

ホテルバルティック（クローン）@築29年 @noan6251

ん，ちょっと今の日本語としておかしいな？

️ @NoNeoliberalJP

自明な魚群 = {🐟}

塩水うに @susisu2413

あ、単位魚は捕食される圧倒的小魚でいいのでは（？）

塩水うに @susisu2413

マジで何の話してるの

ホテルバルティック（クローン）@築29年 @noan6251

この魚群の圧倒的アーベル群でなさ感がやばい．

塩水うに @susisu2413

演算がmax(またはmin)みたいな感じになってきたな?

ホテルバルティック（クローン）@築29年 @noan6251

魚群G上の二項演算が捕食関係だとすると完全に可換則成り立たないな．

塩水うに @susisu2413

捕食可換じゃないと小魚左右に来ても大丈夫じゃなくなりそう

塩水うに @susisu2413

マジで何の話だこれ（ドン引き）

ホテルバルティック（クローン）@築29年 @noan6251

魚群G上の二項演算f:G×G→Gは捕食関係で，つまりa, b∈Gとすると f(a, b) = aもしくはf(a, b) = bになって（大きさに依る）， 単位元はe << aでf(e, a) = aとなるeで（eは小魚） ダメだ，逆元で詰んだ．魚ノイド！魚ノイドだ！！！

ホテルバルティック（クローン）@築29年 @noan6251

どんだけ魚群の中の魚で演算しても小魚にはならない（ならない）．可換則も成り立たない．魚群Gは魚ノイドです，ありがとうございました．

塩水うに @susisu2413

🐟🍴(🐠🍴🐡) = (🐟🍴🐠)🍴🐡

塩水うに @susisu2413

🐟🍴👳 = 👳🍴🐟 = 🐟 (小魚がなかったのでインド人で代用しました)