| Ranked Score: | 9,049,475,654 | |
| Play Count: | 16,197 | |
| Play Time: | 404h | |
| Max Combo: | 2,078x | |
| Total Hits: | 7,345,835 | |
| Hits x Play: | 454 | |
| Replays Watched: | 2 |
SS+
1
SS
7
S+
17
S
240
A
1,891
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
