| Ranked Score: | 3,042,843,055 | |
| Play Count: | 22,048 | |
| Play Time: | 689h | |
| Max Combo: | 3,709x | |
| Total Hits: | 19,096,837 | |
| Hits x Play: | 866 | |
| Replays Watched: | 129 |
SS+
6
SS
4
S+
185
S
407
A
2,044
History
About
(´･ω･`)
Have some random commutative algebra facts
Proposition: A local ring (A,𝔪) has no idempotents ≠ 0, 1.
Proof: Suppose x is an idempotent x ≠ 0, 1. Then x and 1-x are non-units since x(1-x) = x-x² = x-x = 0. Hence they are contained in the maximal Ideal 𝔪 ⊂ A. Thus 1 = x + (1-x) ∈ 𝔪, which is absurd. Hence x can't be idempotent. □
Have some random commutative algebra facts
Proposition: A local ring (A,𝔪) has no idempotents ≠ 0, 1.
Proof: Suppose x is an idempotent x ≠ 0, 1. Then x and 1-x are non-units since x(1-x) = x-x² = x-x = 0. Hence they are contained in the maximal Ideal 𝔪 ⊂ A. Thus 1 = x + (1-x) ∈ 𝔪, which is absurd. Hence x can't be idempotent. □
Year
Summary
Scores
Collections
Most Played
Beatmaps
Medals
Recent Medals
Rarest Medal (0.00%)
Show All
Show Less
82 / 352
Show All
Show Less
Beatmap Challenge Packs
0 / 7
Beatmap Packs
0 / 80
Beatmap Spotlights
11 / 22
Hush-Hush
9 / 70
Hush-Hush (Expert)
5 / 64
Mod Introduction
8 / 13
Skill & Dedication
49 / 96
